plutus-core-1.38.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 Source #

parseJSONList ∷ Value → Parser [Coefficient0] Source #

omittedField ∷ Maybe Coefficient0 Source #

FromJSON Coefficient00 Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Coefficient00 Source #

parseJSONList ∷ Value → Parser [Coefficient00] Source #

omittedField ∷ Maybe Coefficient00 Source #

FromJSON Coefficient01 Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Coefficient01 Source #

parseJSONList ∷ Value → Parser [Coefficient01] Source #

omittedField ∷ Maybe Coefficient01 Source #

FromJSON Coefficient02 Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Coefficient02 Source #

parseJSONList ∷ Value → Parser [Coefficient02] Source #

omittedField ∷ Maybe Coefficient02 Source #

FromJSON Coefficient1 Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Coefficient1 Source #

parseJSONList ∷ Value → Parser [Coefficient1] Source #

omittedField ∷ Maybe Coefficient1 Source #

FromJSON Coefficient10 Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Coefficient10 Source #

parseJSONList ∷ Value → Parser [Coefficient10] Source #

omittedField ∷ Maybe Coefficient10 Source #

FromJSON Coefficient11 Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Coefficient11 Source #

parseJSONList ∷ Value → Parser [Coefficient11] Source #

omittedField ∷ Maybe Coefficient11 Source #

FromJSON Coefficient2 Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Coefficient2 Source #

parseJSONList ∷ Value → Parser [Coefficient2] Source #

omittedField ∷ Maybe Coefficient2 Source #

FromJSON Coefficient20 Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Coefficient20 Source #

parseJSONList ∷ Value → Parser [Coefficient20] Source #

omittedField ∷ Maybe Coefficient20 Source #

FromJSON Intercept Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Intercept Source #

parseJSONList ∷ Value → Parser [Intercept] Source #

omittedField ∷ Maybe Intercept Source #

FromJSON ModelConstantOrLinear Source # 
Instance details

Methods

parseJSON ∷ Value → Parser ModelConstantOrLinear Source #

parseJSONList ∷ Value → Parser [ModelConstantOrLinear] Source #

omittedField ∷ Maybe ModelConstantOrLinear Source #

FromJSON ModelConstantOrOneArgument Source # 
Instance details

Methods

parseJSON ∷ Value → Parser ModelConstantOrOneArgument Source #

parseJSONList ∷ Value → Parser [ModelConstantOrOneArgument] Source #

omittedField ∷ Maybe ModelConstantOrOneArgument Source #

FromJSON ModelConstantOrTwoArguments Source # 
Instance details

Methods

parseJSON ∷ Value → Parser ModelConstantOrTwoArguments Source #

parseJSONList ∷ Value → Parser [ModelConstantOrTwoArguments] Source #

omittedField ∷ Maybe ModelConstantOrTwoArguments Source #

FromJSON ModelFiveArguments Source # 
Instance details

Methods

parseJSON ∷ Value → Parser ModelFiveArguments Source #

parseJSONList ∷ Value → Parser [ModelFiveArguments] Source #

omittedField ∷ Maybe ModelFiveArguments Source #

FromJSON ModelFourArguments Source # 
Instance details

Methods

parseJSON ∷ Value → Parser ModelFourArguments Source #

parseJSONList ∷ Value → Parser [ModelFourArguments] Source #

omittedField ∷ Maybe ModelFourArguments Source #

FromJSON ModelOneArgument Source # 
Instance details

Methods

parseJSON ∷ Value → Parser ModelOneArgument Source #

parseJSONList ∷ Value → Parser [ModelOneArgument] Source #

omittedField ∷ Maybe ModelOneArgument Source #

FromJSON ModelSixArguments Source # 
Instance details

Methods

parseJSON ∷ Value → Parser ModelSixArguments Source #

parseJSONList ∷ Value → Parser [ModelSixArguments] Source #

omittedField ∷ Maybe ModelSixArguments Source #

FromJSON ModelSubtractedSizes Source # 
Instance details

Methods

parseJSON ∷ Value → Parser ModelSubtractedSizes Source #

parseJSONList ∷ Value → Parser [ModelSubtractedSizes] Source #

omittedField ∷ Maybe ModelSubtractedSizes Source #

