plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.Evaluation.Machine.CostingFun.JSON

Description

A separate module for JSON instances, so that we can stick -O0 on it and avoid spending a lot of time optimizing loads of Core whose performance doesn't matter.

Orphan instances

FromJSON Coefficient0 Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Coefficient0

parseJSONList ∷ Value → Parser [Coefficient0]

omittedFieldMaybe Coefficient0

FromJSON Coefficient00 Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Coefficient00

parseJSONList ∷ Value → Parser [Coefficient00]

omittedFieldMaybe Coefficient00

FromJSON Coefficient01 Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Coefficient01

parseJSONList ∷ Value → Parser [Coefficient01]

omittedFieldMaybe Coefficient01

FromJSON Coefficient02 Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Coefficient02

parseJSONList ∷ Value → Parser [Coefficient02]

omittedFieldMaybe Coefficient02

FromJSON Coefficient1 Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Coefficient1

parseJSONList ∷ Value → Parser [Coefficient1]

omittedFieldMaybe Coefficient1

FromJSON Coefficient10 Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Coefficient10

parseJSONList ∷ Value → Parser [Coefficient10]

omittedFieldMaybe Coefficient10

FromJSON Coefficient11 Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Coefficient11

parseJSONList ∷ Value → Parser [Coefficient11]

omittedFieldMaybe Coefficient11

FromJSON Coefficient2 Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Coefficient2

parseJSONList ∷ Value → Parser [Coefficient2]

omittedFieldMaybe Coefficient2

FromJSON Coefficient20 Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Coefficient20

parseJSONList ∷ Value → Parser [Coefficient20]

omittedFieldMaybe Coefficient20

FromJSON Intercept Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Intercept

parseJSONList ∷ Value → Parser [Intercept]

omittedFieldMaybe Intercept

FromJSON ModelConstantOrLinear Source # 
Instance details

FromJSON ModelConstantOrOneArgument Source # 
Instance details

FromJSON ModelConstantOrTwoArguments Source # 
Instance details

FromJSON ModelFiveArguments Source # 
Instance details

FromJSON ModelFourArguments Source # 
Instance details

FromJSON ModelOneArgument Source # 
Instance details

Methods

parseJSON ∷ Value → Parser ModelOneArgument

parseJSONList ∷ Value → Parser [ModelOneArgument]

omittedFieldMaybe ModelOneArgument

FromJSON ModelSixArguments Source # 
Instance details

FromJSON ModelSubtractedSizes Source # 
Instance details

FromJSON ModelThreeArguments Source # 
Instance details

FromJSON ModelTwoArguments Source # 
Instance details

FromJSON OneVariableLinearFunction Source # 
Instance details

FromJSON OneVariableQuadraticFunction Source # 
Instance details

FromJSON Slope Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Slope

parseJSONList ∷ Value → Parser [Slope]

omittedFieldMaybe Slope

FromJSON TwoVariableLinearFunction Source # 
Instance details

FromJSON TwoVariableQuadraticFunction Source # 
Instance details

ToJSON Coefficient0 Source # 
Instance details

Methods

toJSONCoefficient0 → Value

toEncodingCoefficient0 → Encoding

toJSONList ∷ [Coefficient0] → Value

toEncodingList ∷ [Coefficient0] → Encoding

omitFieldCoefficient0Bool

ToJSON Coefficient00 Source # 
Instance details

Methods

toJSONCoefficient00 → Value

toEncodingCoefficient00 → Encoding

toJSONList ∷ [Coefficient00] → Value

toEncodingList ∷ [Coefficient00] → Encoding

omitFieldCoefficient00Bool

ToJSON Coefficient01 Source # 
Instance details

Methods

toJSONCoefficient01 → Value

toEncodingCoefficient01 → Encoding

toJSONList ∷ [Coefficient01] → Value

toEncodingList ∷ [Coefficient01] → Encoding

omitFieldCoefficient01Bool

ToJSON Coefficient02 Source # 
Instance details

Methods

toJSONCoefficient02 → Value

toEncodingCoefficient02 → Encoding

toJSONList ∷ [Coefficient02] → Value

toEncodingList ∷ [Coefficient02] → Encoding

omitFieldCoefficient02Bool

ToJSON Coefficient1 Source # 
Instance details

Methods

toJSONCoefficient1 → Value

toEncodingCoefficient1 → Encoding

toJSONList ∷ [Coefficient1] → Value

toEncodingList ∷ [Coefficient1] → Encoding

omitFieldCoefficient1Bool

ToJSON Coefficient10 Source # 
Instance details

Methods

toJSONCoefficient10 → Value

toEncodingCoefficient10 → Encoding

toJSONList ∷ [Coefficient10] → Value

toEncodingList ∷ [Coefficient10] → Encoding

omitFieldCoefficient10Bool

ToJSON Coefficient11 Source # 
Instance details

Methods

toJSONCoefficient11 → Value

toEncodingCoefficient11 → Encoding

toJSONList ∷ [Coefficient11] → Value

toEncodingList ∷ [Coefficient11] → Encoding

omitFieldCoefficient11Bool

ToJSON Coefficient2 Source # 
Instance details

Methods

toJSONCoefficient2 → Value

toEncodingCoefficient2 → Encoding

toJSONList ∷ [Coefficient2] → Value

toEncodingList ∷ [Coefficient2] → Encoding

omitFieldCoefficient2Bool

ToJSON Coefficient20 Source # 
Instance details

Methods

toJSONCoefficient20 → Value

toEncodingCoefficient20 → Encoding

toJSONList ∷ [Coefficient20] → Value

toEncodingList ∷ [Coefficient20] → Encoding

omitFieldCoefficient20Bool

ToJSON Intercept Source # 
Instance details

Methods

toJSONIntercept → Value

toEncodingIntercept → Encoding

toJSONList ∷ [Intercept] → Value

toEncodingList ∷ [Intercept] → Encoding

omitFieldInterceptBool

ToJSON ModelConstantOrLinear Source # 
Instance details

ToJSON ModelConstantOrOneArgument Source # 
Instance details

ToJSON ModelConstantOrTwoArguments Source # 
Instance details

ToJSON ModelFiveArguments Source # 
Instance details

ToJSON ModelFourArguments Source # 
Instance details

ToJSON ModelOneArgument Source # 
Instance details

ToJSON ModelSixArguments Source # 
Instance details

ToJSON ModelSubtractedSizes Source # 
Instance details

ToJSON ModelThreeArguments Source # 
Instance details

ToJSON ModelTwoArguments Source # 
Instance details

ToJSON OneVariableLinearFunction Source # 
Instance details

ToJSON OneVariableQuadraticFunction Source # 
Instance details

ToJSON Slope Source # 
Instance details

Methods

toJSONSlope → Value

toEncodingSlope → Encoding

toJSONList ∷ [Slope] → Value

toEncodingList ∷ [Slope] → Encoding

omitFieldSlopeBool

ToJSON TwoVariableLinearFunction Source # 
Instance details

ToJSON TwoVariableQuadraticFunction Source # 
Instance details

FromJSON model ⇒ FromJSON (CostingFun model) Source # 
Instance details

Methods

parseJSON ∷ Value → Parser (CostingFun model)

parseJSONList ∷ Value → Parser [CostingFun model]

omittedFieldMaybe (CostingFun model)

ToJSON model ⇒ ToJSON (CostingFun model) Source # 
Instance details

Methods

toJSONCostingFun model → Value

toEncodingCostingFun model → Encoding

toJSONList ∷ [CostingFun model] → Value

toEncodingList ∷ [CostingFun model] → Encoding

omitFieldCostingFun model → Bool