Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON

Description

A JSON representation of costing functions for Plutus Core builtins which produces a simple cost model which can be used from Agda and other executables

Synopsis

data LinearFunction = LinearFunction {
- intercept_ :: Integer
- slope_ :: Integer
}
data TwoVariableLinearFunction = TwoVariableLinearFunction {
- intercept'_ :: Integer
- slope1_ :: Integer
- slope2_ :: Integer
}
data OneVariableQuadraticFunction = OneVariableQuadraticFunction {
- coeff0_ :: Integer
- coeff1_ :: Integer
- coeff2_ :: Integer
}
data TwoVariableQuadraticFunction = TwoVariableQuadraticFunction {
- minimum :: Integer
- coeff00_ :: Integer
- coeff10_ :: Integer
- coeff01_ :: Integer
- coeff20_ :: Integer
- coeff11_ :: Integer
- coeff02_ :: Integer
}
data Model
data CpuAndMemoryModel = CpuAndMemoryModel {
- cpuModel :: Model
- memoryModel :: Model
}

Documentation

data LinearFunction Source #

Constructors

LinearFunction
Fields intercept_ :: Integer slope_ :: Integer

Instances

Instances details

FromJSON LinearFunction Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods parseJSON :: Value -> Parser LinearFunction parseJSONList :: Value -> Parser [LinearFunction] omittedField :: Maybe LinearFunction
Show LinearFunction Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods showsPrec :: Int -> LinearFunction -> ShowS Source # show :: LinearFunction -> String Source # showList :: [LinearFunction] -> ShowS Source #
Lift LinearFunction Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods lift :: Quote m => LinearFunction -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => LinearFunction -> Code m LinearFunction Source #

data TwoVariableLinearFunction Source #

Constructors

TwoVariableLinearFunction
Fields intercept'_ :: Integer slope1_ :: Integer slope2_ :: Integer

Instances

Instances details

FromJSON TwoVariableLinearFunction Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods parseJSON :: Value -> Parser TwoVariableLinearFunction parseJSONList :: Value -> Parser [TwoVariableLinearFunction] omittedField :: Maybe TwoVariableLinearFunction
Show TwoVariableLinearFunction Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods showsPrec :: Int -> TwoVariableLinearFunction -> ShowS Source # show :: TwoVariableLinearFunction -> String Source # showList :: [TwoVariableLinearFunction] -> ShowS Source #
Lift TwoVariableLinearFunction Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods lift :: Quote m => TwoVariableLinearFunction -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => TwoVariableLinearFunction -> Code m TwoVariableLinearFunction Source #

data OneVariableQuadraticFunction Source #

Constructors

OneVariableQuadraticFunction
Fields coeff0_ :: Integer coeff1_ :: Integer coeff2_ :: Integer

Instances

Instances details

FromJSON OneVariableQuadraticFunction Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods parseJSON :: Value -> Parser OneVariableQuadraticFunction parseJSONList :: Value -> Parser [OneVariableQuadraticFunction] omittedField :: Maybe OneVariableQuadraticFunction
Show OneVariableQuadraticFunction Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods showsPrec :: Int -> OneVariableQuadraticFunction -> ShowS Source # show :: OneVariableQuadraticFunction -> String Source # showList :: [OneVariableQuadraticFunction] -> ShowS Source #
Lift OneVariableQuadraticFunction Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods lift :: Quote m => OneVariableQuadraticFunction -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => OneVariableQuadraticFunction -> Code m OneVariableQuadraticFunction Source #

data TwoVariableQuadraticFunction Source #

Constructors

TwoVariableQuadraticFunction
Fields minimum :: Integer coeff00_ :: Integer coeff10_ :: Integer coeff01_ :: Integer coeff20_ :: Integer coeff11_ :: Integer coeff02_ :: Integer

Instances

Instances details

FromJSON TwoVariableQuadraticFunction Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods parseJSON :: Value -> Parser TwoVariableQuadraticFunction parseJSONList :: Value -> Parser [TwoVariableQuadraticFunction] omittedField :: Maybe TwoVariableQuadraticFunction
Show TwoVariableQuadraticFunction Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods showsPrec :: Int -> TwoVariableQuadraticFunction -> ShowS Source # show :: TwoVariableQuadraticFunction -> String Source # showList :: [TwoVariableQuadraticFunction] -> ShowS Source #
Lift TwoVariableQuadraticFunction Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods lift :: Quote m => TwoVariableQuadraticFunction -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => TwoVariableQuadraticFunction -> Code m TwoVariableQuadraticFunction Source #

data Model Source #

This type reflects what is actually in the JSON. The stuff in CostingFun.Core and CostingFun.JSON is much more rigid, allowing parsing only for the model types applicable to the various ModelNArguments types; it also requires entries for everything in DefaultFun. Using the type defined here allows us to be more flexible and parse stuff that's not exactly what's expected in builtinCostModel.json.

Instances

Instances details

FromJSON Model Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods parseJSON :: Value -> Parser Model parseJSONList :: Value -> Parser [Model] omittedField :: Maybe Model
Show Model Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods showsPrec :: Int -> Model -> ShowS Source # show :: Model -> String Source # showList :: [Model] -> ShowS Source #
Lift Model Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods lift :: Quote m => Model -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Model -> Code m Model Source #

data CpuAndMemoryModel Source #

A CPU usage modelling function and a memory usage modelling function bundled together

Constructors

CpuAndMemoryModel
Fields cpuModel :: Model memoryModel :: Model

Instances

Instances details

FromJSON CpuAndMemoryModel Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods parseJSON :: Value -> Parser CpuAndMemoryModel parseJSONList :: Value -> Parser [CpuAndMemoryModel] omittedField :: Maybe CpuAndMemoryModel
Show CpuAndMemoryModel Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods showsPrec :: Int -> CpuAndMemoryModel -> ShowS Source # show :: CpuAndMemoryModel -> String Source # showList :: [CpuAndMemoryModel] -> ShowS Source #
Lift CpuAndMemoryModel Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods lift :: Quote m => CpuAndMemoryModel -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => CpuAndMemoryModel -> Code m CpuAndMemoryModel Source #

ConstantCost Integer
AddedSizes LinearFunction
MultipliedSizes LinearFunction
MinSize LinearFunction
MaxSize LinearFunction
LinearInX LinearFunction
LinearInY LinearFunction
LinearInZ LinearFunction
LiteralInYOrLinearInZ LinearFunction
LinearInMaxYZ LinearFunction
LinearInYAndZ TwoVariableLinearFunction
QuadraticInY OneVariableQuadraticFunction
QuadraticInZ OneVariableQuadraticFunction
QuadraticInXAndY TwoVariableQuadraticFunction
SubtractedSizes LinearFunction Integer	Linear model in x-y plus minimum value for the case x-y < 0.
ConstAboveDiagonal Integer Model
ConstBelowDiagonal Integer Model
ConstOffDiagonal Integer Model