FromJSON ModelThreeArguments Source # 
Instance details

Methods

parseJSON ∷ Value → Parser ModelThreeArguments Source #

parseJSONList ∷ Value → Parser [ModelThreeArguments] Source #

omittedField ∷ Maybe ModelThreeArguments Source #

FromJSON ModelTwoArguments Source # 
Instance details

Methods

parseJSON ∷ Value → Parser ModelTwoArguments Source #

parseJSONList ∷ Value → Parser [ModelTwoArguments] Source #

omittedField ∷ Maybe ModelTwoArguments Source #

FromJSON OneVariableLinearFunction Source # 
Instance details

Methods

parseJSON ∷ Value → Parser OneVariableLinearFunction Source #

parseJSONList ∷ Value → Parser [OneVariableLinearFunction] Source #

omittedField ∷ Maybe OneVariableLinearFunction Source #

FromJSON OneVariableQuadraticFunction Source # 
Instance details

Methods

parseJSON ∷ Value → Parser OneVariableQuadraticFunction Source #

parseJSONList ∷ Value → Parser [OneVariableQuadraticFunction] Source #

omittedField ∷ Maybe OneVariableQuadraticFunction Source #

FromJSON Slope Source # 
Instance details

Methods

parseJSON ∷ Value → Parser Slope Source #

parseJSONList ∷ Value → Parser [Slope] Source #

omittedField ∷ Maybe Slope Source #

FromJSON TwoVariableLinearFunction Source # 
Instance details

Methods

parseJSON ∷ Value → Parser TwoVariableLinearFunction Source #

parseJSONList ∷ Value → Parser [TwoVariableLinearFunction] Source #

omittedField ∷ Maybe TwoVariableLinearFunction Source #

FromJSON TwoVariableQuadraticFunction Source # 
Instance details

Methods

parseJSON ∷ Value → Parser TwoVariableQuadraticFunction Source #

parseJSONList ∷ Value → Parser [TwoVariableQuadraticFunction] Source #

omittedField ∷ Maybe TwoVariableQuadraticFunction Source #

ToJSON Coefficient0 Source # 
Instance details

Methods

toJSON ∷ Coefficient0 → Value Source #

toEncoding ∷ Coefficient0 → Encoding Source #

toJSONList ∷ [Coefficient0] → Value Source #

toEncodingList ∷ [Coefficient0] → Encoding Source #

omitField ∷ Coefficient0 → Bool Source #

ToJSON Coefficient00 Source # 
Instance details

Methods

toJSON ∷ Coefficient00 → Value Source #

toEncoding ∷ Coefficient00 → Encoding Source #

toJSONList ∷ [Coefficient00] → Value Source #

toEncodingList ∷ [Coefficient00] → Encoding Source #

omitField ∷ Coefficient00 → Bool Source #

ToJSON Coefficient01 Source # 
Instance details

Methods

toJSON ∷ Coefficient01 → Value Source #

toEncoding ∷ Coefficient01 → Encoding Source #

toJSONList ∷ [Coefficient01] → Value Source #

toEncodingList ∷ [Coefficient01] → Encoding Source #

omitField ∷ Coefficient01 → Bool Source #

ToJSON Coefficient02 Source # 
Instance details

Methods

toJSON ∷ Coefficient02 → Value Source #

toEncoding ∷ Coefficient02 → Encoding Source #

toJSONList ∷ [Coefficient02] → Value Source #

toEncodingList ∷ [Coefficient02] → Encoding Source #

omitField ∷ Coefficient02 → Bool Source #

ToJSON Coefficient1 Source # 
Instance details

Methods

toJSON ∷ Coefficient1 → Value Source #

toEncoding ∷ Coefficient1 → Encoding Source #

toJSONList ∷ [Coefficient1] → Value Source #

toEncodingList ∷ [Coefficient1] → Encoding Source #

omitField ∷ Coefficient1 → Bool Source #

ToJSON Coefficient10 Source # 
Instance details

Methods

toJSON ∷ Coefficient10 → Value Source #

toEncoding ∷ Coefficient10 → Encoding Source #

toJSONList ∷ [Coefficient10] → Value Source #

