Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Evaluation.Machine.CostingFun.JSON

Contents

Orphan instances

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] omittedField ∷ Maybe Coefficient0
FromJSON Coefficient00 Source #
Instance details Methods parseJSON ∷ Value → Parser Coefficient00 parseJSONList ∷ Value → Parser [Coefficient00] omittedField ∷ Maybe Coefficient00
FromJSON Coefficient01 Source #
Instance details Methods parseJSON ∷ Value → Parser Coefficient01 parseJSONList ∷ Value → Parser [Coefficient01] omittedField ∷ Maybe Coefficient01
FromJSON Coefficient02 Source #
Instance details Methods parseJSON ∷ Value → Parser Coefficient02 parseJSONList ∷ Value → Parser [Coefficient02] omittedField ∷ Maybe Coefficient02
FromJSON Coefficient1 Source #
Instance details Methods parseJSON ∷ Value → Parser Coefficient1 parseJSONList ∷ Value → Parser [Coefficient1] omittedField ∷ Maybe Coefficient1
FromJSON Coefficient10 Source #
Instance details Methods parseJSON ∷ Value → Parser Coefficient10 parseJSONList ∷ Value → Parser [Coefficient10] omittedField ∷ Maybe Coefficient10
FromJSON Coefficient11 Source #
Instance details Methods parseJSON ∷ Value → Parser Coefficient11 parseJSONList ∷ Value → Parser [Coefficient11] omittedField ∷ Maybe Coefficient11
FromJSON Coefficient12 Source #
Instance details Methods parseJSON ∷ Value → Parser Coefficient12 parseJSONList ∷ Value → Parser [Coefficient12] omittedField ∷ Maybe Coefficient12
FromJSON Coefficient2 Source #
Instance details Methods parseJSON ∷ Value → Parser Coefficient2 parseJSONList ∷ Value → Parser [Coefficient2] omittedField ∷ Maybe Coefficient2
FromJSON Coefficient20 Source #
Instance details Methods parseJSON ∷ Value → Parser Coefficient20 parseJSONList ∷ Value → Parser [Coefficient20] omittedField ∷ Maybe Coefficient20
FromJSON ExpModCostingFunction Source #
Instance details Methods parseJSON ∷ Value → Parser ExpModCostingFunction parseJSONList ∷ Value → Parser [ExpModCostingFunction] omittedField ∷ Maybe ExpModCostingFunction
FromJSON Intercept Source #
Instance details Methods parseJSON ∷ Value → Parser Intercept parseJSONList ∷ Value → Parser [Intercept] omittedField ∷ Maybe Intercept
FromJSON ModelConstantOrLinear Source #
Instance details Methods parseJSON ∷ Value → Parser ModelConstantOrLinear parseJSONList ∷ Value → Parser [ModelConstantOrLinear] omittedField ∷ Maybe ModelConstantOrLinear
FromJSON ModelConstantOrOneArgument Source #
Instance details Methods parseJSON ∷ Value → Parser ModelConstantOrOneArgument parseJSONList ∷ Value → Parser [ModelConstantOrOneArgument] omittedField ∷ Maybe ModelConstantOrOneArgument
FromJSON ModelConstantOrTwoArguments Source #
Instance details Methods parseJSON ∷ Value → Parser ModelConstantOrTwoArguments parseJSONList ∷ Value → Parser [ModelConstantOrTwoArguments] omittedField ∷ Maybe ModelConstantOrTwoArguments
FromJSON ModelFiveArguments Source #
Instance details Methods parseJSON ∷ Value → Parser ModelFiveArguments parseJSONList ∷ Value → Parser [ModelFiveArguments] omittedField ∷ Maybe ModelFiveArguments
FromJSON ModelFourArguments Source #
Instance details Methods parseJSON ∷ Value → Parser ModelFourArguments parseJSONList ∷ Value → Parser [ModelFourArguments] omittedField ∷ Maybe ModelFourArguments
FromJSON ModelOneArgument Source #
Instance details Methods parseJSON ∷ Value → Parser ModelOneArgument parseJSONList ∷ Value → Parser [ModelOneArgument] omittedField ∷ Maybe ModelOneArgument
FromJSON ModelSixArguments Source #
Instance details Methods parseJSON ∷ Value → Parser ModelSixArguments parseJSONList ∷ Value → Parser [ModelSixArguments] omittedField ∷ Maybe ModelSixArguments
FromJSON ModelSubtractedSizes Source #
Instance details Methods parseJSON ∷ Value → Parser ModelSubtractedSizes parseJSONList ∷ Value → Parser [ModelSubtractedSizes] omittedField ∷ Maybe ModelSubtractedSizes
FromJSON ModelThreeArguments Source #
Instance details Methods parseJSON ∷ Value → Parser ModelThreeArguments parseJSONList ∷ Value → Parser [ModelThreeArguments] omittedField ∷ Maybe ModelThreeArguments
FromJSON ModelTwoArguments Source #
Instance details Methods parseJSON ∷ Value → Parser ModelTwoArguments parseJSONList ∷ Value → Parser [ModelTwoArguments] omittedField ∷ Maybe ModelTwoArguments
FromJSON OneVariableLinearFunction Source #
Instance details Methods parseJSON ∷ Value → Parser OneVariableLinearFunction parseJSONList ∷ Value → Parser [OneVariableLinearFunction] omittedField ∷ Maybe OneVariableLinearFunction
FromJSON OneVariableQuadraticFunction Source #
Instance details Methods parseJSON ∷ Value → Parser OneVariableQuadraticFunction parseJSONList ∷ Value → Parser [OneVariableQuadraticFunction] omittedField ∷ Maybe OneVariableQuadraticFunction
FromJSON Slope Source #
Instance details Methods parseJSON ∷ Value → Parser Slope parseJSONList ∷ Value → Parser [Slope] omittedField ∷ Maybe Slope
FromJSON TwoVariableLinearFunction Source #
Instance details Methods parseJSON ∷ Value → Parser TwoVariableLinearFunction parseJSONList ∷ Value → Parser [TwoVariableLinearFunction] omittedField ∷ Maybe TwoVariableLinearFunction
FromJSON TwoVariableQuadraticFunction Source #
Instance details Methods parseJSON ∷ Value → Parser TwoVariableQuadraticFunction parseJSONList ∷ Value → Parser [TwoVariableQuadraticFunction] omittedField ∷ Maybe TwoVariableQuadraticFunction
ToJSON Coefficient0 Source #
Instance details Methods toJSON ∷ Coefficient0 → Value toEncoding ∷ Coefficient0 → Encoding toJSONList ∷ [Coefficient0] → Value toEncodingList ∷ [Coefficient0] → Encoding omitField ∷ Coefficient0 → Bool
ToJSON Coefficient00 Source #
Instance details Methods toJSON ∷ Coefficient00 → Value toEncoding ∷ Coefficient00 → Encoding toJSONList ∷ [Coefficient00] → Value toEncodingList ∷ [Coefficient00] → Encoding omitField ∷ Coefficient00 → Bool
ToJSON Coefficient01 Source #
Instance details Methods toJSON ∷ Coefficient01 → Value toEncoding ∷ Coefficient01 → Encoding toJSONList ∷ [Coefficient01] → Value toEncodingList ∷ [Coefficient01] → Encoding omitField ∷ Coefficient01 → Bool
ToJSON Coefficient02 Source #
Instance details Methods toJSON ∷ Coefficient02 → Value toEncoding ∷ Coefficient02 → Encoding toJSONList ∷ [Coefficient02] → Value toEncodingList ∷ [Coefficient02] → Encoding omitField ∷ Coefficient02 → Bool
ToJSON Coefficient1 Source #
Instance details Methods toJSON ∷ Coefficient1 → Value toEncoding ∷ Coefficient1 → Encoding toJSONList ∷ [Coefficient1] → Value toEncodingList ∷ [Coefficient1] → Encoding omitField ∷ Coefficient1 → Bool
ToJSON Coefficient10 Source #
Instance details Methods toJSON ∷ Coefficient10 → Value toEncoding ∷ Coefficient10 → Encoding toJSONList ∷ [Coefficient10] → Value toEncodingList ∷ [Coefficient10] → Encoding omitField ∷ Coefficient10 → Bool
ToJSON Coefficient11 Source #
Instance details Methods toJSON ∷ Coefficient11 → Value toEncoding ∷ Coefficient11 → Encoding toJSONList ∷ [Coefficient11] → Value toEncodingList ∷ [Coefficient11] → Encoding omitField ∷ Coefficient11 → Bool
ToJSON Coefficient12 Source #
Instance details Methods toJSON ∷ Coefficient12 → Value toEncoding ∷ Coefficient12 → Encoding toJSONList ∷ [Coefficient12] → Value toEncodingList ∷ [Coefficient12] → Encoding omitField ∷ Coefficient12 → Bool
ToJSON Coefficient2 Source #
Instance details Methods toJSON ∷ Coefficient2 → Value toEncoding ∷ Coefficient2 → Encoding toJSONList ∷ [Coefficient2] → Value toEncodingList ∷ [Coefficient2] → Encoding omitField ∷ Coefficient2 → Bool
ToJSON Coefficient20 Source #
Instance details Methods toJSON ∷ Coefficient20 → Value toEncoding ∷ Coefficient20 → Encoding toJSONList ∷ [Coefficient20] → Value toEncodingList ∷ [Coefficient20] → Encoding omitField ∷ Coefficient20 → Bool
ToJSON ExpModCostingFunction Source #
Instance details Methods toJSON ∷ ExpModCostingFunction → Value toEncoding ∷ ExpModCostingFunction → Encoding toJSONList ∷ [ExpModCostingFunction] → Value toEncodingList ∷ [ExpModCostingFunction] → Encoding omitField ∷ ExpModCostingFunction → Bool
ToJSON Intercept Source #
Instance details Methods toJSON ∷ Intercept → Value toEncoding ∷ Intercept → Encoding toJSONList ∷ [Intercept] → Value toEncodingList ∷ [Intercept] → Encoding omitField ∷ Intercept → Bool
ToJSON ModelConstantOrLinear Source #
Instance details Methods toJSON ∷ ModelConstantOrLinear → Value toEncoding ∷ ModelConstantOrLinear → Encoding toJSONList ∷ [ModelConstantOrLinear] → Value toEncodingList ∷ [ModelConstantOrLinear] → Encoding omitField ∷ ModelConstantOrLinear → Bool
ToJSON ModelConstantOrOneArgument Source #
Instance details Methods toJSON ∷ ModelConstantOrOneArgument → Value toEncoding ∷ ModelConstantOrOneArgument → Encoding toJSONList ∷ [ModelConstantOrOneArgument] → Value toEncodingList ∷ [ModelConstantOrOneArgument] → Encoding omitField ∷ ModelConstantOrOneArgument → Bool
ToJSON ModelConstantOrTwoArguments Source #
Instance details Methods toJSON ∷ ModelConstantOrTwoArguments → Value toEncoding ∷ ModelConstantOrTwoArguments → Encoding toJSONList ∷ [ModelConstantOrTwoArguments] → Value toEncodingList ∷ [ModelConstantOrTwoArguments] → Encoding omitField ∷ ModelConstantOrTwoArguments → Bool
ToJSON ModelFiveArguments Source #
Instance details Methods toJSON ∷ ModelFiveArguments → Value toEncoding ∷ ModelFiveArguments → Encoding toJSONList ∷ [ModelFiveArguments] → Value toEncodingList ∷ [ModelFiveArguments] → Encoding omitField ∷ ModelFiveArguments → Bool
ToJSON ModelFourArguments Source #
Instance details Methods toJSON ∷ ModelFourArguments → Value toEncoding ∷ ModelFourArguments → Encoding toJSONList ∷ [ModelFourArguments] → Value toEncodingList ∷ [ModelFourArguments] → Encoding omitField ∷ ModelFourArguments → Bool
ToJSON ModelOneArgument Source #
Instance details Methods toJSON ∷ ModelOneArgument → Value toEncoding ∷ ModelOneArgument → Encoding toJSONList ∷ [ModelOneArgument] → Value toEncodingList ∷ [ModelOneArgument] → Encoding omitField ∷ ModelOneArgument → Bool
ToJSON ModelSixArguments Source #
Instance details Methods toJSON ∷ ModelSixArguments → Value toEncoding ∷ ModelSixArguments → Encoding toJSONList ∷ [ModelSixArguments] → Value toEncodingList ∷ [ModelSixArguments] → Encoding omitField ∷ ModelSixArguments → Bool
ToJSON ModelSubtractedSizes Source #
Instance details Methods toJSON ∷ ModelSubtractedSizes → Value toEncoding ∷ ModelSubtractedSizes → Encoding toJSONList ∷ [ModelSubtractedSizes] → Value toEncodingList ∷ [ModelSubtractedSizes] → Encoding omitField ∷ ModelSubtractedSizes → Bool
ToJSON ModelThreeArguments Source #
Instance details Methods toJSON ∷ ModelThreeArguments → Value toEncoding ∷ ModelThreeArguments → Encoding toJSONList ∷ [ModelThreeArguments] → Value toEncodingList ∷ [ModelThreeArguments] → Encoding omitField ∷ ModelThreeArguments → Bool
ToJSON ModelTwoArguments Source #
Instance details Methods toJSON ∷ ModelTwoArguments → Value toEncoding ∷ ModelTwoArguments → Encoding toJSONList ∷ [ModelTwoArguments] → Value toEncodingList ∷ [ModelTwoArguments] → Encoding omitField ∷ ModelTwoArguments → Bool
ToJSON OneVariableLinearFunction Source #
Instance details Methods toJSON ∷ OneVariableLinearFunction → Value toEncoding ∷ OneVariableLinearFunction → Encoding toJSONList ∷ [OneVariableLinearFunction] → Value toEncodingList ∷ [OneVariableLinearFunction] → Encoding omitField ∷ OneVariableLinearFunction → Bool
ToJSON OneVariableQuadraticFunction Source #
Instance details Methods toJSON ∷ OneVariableQuadraticFunction → Value toEncoding ∷ OneVariableQuadraticFunction → Encoding toJSONList ∷ [OneVariableQuadraticFunction] → Value toEncodingList ∷ [OneVariableQuadraticFunction] → Encoding omitField ∷ OneVariableQuadraticFunction → Bool
ToJSON Slope Source #
Instance details Methods toJSON ∷ Slope → Value toEncoding ∷ Slope → Encoding toJSONList ∷ [Slope] → Value toEncodingList ∷ [Slope] → Encoding omitField ∷ Slope → Bool
ToJSON TwoVariableLinearFunction Source #
Instance details Methods toJSON ∷ TwoVariableLinearFunction → Value toEncoding ∷ TwoVariableLinearFunction → Encoding toJSONList ∷ [TwoVariableLinearFunction] → Value toEncodingList ∷ [TwoVariableLinearFunction] → Encoding omitField ∷ TwoVariableLinearFunction → Bool
ToJSON TwoVariableQuadraticFunction Source #
Instance details Methods toJSON ∷ TwoVariableQuadraticFunction → Value toEncoding ∷ TwoVariableQuadraticFunction → Encoding toJSONList ∷ [TwoVariableQuadraticFunction] → Value toEncodingList ∷ [TwoVariableQuadraticFunction] → Encoding omitField ∷ TwoVariableQuadraticFunction → Bool
FromJSON model ⇒ FromJSON (CostingFun model) Source #
Instance details Methods parseJSON ∷ Value → Parser (CostingFun model) parseJSONList ∷ Value → Parser [CostingFun model] omittedField ∷ Maybe (CostingFun model)
ToJSON model ⇒ ToJSON (CostingFun model) Source #
Instance details Methods toJSON ∷ CostingFun model → Value toEncoding ∷ CostingFun model → Encoding toJSONList ∷ [CostingFun model] → Value toEncodingList ∷ [CostingFun model] → Encoding omitField ∷ CostingFun model → Bool