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 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 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 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 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