toEncodingList ∷ [Coefficient10] → Encoding Source #

omitField ∷ Coefficient10 → Bool Source #

ToJSON Coefficient11 Source # 
Instance details

Methods

toJSON ∷ Coefficient11 → Value Source #

toEncoding ∷ Coefficient11 → Encoding Source #

toJSONList ∷ [Coefficient11] → Value Source #

toEncodingList ∷ [Coefficient11] → Encoding Source #

omitField ∷ Coefficient11 → Bool Source #

ToJSON Coefficient2 Source # 
Instance details

Methods

toJSON ∷ Coefficient2 → Value Source #

toEncoding ∷ Coefficient2 → Encoding Source #

toJSONList ∷ [Coefficient2] → Value Source #

toEncodingList ∷ [Coefficient2] → Encoding Source #

omitField ∷ Coefficient2 → Bool Source #

ToJSON Coefficient20 Source # 
Instance details

Methods

toJSON ∷ Coefficient20 → Value Source #

toEncoding ∷ Coefficient20 → Encoding Source #

toJSONList ∷ [Coefficient20] → Value Source #

toEncodingList ∷ [Coefficient20] → Encoding Source #

omitField ∷ Coefficient20 → Bool Source #

ToJSON Intercept Source # 
Instance details

Methods

toJSON ∷ Intercept → Value Source #

toEncoding ∷ Intercept → Encoding Source #

toJSONList ∷ [Intercept] → Value Source #

toEncodingList ∷ [Intercept] → Encoding Source #

omitField ∷ Intercept → Bool Source #

ToJSON ModelConstantOrLinear Source # 
Instance details

Methods

toJSON ∷ ModelConstantOrLinear → Value Source #

toEncoding ∷ ModelConstantOrLinear → Encoding Source #

toJSONList ∷ [ModelConstantOrLinear] → Value Source #

toEncodingList ∷ [ModelConstantOrLinear] → Encoding Source #

omitField ∷ ModelConstantOrLinear → Bool Source #

ToJSON ModelConstantOrOneArgument Source # 
Instance details

Methods

toJSON ∷ ModelConstantOrOneArgument → Value Source #

toEncoding ∷ ModelConstantOrOneArgument → Encoding Source #

toJSONList ∷ [ModelConstantOrOneArgument] → Value Source #

toEncodingList ∷ [ModelConstantOrOneArgument] → Encoding Source #

omitField ∷ ModelConstantOrOneArgument → Bool Source #

ToJSON ModelConstantOrTwoArguments Source # 
Instance details

Methods

toJSON ∷ ModelConstantOrTwoArguments → Value Source #

toEncoding ∷ ModelConstantOrTwoArguments → Encoding Source #

toJSONList ∷ [ModelConstantOrTwoArguments] → Value Source #

toEncodingList ∷ [ModelConstantOrTwoArguments] → Encoding Source #

omitField ∷ ModelConstantOrTwoArguments → Bool Source #

ToJSON ModelFiveArguments Source # 
Instance details

Methods

toJSON ∷ ModelFiveArguments → Value Source #

toEncoding ∷ ModelFiveArguments → Encoding Source #

toJSONList ∷ [ModelFiveArguments] → Value Source #

toEncodingList ∷ [ModelFiveArguments] → Encoding Source #

omitField ∷ ModelFiveArguments → Bool Source #

ToJSON ModelFourArguments Source # 
Instance details

Methods

toJSON ∷ ModelFourArguments → Value Source #

toEncoding ∷ ModelFourArguments → Encoding Source #

toJSONList ∷ [ModelFourArguments] → Value Source #

toEncodingList ∷ [ModelFourArguments] → Encoding Source #

omitField ∷ ModelFourArguments → Bool Source #

ToJSON ModelOneArgument Source # 
Instance details

Methods

toJSON ∷ ModelOneArgument → Value Source #

toEncoding ∷ ModelOneArgument → Encoding Source #

toJSONList ∷ [ModelOneArgument] → Value Source #

toEncodingList ∷ [ModelOneArgument] → Encoding Source #

omitField ∷ ModelOneArgument → Bool Source #

ToJSON ModelSixArguments Source # 
Instance details

Methods

toJSON ∷ ModelSixArguments → Value Source #

