| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusCore.Evaluation.Machine.CostingFun.Core
Synopsis
- data CostingFun model = CostingFun {
- costingFunCpu :: model
- costingFunMemory :: model
- class UnimplementedCostingFun a where
- unimplementedCostingFun :: b -> CostingFun a
- newtype Intercept = Intercept {}
- newtype Slope = Slope {}
- newtype Coefficient0 = Coefficient0 {}
- newtype Coefficient1 = Coefficient1 {}
- newtype Coefficient2 = Coefficient2 {}
- newtype Coefficient00 = Coefficient00 {}
- newtype Coefficient10 = Coefficient10 {}
- newtype Coefficient01 = Coefficient01 {}
- newtype Coefficient20 = Coefficient20 {}
- newtype Coefficient11 = Coefficient11 {}
- newtype Coefficient02 = Coefficient02 {}
- newtype Coefficient12 = Coefficient12 {}
- data OneVariableLinearFunction = OneVariableLinearFunction {}
- data OneVariableQuadraticFunction = OneVariableQuadraticFunction {}
- data TwoVariableLinearFunction = TwoVariableLinearFunction {}
- data TwoVariableQuadraticFunction = TwoVariableQuadraticFunction {
- twoVariableQuadraticFunctionMinimum :: CostingInteger
- twoVariableQuadraticFunctionC00 :: Coefficient00
- twoVariableQuadraticFunctionC10 :: Coefficient10
- twoVariableQuadraticFunctionC01 :: Coefficient01
- twoVariableQuadraticFunctionC20 :: Coefficient20
- twoVariableQuadraticFunctionC11 :: Coefficient11
- twoVariableQuadraticFunctionC02 :: Coefficient02
- data TwoVariableWithInteractionFunction = TwoVariableWithInteractionFunction {}
- data ExpModCostingFunction = ExpModCostingFunction {}
- data ModelSubtractedSizes = ModelSubtractedSizes {}
- data ModelConstantOrLinear = ModelConstantOrLinear {}
- data ModelConstantOrOneArgument = ModelConstantOrOneArgument {}
- data ModelConstantOrTwoArguments = ModelConstantOrTwoArguments {}
- data ModelOneArgument
- data ModelTwoArguments
- = ModelTwoArgumentsConstantCost CostingInteger
- | ModelTwoArgumentsLinearInX OneVariableLinearFunction
- | ModelTwoArgumentsLinearInY OneVariableLinearFunction
- | ModelTwoArgumentsLinearInXAndY TwoVariableLinearFunction
- | ModelTwoArgumentsAddedSizes OneVariableLinearFunction
- | ModelTwoArgumentsSubtractedSizes ModelSubtractedSizes
- | ModelTwoArgumentsMultipliedSizes OneVariableLinearFunction
- | ModelTwoArgumentsMinSize OneVariableLinearFunction
- | ModelTwoArgumentsMaxSize OneVariableLinearFunction
- | ModelTwoArgumentsLinearOnDiagonal ModelConstantOrLinear
- | ModelTwoArgumentsConstOffDiagonal ModelConstantOrOneArgument
- | ModelTwoArgumentsConstAboveDiagonal ModelConstantOrTwoArguments
- | ModelTwoArgumentsConstBelowDiagonal ModelConstantOrTwoArguments
- | ModelTwoArgumentsQuadraticInY OneVariableQuadraticFunction
- | ModelTwoArgumentsQuadraticInXAndY TwoVariableQuadraticFunction
- | ModelTwoArgumentsWithInteractionInXAndY TwoVariableWithInteractionFunction
- data ModelThreeArguments
- = ModelThreeArgumentsConstantCost CostingInteger
- | ModelThreeArgumentsLinearInX OneVariableLinearFunction
- | ModelThreeArgumentsLinearInY OneVariableLinearFunction
- | ModelThreeArgumentsLinearInZ OneVariableLinearFunction
- | ModelThreeArgumentsQuadraticInZ OneVariableQuadraticFunction
- | ModelThreeArgumentsLiteralInYOrLinearInZ OneVariableLinearFunction
- | ModelThreeArgumentsLinearInMaxYZ OneVariableLinearFunction
- | ModelThreeArgumentsLinearInYAndZ TwoVariableLinearFunction
- | ModelThreeArgumentsQuadraticInYAndZ TwoVariableQuadraticFunction
- | ModelThreeArgumentsExpModCost ExpModCostingFunction
- data ModelFourArguments
- data ModelFiveArguments = ModelFiveArgumentsConstantCost CostingInteger
- data ModelSixArguments = ModelSixArgumentsConstantCost CostingInteger
- runCostingFunOneArgument :: ExMemoryUsage a1 => CostingFun ModelOneArgument -> a1 -> ExBudgetStream
- runCostingFunTwoArguments :: (ExMemoryUsage a1, ExMemoryUsage a2) => CostingFun ModelTwoArguments -> a1 -> a2 -> ExBudgetStream
- runCostingFunThreeArguments :: (ExMemoryUsage a1, ExMemoryUsage a2, ExMemoryUsage a3) => CostingFun ModelThreeArguments -> a1 -> a2 -> a3 -> ExBudgetStream
- runCostingFunFourArguments :: (ExMemoryUsage a1, ExMemoryUsage a2, ExMemoryUsage a3, ExMemoryUsage a4) => CostingFun ModelFourArguments -> a1 -> a2 -> a3 -> a4 -> ExBudgetStream
- runCostingFunFiveArguments :: (ExMemoryUsage a1, ExMemoryUsage a2, ExMemoryUsage a3, ExMemoryUsage a4, ExMemoryUsage a5) => CostingFun ModelFiveArguments -> a1 -> a2 -> a3 -> a4 -> a5 -> ExBudgetStream
- runCostingFunSixArguments :: (ExMemoryUsage a1, ExMemoryUsage a2, ExMemoryUsage a3, ExMemoryUsage a4, ExMemoryUsage a5, ExMemoryUsage a6) => CostingFun ModelSixArguments -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> ExBudgetStream
- class Eq a => Hashable a
Documentation
data CostingFun model Source #
A type of costing functions parametric over a model type. In practice the we have one model type `ModelNArguments` for every N, where N is the arity of the builtin whose costs we want to model. Each model type has a number of constructors defining different "shapes" of N-parameter functions which calculate a cost given the sizes of the builtin's arguments.
Constructors
| CostingFun | |
Fields
| |
Instances
class UnimplementedCostingFun a where Source #
In the initial stages of implementing a new builtin it is necessary to
provide a temporary costing function which is used until the builtin has been
properly costed: `see CostModelGeneration.md`. Each `ModelNArguments` type
defines an instance of this class where unimplementedCostingFun is a
constant costing function which returns a very high cost for all inputs.
This prevents new functions from being used in situations where costs are
important until a sensible costing function has been implemented.
Methods
unimplementedCostingFun :: b -> CostingFun a Source #
Instances
| UnimplementedCostingFun ModelFiveArguments Source # | |
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods unimplementedCostingFun :: b -> CostingFun ModelFiveArguments Source # | |
| UnimplementedCostingFun ModelFourArguments Source # | |
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods unimplementedCostingFun :: b -> CostingFun ModelFourArguments Source # | |
| UnimplementedCostingFun ModelOneArgument Source # | |
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods unimplementedCostingFun :: b -> CostingFun ModelOneArgument Source # | |
| UnimplementedCostingFun ModelSixArguments Source # | |
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods unimplementedCostingFun :: b -> CostingFun ModelSixArguments Source # | |
| UnimplementedCostingFun ModelThreeArguments Source # | |
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods unimplementedCostingFun :: b -> CostingFun ModelThreeArguments Source # | |
| UnimplementedCostingFun ModelTwoArguments Source # | |
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods unimplementedCostingFun :: b -> CostingFun ModelTwoArguments Source # | |
A wrapped CostingInteger that is supposed to be used as an intercept.
Constructors
| Intercept | |
Fields | |
Instances
| FromJSON Intercept | |||||
| ToJSON Intercept | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toEncoding :: Intercept -> Encoding toJSONList :: [Intercept] -> Value toEncodingList :: [Intercept] -> Encoding | |||||
| Generic Intercept Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
| |||||
| Num Intercept Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (+) :: Intercept -> Intercept -> Intercept Source # (-) :: Intercept -> Intercept -> Intercept Source # (*) :: Intercept -> Intercept -> Intercept Source # negate :: Intercept -> Intercept Source # abs :: Intercept -> Intercept Source # signum :: Intercept -> Intercept Source # fromInteger :: Integer -> Intercept Source # | |||||
| Show Intercept Source # | |||||
| NFData Intercept Source # | |||||
| Eq Intercept Source # | |||||
| Lift Intercept Source # | |||||
| type Rep Intercept Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep Intercept = D1 ('MetaData "Intercept" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "Intercept" 'PrefixI 'True) (S1 ('MetaSel ('Just "unIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger))) | |||||
A wrapped CostingInteger that is supposed to be used as a slope.
Constructors
| Slope | |
Fields | |
Instances
| FromJSON Slope | |||||
| ToJSON Slope | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toEncoding :: Slope -> Encoding toJSONList :: [Slope] -> Value toEncodingList :: [Slope] -> Encoding | |||||
| Generic Slope Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
| |||||
| Num Slope Source # | |||||
| Show Slope Source # | |||||
| NFData Slope Source # | |||||
| Eq Slope Source # | |||||
| Lift Slope Source # | |||||
| type Rep Slope Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep Slope = D1 ('MetaData "Slope" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "Slope" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger))) | |||||
newtype Coefficient0 Source #
A wrapped CostingInteger that is supposed to be used as the degree 0
coefficient of a polynomial.
Constructors
| Coefficient0 | |
Fields | |
Instances
| FromJSON Coefficient0 | |||||
| ToJSON Coefficient0 | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: Coefficient0 -> Value toEncoding :: Coefficient0 -> Encoding toJSONList :: [Coefficient0] -> Value toEncodingList :: [Coefficient0] -> Encoding omitField :: Coefficient0 -> Bool | |||||
| Generic Coefficient0 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: Coefficient0 -> Rep Coefficient0 x Source # to :: Rep Coefficient0 x -> Coefficient0 Source # | |||||
| Num Coefficient0 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (+) :: Coefficient0 -> Coefficient0 -> Coefficient0 Source # (-) :: Coefficient0 -> Coefficient0 -> Coefficient0 Source # (*) :: Coefficient0 -> Coefficient0 -> Coefficient0 Source # negate :: Coefficient0 -> Coefficient0 Source # abs :: Coefficient0 -> Coefficient0 Source # signum :: Coefficient0 -> Coefficient0 Source # fromInteger :: Integer -> Coefficient0 Source # | |||||
| Show Coefficient0 Source # | |||||
| NFData Coefficient0 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: Coefficient0 -> () Source # | |||||
| Eq Coefficient0 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: Coefficient0 -> Coefficient0 -> Bool Source # (/=) :: Coefficient0 -> Coefficient0 -> Bool Source # | |||||
| Lift Coefficient0 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => Coefficient0 -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Coefficient0 -> Code m Coefficient0 Source # | |||||
| type Rep Coefficient0 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep Coefficient0 = D1 ('MetaData "Coefficient0" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "Coefficient0" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger))) | |||||
newtype Coefficient1 Source #
A wrapped CostingInteger that is supposed to be used as the degree 1
coefficient of a polynomial.
Constructors
| Coefficient1 | |
Fields | |
Instances
| FromJSON Coefficient1 | |||||
| ToJSON Coefficient1 | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: Coefficient1 -> Value toEncoding :: Coefficient1 -> Encoding toJSONList :: [Coefficient1] -> Value toEncodingList :: [Coefficient1] -> Encoding omitField :: Coefficient1 -> Bool | |||||
| Generic Coefficient1 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: Coefficient1 -> Rep Coefficient1 x Source # to :: Rep Coefficient1 x -> Coefficient1 Source # | |||||
| Num Coefficient1 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (+) :: Coefficient1 -> Coefficient1 -> Coefficient1 Source # (-) :: Coefficient1 -> Coefficient1 -> Coefficient1 Source # (*) :: Coefficient1 -> Coefficient1 -> Coefficient1 Source # negate :: Coefficient1 -> Coefficient1 Source # abs :: Coefficient1 -> Coefficient1 Source # signum :: Coefficient1 -> Coefficient1 Source # fromInteger :: Integer -> Coefficient1 Source # | |||||
| Show Coefficient1 Source # | |||||
| NFData Coefficient1 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: Coefficient1 -> () Source # | |||||
| Eq Coefficient1 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: Coefficient1 -> Coefficient1 -> Bool Source # (/=) :: Coefficient1 -> Coefficient1 -> Bool Source # | |||||
| Lift Coefficient1 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => Coefficient1 -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Coefficient1 -> Code m Coefficient1 Source # | |||||
| type Rep Coefficient1 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep Coefficient1 = D1 ('MetaData "Coefficient1" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "Coefficient1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger))) | |||||
newtype Coefficient2 Source #
A wrapped CostingInteger that is supposed to be used as the degree 2
coefficient of a polynomial.
Constructors
| Coefficient2 | |
Fields | |
Instances
| FromJSON Coefficient2 | |||||
| ToJSON Coefficient2 | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: Coefficient2 -> Value toEncoding :: Coefficient2 -> Encoding toJSONList :: [Coefficient2] -> Value toEncodingList :: [Coefficient2] -> Encoding omitField :: Coefficient2 -> Bool | |||||
| Generic Coefficient2 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: Coefficient2 -> Rep Coefficient2 x Source # to :: Rep Coefficient2 x -> Coefficient2 Source # | |||||
| Num Coefficient2 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (+) :: Coefficient2 -> Coefficient2 -> Coefficient2 Source # (-) :: Coefficient2 -> Coefficient2 -> Coefficient2 Source # (*) :: Coefficient2 -> Coefficient2 -> Coefficient2 Source # negate :: Coefficient2 -> Coefficient2 Source # abs :: Coefficient2 -> Coefficient2 Source # signum :: Coefficient2 -> Coefficient2 Source # fromInteger :: Integer -> Coefficient2 Source # | |||||
| Show Coefficient2 Source # | |||||
| NFData Coefficient2 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: Coefficient2 -> () Source # | |||||
| Eq Coefficient2 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: Coefficient2 -> Coefficient2 -> Bool Source # (/=) :: Coefficient2 -> Coefficient2 -> Bool Source # | |||||
| Lift Coefficient2 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => Coefficient2 -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Coefficient2 -> Code m Coefficient2 Source # | |||||
| type Rep Coefficient2 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep Coefficient2 = D1 ('MetaData "Coefficient2" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "Coefficient2" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger))) | |||||
newtype Coefficient00 Source #
A wrapped CostingInteger that is supposed to be used as the degree (0,0)
coefficient of a two-variable polynomial.
Constructors
| Coefficient00 | |
Fields | |
Instances
| FromJSON Coefficient00 | |||||
| ToJSON Coefficient00 | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: Coefficient00 -> Value toEncoding :: Coefficient00 -> Encoding toJSONList :: [Coefficient00] -> Value toEncodingList :: [Coefficient00] -> Encoding omitField :: Coefficient00 -> Bool | |||||
| Generic Coefficient00 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: Coefficient00 -> Rep Coefficient00 x Source # to :: Rep Coefficient00 x -> Coefficient00 Source # | |||||
| Num Coefficient00 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (+) :: Coefficient00 -> Coefficient00 -> Coefficient00 Source # (-) :: Coefficient00 -> Coefficient00 -> Coefficient00 Source # (*) :: Coefficient00 -> Coefficient00 -> Coefficient00 Source # negate :: Coefficient00 -> Coefficient00 Source # abs :: Coefficient00 -> Coefficient00 Source # signum :: Coefficient00 -> Coefficient00 Source # fromInteger :: Integer -> Coefficient00 Source # | |||||
| Show Coefficient00 Source # | |||||
| NFData Coefficient00 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: Coefficient00 -> () Source # | |||||
| Eq Coefficient00 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: Coefficient00 -> Coefficient00 -> Bool Source # (/=) :: Coefficient00 -> Coefficient00 -> Bool Source # | |||||
| Lift Coefficient00 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => Coefficient00 -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Coefficient00 -> Code m Coefficient00 Source # | |||||
| type Rep Coefficient00 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep Coefficient00 = D1 ('MetaData "Coefficient00" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "Coefficient00" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient00") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger))) | |||||
newtype Coefficient10 Source #
A wrapped CostingInteger that is supposed to be used as the degree (1,0)
coefficient of a two-variable polynomial.
Constructors
| Coefficient10 | |
Fields | |
Instances
| FromJSON Coefficient10 | |||||
| ToJSON Coefficient10 | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: Coefficient10 -> Value toEncoding :: Coefficient10 -> Encoding toJSONList :: [Coefficient10] -> Value toEncodingList :: [Coefficient10] -> Encoding omitField :: Coefficient10 -> Bool | |||||
| Generic Coefficient10 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: Coefficient10 -> Rep Coefficient10 x Source # to :: Rep Coefficient10 x -> Coefficient10 Source # | |||||
| Num Coefficient10 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (+) :: Coefficient10 -> Coefficient10 -> Coefficient10 Source # (-) :: Coefficient10 -> Coefficient10 -> Coefficient10 Source # (*) :: Coefficient10 -> Coefficient10 -> Coefficient10 Source # negate :: Coefficient10 -> Coefficient10 Source # abs :: Coefficient10 -> Coefficient10 Source # signum :: Coefficient10 -> Coefficient10 Source # fromInteger :: Integer -> Coefficient10 Source # | |||||
| Show Coefficient10 Source # | |||||
| NFData Coefficient10 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: Coefficient10 -> () Source # | |||||
| Eq Coefficient10 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: Coefficient10 -> Coefficient10 -> Bool Source # (/=) :: Coefficient10 -> Coefficient10 -> Bool Source # | |||||
| Lift Coefficient10 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => Coefficient10 -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Coefficient10 -> Code m Coefficient10 Source # | |||||
| type Rep Coefficient10 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep Coefficient10 = D1 ('MetaData "Coefficient10" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "Coefficient10" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient10") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger))) | |||||
newtype Coefficient01 Source #
A wrapped CostingInteger that is supposed to be used as the degree (0,1)
coefficient of a two-variable polynomial.
Constructors
| Coefficient01 | |
Fields | |
Instances
| FromJSON Coefficient01 | |||||
| ToJSON Coefficient01 | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: Coefficient01 -> Value toEncoding :: Coefficient01 -> Encoding toJSONList :: [Coefficient01] -> Value toEncodingList :: [Coefficient01] -> Encoding omitField :: Coefficient01 -> Bool | |||||
| Generic Coefficient01 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: Coefficient01 -> Rep Coefficient01 x Source # to :: Rep Coefficient01 x -> Coefficient01 Source # | |||||
| Num Coefficient01 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (+) :: Coefficient01 -> Coefficient01 -> Coefficient01 Source # (-) :: Coefficient01 -> Coefficient01 -> Coefficient01 Source # (*) :: Coefficient01 -> Coefficient01 -> Coefficient01 Source # negate :: Coefficient01 -> Coefficient01 Source # abs :: Coefficient01 -> Coefficient01 Source # signum :: Coefficient01 -> Coefficient01 Source # fromInteger :: Integer -> Coefficient01 Source # | |||||
| Show Coefficient01 Source # | |||||
| NFData Coefficient01 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: Coefficient01 -> () Source # | |||||
| Eq Coefficient01 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: Coefficient01 -> Coefficient01 -> Bool Source # (/=) :: Coefficient01 -> Coefficient01 -> Bool Source # | |||||
| Lift Coefficient01 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => Coefficient01 -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Coefficient01 -> Code m Coefficient01 Source # | |||||
| type Rep Coefficient01 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep Coefficient01 = D1 ('MetaData "Coefficient01" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "Coefficient01" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient01") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger))) | |||||
newtype Coefficient20 Source #
A wrapped CostingInteger that is supposed to be used as the degree (2,0)
coefficient of a two-variable polynomial.
Constructors
| Coefficient20 | |
Fields | |
Instances
| FromJSON Coefficient20 | |||||
| ToJSON Coefficient20 | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: Coefficient20 -> Value toEncoding :: Coefficient20 -> Encoding toJSONList :: [Coefficient20] -> Value toEncodingList :: [Coefficient20] -> Encoding omitField :: Coefficient20 -> Bool | |||||
| Generic Coefficient20 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: Coefficient20 -> Rep Coefficient20 x Source # to :: Rep Coefficient20 x -> Coefficient20 Source # | |||||
| Num Coefficient20 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (+) :: Coefficient20 -> Coefficient20 -> Coefficient20 Source # (-) :: Coefficient20 -> Coefficient20 -> Coefficient20 Source # (*) :: Coefficient20 -> Coefficient20 -> Coefficient20 Source # negate :: Coefficient20 -> Coefficient20 Source # abs :: Coefficient20 -> Coefficient20 Source # signum :: Coefficient20 -> Coefficient20 Source # fromInteger :: Integer -> Coefficient20 Source # | |||||
| Show Coefficient20 Source # | |||||
| NFData Coefficient20 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: Coefficient20 -> () Source # | |||||
| Eq Coefficient20 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: Coefficient20 -> Coefficient20 -> Bool Source # (/=) :: Coefficient20 -> Coefficient20 -> Bool Source # | |||||
| Lift Coefficient20 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => Coefficient20 -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Coefficient20 -> Code m Coefficient20 Source # | |||||
| type Rep Coefficient20 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep Coefficient20 = D1 ('MetaData "Coefficient20" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "Coefficient20" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient20") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger))) | |||||
newtype Coefficient11 Source #
A wrapped CostingInteger that is supposed to be used as the degree (1,1)
coefficient of a two-variable polynomial.
Constructors
| Coefficient11 | |
Fields | |
Instances
| FromJSON Coefficient11 | |||||
| ToJSON Coefficient11 | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: Coefficient11 -> Value toEncoding :: Coefficient11 -> Encoding toJSONList :: [Coefficient11] -> Value toEncodingList :: [Coefficient11] -> Encoding omitField :: Coefficient11 -> Bool | |||||
| Generic Coefficient11 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: Coefficient11 -> Rep Coefficient11 x Source # to :: Rep Coefficient11 x -> Coefficient11 Source # | |||||
| Num Coefficient11 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (+) :: Coefficient11 -> Coefficient11 -> Coefficient11 Source # (-) :: Coefficient11 -> Coefficient11 -> Coefficient11 Source # (*) :: Coefficient11 -> Coefficient11 -> Coefficient11 Source # negate :: Coefficient11 -> Coefficient11 Source # abs :: Coefficient11 -> Coefficient11 Source # signum :: Coefficient11 -> Coefficient11 Source # fromInteger :: Integer -> Coefficient11 Source # | |||||
| Show Coefficient11 Source # | |||||
| NFData Coefficient11 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: Coefficient11 -> () Source # | |||||
| Eq Coefficient11 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: Coefficient11 -> Coefficient11 -> Bool Source # (/=) :: Coefficient11 -> Coefficient11 -> Bool Source # | |||||
| Lift Coefficient11 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => Coefficient11 -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Coefficient11 -> Code m Coefficient11 Source # | |||||
| type Rep Coefficient11 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep Coefficient11 = D1 ('MetaData "Coefficient11" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "Coefficient11" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient11") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger))) | |||||
newtype Coefficient02 Source #
A wrapped CostingInteger that is supposed to be used as the degree (0,2)
coefficient of a two-variable polynomial.
Constructors
| Coefficient02 | |
Fields | |
Instances
| FromJSON Coefficient02 | |||||
| ToJSON Coefficient02 | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: Coefficient02 -> Value toEncoding :: Coefficient02 -> Encoding toJSONList :: [Coefficient02] -> Value toEncodingList :: [Coefficient02] -> Encoding omitField :: Coefficient02 -> Bool | |||||
| Generic Coefficient02 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: Coefficient02 -> Rep Coefficient02 x Source # to :: Rep Coefficient02 x -> Coefficient02 Source # | |||||
| Num Coefficient02 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (+) :: Coefficient02 -> Coefficient02 -> Coefficient02 Source # (-) :: Coefficient02 -> Coefficient02 -> Coefficient02 Source # (*) :: Coefficient02 -> Coefficient02 -> Coefficient02 Source # negate :: Coefficient02 -> Coefficient02 Source # abs :: Coefficient02 -> Coefficient02 Source # signum :: Coefficient02 -> Coefficient02 Source # fromInteger :: Integer -> Coefficient02 Source # | |||||
| Show Coefficient02 Source # | |||||
| NFData Coefficient02 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: Coefficient02 -> () Source # | |||||
| Eq Coefficient02 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: Coefficient02 -> Coefficient02 -> Bool Source # (/=) :: Coefficient02 -> Coefficient02 -> Bool Source # | |||||
| Lift Coefficient02 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => Coefficient02 -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Coefficient02 -> Code m Coefficient02 Source # | |||||
| type Rep Coefficient02 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep Coefficient02 = D1 ('MetaData "Coefficient02" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "Coefficient02" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient02") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger))) | |||||
newtype Coefficient12 Source #
A wrapped CostingInteger that is supposed to be used as the degree (1,2)
coefficient of a two-variable polynomial.
Constructors
| Coefficient12 | |
Fields | |
Instances
| FromJSON Coefficient12 | |||||
| ToJSON Coefficient12 | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: Coefficient12 -> Value toEncoding :: Coefficient12 -> Encoding toJSONList :: [Coefficient12] -> Value toEncodingList :: [Coefficient12] -> Encoding omitField :: Coefficient12 -> Bool | |||||
| Generic Coefficient12 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: Coefficient12 -> Rep Coefficient12 x Source # to :: Rep Coefficient12 x -> Coefficient12 Source # | |||||
| Num Coefficient12 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (+) :: Coefficient12 -> Coefficient12 -> Coefficient12 Source # (-) :: Coefficient12 -> Coefficient12 -> Coefficient12 Source # (*) :: Coefficient12 -> Coefficient12 -> Coefficient12 Source # negate :: Coefficient12 -> Coefficient12 Source # abs :: Coefficient12 -> Coefficient12 Source # signum :: Coefficient12 -> Coefficient12 Source # fromInteger :: Integer -> Coefficient12 Source # | |||||
| Show Coefficient12 Source # | |||||
| NFData Coefficient12 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: Coefficient12 -> () Source # | |||||
| Eq Coefficient12 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: Coefficient12 -> Coefficient12 -> Bool Source # (/=) :: Coefficient12 -> Coefficient12 -> Bool Source # | |||||
| Lift Coefficient12 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => Coefficient12 -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Coefficient12 -> Code m Coefficient12 Source # | |||||
| type Rep Coefficient12 Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep Coefficient12 = D1 ('MetaData "Coefficient12" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "Coefficient12" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient12") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger))) | |||||
data OneVariableLinearFunction Source #
s * x + I
Constructors
| OneVariableLinearFunction | |
Instances
| FromJSON OneVariableLinearFunction | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods parseJSON :: Value -> Parser OneVariableLinearFunction parseJSONList :: Value -> Parser [OneVariableLinearFunction] | |||||
| ToJSON OneVariableLinearFunction | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: OneVariableLinearFunction -> Value toEncoding :: OneVariableLinearFunction -> Encoding toJSONList :: [OneVariableLinearFunction] -> Value toEncodingList :: [OneVariableLinearFunction] -> Encoding | |||||
| Generic OneVariableLinearFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: OneVariableLinearFunction -> Rep OneVariableLinearFunction x Source # to :: Rep OneVariableLinearFunction x -> OneVariableLinearFunction Source # | |||||
| Show OneVariableLinearFunction Source # | |||||
| NFData OneVariableLinearFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: OneVariableLinearFunction -> () Source # | |||||
| Eq OneVariableLinearFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: OneVariableLinearFunction -> OneVariableLinearFunction -> Bool Source # (/=) :: OneVariableLinearFunction -> OneVariableLinearFunction -> Bool Source # | |||||
| Lift OneVariableLinearFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => OneVariableLinearFunction -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => OneVariableLinearFunction -> Code m OneVariableLinearFunction Source # | |||||
| type Rep OneVariableLinearFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep OneVariableLinearFunction = D1 ('MetaData "OneVariableLinearFunction" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "OneVariableLinearFunction" 'PrefixI 'True) (S1 ('MetaSel ('Just "oneVariableLinearFunctionIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Intercept) :*: S1 ('MetaSel ('Just "oneVariableLinearFunctionSlope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Slope))) | |||||
data OneVariableQuadraticFunction Source #
c0 + c1*x + c2*x^2
Constructors
| OneVariableQuadraticFunction | |
Instances
| FromJSON OneVariableQuadraticFunction | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods parseJSON :: Value -> Parser OneVariableQuadraticFunction parseJSONList :: Value -> Parser [OneVariableQuadraticFunction] | |||||
| ToJSON OneVariableQuadraticFunction | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: OneVariableQuadraticFunction -> Value toEncoding :: OneVariableQuadraticFunction -> Encoding toJSONList :: [OneVariableQuadraticFunction] -> Value toEncodingList :: [OneVariableQuadraticFunction] -> Encoding | |||||
| Generic OneVariableQuadraticFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
| |||||
| Show OneVariableQuadraticFunction Source # | |||||
| NFData OneVariableQuadraticFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: OneVariableQuadraticFunction -> () Source # | |||||
| Eq OneVariableQuadraticFunction Source # | |||||
| Lift OneVariableQuadraticFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => OneVariableQuadraticFunction -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => OneVariableQuadraticFunction -> Code m OneVariableQuadraticFunction Source # | |||||
| type Rep OneVariableQuadraticFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep OneVariableQuadraticFunction = D1 ('MetaData "OneVariableQuadraticFunction" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "OneVariableQuadraticFunction" 'PrefixI 'True) (S1 ('MetaSel ('Just "oneVariableQuadraticFunctionC0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient0) :*: (S1 ('MetaSel ('Just "oneVariableQuadraticFunctionC1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient1) :*: S1 ('MetaSel ('Just "oneVariableQuadraticFunctionC2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient2)))) | |||||
data TwoVariableLinearFunction Source #
s1 * x + s2 * y + I
Constructors
| TwoVariableLinearFunction | |
Instances
| FromJSON TwoVariableLinearFunction | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods parseJSON :: Value -> Parser TwoVariableLinearFunction parseJSONList :: Value -> Parser [TwoVariableLinearFunction] | |||||
| ToJSON TwoVariableLinearFunction | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: TwoVariableLinearFunction -> Value toEncoding :: TwoVariableLinearFunction -> Encoding toJSONList :: [TwoVariableLinearFunction] -> Value toEncodingList :: [TwoVariableLinearFunction] -> Encoding | |||||
| Generic TwoVariableLinearFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: TwoVariableLinearFunction -> Rep TwoVariableLinearFunction x Source # to :: Rep TwoVariableLinearFunction x -> TwoVariableLinearFunction Source # | |||||
| Show TwoVariableLinearFunction Source # | |||||
| NFData TwoVariableLinearFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: TwoVariableLinearFunction -> () Source # | |||||
| Eq TwoVariableLinearFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: TwoVariableLinearFunction -> TwoVariableLinearFunction -> Bool Source # (/=) :: TwoVariableLinearFunction -> TwoVariableLinearFunction -> Bool Source # | |||||
| Lift TwoVariableLinearFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => TwoVariableLinearFunction -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => TwoVariableLinearFunction -> Code m TwoVariableLinearFunction Source # | |||||
| type Rep TwoVariableLinearFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep TwoVariableLinearFunction = D1 ('MetaData "TwoVariableLinearFunction" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "TwoVariableLinearFunction" 'PrefixI 'True) (S1 ('MetaSel ('Just "twoVariableLinearFunctionIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Intercept) :*: (S1 ('MetaSel ('Just "twoVariableLinearFunctionSlope1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Slope) :*: S1 ('MetaSel ('Just "twoVariableLinearFunctionSlope2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Slope)))) | |||||
data TwoVariableQuadraticFunction Source #
c00 + c10*x + c01*y + c20*x^2 + c11*c*y + c02*y^2
Constructors
| TwoVariableQuadraticFunction | |
Fields
| |
Instances
| FromJSON TwoVariableQuadraticFunction | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods parseJSON :: Value -> Parser TwoVariableQuadraticFunction parseJSONList :: Value -> Parser [TwoVariableQuadraticFunction] | |||||
| ToJSON TwoVariableQuadraticFunction | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: TwoVariableQuadraticFunction -> Value toEncoding :: TwoVariableQuadraticFunction -> Encoding toJSONList :: [TwoVariableQuadraticFunction] -> Value toEncodingList :: [TwoVariableQuadraticFunction] -> Encoding | |||||
| Generic TwoVariableQuadraticFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
| |||||
| Show TwoVariableQuadraticFunction Source # | |||||
| NFData TwoVariableQuadraticFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: TwoVariableQuadraticFunction -> () Source # | |||||
| Eq TwoVariableQuadraticFunction Source # | |||||
| Lift TwoVariableQuadraticFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => TwoVariableQuadraticFunction -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => TwoVariableQuadraticFunction -> Code m TwoVariableQuadraticFunction Source # | |||||
| type Rep TwoVariableQuadraticFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep TwoVariableQuadraticFunction = D1 ('MetaData "TwoVariableQuadraticFunction" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "TwoVariableQuadraticFunction" 'PrefixI 'True) ((S1 ('MetaSel ('Just "twoVariableQuadraticFunctionMinimum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger) :*: (S1 ('MetaSel ('Just "twoVariableQuadraticFunctionC00") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient00) :*: S1 ('MetaSel ('Just "twoVariableQuadraticFunctionC10") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient10))) :*: ((S1 ('MetaSel ('Just "twoVariableQuadraticFunctionC01") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient01) :*: S1 ('MetaSel ('Just "twoVariableQuadraticFunctionC20") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient20)) :*: (S1 ('MetaSel ('Just "twoVariableQuadraticFunctionC11") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient11) :*: S1 ('MetaSel ('Just "twoVariableQuadraticFunctionC02") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient02))))) | |||||
data TwoVariableWithInteractionFunction Source #
c10*x + c01*y + c11*x*y + c00
Constructors
| TwoVariableWithInteractionFunction | |
Instances
| FromJSON TwoVariableWithInteractionFunction | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods parseJSON :: Value -> Parser TwoVariableWithInteractionFunction parseJSONList :: Value -> Parser [TwoVariableWithInteractionFunction] | |||||
| ToJSON TwoVariableWithInteractionFunction | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: TwoVariableWithInteractionFunction -> Value toEncoding :: TwoVariableWithInteractionFunction -> Encoding toJSONList :: [TwoVariableWithInteractionFunction] -> Value toEncodingList :: [TwoVariableWithInteractionFunction] -> Encoding | |||||
| Generic TwoVariableWithInteractionFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
| |||||
| Show TwoVariableWithInteractionFunction Source # | |||||
| NFData TwoVariableWithInteractionFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: TwoVariableWithInteractionFunction -> () Source # | |||||
| Eq TwoVariableWithInteractionFunction Source # | |||||
| Lift TwoVariableWithInteractionFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => TwoVariableWithInteractionFunction -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => TwoVariableWithInteractionFunction -> Code m TwoVariableWithInteractionFunction Source # | |||||
| type Rep TwoVariableWithInteractionFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep TwoVariableWithInteractionFunction = D1 ('MetaData "TwoVariableWithInteractionFunction" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "TwoVariableWithInteractionFunction" 'PrefixI 'True) ((S1 ('MetaSel ('Just "twoVariableWithInteractionFunctionC00") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient00) :*: S1 ('MetaSel ('Just "twoVariableWithInteractionFunctionC10") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient10)) :*: (S1 ('MetaSel ('Just "twoVariableWithInteractionFunctionC01") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient01) :*: S1 ('MetaSel ('Just "twoVariableWithInteractionFunctionC11") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient11)))) | |||||
data ExpModCostingFunction Source #
c00 + c01x*y + c12x*y^2
This is used only for expModInteger, whose costing is quite complex.
Constructors
| ExpModCostingFunction | |
Fields | |
Instances
| FromJSON ExpModCostingFunction | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods parseJSON :: Value -> Parser ExpModCostingFunction parseJSONList :: Value -> Parser [ExpModCostingFunction] | |||||
| ToJSON ExpModCostingFunction | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: ExpModCostingFunction -> Value toEncoding :: ExpModCostingFunction -> Encoding toJSONList :: [ExpModCostingFunction] -> Value toEncodingList :: [ExpModCostingFunction] -> Encoding | |||||
| Generic ExpModCostingFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: ExpModCostingFunction -> Rep ExpModCostingFunction x Source # to :: Rep ExpModCostingFunction x -> ExpModCostingFunction Source # | |||||
| Show ExpModCostingFunction Source # | |||||
| NFData ExpModCostingFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: ExpModCostingFunction -> () Source # | |||||
| Eq ExpModCostingFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: ExpModCostingFunction -> ExpModCostingFunction -> Bool Source # (/=) :: ExpModCostingFunction -> ExpModCostingFunction -> Bool Source # | |||||
| Lift ExpModCostingFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => ExpModCostingFunction -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => ExpModCostingFunction -> Code m ExpModCostingFunction Source # | |||||
| type Rep ExpModCostingFunction Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep ExpModCostingFunction = D1 ('MetaData "ExpModCostingFunction" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "ExpModCostingFunction" 'PrefixI 'True) (S1 ('MetaSel ('Just "coefficient00") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient00) :*: (S1 ('MetaSel ('Just "coefficient11") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient11) :*: S1 ('MetaSel ('Just "coefficient12") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient12)))) | |||||
data ModelSubtractedSizes Source #
s * (x - y) + I
Constructors
| ModelSubtractedSizes | |
Instances
| FromJSON ModelSubtractedSizes | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods parseJSON :: Value -> Parser ModelSubtractedSizes parseJSONList :: Value -> Parser [ModelSubtractedSizes] | |||||
| ToJSON ModelSubtractedSizes | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: ModelSubtractedSizes -> Value toEncoding :: ModelSubtractedSizes -> Encoding toJSONList :: [ModelSubtractedSizes] -> Value toEncodingList :: [ModelSubtractedSizes] -> Encoding | |||||
| Generic ModelSubtractedSizes Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: ModelSubtractedSizes -> Rep ModelSubtractedSizes x Source # to :: Rep ModelSubtractedSizes x -> ModelSubtractedSizes Source # | |||||
| Show ModelSubtractedSizes Source # | |||||
| NFData ModelSubtractedSizes Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: ModelSubtractedSizes -> () Source # | |||||
| Eq ModelSubtractedSizes Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: ModelSubtractedSizes -> ModelSubtractedSizes -> Bool Source # (/=) :: ModelSubtractedSizes -> ModelSubtractedSizes -> Bool Source # | |||||
| Lift ModelSubtractedSizes Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => ModelSubtractedSizes -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => ModelSubtractedSizes -> Code m ModelSubtractedSizes Source # | |||||
| type Rep ModelSubtractedSizes Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep ModelSubtractedSizes = D1 ('MetaData "ModelSubtractedSizes" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "ModelSubtractedSizes" 'PrefixI 'True) (S1 ('MetaSel ('Just "modelSubtractedSizesIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Intercept) :*: (S1 ('MetaSel ('Just "modelSubtractedSizesSlope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Slope) :*: S1 ('MetaSel ('Just "modelSubtractedSizesMinimum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)))) | |||||
data ModelConstantOrLinear Source #
if p then s*x else c; p depends on usage
Constructors
| ModelConstantOrLinear | |
Instances
| FromJSON ModelConstantOrLinear | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods parseJSON :: Value -> Parser ModelConstantOrLinear parseJSONList :: Value -> Parser [ModelConstantOrLinear] | |||||
| ToJSON ModelConstantOrLinear | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: ModelConstantOrLinear -> Value toEncoding :: ModelConstantOrLinear -> Encoding toJSONList :: [ModelConstantOrLinear] -> Value toEncodingList :: [ModelConstantOrLinear] -> Encoding | |||||
| Generic ModelConstantOrLinear Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: ModelConstantOrLinear -> Rep ModelConstantOrLinear x Source # to :: Rep ModelConstantOrLinear x -> ModelConstantOrLinear Source # | |||||
| Show ModelConstantOrLinear Source # | |||||
| NFData ModelConstantOrLinear Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: ModelConstantOrLinear -> () Source # | |||||
| Eq ModelConstantOrLinear Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: ModelConstantOrLinear -> ModelConstantOrLinear -> Bool Source # (/=) :: ModelConstantOrLinear -> ModelConstantOrLinear -> Bool Source # | |||||
| Lift ModelConstantOrLinear Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => ModelConstantOrLinear -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => ModelConstantOrLinear -> Code m ModelConstantOrLinear Source # | |||||
| type Rep ModelConstantOrLinear Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep ModelConstantOrLinear = D1 ('MetaData "ModelConstantOrLinear" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "ModelConstantOrLinear" 'PrefixI 'True) (S1 ('MetaSel ('Just "modelConstantOrLinearConstant") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger) :*: (S1 ('MetaSel ('Just "modelConstantOrLinearIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Intercept) :*: S1 ('MetaSel ('Just "modelConstantOrLinearSlope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Slope)))) | |||||
data ModelConstantOrOneArgument Source #
if p then f(x) else c; p depends on usage
Constructors
| ModelConstantOrOneArgument | |
Instances
| FromJSON ModelConstantOrOneArgument | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods parseJSON :: Value -> Parser ModelConstantOrOneArgument parseJSONList :: Value -> Parser [ModelConstantOrOneArgument] | |||||
| ToJSON ModelConstantOrOneArgument | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: ModelConstantOrOneArgument -> Value toEncoding :: ModelConstantOrOneArgument -> Encoding toJSONList :: [ModelConstantOrOneArgument] -> Value toEncodingList :: [ModelConstantOrOneArgument] -> Encoding | |||||
| Generic ModelConstantOrOneArgument Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: ModelConstantOrOneArgument -> Rep ModelConstantOrOneArgument x Source # to :: Rep ModelConstantOrOneArgument x -> ModelConstantOrOneArgument Source # | |||||
| Show ModelConstantOrOneArgument Source # | |||||
| NFData ModelConstantOrOneArgument Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: ModelConstantOrOneArgument -> () Source # | |||||
| Eq ModelConstantOrOneArgument Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: ModelConstantOrOneArgument -> ModelConstantOrOneArgument -> Bool Source # (/=) :: ModelConstantOrOneArgument -> ModelConstantOrOneArgument -> Bool Source # | |||||
| Lift ModelConstantOrOneArgument Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => ModelConstantOrOneArgument -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => ModelConstantOrOneArgument -> Code m ModelConstantOrOneArgument Source # | |||||
| type Rep ModelConstantOrOneArgument Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep ModelConstantOrOneArgument = D1 ('MetaData "ModelConstantOrOneArgument" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "ModelConstantOrOneArgument" 'PrefixI 'True) (S1 ('MetaSel ('Just "modelConstantOrOneArgumentConstant") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger) :*: S1 ('MetaSel ('Just "modelConstantOrOneArgumentModel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelOneArgument))) | |||||
data ModelConstantOrTwoArguments Source #
if p then f(x,y) else c; p depends on usage
Constructors
| ModelConstantOrTwoArguments | |
Instances
| FromJSON ModelConstantOrTwoArguments | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods parseJSON :: Value -> Parser ModelConstantOrTwoArguments parseJSONList :: Value -> Parser [ModelConstantOrTwoArguments] | |||||
| ToJSON ModelConstantOrTwoArguments | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: ModelConstantOrTwoArguments -> Value toEncoding :: ModelConstantOrTwoArguments -> Encoding toJSONList :: [ModelConstantOrTwoArguments] -> Value toEncodingList :: [ModelConstantOrTwoArguments] -> Encoding | |||||
| Generic ModelConstantOrTwoArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
| |||||
| Show ModelConstantOrTwoArguments Source # | |||||
| NFData ModelConstantOrTwoArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: ModelConstantOrTwoArguments -> () Source # | |||||
| Eq ModelConstantOrTwoArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: ModelConstantOrTwoArguments -> ModelConstantOrTwoArguments -> Bool Source # (/=) :: ModelConstantOrTwoArguments -> ModelConstantOrTwoArguments -> Bool Source # | |||||
| Lift ModelConstantOrTwoArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => ModelConstantOrTwoArguments -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => ModelConstantOrTwoArguments -> Code m ModelConstantOrTwoArguments Source # | |||||
| type Rep ModelConstantOrTwoArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep ModelConstantOrTwoArguments = D1 ('MetaData "ModelConstantOrTwoArguments" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "ModelConstantOrTwoArguments" 'PrefixI 'True) (S1 ('MetaSel ('Just "modelConstantOrTwoArgumentsConstant") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger) :*: S1 ('MetaSel ('Just "modelConstantOrTwoArgumentsModel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelTwoArguments))) | |||||
data ModelOneArgument Source #
Constructors
| ModelOneArgumentConstantCost CostingInteger | |
| ModelOneArgumentLinearInX OneVariableLinearFunction | |
| ModelOneArgumentQuadraticInX OneVariableQuadraticFunction |
Instances
| FromJSON ModelOneArgument | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods parseJSON :: Value -> Parser ModelOneArgument parseJSONList :: Value -> Parser [ModelOneArgument] | |||||
| ToJSON ModelOneArgument | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: ModelOneArgument -> Value toEncoding :: ModelOneArgument -> Encoding toJSONList :: [ModelOneArgument] -> Value toEncodingList :: [ModelOneArgument] -> Encoding omitField :: ModelOneArgument -> Bool | |||||
| Generic ModelOneArgument Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: ModelOneArgument -> Rep ModelOneArgument x Source # to :: Rep ModelOneArgument x -> ModelOneArgument Source # | |||||
| Show ModelOneArgument Source # | |||||
| Default ModelOneArgument Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods def :: ModelOneArgument # | |||||
| NFData ModelOneArgument Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: ModelOneArgument -> () Source # | |||||
| Eq ModelOneArgument Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: ModelOneArgument -> ModelOneArgument -> Bool Source # (/=) :: ModelOneArgument -> ModelOneArgument -> Bool Source # | |||||
| UnimplementedCostingFun ModelOneArgument Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods unimplementedCostingFun :: b -> CostingFun ModelOneArgument Source # | |||||
| Lift ModelOneArgument Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => ModelOneArgument -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => ModelOneArgument -> Code m ModelOneArgument Source # | |||||
| type Rep ModelOneArgument Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep ModelOneArgument = D1 ('MetaData "ModelOneArgument" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "ModelOneArgumentConstantCost" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)) :+: (C1 ('MetaCons "ModelOneArgumentLinearInX" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)) :+: C1 ('MetaCons "ModelOneArgumentQuadraticInX" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableQuadraticFunction)))) | |||||
data ModelTwoArguments Source #
Constructors
| ModelTwoArgumentsConstantCost CostingInteger | |
| ModelTwoArgumentsLinearInX OneVariableLinearFunction | |
| ModelTwoArgumentsLinearInY OneVariableLinearFunction | |
| ModelTwoArgumentsLinearInXAndY TwoVariableLinearFunction | |
| ModelTwoArgumentsAddedSizes OneVariableLinearFunction | |
| ModelTwoArgumentsSubtractedSizes ModelSubtractedSizes | |
| ModelTwoArgumentsMultipliedSizes OneVariableLinearFunction | |
| ModelTwoArgumentsMinSize OneVariableLinearFunction | |
| ModelTwoArgumentsMaxSize OneVariableLinearFunction | |
| ModelTwoArgumentsLinearOnDiagonal ModelConstantOrLinear | |
| ModelTwoArgumentsConstOffDiagonal ModelConstantOrOneArgument | |
| ModelTwoArgumentsConstAboveDiagonal ModelConstantOrTwoArguments | |
| ModelTwoArgumentsConstBelowDiagonal ModelConstantOrTwoArguments | |
| ModelTwoArgumentsQuadraticInY OneVariableQuadraticFunction | |
| ModelTwoArgumentsQuadraticInXAndY TwoVariableQuadraticFunction | |
| ModelTwoArgumentsWithInteractionInXAndY TwoVariableWithInteractionFunction |
Instances
| FromJSON ModelTwoArguments | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods parseJSON :: Value -> Parser ModelTwoArguments parseJSONList :: Value -> Parser [ModelTwoArguments] | |||||
| ToJSON ModelTwoArguments | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: ModelTwoArguments -> Value toEncoding :: ModelTwoArguments -> Encoding toJSONList :: [ModelTwoArguments] -> Value toEncodingList :: [ModelTwoArguments] -> Encoding omitField :: ModelTwoArguments -> Bool | |||||
| Generic ModelTwoArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: ModelTwoArguments -> Rep ModelTwoArguments x Source # to :: Rep ModelTwoArguments x -> ModelTwoArguments Source # | |||||
| Show ModelTwoArguments Source # | |||||
| Default ModelTwoArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods | |||||
| NFData ModelTwoArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: ModelTwoArguments -> () Source # | |||||
| Eq ModelTwoArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: ModelTwoArguments -> ModelTwoArguments -> Bool Source # (/=) :: ModelTwoArguments -> ModelTwoArguments -> Bool Source # | |||||
| UnimplementedCostingFun ModelTwoArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods unimplementedCostingFun :: b -> CostingFun ModelTwoArguments Source # | |||||
| Lift ModelTwoArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => ModelTwoArguments -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => ModelTwoArguments -> Code m ModelTwoArguments Source # | |||||
| type Rep ModelTwoArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep ModelTwoArguments = D1 ('MetaData "ModelTwoArguments" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) ((((C1 ('MetaCons "ModelTwoArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)) :+: C1 ('MetaCons "ModelTwoArgumentsLinearInX" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction))) :+: (C1 ('MetaCons "ModelTwoArgumentsLinearInY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)) :+: C1 ('MetaCons "ModelTwoArgumentsLinearInXAndY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TwoVariableLinearFunction)))) :+: ((C1 ('MetaCons "ModelTwoArgumentsAddedSizes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)) :+: C1 ('MetaCons "ModelTwoArgumentsSubtractedSizes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelSubtractedSizes))) :+: (C1 ('MetaCons "ModelTwoArgumentsMultipliedSizes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)) :+: C1 ('MetaCons "ModelTwoArgumentsMinSize" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction))))) :+: (((C1 ('MetaCons "ModelTwoArgumentsMaxSize" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)) :+: C1 ('MetaCons "ModelTwoArgumentsLinearOnDiagonal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelConstantOrLinear))) :+: (C1 ('MetaCons "ModelTwoArgumentsConstOffDiagonal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelConstantOrOneArgument)) :+: C1 ('MetaCons "ModelTwoArgumentsConstAboveDiagonal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelConstantOrTwoArguments)))) :+: ((C1 ('MetaCons "ModelTwoArgumentsConstBelowDiagonal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelConstantOrTwoArguments)) :+: C1 ('MetaCons "ModelTwoArgumentsQuadraticInY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableQuadraticFunction))) :+: (C1 ('MetaCons "ModelTwoArgumentsQuadraticInXAndY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TwoVariableQuadraticFunction)) :+: C1 ('MetaCons "ModelTwoArgumentsWithInteractionInXAndY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TwoVariableWithInteractionFunction)))))) | |||||
data ModelThreeArguments Source #
Constructors
| ModelThreeArgumentsConstantCost CostingInteger | |
| ModelThreeArgumentsLinearInX OneVariableLinearFunction | |
| ModelThreeArgumentsLinearInY OneVariableLinearFunction | |
| ModelThreeArgumentsLinearInZ OneVariableLinearFunction | |
| ModelThreeArgumentsQuadraticInZ OneVariableQuadraticFunction | |
| ModelThreeArgumentsLiteralInYOrLinearInZ OneVariableLinearFunction | |
| ModelThreeArgumentsLinearInMaxYZ OneVariableLinearFunction | |
| ModelThreeArgumentsLinearInYAndZ TwoVariableLinearFunction | |
| ModelThreeArgumentsQuadraticInYAndZ TwoVariableQuadraticFunction | |
| ModelThreeArgumentsExpModCost ExpModCostingFunction |
Instances
| FromJSON ModelThreeArguments | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods parseJSON :: Value -> Parser ModelThreeArguments parseJSONList :: Value -> Parser [ModelThreeArguments] | |||||
| ToJSON ModelThreeArguments | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: ModelThreeArguments -> Value toEncoding :: ModelThreeArguments -> Encoding toJSONList :: [ModelThreeArguments] -> Value toEncodingList :: [ModelThreeArguments] -> Encoding omitField :: ModelThreeArguments -> Bool | |||||
| Generic ModelThreeArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: ModelThreeArguments -> Rep ModelThreeArguments x Source # to :: Rep ModelThreeArguments x -> ModelThreeArguments Source # | |||||
| Show ModelThreeArguments Source # | |||||
| Default ModelThreeArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods | |||||
| NFData ModelThreeArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: ModelThreeArguments -> () Source # | |||||
| Eq ModelThreeArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: ModelThreeArguments -> ModelThreeArguments -> Bool Source # (/=) :: ModelThreeArguments -> ModelThreeArguments -> Bool Source # | |||||
| UnimplementedCostingFun ModelThreeArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods unimplementedCostingFun :: b -> CostingFun ModelThreeArguments Source # | |||||
| Lift ModelThreeArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => ModelThreeArguments -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => ModelThreeArguments -> Code m ModelThreeArguments Source # | |||||
| type Rep ModelThreeArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep ModelThreeArguments = D1 ('MetaData "ModelThreeArguments" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (((C1 ('MetaCons "ModelThreeArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)) :+: C1 ('MetaCons "ModelThreeArgumentsLinearInX" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction))) :+: (C1 ('MetaCons "ModelThreeArgumentsLinearInY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)) :+: (C1 ('MetaCons "ModelThreeArgumentsLinearInZ" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)) :+: C1 ('MetaCons "ModelThreeArgumentsQuadraticInZ" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableQuadraticFunction))))) :+: ((C1 ('MetaCons "ModelThreeArgumentsLiteralInYOrLinearInZ" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)) :+: C1 ('MetaCons "ModelThreeArgumentsLinearInMaxYZ" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction))) :+: (C1 ('MetaCons "ModelThreeArgumentsLinearInYAndZ" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TwoVariableLinearFunction)) :+: (C1 ('MetaCons "ModelThreeArgumentsQuadraticInYAndZ" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TwoVariableQuadraticFunction)) :+: C1 ('MetaCons "ModelThreeArgumentsExpModCost" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExpModCostingFunction)))))) | |||||
data ModelFourArguments Source #
Constructors
| ModelFourArgumentsConstantCost CostingInteger | |
| ModelFourArgumentsLinearInU OneVariableLinearFunction |
Instances
| FromJSON ModelFourArguments | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods parseJSON :: Value -> Parser ModelFourArguments parseJSONList :: Value -> Parser [ModelFourArguments] | |||||
| ToJSON ModelFourArguments | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: ModelFourArguments -> Value toEncoding :: ModelFourArguments -> Encoding toJSONList :: [ModelFourArguments] -> Value toEncodingList :: [ModelFourArguments] -> Encoding omitField :: ModelFourArguments -> Bool | |||||
| Generic ModelFourArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: ModelFourArguments -> Rep ModelFourArguments x Source # to :: Rep ModelFourArguments x -> ModelFourArguments Source # | |||||
| Show ModelFourArguments Source # | |||||
| Default ModelFourArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods | |||||
| NFData ModelFourArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: ModelFourArguments -> () Source # | |||||
| Eq ModelFourArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: ModelFourArguments -> ModelFourArguments -> Bool Source # (/=) :: ModelFourArguments -> ModelFourArguments -> Bool Source # | |||||
| UnimplementedCostingFun ModelFourArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods unimplementedCostingFun :: b -> CostingFun ModelFourArguments Source # | |||||
| Lift ModelFourArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => ModelFourArguments -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => ModelFourArguments -> Code m ModelFourArguments Source # | |||||
| type Rep ModelFourArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep ModelFourArguments = D1 ('MetaData "ModelFourArguments" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "ModelFourArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)) :+: C1 ('MetaCons "ModelFourArgumentsLinearInU" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction))) | |||||
data ModelFiveArguments Source #
Constructors
| ModelFiveArgumentsConstantCost CostingInteger |
Instances
| FromJSON ModelFiveArguments | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods parseJSON :: Value -> Parser ModelFiveArguments parseJSONList :: Value -> Parser [ModelFiveArguments] | |||||
| ToJSON ModelFiveArguments | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: ModelFiveArguments -> Value toEncoding :: ModelFiveArguments -> Encoding toJSONList :: [ModelFiveArguments] -> Value toEncodingList :: [ModelFiveArguments] -> Encoding omitField :: ModelFiveArguments -> Bool | |||||
| Generic ModelFiveArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: ModelFiveArguments -> Rep ModelFiveArguments x Source # to :: Rep ModelFiveArguments x -> ModelFiveArguments Source # | |||||
| Show ModelFiveArguments Source # | |||||
| Default ModelFiveArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods | |||||
| NFData ModelFiveArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: ModelFiveArguments -> () Source # | |||||
| Eq ModelFiveArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: ModelFiveArguments -> ModelFiveArguments -> Bool Source # (/=) :: ModelFiveArguments -> ModelFiveArguments -> Bool Source # | |||||
| UnimplementedCostingFun ModelFiveArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods unimplementedCostingFun :: b -> CostingFun ModelFiveArguments Source # | |||||
| Lift ModelFiveArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => ModelFiveArguments -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => ModelFiveArguments -> Code m ModelFiveArguments Source # | |||||
| type Rep ModelFiveArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep ModelFiveArguments = D1 ('MetaData "ModelFiveArguments" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "ModelFiveArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger))) | |||||
data ModelSixArguments Source #
Constructors
| ModelSixArgumentsConstantCost CostingInteger |
Instances
| FromJSON ModelSixArguments | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods parseJSON :: Value -> Parser ModelSixArguments parseJSONList :: Value -> Parser [ModelSixArguments] | |||||
| ToJSON ModelSixArguments | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON Methods toJSON :: ModelSixArguments -> Value toEncoding :: ModelSixArguments -> Encoding toJSONList :: [ModelSixArguments] -> Value toEncodingList :: [ModelSixArguments] -> Encoding omitField :: ModelSixArguments -> Bool | |||||
| Generic ModelSixArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Associated Types
Methods from :: ModelSixArguments -> Rep ModelSixArguments x Source # to :: Rep ModelSixArguments x -> ModelSixArguments Source # | |||||
| Show ModelSixArguments Source # | |||||
| Default ModelSixArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods | |||||
| NFData ModelSixArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods rnf :: ModelSixArguments -> () Source # | |||||
| Eq ModelSixArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods (==) :: ModelSixArguments -> ModelSixArguments -> Bool Source # (/=) :: ModelSixArguments -> ModelSixArguments -> Bool Source # | |||||
| UnimplementedCostingFun ModelSixArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods unimplementedCostingFun :: b -> CostingFun ModelSixArguments Source # | |||||
| Lift ModelSixArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods lift :: Quote m => ModelSixArguments -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => ModelSixArguments -> Code m ModelSixArguments Source # | |||||
| type Rep ModelSixArguments Source # | |||||
Defined in PlutusCore.Evaluation.Machine.CostingFun.Core type Rep ModelSixArguments = D1 ('MetaData "ModelSixArguments" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "ModelSixArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger))) | |||||
runCostingFunOneArgument :: ExMemoryUsage a1 => CostingFun ModelOneArgument -> a1 -> ExBudgetStream Source #
runCostingFunTwoArguments :: (ExMemoryUsage a1, ExMemoryUsage a2) => CostingFun ModelTwoArguments -> a1 -> a2 -> ExBudgetStream Source #
runCostingFunThreeArguments :: (ExMemoryUsage a1, ExMemoryUsage a2, ExMemoryUsage a3) => CostingFun ModelThreeArguments -> a1 -> a2 -> a3 -> ExBudgetStream Source #
runCostingFunFourArguments :: (ExMemoryUsage a1, ExMemoryUsage a2, ExMemoryUsage a3, ExMemoryUsage a4) => CostingFun ModelFourArguments -> a1 -> a2 -> a3 -> a4 -> ExBudgetStream Source #
runCostingFunFiveArguments :: (ExMemoryUsage a1, ExMemoryUsage a2, ExMemoryUsage a3, ExMemoryUsage a4, ExMemoryUsage a5) => CostingFun ModelFiveArguments -> a1 -> a2 -> a3 -> a4 -> a5 -> ExBudgetStream Source #
runCostingFunSixArguments :: (ExMemoryUsage a1, ExMemoryUsage a2, ExMemoryUsage a3, ExMemoryUsage a4, ExMemoryUsage a5, ExMemoryUsage a6) => CostingFun ModelSixArguments -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> ExBudgetStream Source #
Instances
| Hashable Key | |
Defined in Data.Aeson.Key | |
| Hashable Value | |
Defined in Data.Aeson.Types.Internal | |
| Hashable ByteArray | |
Defined in Data.Hashable.Class | |
| Hashable SomeTypeRep | |
Defined in Data.Hashable.Class | |
| Hashable Unique | |
Defined in Data.Hashable.Class | |
| Hashable Version | |
Defined in Data.Hashable.Class | |
| Hashable IntPtr | |
Defined in Data.Hashable.Class | |
| Hashable WordPtr | |
Defined in Data.Hashable.Class | |
| Hashable Void | |
Defined in Data.Hashable.Class | |
| Hashable ThreadId | |
Defined in Data.Hashable.Class | |
| Hashable Fingerprint | |
Defined in Data.Hashable.Class | |
| Hashable Int16 | |
Defined in Data.Hashable.Class | |
| Hashable Int32 | |
Defined in Data.Hashable.Class | |
| Hashable Int64 | |
Defined in Data.Hashable.Class | |
| Hashable Int8 | |
Defined in Data.Hashable.Class | |
| Hashable Word16 | |
Defined in Data.Hashable.Class | |
| Hashable Word32 | |
Defined in Data.Hashable.Class | |
| Hashable Word64 | |
Defined in Data.Hashable.Class | |
| Hashable Word8 | |
Defined in Data.Hashable.Class | |
| Hashable ByteString | |
Defined in Data.Hashable.Class | |
| Hashable ByteString | |
Defined in Data.Hashable.Class | |
| Hashable ShortByteString | |
Defined in Data.Hashable.Class | |
| Hashable IntSet | |
Defined in Data.Hashable.Class | |
| Hashable OsString | |
Defined in Data.Hashable.Class | |
| Hashable PosixString | |
Defined in Data.Hashable.Class | |
| Hashable WindowsString | |
Defined in Data.Hashable.Class | |
| Hashable BigNat | |
Defined in Data.Hashable.Class | |
| Hashable Ordering | |
Defined in Data.Hashable.Class | |
| Hashable OsString | |
Defined in Data.Hashable.Class | |
| Hashable PosixString | |
Defined in Data.Hashable.Class | |
| Hashable WindowsString | |
Defined in Data.Hashable.Class | |
| Hashable Ann Source # | |
Defined in PlutusCore.Annotation | |
| Hashable Inline Source # | |
Defined in PlutusCore.Annotation | |
| Hashable SrcSpan Source # | |
Defined in PlutusCore.Annotation | |
| Hashable SrcSpans Source # | |
Defined in PlutusCore.Annotation | |
| Hashable Element Source # | |
Defined in PlutusCore.Crypto.BLS12_381.G1 | |
| Hashable Element Source # | |
Defined in PlutusCore.Crypto.BLS12_381.G2 | |
| Hashable MlResult Source # | |
Defined in PlutusCore.Crypto.BLS12_381.Pairing | |
| Hashable Data Source # | |
Defined in PlutusCore.Data | |
| Hashable DeBruijn Source # | |
Defined in PlutusCore.DeBruijn.Internal | |
| Hashable FakeNamedDeBruijn Source # | |
Defined in PlutusCore.DeBruijn.Internal | |
| Hashable Index Source # | |
Defined in PlutusCore.DeBruijn.Internal | |
| Hashable NamedDeBruijn Source # | |
Defined in PlutusCore.DeBruijn.Internal | |
| Hashable DefaultFun Source # | |
Defined in PlutusCore.Default.Builtins | |
| Hashable ExtensionFun Source # | |
Defined in PlutusCore.Examples.Builtins | |
| Hashable Name Source # | |
Defined in PlutusCore.Name.Unique | |
| Hashable TermUnique Source # | |
Defined in PlutusCore.Name.Unique | |
| Hashable TyName Source # | |
Defined in PlutusCore.Name.Unique | |
| Hashable TypeUnique Source # | |
Defined in PlutusCore.Name.Unique | |
| Hashable Unique Source # | |
Defined in PlutusCore.Name.Unique | |
| Hashable K Source # | |
Defined in PlutusCore.Value | |
| Hashable Quantity Source # | |
Defined in PlutusCore.Value | |
| Hashable Value Source # | |
Defined in PlutusCore.Value | |
| Hashable Version Source # | |
Defined in PlutusCore.Version | |
| Hashable StepKind Source # | |
| Hashable Scientific | |
Defined in Data.Scientific | |
| Hashable Text | |
Defined in Data.Hashable.Class | |
| Hashable Text | |
Defined in Data.Hashable.Class | |
| Hashable ShortText | |
Defined in Data.Text.Short.Internal | |
| Hashable UUID | |
Defined in Data.UUID.Types.Internal | |
| Hashable Integer | |
Defined in Data.Hashable.Class | |
| Hashable Natural | |
Defined in Data.Hashable.Class | |
| Hashable () | |
Defined in Data.Hashable.Class | |
| Hashable Bool | |
Defined in Data.Hashable.Class | |
| Hashable Char | |
Defined in Data.Hashable.Class | |
| Hashable Double | |
Defined in Data.Hashable.Class | |
| Hashable Float | |
Defined in Data.Hashable.Class | |
| Hashable Int | |
Defined in Data.Hashable.Class | |
| Hashable Word | |
Defined in Data.Hashable.Class | |
| Hashable v => Hashable (KeyMap v) | |
Defined in Data.Aeson.KeyMap | |
| Hashable a => Hashable (Complex a) | |
Defined in Data.Hashable.Class | |
| Hashable a => Hashable (Identity a) | |
Defined in Data.Hashable.Class | |
| Hashable a => Hashable (First a) | |
Defined in Data.Hashable.Class | |
| Hashable a => Hashable (Last a) | |
Defined in Data.Hashable.Class | |
| Hashable a => Hashable (Max a) | |
Defined in Data.Hashable.Class | |
| Hashable a => Hashable (Min a) | |
Defined in Data.Hashable.Class | |
| Hashable a => Hashable (WrappedMonoid a) | |
Defined in Data.Hashable.Class | |
| Hashable a => Hashable (NonEmpty a) | |
Defined in Data.Hashable.Class | |
| Hashable (FunPtr a) | |
Defined in Data.Hashable.Class | |
| Hashable (Ptr a) | |
Defined in Data.Hashable.Class | |
| Hashable a => Hashable (Ratio a) | |
Defined in Data.Hashable.Class | |
| Hashable (StableName a) | |
Defined in Data.Hashable.Class | |
| Hashable v => Hashable (IntMap v) | |
Defined in Data.Hashable.Class | |
| Hashable v => Hashable (Seq v) | |
Defined in Data.Hashable.Class | |
| Hashable v => Hashable (Set v) | |
Defined in Data.Hashable.Class | |
| Hashable v => Hashable (Tree v) | |
Defined in Data.Hashable.Class | |
| Hashable1 f => Hashable (Fix f) | |
| Eq a => Hashable (Hashed a) | |
Defined in Data.Hashable.Class | |
| Hashable ann => Hashable (Kind ann) Source # | |
Defined in PlutusCore.Core.Type | |
| (Closed uni, GEq uni) => Hashable (SomeTypeIn uni) Source # | |
Defined in Universe.Core | |
| Hashable fun => Hashable (ExBudgetCategory fun) Source # | |
| Hashable a => Hashable (Leaf a) | |
Defined in Data.RAList.Tree.Internal | |
| Hashable a => Hashable (Maybe a) | |
Defined in Data.Strict.Maybe | |
| Hashable a => Hashable (HashSet a) | |
Defined in Data.HashSet.Internal | |
| Hashable a => Hashable (Vector a) Source # | |
Defined in UntypedPlutusCore.Core.Instance.Eq | |
| Hashable a => Hashable (Vector a) Source # | |
Defined in Data.Vector.Orphans | |
| Hashable a => Hashable (Maybe a) | |
Defined in Data.Hashable.Class | |
| Hashable a => Hashable (Solo a) | |
Defined in Data.Hashable.Class | |
| Hashable a => Hashable [a] | |
Defined in Data.Hashable.Class | |
| (Hashable a, Hashable b) => Hashable (Either a b) | |
Defined in Data.Hashable.Class | |
| Hashable (Fixed a) | |
Defined in Data.Hashable.Class | |
| Hashable (Proxy a) | |
Defined in Data.Hashable.Class | |
| Hashable a => Hashable (Arg a b) | |
Defined in Data.Hashable.Class | |
| Hashable (TypeRep a) | |
Defined in Data.Hashable.Class | |
| (Hashable k, Hashable v) => Hashable (Map k v) | |
Defined in Data.Hashable.Class | |
| (Hashable k, Hashable a) => Hashable (MonoidalHashMap k a) | |
Defined in Data.HashMap.Monoidal | |
| (Closed uni, GEq uni, Everywhere uni Eq, Everywhere uni Hashable) => Hashable (ValueOf uni a) Source # | |
Defined in Universe.Core | |
| Hashable (f a) => Hashable (Node f a) | |
Defined in Data.RAList.Tree.Internal | |
| (Closed uni, GEq uni, Everywhere uni Eq, Everywhere uni Hashable) => Hashable (Some (ValueOf uni)) Source # | |
Defined in Universe.Core | |
| (Hashable a, Hashable b) => Hashable (Either a b) | |
Defined in Data.Strict.Either | |
| (Hashable a, Hashable b) => Hashable (These a b) | |
Defined in Data.Strict.These | |
| (Hashable a, Hashable b) => Hashable (Pair a b) | |
Defined in Data.Strict.Tuple | |
| (Hashable a, Hashable b) => Hashable (These a b) | |
Defined in Data.These | |
| (Hashable k, Hashable v) => Hashable (HashMap k v) | |
Defined in Data.HashMap.Internal | |
| (Hashable a1, Hashable a2) => Hashable (a1, a2) | |
Defined in Data.Hashable.Class | |
| Hashable a => Hashable (Const a b) | |
Defined in Data.Hashable.Class | |
| (Hashable a1, Hashable a2, Hashable a3) => Hashable (a1, a2, a3) | |
Defined in Data.Hashable.Class | |
| (Hashable (f a), Hashable (g a)) => Hashable (Product f g a) | |
Defined in Data.Hashable.Class | |
| (Hashable (f a), Hashable (g a)) => Hashable (Sum f g a) | |
Defined in Data.Hashable.Class | |
| HashableTermConstraints uni fun ann => Hashable (Term DeBruijn uni fun ann) Source # | |
Defined in UntypedPlutusCore.Core.Instance.Eq | |
| HashableTermConstraints uni fun ann => Hashable (Term FakeNamedDeBruijn uni fun ann) Source # | |
Defined in UntypedPlutusCore.Core.Instance.Eq Methods hashWithSalt :: Int -> Term FakeNamedDeBruijn uni fun ann -> Int hash :: Term FakeNamedDeBruijn uni fun ann -> Int | |
| HashableTermConstraints uni fun ann => Hashable (Term NamedDeBruijn uni fun ann) Source # | |
Defined in UntypedPlutusCore.Core.Instance.Eq Methods hashWithSalt :: Int -> Term NamedDeBruijn uni fun ann -> Int hash :: Term NamedDeBruijn uni fun ann -> Int | |
| HashableTermConstraints uni fun ann => Hashable (Term Name uni fun ann) Source # | |
Defined in UntypedPlutusCore.Core.Instance.Eq | |
| (Hashable a1, Hashable a2, Hashable a3, Hashable a4) => Hashable (a1, a2, a3, a4) | |
Defined in Data.Hashable.Class | |
| Hashable (f (g a)) => Hashable (Compose f g a) | |
Defined in Data.Hashable.Class | |
| (Hashable a1, Hashable a2, Hashable a3, Hashable a4, Hashable a5) => Hashable (a1, a2, a3, a4, a5) | |
Defined in Data.Hashable.Class | |
| (Hashable a1, Hashable a2, Hashable a3, Hashable a4, Hashable a5, Hashable a6) => Hashable (a1, a2, a3, a4, a5, a6) | |
Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> (a1, a2, a3, a4, a5, a6) -> Int | |
| (Hashable a1, Hashable a2, Hashable a3, Hashable a4, Hashable a5, Hashable a6, Hashable a7) => Hashable (a1, a2, a3, a4, a5, a6, a7) | |
Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> (a1, a2, a3, a4, a5, a6, a7) -> Int | |