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 TwoVariableWithInteractionFunction = TwoVariableWithInteractionFunction {
- coeff00'_ ∷ Integer
- coeff10'_ ∷ Integer
- coeff01'_ ∷ Integer
- coeff11'_ ∷ Integer
}
data ExpModCostingFunction = ExpModCostingFunction {
- emcfcoeff00_ ∷ Integer
- emcfcoeff11_ ∷ Integer
- emcfcoeff12_ ∷ 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 Source # parseJSONList ∷ Value → Parser [LinearFunction] Source # omittedField ∷ Maybe LinearFunction Source #
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 ∷ ∀ (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 Source # parseJSONList ∷ Value → Parser [TwoVariableLinearFunction] Source # omittedField ∷ Maybe TwoVariableLinearFunction Source #
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 ∷ ∀ (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 Source # parseJSONList ∷ Value → Parser [OneVariableQuadraticFunction] Source # omittedField ∷ Maybe OneVariableQuadraticFunction Source #
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 ∷ ∀ (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 Source # parseJSONList ∷ Value → Parser [TwoVariableQuadraticFunction] Source # omittedField ∷ Maybe TwoVariableQuadraticFunction Source #
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 ∷ ∀ (m ∷ Type → Type). Quote m ⇒ TwoVariableQuadraticFunction → Code m TwoVariableQuadraticFunction Source #

data TwoVariableWithInteractionFunction Source #

Constructors

TwoVariableWithInteractionFunction
Fields coeff00'_ ∷ Integer coeff10'_ ∷ Integer coeff01'_ ∷ Integer coeff11'_ ∷ Integer

Instances

Instances details

FromJSON TwoVariableWithInteractionFunction Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods parseJSON ∷ Value → Parser TwoVariableWithInteractionFunction Source # parseJSONList ∷ Value → Parser [TwoVariableWithInteractionFunction] Source # omittedField ∷ Maybe TwoVariableWithInteractionFunction Source #
Show TwoVariableWithInteractionFunction Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods showsPrec ∷ Int → TwoVariableWithInteractionFunction → ShowS Source # show ∷ TwoVariableWithInteractionFunction → String Source # showList ∷ [TwoVariableWithInteractionFunction] → ShowS Source #
Lift TwoVariableWithInteractionFunction Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods lift ∷ Quote m ⇒ TwoVariableWithInteractionFunction → m Exp Source # liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ TwoVariableWithInteractionFunction → Code m TwoVariableWithInteractionFunction Source #

data ExpModCostingFunction Source #

Constructors

ExpModCostingFunction
Fields emcfcoeff00_ ∷ Integer emcfcoeff11_ ∷ Integer emcfcoeff12_ ∷ Integer

Instances

Instances details

FromJSON ExpModCostingFunction Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods parseJSON ∷ Value → Parser ExpModCostingFunction Source # parseJSONList ∷ Value → Parser [ExpModCostingFunction] Source # omittedField ∷ Maybe ExpModCostingFunction Source #
Show ExpModCostingFunction Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods showsPrec ∷ Int → ExpModCostingFunction → ShowS Source # show ∷ ExpModCostingFunction → String Source # showList ∷ [ExpModCostingFunction] → ShowS Source #
Lift ExpModCostingFunction Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods lift ∷ Quote m ⇒ ExpModCostingFunction → m Exp Source # liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ ExpModCostingFunction → Code m ExpModCostingFunction 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.

Constructors

ConstantCost Integer
AddedSizes LinearFunction
MultipliedSizes LinearFunction
MinSize LinearFunction
MaxSize LinearFunction
LinearInX LinearFunction
LinearInY LinearFunction
LinearInY2 LinearFunction Integer
LinearInZ LinearFunction
LinearInU LinearFunction
LiteralInYOrLinearInZ LinearFunction
LinearInMaxYZ LinearFunction
LinearInXAndY TwoVariableLinearFunction
LinearInYAndZ TwoVariableLinearFunction
QuadraticInX OneVariableQuadraticFunction
QuadraticInY OneVariableQuadraticFunction
QuadraticInZ OneVariableQuadraticFunction
QuadraticInXAndY TwoVariableQuadraticFunction
WithInteractionInXAndY TwoVariableWithInteractionFunction
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
ExpModCost ExpModCostingFunction
AboveAndBelowDiagonal Integer Model

Instances

Instances details

FromJSON Model Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON Methods parseJSON ∷ Value → Parser Model Source # parseJSONList ∷ Value → Parser [Model] Source # omittedField ∷ Maybe Model Source #
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 ∷ ∀ (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 Source # parseJSONList ∷ Value → Parser [CpuAndMemoryModel] Source # omittedField ∷ Maybe CpuAndMemoryModel Source #
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 ∷ ∀ (m ∷ Type → Type). Quote m ⇒ CpuAndMemoryModel → Code m CpuAndMemoryModel Source #