toEncoding ∷ ModelSixArguments → Encoding Source #

toJSONList ∷ [ModelSixArguments] → Value Source #

toEncodingList ∷ [ModelSixArguments] → Encoding Source #

omitField ∷ ModelSixArguments → Bool Source #

ToJSON ModelSubtractedSizes Source # 
Instance details

Methods

toJSON ∷ ModelSubtractedSizes → Value Source #

toEncoding ∷ ModelSubtractedSizes → Encoding Source #

toJSONList ∷ [ModelSubtractedSizes] → Value Source #

toEncodingList ∷ [ModelSubtractedSizes] → Encoding Source #

omitField ∷ ModelSubtractedSizes → Bool Source #

ToJSON ModelThreeArguments Source # 
Instance details

Methods

toJSON ∷ ModelThreeArguments → Value Source #

toEncoding ∷ ModelThreeArguments → Encoding Source #

toJSONList ∷ [ModelThreeArguments] → Value Source #

toEncodingList ∷ [ModelThreeArguments] → Encoding Source #

omitField ∷ ModelThreeArguments → Bool Source #

ToJSON ModelTwoArguments Source # 
Instance details

Methods

toJSON ∷ ModelTwoArguments → Value Source #

toEncoding ∷ ModelTwoArguments → Encoding Source #

toJSONList ∷ [ModelTwoArguments] → Value Source #

toEncodingList ∷ [ModelTwoArguments] → Encoding Source #

omitField ∷ ModelTwoArguments → Bool Source #

ToJSON OneVariableLinearFunction Source # 
Instance details

Methods

toJSON ∷ OneVariableLinearFunction → Value Source #

toEncoding ∷ OneVariableLinearFunction → Encoding Source #

toJSONList ∷ [OneVariableLinearFunction] → Value Source #

toEncodingList ∷ [OneVariableLinearFunction] → Encoding Source #

omitField ∷ OneVariableLinearFunction → Bool Source #

ToJSON OneVariableQuadraticFunction Source # 
Instance details

Methods

toJSON ∷ OneVariableQuadraticFunction → Value Source #

toEncoding ∷ OneVariableQuadraticFunction → Encoding Source #

toJSONList ∷ [OneVariableQuadraticFunction] → Value Source #

toEncodingList ∷ [OneVariableQuadraticFunction] → Encoding Source #

omitField ∷ OneVariableQuadraticFunction → Bool Source #

ToJSON Slope Source # 
Instance details

Methods

toJSON ∷ Slope → Value Source #

toEncoding ∷ Slope → Encoding Source #

toJSONList ∷ [Slope] → Value Source #

toEncodingList ∷ [Slope] → Encoding Source #

omitField ∷ Slope → Bool Source #

ToJSON TwoVariableLinearFunction Source # 
Instance details

Methods

toJSON ∷ TwoVariableLinearFunction → Value Source #

toEncoding ∷ TwoVariableLinearFunction → Encoding Source #

toJSONList ∷ [TwoVariableLinearFunction] → Value Source #

toEncodingList ∷ [TwoVariableLinearFunction] → Encoding Source #

omitField ∷ TwoVariableLinearFunction → Bool Source #

ToJSON TwoVariableQuadraticFunction Source # 
Instance details

Methods

toJSON ∷ TwoVariableQuadraticFunction → Value Source #

toEncoding ∷ TwoVariableQuadraticFunction → Encoding Source #

toJSONList ∷ [TwoVariableQuadraticFunction] → Value Source #

toEncodingList ∷ [TwoVariableQuadraticFunction] → Encoding Source #

omitField ∷ TwoVariableQuadraticFunction → Bool Source #

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

Methods

parseJSON ∷ Value → Parser (CostingFun model) Source #

parseJSONList ∷ Value → Parser [CostingFun model] Source #

omittedField ∷ Maybe (CostingFun model) Source #

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

Methods

toJSON ∷ CostingFun model → Value Source #

toEncoding ∷ CostingFun model → Encoding Source #

toJSONList ∷ [CostingFun model] → Value Source #

toEncodingList ∷ [CostingFun model] → Encoding Source #

omitField ∷ CostingFun model → Bool Source #