Safe Haskell	None
Language	Haskell2010

PlutusCore.Evaluation.Machine.BuiltinCostModel

Synopsis

type BuiltinCostModel = BuiltinCostModelBase CostingFun
data BuiltinCostModelBase (f :: Type -> Type) = BuiltinCostModelBase {
- paramAddInteger :: f ModelTwoArguments
- paramSubtractInteger :: f ModelTwoArguments
- paramMultiplyInteger :: f ModelTwoArguments
- paramDivideInteger :: f ModelTwoArguments
- paramQuotientInteger :: f ModelTwoArguments
- paramRemainderInteger :: f ModelTwoArguments
- paramModInteger :: f ModelTwoArguments
- paramEqualsInteger :: f ModelTwoArguments
- paramLessThanInteger :: f ModelTwoArguments
- paramLessThanEqualsInteger :: f ModelTwoArguments
- paramAppendByteString :: f ModelTwoArguments
- paramConsByteString :: f ModelTwoArguments
- paramSliceByteString :: f ModelThreeArguments
- paramLengthOfByteString :: f ModelOneArgument
- paramIndexByteString :: f ModelTwoArguments
- paramEqualsByteString :: f ModelTwoArguments
- paramLessThanByteString :: f ModelTwoArguments
- paramLessThanEqualsByteString :: f ModelTwoArguments
- paramSha2_256 :: f ModelOneArgument
- paramSha3_256 :: f ModelOneArgument
- paramBlake2b_256 :: f ModelOneArgument
- paramVerifyEd25519Signature :: f ModelThreeArguments
- paramVerifyEcdsaSecp256k1Signature :: f ModelThreeArguments
- paramVerifySchnorrSecp256k1Signature :: f ModelThreeArguments
- paramAppendString :: f ModelTwoArguments
- paramEqualsString :: f ModelTwoArguments
- paramEncodeUtf8 :: f ModelOneArgument
- paramDecodeUtf8 :: f ModelOneArgument
- paramIfThenElse :: f ModelThreeArguments
- paramChooseUnit :: f ModelTwoArguments
- paramTrace :: f ModelTwoArguments
- paramFstPair :: f ModelOneArgument
- paramSndPair :: f ModelOneArgument
- paramChooseList :: f ModelThreeArguments
- paramMkCons :: f ModelTwoArguments
- paramHeadList :: f ModelOneArgument
- paramTailList :: f ModelOneArgument
- paramNullList :: f ModelOneArgument
- paramChooseData :: f ModelSixArguments
- paramConstrData :: f ModelTwoArguments
- paramMapData :: f ModelOneArgument
- paramListData :: f ModelOneArgument
- paramIData :: f ModelOneArgument
- paramBData :: f ModelOneArgument
- paramUnConstrData :: f ModelOneArgument
- paramUnMapData :: f ModelOneArgument
- paramUnListData :: f ModelOneArgument
- paramUnIData :: f ModelOneArgument
- paramUnBData :: f ModelOneArgument
- paramEqualsData :: f ModelTwoArguments
- paramMkPairData :: f ModelTwoArguments
- paramMkNilData :: f ModelOneArgument
- paramMkNilPairData :: f ModelOneArgument
- paramSerialiseData :: f ModelOneArgument
- paramBls12_381_G1_add :: f ModelTwoArguments
- paramBls12_381_G1_neg :: f ModelOneArgument
- paramBls12_381_G1_scalarMul :: f ModelTwoArguments
- paramBls12_381_G1_multiScalarMul :: f ModelTwoArguments
- paramBls12_381_G1_equal :: f ModelTwoArguments
- paramBls12_381_G1_compress :: f ModelOneArgument
- paramBls12_381_G1_uncompress :: f ModelOneArgument
- paramBls12_381_G1_hashToGroup :: f ModelTwoArguments
- paramBls12_381_G2_add :: f ModelTwoArguments
- paramBls12_381_G2_neg :: f ModelOneArgument
- paramBls12_381_G2_scalarMul :: f ModelTwoArguments
- paramBls12_381_G2_equal :: f ModelTwoArguments
- paramBls12_381_G2_multiScalarMul :: f ModelTwoArguments
- paramBls12_381_G2_compress :: f ModelOneArgument
- paramBls12_381_G2_uncompress :: f ModelOneArgument
- paramBls12_381_G2_hashToGroup :: f ModelTwoArguments
- paramBls12_381_millerLoop :: f ModelTwoArguments
- paramBls12_381_mulMlResult :: f ModelTwoArguments
- paramBls12_381_finalVerify :: f ModelTwoArguments
- paramKeccak_256 :: f ModelOneArgument
- paramBlake2b_224 :: f ModelOneArgument
- paramIntegerToByteString :: f ModelThreeArguments
- paramByteStringToInteger :: f ModelTwoArguments
- paramAndByteString :: f ModelThreeArguments
- paramOrByteString :: f ModelThreeArguments
- paramXorByteString :: f ModelThreeArguments
- paramComplementByteString :: f ModelOneArgument
- paramReadBit :: f ModelTwoArguments
- paramWriteBits :: f ModelThreeArguments
- paramReplicateByte :: f ModelTwoArguments
- paramShiftByteString :: f ModelTwoArguments
- paramRotateByteString :: f ModelTwoArguments
- paramCountSetBits :: f ModelOneArgument
- paramFindFirstSetBit :: f ModelOneArgument
- paramRipemd_160 :: f ModelOneArgument
- paramExpModInteger :: f ModelThreeArguments
- paramDropList :: f ModelTwoArguments
- paramLengthOfArray :: f ModelOneArgument
- paramListToArray :: f ModelOneArgument
- paramIndexArray :: f ModelTwoArguments
- paramLookupCoin :: f ModelThreeArguments
- paramValueContains :: f ModelTwoArguments
- paramValueData :: f ModelOneArgument
- paramUnValueData :: f ModelOneArgument
- paramInsertCoin :: f ModelFourArguments
- paramUnionValue :: f ModelTwoArguments
- paramScaleValue :: f ModelTwoArguments
}
data CostingFun model = CostingFun {
- costingFunCpu :: model
- costingFunMemory :: model
}
class UnimplementedCostingFun a where
- unimplementedCostingFun :: b -> CostingFun a
newtype Intercept = Intercept {
- unIntercept :: CostingInteger
}
newtype Slope = Slope {
- unSlope :: CostingInteger
}
newtype Coefficient0 = Coefficient0 {
- unCoefficient0 :: CostingInteger
}
newtype Coefficient1 = Coefficient1 {
- unCoefficient1 :: CostingInteger
}
newtype Coefficient2 = Coefficient2 {
- unCoefficient2 :: CostingInteger
}
newtype Coefficient00 = Coefficient00 {
- unCoefficient00 :: CostingInteger
}
newtype Coefficient10 = Coefficient10 {
- unCoefficient10 :: CostingInteger
}
newtype Coefficient01 = Coefficient01 {
- unCoefficient01 :: CostingInteger
}
newtype Coefficient20 = Coefficient20 {
- unCoefficient20 :: CostingInteger
}
newtype Coefficient11 = Coefficient11 {
- unCoefficient11 :: CostingInteger
}
newtype Coefficient02 = Coefficient02 {
- unCoefficient02 :: CostingInteger
}
newtype Coefficient12 = Coefficient12 {
- unCoefficient12 :: CostingInteger
}
data OneVariableLinearFunction = OneVariableLinearFunction {
- oneVariableLinearFunctionIntercept :: Intercept
- oneVariableLinearFunctionSlope :: Slope
}
data OneVariableQuadraticFunction = OneVariableQuadraticFunction {
- oneVariableQuadraticFunctionC0 :: Coefficient0
- oneVariableQuadraticFunctionC1 :: Coefficient1
- oneVariableQuadraticFunctionC2 :: Coefficient2
}
data TwoVariableLinearFunction = TwoVariableLinearFunction {
- twoVariableLinearFunctionIntercept :: Intercept
- twoVariableLinearFunctionSlope1 :: Slope
- twoVariableLinearFunctionSlope2 :: Slope
}
data TwoVariableQuadraticFunction = TwoVariableQuadraticFunction {
- twoVariableQuadraticFunctionMinimum :: CostingInteger
- twoVariableQuadraticFunctionC00 :: Coefficient00
- twoVariableQuadraticFunctionC10 :: Coefficient10
- twoVariableQuadraticFunctionC01 :: Coefficient01
- twoVariableQuadraticFunctionC20 :: Coefficient20
- twoVariableQuadraticFunctionC11 :: Coefficient11
- twoVariableQuadraticFunctionC02 :: Coefficient02
}
data TwoVariableWithInteractionFunction = TwoVariableWithInteractionFunction {
- twoVariableWithInteractionFunctionC00 :: Coefficient00
- twoVariableWithInteractionFunctionC10 :: Coefficient10
- twoVariableWithInteractionFunctionC01 :: Coefficient01
- twoVariableWithInteractionFunctionC11 :: Coefficient11
}
data ExpModCostingFunction = ExpModCostingFunction {
- coefficient00 :: Coefficient00
- coefficient11 :: Coefficient11
- coefficient12 :: Coefficient12
}
data ModelSubtractedSizes = ModelSubtractedSizes {
- modelSubtractedSizesIntercept :: Intercept
- modelSubtractedSizesSlope :: Slope
- modelSubtractedSizesMinimum :: CostingInteger
}
data ModelConstantOrOneArgument = ModelConstantOrOneArgument {
- modelConstantOrOneArgumentConstant :: CostingInteger
- modelConstantOrOneArgumentModel :: ModelOneArgument
}
data ModelConstantOrTwoArguments = ModelConstantOrTwoArguments {
- modelConstantOrTwoArgumentsConstant :: CostingInteger
- modelConstantOrTwoArgumentsModel :: ModelTwoArguments
}
data ModelConstantOrLinear = ModelConstantOrLinear {
- modelConstantOrLinearConstant :: CostingInteger
- modelConstantOrLinearIntercept :: Intercept
- modelConstantOrLinearSlope :: Slope
}
data ModelOneArgument
- = ModelOneArgumentConstantCost CostingInteger
- | ModelOneArgumentLinearInX OneVariableLinearFunction
- | ModelOneArgumentQuadraticInX OneVariableQuadraticFunction
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
- = ModelFourArgumentsConstantCost CostingInteger
- | ModelFourArgumentsLinearInU OneVariableLinearFunction
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
newtype MCostingFun a = MCostingFun (Maybe (CostingFun a))

Documentation

type BuiltinCostModel = BuiltinCostModelBase CostingFun Source #

data BuiltinCostModelBase (f :: Type -> Type) Source #

The main model which contains all data required to predict the cost of builtin functions. See md for how this is generated. Calibrated for the CEK machine.

Constructors

BuiltinCostModelBase

Fields

paramAddInteger :: f ModelTwoArguments
paramSubtractInteger :: f ModelTwoArguments
paramMultiplyInteger :: f ModelTwoArguments
paramDivideInteger :: f ModelTwoArguments
paramQuotientInteger :: f ModelTwoArguments
paramRemainderInteger :: f ModelTwoArguments
paramModInteger :: f ModelTwoArguments
paramEqualsInteger :: f ModelTwoArguments
paramLessThanInteger :: f ModelTwoArguments
paramLessThanEqualsInteger :: f ModelTwoArguments
paramAppendByteString :: f ModelTwoArguments
paramConsByteString :: f ModelTwoArguments
paramSliceByteString :: f ModelThreeArguments
paramLengthOfByteString :: f ModelOneArgument
paramIndexByteString :: f ModelTwoArguments
paramEqualsByteString :: f ModelTwoArguments
paramLessThanByteString :: f ModelTwoArguments
paramLessThanEqualsByteString :: f ModelTwoArguments
paramSha2_256 :: f ModelOneArgument
paramSha3_256 :: f ModelOneArgument
paramBlake2b_256 :: f ModelOneArgument
paramVerifyEd25519Signature :: f ModelThreeArguments
paramVerifyEcdsaSecp256k1Signature :: f ModelThreeArguments
paramVerifySchnorrSecp256k1Signature :: f ModelThreeArguments
paramAppendString :: f ModelTwoArguments
paramEqualsString :: f ModelTwoArguments
paramEncodeUtf8 :: f ModelOneArgument
paramDecodeUtf8 :: f ModelOneArgument
paramIfThenElse :: f ModelThreeArguments
paramChooseUnit :: f ModelTwoArguments
paramTrace :: f ModelTwoArguments
paramFstPair :: f ModelOneArgument
paramSndPair :: f ModelOneArgument
paramChooseList :: f ModelThreeArguments
paramMkCons :: f ModelTwoArguments
paramHeadList :: f ModelOneArgument
paramTailList :: f ModelOneArgument
paramNullList :: f ModelOneArgument
paramChooseData :: f ModelSixArguments
paramConstrData :: f ModelTwoArguments
paramMapData :: f ModelOneArgument
paramListData :: f ModelOneArgument
paramIData :: f ModelOneArgument
paramBData :: f ModelOneArgument
paramUnConstrData :: f ModelOneArgument
paramUnMapData :: f ModelOneArgument
paramUnListData :: f ModelOneArgument
paramUnIData :: f ModelOneArgument
paramUnBData :: f ModelOneArgument
paramEqualsData :: f ModelTwoArguments
paramMkPairData :: f ModelTwoArguments
paramMkNilData :: f ModelOneArgument
paramMkNilPairData :: f ModelOneArgument
paramSerialiseData :: f ModelOneArgument
paramBls12_381_G1_add :: f ModelTwoArguments
paramBls12_381_G1_neg :: f ModelOneArgument
paramBls12_381_G1_scalarMul :: f ModelTwoArguments
paramBls12_381_G1_multiScalarMul :: f ModelTwoArguments
paramBls12_381_G1_equal :: f ModelTwoArguments
paramBls12_381_G1_compress :: f ModelOneArgument
paramBls12_381_G1_uncompress :: f ModelOneArgument
paramBls12_381_G1_hashToGroup :: f ModelTwoArguments
paramBls12_381_G2_add :: f ModelTwoArguments
paramBls12_381_G2_neg :: f ModelOneArgument
paramBls12_381_G2_scalarMul :: f ModelTwoArguments
paramBls12_381_G2_equal :: f ModelTwoArguments
paramBls12_381_G2_multiScalarMul :: f ModelTwoArguments
paramBls12_381_G2_compress :: f ModelOneArgument
paramBls12_381_G2_uncompress :: f ModelOneArgument
paramBls12_381_G2_hashToGroup :: f ModelTwoArguments
paramBls12_381_millerLoop :: f ModelTwoArguments
paramBls12_381_mulMlResult :: f ModelTwoArguments
paramBls12_381_finalVerify :: f ModelTwoArguments
paramKeccak_256 :: f ModelOneArgument
paramBlake2b_224 :: f ModelOneArgument
paramIntegerToByteString :: f ModelThreeArguments
paramByteStringToInteger :: f ModelTwoArguments
paramAndByteString :: f ModelThreeArguments
paramOrByteString :: f ModelThreeArguments
paramXorByteString :: f ModelThreeArguments
paramComplementByteString :: f ModelOneArgument
paramReadBit :: f ModelTwoArguments
paramWriteBits :: f ModelThreeArguments
paramReplicateByte :: f ModelTwoArguments
paramShiftByteString :: f ModelTwoArguments
paramRotateByteString :: f ModelTwoArguments
paramCountSetBits :: f ModelOneArgument
paramFindFirstSetBit :: f ModelOneArgument
paramRipemd_160 :: f ModelOneArgument
paramExpModInteger :: f ModelThreeArguments
paramDropList :: f ModelTwoArguments
paramLengthOfArray :: f ModelOneArgument
paramListToArray :: f ModelOneArgument
paramIndexArray :: f ModelTwoArguments
paramLookupCoin :: f ModelThreeArguments
paramValueContains :: f ModelTwoArguments
paramValueData :: f ModelOneArgument
paramUnValueData :: f ModelOneArgument
paramInsertCoin :: f ModelFourArguments
paramUnionValue :: f ModelTwoArguments
paramScaleValue :: f ModelTwoArguments

Instances

Instances details

ConstraintsB BuiltinCostModelBase Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Associated Types

type AllB (c :: Type -> Constraint) BuiltinCostModelBase
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel type AllB (c :: Type -> Constraint) BuiltinCostModelBase = GAll 0 c (GAllRepB BuiltinCostModelBase)

Methods

baddDicts :: forall (c :: Type -> Constraint) (f :: Type -> Type). AllB c BuiltinCostModelBase => BuiltinCostModelBase f -> BuiltinCostModelBase (Product (Dict c) f)

FunctorB BuiltinCostModelBase Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Methods

bmap :: (forall a. f a -> g a) -> BuiltinCostModelBase f -> BuiltinCostModelBase g

TraversableB BuiltinCostModelBase Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Methods

btraverse :: Applicative e => (forall a. f a -> e (g a)) -> BuiltinCostModelBase f -> e (BuiltinCostModelBase g)

AllArgumentModels (Lift :: Type -> Constraint) f => Lift (BuiltinCostModelBase f :: Type) Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Methods

lift :: Quote m => BuiltinCostModelBase f -> m Exp Source #

liftTyped :: forall (m :: Type -> Type). Quote m => BuiltinCostModelBase f -> Code m (BuiltinCostModelBase f) Source #

FromJSON (BuiltinCostModelBase CostingFun) Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Methods

parseJSON :: Value -> Parser (BuiltinCostModelBase CostingFun)

parseJSONList :: Value -> Parser [BuiltinCostModelBase CostingFun]

omittedField :: Maybe (BuiltinCostModelBase CostingFun)

ToJSON (BuiltinCostModelBase MCostingFun) Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Methods

toJSON :: BuiltinCostModelBase MCostingFun -> Value

toEncoding :: BuiltinCostModelBase MCostingFun -> Encoding

toJSONList :: [BuiltinCostModelBase MCostingFun] -> Value

toEncodingList :: [BuiltinCostModelBase MCostingFun] -> Encoding

omitField :: BuiltinCostModelBase MCostingFun -> Bool

ToJSON (BuiltinCostModelBase CostingFun) Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Methods

toJSON :: BuiltinCostModelBase CostingFun -> Value

toEncoding :: BuiltinCostModelBase CostingFun -> Encoding

toJSONList :: [BuiltinCostModelBase CostingFun] -> Value

toEncodingList :: [BuiltinCostModelBase CostingFun] -> Encoding

omitField :: BuiltinCostModelBase CostingFun -> Bool

Generic (BuiltinCostModelBase f) Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Associated Types

type Rep (BuiltinCostModelBase f)

Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Methods

from :: BuiltinCostModelBase f -> Rep (BuiltinCostModelBase f) x Source #

to :: Rep (BuiltinCostModelBase f) x -> BuiltinCostModelBase f Source #

AllArgumentModels Show f => Show (BuiltinCostModelBase f) Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Methods

showsPrec :: Int -> BuiltinCostModelBase f -> ShowS Source #

show :: BuiltinCostModelBase f -> String Source #

showList :: [BuiltinCostModelBase f] -> ShowS Source #

AllArgumentModels Default f => Default (BuiltinCostModelBase f) Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Methods

def :: BuiltinCostModelBase f #

AllArgumentModels NFData f => NFData (BuiltinCostModelBase f) Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Methods

rnf :: BuiltinCostModelBase f -> () Source #

AllArgumentModels Eq f => Eq (BuiltinCostModelBase f) Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Methods

(==) :: BuiltinCostModelBase f -> BuiltinCostModelBase f -> Bool Source #

(/=) :: BuiltinCostModelBase f -> BuiltinCostModelBase f -> Bool Source #

type AllB (c :: Type -> Constraint) BuiltinCostModelBase Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type AllB (c :: Type -> Constraint) BuiltinCostModelBase = GAll 0 c (GAllRepB BuiltinCostModelBase)

type Rep (BuiltinCostModelBase f) Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

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 costingFunCpu :: model costingFunMemory :: model

Instances

Instances details

Lift model => Lift (CostingFun model :: Type) Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

lift :: Quote m => CostingFun model -> m Exp Source #

liftTyped :: forall (m :: Type -> Type). Quote m => CostingFun model -> Code m (CostingFun model) Source #

FromJSON (BuiltinCostModelBase CostingFun)

Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Methods

parseJSON :: Value -> Parser (BuiltinCostModelBase CostingFun)

parseJSONList :: Value -> Parser [BuiltinCostModelBase CostingFun]

omittedField :: Maybe (BuiltinCostModelBase CostingFun)

FromJSON model => FromJSON (CostingFun model)

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser (CostingFun model)

parseJSONList :: Value -> Parser [CostingFun model]

omittedField :: Maybe (CostingFun model)

ToJSON (BuiltinCostModelBase CostingFun)

Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Methods

toJSON :: BuiltinCostModelBase CostingFun -> Value

toEncoding :: BuiltinCostModelBase CostingFun -> Encoding

toJSONList :: [BuiltinCostModelBase CostingFun] -> Value

toEncodingList :: [BuiltinCostModelBase CostingFun] -> Encoding

omitField :: BuiltinCostModelBase CostingFun -> Bool

ToJSON model => ToJSON (CostingFun model)

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSON :: CostingFun model -> Value

toEncoding :: CostingFun model -> Encoding

toJSONList :: [CostingFun model] -> Value

toEncodingList :: [CostingFun model] -> Encoding

omitField :: CostingFun model -> Bool

Generic (CostingFun model) Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep (CostingFun model)

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep (CostingFun model) = D1 ('MetaData "CostingFun" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "CostingFun" 'PrefixI 'True) (S1 ('MetaSel ('Just "costingFunCpu") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 model) :*: S1 ('MetaSel ('Just "costingFunMemory") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 model)))

Methods

from :: CostingFun model -> Rep (CostingFun model) x Source #

to :: Rep (CostingFun model) x -> CostingFun model Source #

Show model => Show (CostingFun model) Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> CostingFun model -> ShowS Source #

show :: CostingFun model -> String Source #

showList :: [CostingFun model] -> ShowS Source #

Default model => Default (CostingFun model) Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

def :: CostingFun model #

NFData model => NFData (CostingFun model) Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: CostingFun model -> () Source #

Eq model => Eq (CostingFun model) Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: CostingFun model -> CostingFun model -> Bool Source #

(/=) :: CostingFun model -> CostingFun model -> Bool Source #

type Rep (CostingFun model) Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep (CostingFun model) = D1 ('MetaData "CostingFun" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "CostingFun" 'PrefixI 'True) (S1 ('MetaSel ('Just "costingFunCpu") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 model) :*: S1 ('MetaSel ('Just "costingFunMemory") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 model)))

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

Instances details

UnimplementedCostingFun ModelFiveArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods unimplementedCostingFun :: b -> CostingFun ModelFiveArguments Source #
UnimplementedCostingFun ModelFourArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods unimplementedCostingFun :: b -> CostingFun ModelFourArguments Source #
UnimplementedCostingFun ModelOneArgument Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods unimplementedCostingFun :: b -> CostingFun ModelOneArgument Source #
UnimplementedCostingFun ModelSixArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods unimplementedCostingFun :: b -> CostingFun ModelSixArguments Source #
UnimplementedCostingFun ModelThreeArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods unimplementedCostingFun :: b -> CostingFun ModelThreeArguments Source #
UnimplementedCostingFun ModelTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostingFun.Core Methods unimplementedCostingFun :: b -> CostingFun ModelTwoArguments Source #

newtype Intercept Source #

A wrapped CostingInteger that is supposed to be used as an intercept.

Constructors

Intercept
Fields unIntercept :: CostingInteger

Instances

Instances details

FromJSON Intercept

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser Intercept

parseJSONList :: Value -> Parser [Intercept]

omittedField :: Maybe Intercept

ToJSON Intercept

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSON :: Intercept -> Value

toEncoding :: Intercept -> Encoding

toJSONList :: [Intercept] -> Value

toEncodingList :: [Intercept] -> Encoding

omitField :: Intercept -> Bool

Generic Intercept Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Intercept
Instance details 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)))

Methods

from :: Intercept -> Rep Intercept x Source #

to :: Rep Intercept x -> Intercept Source #

Num Intercept Source #

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> Intercept -> ShowS Source #

show :: Intercept -> String Source #

showList :: [Intercept] -> ShowS Source #

NFData Intercept Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: Intercept -> () Source #

Eq Intercept Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: Intercept -> Intercept -> Bool Source #

(/=) :: Intercept -> Intercept -> Bool Source #

Lift Intercept Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

lift :: Quote m => Intercept -> m Exp Source #

liftTyped :: forall (m :: Type -> Type). Quote m => Intercept -> Code m Intercept Source #

type Rep Intercept Source #

Instance details

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

newtype Slope Source #

A wrapped CostingInteger that is supposed to be used as a slope.

Constructors

Slope
Fields unSlope :: CostingInteger

Instances

Instances details

FromJSON Slope

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser Slope

parseJSONList :: Value -> Parser [Slope]

omittedField :: Maybe Slope

ToJSON Slope

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSON :: Slope -> Value

toEncoding :: Slope -> Encoding

toJSONList :: [Slope] -> Value

toEncodingList :: [Slope] -> Encoding

omitField :: Slope -> Bool

Generic Slope Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Slope
Instance details 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)))

Methods

from :: Slope -> Rep Slope x Source #

to :: Rep Slope x -> Slope Source #

Num Slope Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(+) :: Slope -> Slope -> Slope Source #

(-) :: Slope -> Slope -> Slope Source #

(*) :: Slope -> Slope -> Slope Source #

negate :: Slope -> Slope Source #

abs :: Slope -> Slope Source #

signum :: Slope -> Slope Source #

fromInteger :: Integer -> Slope Source #

Show Slope Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> Slope -> ShowS Source #

show :: Slope -> String Source #

showList :: [Slope] -> ShowS Source #

NFData Slope Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: Slope -> () Source #

Eq Slope Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: Slope -> Slope -> Bool Source #

(/=) :: Slope -> Slope -> Bool Source #

Lift Slope Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

lift :: Quote m => Slope -> m Exp Source #

liftTyped :: forall (m :: Type -> Type). Quote m => Slope -> Code m Slope Source #

type Rep Slope Source #

Instance details

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 unCoefficient0 :: CostingInteger

Instances

Instances details

FromJSON Coefficient0

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser Coefficient0

parseJSONList :: Value -> Parser [Coefficient0]

omittedField :: Maybe Coefficient0

ToJSON Coefficient0

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient0
Instance details 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)))

Methods

from :: Coefficient0 -> Rep Coefficient0 x Source #

to :: Rep Coefficient0 x -> Coefficient0 Source #

Num Coefficient0 Source #

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> Coefficient0 -> ShowS Source #

show :: Coefficient0 -> String Source #

showList :: [Coefficient0] -> ShowS Source #

NFData Coefficient0 Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: Coefficient0 -> () Source #

Eq Coefficient0 Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: Coefficient0 -> Coefficient0 -> Bool Source #

(/=) :: Coefficient0 -> Coefficient0 -> Bool Source #

Lift Coefficient0 Source #

Instance details

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 #

Instance details

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 unCoefficient1 :: CostingInteger

Instances

Instances details

FromJSON Coefficient1

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser Coefficient1

parseJSONList :: Value -> Parser [Coefficient1]

omittedField :: Maybe Coefficient1

ToJSON Coefficient1

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient1
Instance details 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)))

Methods

from :: Coefficient1 -> Rep Coefficient1 x Source #

to :: Rep Coefficient1 x -> Coefficient1 Source #

Num Coefficient1 Source #

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> Coefficient1 -> ShowS Source #

show :: Coefficient1 -> String Source #

showList :: [Coefficient1] -> ShowS Source #

NFData Coefficient1 Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: Coefficient1 -> () Source #

Eq Coefficient1 Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: Coefficient1 -> Coefficient1 -> Bool Source #

(/=) :: Coefficient1 -> Coefficient1 -> Bool Source #

Lift Coefficient1 Source #

Instance details

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 #

Instance details

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 unCoefficient2 :: CostingInteger

Instances

Instances details

FromJSON Coefficient2

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser Coefficient2

parseJSONList :: Value -> Parser [Coefficient2]

omittedField :: Maybe Coefficient2

ToJSON Coefficient2

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient2
Instance details 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)))

Methods

from :: Coefficient2 -> Rep Coefficient2 x Source #

to :: Rep Coefficient2 x -> Coefficient2 Source #

Num Coefficient2 Source #

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> Coefficient2 -> ShowS Source #

show :: Coefficient2 -> String Source #

showList :: [Coefficient2] -> ShowS Source #

NFData Coefficient2 Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: Coefficient2 -> () Source #

Eq Coefficient2 Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: Coefficient2 -> Coefficient2 -> Bool Source #

(/=) :: Coefficient2 -> Coefficient2 -> Bool Source #

Lift Coefficient2 Source #

Instance details

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 #

Instance details

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 unCoefficient00 :: CostingInteger

Instances

Instances details

FromJSON Coefficient00

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser Coefficient00

parseJSONList :: Value -> Parser [Coefficient00]

omittedField :: Maybe Coefficient00

ToJSON Coefficient00

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient00
Instance details 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)))

Methods

from :: Coefficient00 -> Rep Coefficient00 x Source #

to :: Rep Coefficient00 x -> Coefficient00 Source #

Num Coefficient00 Source #

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> Coefficient00 -> ShowS Source #

show :: Coefficient00 -> String Source #

showList :: [Coefficient00] -> ShowS Source #

NFData Coefficient00 Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: Coefficient00 -> () Source #

Eq Coefficient00 Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: Coefficient00 -> Coefficient00 -> Bool Source #

(/=) :: Coefficient00 -> Coefficient00 -> Bool Source #

Lift Coefficient00 Source #

Instance details

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 #

Instance details

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 unCoefficient10 :: CostingInteger

Instances

Instances details

FromJSON Coefficient10

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser Coefficient10

parseJSONList :: Value -> Parser [Coefficient10]

omittedField :: Maybe Coefficient10

ToJSON Coefficient10

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient10
Instance details 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)))

Methods

from :: Coefficient10 -> Rep Coefficient10 x Source #

to :: Rep Coefficient10 x -> Coefficient10 Source #

Num Coefficient10 Source #

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> Coefficient10 -> ShowS Source #

show :: Coefficient10 -> String Source #

showList :: [Coefficient10] -> ShowS Source #

NFData Coefficient10 Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: Coefficient10 -> () Source #

Eq Coefficient10 Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: Coefficient10 -> Coefficient10 -> Bool Source #

(/=) :: Coefficient10 -> Coefficient10 -> Bool Source #

Lift Coefficient10 Source #

Instance details

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 #

Instance details

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 unCoefficient01 :: CostingInteger

Instances

Instances details

FromJSON Coefficient01

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser Coefficient01

parseJSONList :: Value -> Parser [Coefficient01]

omittedField :: Maybe Coefficient01

ToJSON Coefficient01

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient01
Instance details 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)))

Methods

from :: Coefficient01 -> Rep Coefficient01 x Source #

to :: Rep Coefficient01 x -> Coefficient01 Source #

Num Coefficient01 Source #

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> Coefficient01 -> ShowS Source #

show :: Coefficient01 -> String Source #

showList :: [Coefficient01] -> ShowS Source #

NFData Coefficient01 Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: Coefficient01 -> () Source #

Eq Coefficient01 Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: Coefficient01 -> Coefficient01 -> Bool Source #

(/=) :: Coefficient01 -> Coefficient01 -> Bool Source #

Lift Coefficient01 Source #

Instance details

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 #

Instance details

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 unCoefficient20 :: CostingInteger

Instances

Instances details

FromJSON Coefficient20

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser Coefficient20

parseJSONList :: Value -> Parser [Coefficient20]

omittedField :: Maybe Coefficient20

ToJSON Coefficient20

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient20
Instance details 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)))

Methods

from :: Coefficient20 -> Rep Coefficient20 x Source #

to :: Rep Coefficient20 x -> Coefficient20 Source #

Num Coefficient20 Source #

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> Coefficient20 -> ShowS Source #

show :: Coefficient20 -> String Source #

showList :: [Coefficient20] -> ShowS Source #

NFData Coefficient20 Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: Coefficient20 -> () Source #

Eq Coefficient20 Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: Coefficient20 -> Coefficient20 -> Bool Source #

(/=) :: Coefficient20 -> Coefficient20 -> Bool Source #

Lift Coefficient20 Source #

Instance details

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 #

Instance details

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 unCoefficient11 :: CostingInteger

Instances

Instances details

FromJSON Coefficient11

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser Coefficient11

parseJSONList :: Value -> Parser [Coefficient11]

omittedField :: Maybe Coefficient11

ToJSON Coefficient11

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient11
Instance details 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)))

Methods

from :: Coefficient11 -> Rep Coefficient11 x Source #

to :: Rep Coefficient11 x -> Coefficient11 Source #

Num Coefficient11 Source #

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> Coefficient11 -> ShowS Source #

show :: Coefficient11 -> String Source #

showList :: [Coefficient11] -> ShowS Source #

NFData Coefficient11 Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: Coefficient11 -> () Source #

Eq Coefficient11 Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: Coefficient11 -> Coefficient11 -> Bool Source #

(/=) :: Coefficient11 -> Coefficient11 -> Bool Source #

Lift Coefficient11 Source #

Instance details

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 #

Instance details

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 unCoefficient02 :: CostingInteger

Instances

Instances details

FromJSON Coefficient02

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser Coefficient02

parseJSONList :: Value -> Parser [Coefficient02]

omittedField :: Maybe Coefficient02

ToJSON Coefficient02

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient02
Instance details 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)))

Methods

from :: Coefficient02 -> Rep Coefficient02 x Source #

to :: Rep Coefficient02 x -> Coefficient02 Source #

Num Coefficient02 Source #

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> Coefficient02 -> ShowS Source #

show :: Coefficient02 -> String Source #

showList :: [Coefficient02] -> ShowS Source #

NFData Coefficient02 Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: Coefficient02 -> () Source #

Eq Coefficient02 Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: Coefficient02 -> Coefficient02 -> Bool Source #

(/=) :: Coefficient02 -> Coefficient02 -> Bool Source #

Lift Coefficient02 Source #

Instance details

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 #

Instance details

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 unCoefficient12 :: CostingInteger

Instances

Instances details

FromJSON Coefficient12

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser Coefficient12

parseJSONList :: Value -> Parser [Coefficient12]

omittedField :: Maybe Coefficient12

ToJSON Coefficient12

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient12
Instance details 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)))

Methods

from :: Coefficient12 -> Rep Coefficient12 x Source #

to :: Rep Coefficient12 x -> Coefficient12 Source #

Num Coefficient12 Source #

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> Coefficient12 -> ShowS Source #

show :: Coefficient12 -> String Source #

showList :: [Coefficient12] -> ShowS Source #

NFData Coefficient12 Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: Coefficient12 -> () Source #

Eq Coefficient12 Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: Coefficient12 -> Coefficient12 -> Bool Source #

(/=) :: Coefficient12 -> Coefficient12 -> Bool Source #

Lift Coefficient12 Source #

Instance details

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 #

Instance details

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
Fields oneVariableLinearFunctionIntercept :: Intercept oneVariableLinearFunctionSlope :: Slope

Instances

Instances details

FromJSON OneVariableLinearFunction

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser OneVariableLinearFunction

parseJSONList :: Value -> Parser [OneVariableLinearFunction]

omittedField :: Maybe OneVariableLinearFunction

ToJSON OneVariableLinearFunction

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSON :: OneVariableLinearFunction -> Value

toEncoding :: OneVariableLinearFunction -> Encoding

toJSONList :: [OneVariableLinearFunction] -> Value

toEncodingList :: [OneVariableLinearFunction] -> Encoding

omitField :: OneVariableLinearFunction -> Bool

Generic OneVariableLinearFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep OneVariableLinearFunction

Instance details

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

Methods

from :: OneVariableLinearFunction -> Rep OneVariableLinearFunction x Source #

to :: Rep OneVariableLinearFunction x -> OneVariableLinearFunction Source #

Show OneVariableLinearFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> OneVariableLinearFunction -> ShowS Source #

show :: OneVariableLinearFunction -> String Source #

showList :: [OneVariableLinearFunction] -> ShowS Source #

NFData OneVariableLinearFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: OneVariableLinearFunction -> () Source #

Eq OneVariableLinearFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: OneVariableLinearFunction -> OneVariableLinearFunction -> Bool Source #

(/=) :: OneVariableLinearFunction -> OneVariableLinearFunction -> Bool Source #

Lift OneVariableLinearFunction Source #

Instance details

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 #

Instance details

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
Fields oneVariableQuadraticFunctionC0 :: Coefficient0 oneVariableQuadraticFunctionC1 :: Coefficient1 oneVariableQuadraticFunctionC2 :: Coefficient2

Instances

Instances details

FromJSON OneVariableQuadraticFunction

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser OneVariableQuadraticFunction

parseJSONList :: Value -> Parser [OneVariableQuadraticFunction]

omittedField :: Maybe OneVariableQuadraticFunction

ToJSON OneVariableQuadraticFunction

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSON :: OneVariableQuadraticFunction -> Value

toEncoding :: OneVariableQuadraticFunction -> Encoding

toJSONList :: [OneVariableQuadraticFunction] -> Value

toEncodingList :: [OneVariableQuadraticFunction] -> Encoding

omitField :: OneVariableQuadraticFunction -> Bool

Generic OneVariableQuadraticFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep OneVariableQuadraticFunction

Instance details

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

Methods

from :: OneVariableQuadraticFunction -> Rep OneVariableQuadraticFunction x Source #

to :: Rep OneVariableQuadraticFunction x -> OneVariableQuadraticFunction Source #

Show OneVariableQuadraticFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> OneVariableQuadraticFunction -> ShowS Source #

show :: OneVariableQuadraticFunction -> String Source #

showList :: [OneVariableQuadraticFunction] -> ShowS Source #

NFData OneVariableQuadraticFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: OneVariableQuadraticFunction -> () Source #

Eq OneVariableQuadraticFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: OneVariableQuadraticFunction -> OneVariableQuadraticFunction -> Bool Source #

(/=) :: OneVariableQuadraticFunction -> OneVariableQuadraticFunction -> Bool Source #

Lift OneVariableQuadraticFunction Source #

Instance details

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 #

Instance details

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
Fields twoVariableLinearFunctionIntercept :: Intercept twoVariableLinearFunctionSlope1 :: Slope twoVariableLinearFunctionSlope2 :: Slope

Instances

Instances details

FromJSON TwoVariableLinearFunction

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser TwoVariableLinearFunction

parseJSONList :: Value -> Parser [TwoVariableLinearFunction]

omittedField :: Maybe TwoVariableLinearFunction

ToJSON TwoVariableLinearFunction

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSON :: TwoVariableLinearFunction -> Value

toEncoding :: TwoVariableLinearFunction -> Encoding

toJSONList :: [TwoVariableLinearFunction] -> Value

toEncodingList :: [TwoVariableLinearFunction] -> Encoding

omitField :: TwoVariableLinearFunction -> Bool

Generic TwoVariableLinearFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep TwoVariableLinearFunction

Instance details

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

Methods

from :: TwoVariableLinearFunction -> Rep TwoVariableLinearFunction x Source #

to :: Rep TwoVariableLinearFunction x -> TwoVariableLinearFunction Source #

Show TwoVariableLinearFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> TwoVariableLinearFunction -> ShowS Source #

show :: TwoVariableLinearFunction -> String Source #

showList :: [TwoVariableLinearFunction] -> ShowS Source #

NFData TwoVariableLinearFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: TwoVariableLinearFunction -> () Source #

Eq TwoVariableLinearFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: TwoVariableLinearFunction -> TwoVariableLinearFunction -> Bool Source #

(/=) :: TwoVariableLinearFunction -> TwoVariableLinearFunction -> Bool Source #

Lift TwoVariableLinearFunction Source #

Instance details

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 #

Instance details

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 twoVariableQuadraticFunctionMinimum :: CostingInteger twoVariableQuadraticFunctionC00 :: Coefficient00 twoVariableQuadraticFunctionC10 :: Coefficient10 twoVariableQuadraticFunctionC01 :: Coefficient01 twoVariableQuadraticFunctionC20 :: Coefficient20 twoVariableQuadraticFunctionC11 :: Coefficient11 twoVariableQuadraticFunctionC02 :: Coefficient02

Instances

Instances details

FromJSON TwoVariableQuadraticFunction

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser TwoVariableQuadraticFunction

parseJSONList :: Value -> Parser [TwoVariableQuadraticFunction]

omittedField :: Maybe TwoVariableQuadraticFunction

ToJSON TwoVariableQuadraticFunction

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSON :: TwoVariableQuadraticFunction -> Value

toEncoding :: TwoVariableQuadraticFunction -> Encoding

toJSONList :: [TwoVariableQuadraticFunction] -> Value

toEncodingList :: [TwoVariableQuadraticFunction] -> Encoding

omitField :: TwoVariableQuadraticFunction -> Bool

Generic TwoVariableQuadraticFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep TwoVariableQuadraticFunction

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

from :: TwoVariableQuadraticFunction -> Rep TwoVariableQuadraticFunction x Source #

to :: Rep TwoVariableQuadraticFunction x -> TwoVariableQuadraticFunction Source #

Show TwoVariableQuadraticFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> TwoVariableQuadraticFunction -> ShowS Source #

show :: TwoVariableQuadraticFunction -> String Source #

showList :: [TwoVariableQuadraticFunction] -> ShowS Source #

NFData TwoVariableQuadraticFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: TwoVariableQuadraticFunction -> () Source #

Eq TwoVariableQuadraticFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: TwoVariableQuadraticFunction -> TwoVariableQuadraticFunction -> Bool Source #

(/=) :: TwoVariableQuadraticFunction -> TwoVariableQuadraticFunction -> Bool Source #

Lift TwoVariableQuadraticFunction Source #

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

data TwoVariableWithInteractionFunction Source #

c10*x + c01*y + c11*x*y + c00

Constructors

TwoVariableWithInteractionFunction
Fields twoVariableWithInteractionFunctionC00 :: Coefficient00 twoVariableWithInteractionFunctionC10 :: Coefficient10 twoVariableWithInteractionFunctionC01 :: Coefficient01 twoVariableWithInteractionFunctionC11 :: Coefficient11

Instances

Instances details

FromJSON TwoVariableWithInteractionFunction

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser TwoVariableWithInteractionFunction

parseJSONList :: Value -> Parser [TwoVariableWithInteractionFunction]

omittedField :: Maybe TwoVariableWithInteractionFunction

ToJSON TwoVariableWithInteractionFunction

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSON :: TwoVariableWithInteractionFunction -> Value

toEncoding :: TwoVariableWithInteractionFunction -> Encoding

toJSONList :: [TwoVariableWithInteractionFunction] -> Value

toEncodingList :: [TwoVariableWithInteractionFunction] -> Encoding

omitField :: TwoVariableWithInteractionFunction -> Bool

Generic TwoVariableWithInteractionFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep TwoVariableWithInteractionFunction

Instance details

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

Methods

from :: TwoVariableWithInteractionFunction -> Rep TwoVariableWithInteractionFunction x Source #

to :: Rep TwoVariableWithInteractionFunction x -> TwoVariableWithInteractionFunction Source #

Show TwoVariableWithInteractionFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> TwoVariableWithInteractionFunction -> ShowS Source #

show :: TwoVariableWithInteractionFunction -> String Source #

showList :: [TwoVariableWithInteractionFunction] -> ShowS Source #

NFData TwoVariableWithInteractionFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: TwoVariableWithInteractionFunction -> () Source #

Eq TwoVariableWithInteractionFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: TwoVariableWithInteractionFunction -> TwoVariableWithInteractionFunction -> Bool Source #

(/=) :: TwoVariableWithInteractionFunction -> TwoVariableWithInteractionFunction -> Bool Source #

Lift TwoVariableWithInteractionFunction Source #

Instance details

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 #

Instance details

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 coefficient00 :: Coefficient00 coefficient11 :: Coefficient11 coefficient12 :: Coefficient12

Instances

Instances details

FromJSON ExpModCostingFunction

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser ExpModCostingFunction

parseJSONList :: Value -> Parser [ExpModCostingFunction]

omittedField :: Maybe ExpModCostingFunction

ToJSON ExpModCostingFunction

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSON :: ExpModCostingFunction -> Value

toEncoding :: ExpModCostingFunction -> Encoding

toJSONList :: [ExpModCostingFunction] -> Value

toEncodingList :: [ExpModCostingFunction] -> Encoding

omitField :: ExpModCostingFunction -> Bool

Generic ExpModCostingFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ExpModCostingFunction

Instance details

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

Methods

from :: ExpModCostingFunction -> Rep ExpModCostingFunction x Source #

to :: Rep ExpModCostingFunction x -> ExpModCostingFunction Source #

Show ExpModCostingFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> ExpModCostingFunction -> ShowS Source #

show :: ExpModCostingFunction -> String Source #

showList :: [ExpModCostingFunction] -> ShowS Source #

NFData ExpModCostingFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: ExpModCostingFunction -> () Source #

Eq ExpModCostingFunction Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: ExpModCostingFunction -> ExpModCostingFunction -> Bool Source #

(/=) :: ExpModCostingFunction -> ExpModCostingFunction -> Bool Source #

Lift ExpModCostingFunction Source #

Instance details

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 #

Instance details

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
Fields modelSubtractedSizesIntercept :: Intercept modelSubtractedSizesSlope :: Slope modelSubtractedSizesMinimum :: CostingInteger

Instances

Instances details

FromJSON ModelSubtractedSizes

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser ModelSubtractedSizes

parseJSONList :: Value -> Parser [ModelSubtractedSizes]

omittedField :: Maybe ModelSubtractedSizes

ToJSON ModelSubtractedSizes

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSON :: ModelSubtractedSizes -> Value

toEncoding :: ModelSubtractedSizes -> Encoding

toJSONList :: [ModelSubtractedSizes] -> Value

toEncodingList :: [ModelSubtractedSizes] -> Encoding

omitField :: ModelSubtractedSizes -> Bool

Generic ModelSubtractedSizes Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelSubtractedSizes

Instance details

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

Methods

from :: ModelSubtractedSizes -> Rep ModelSubtractedSizes x Source #

to :: Rep ModelSubtractedSizes x -> ModelSubtractedSizes Source #

Show ModelSubtractedSizes Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> ModelSubtractedSizes -> ShowS Source #

show :: ModelSubtractedSizes -> String Source #

showList :: [ModelSubtractedSizes] -> ShowS Source #

NFData ModelSubtractedSizes Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: ModelSubtractedSizes -> () Source #

Eq ModelSubtractedSizes Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: ModelSubtractedSizes -> ModelSubtractedSizes -> Bool Source #

(/=) :: ModelSubtractedSizes -> ModelSubtractedSizes -> Bool Source #

Lift ModelSubtractedSizes Source #

Instance details

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 #

Instance details

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 ModelConstantOrOneArgument Source #

if p then f(x) else c; p depends on usage

Constructors

ModelConstantOrOneArgument
Fields modelConstantOrOneArgumentConstant :: CostingInteger modelConstantOrOneArgumentModel :: ModelOneArgument

Instances

Instances details

FromJSON ModelConstantOrOneArgument

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser ModelConstantOrOneArgument

parseJSONList :: Value -> Parser [ModelConstantOrOneArgument]

omittedField :: Maybe ModelConstantOrOneArgument

ToJSON ModelConstantOrOneArgument

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSON :: ModelConstantOrOneArgument -> Value

toEncoding :: ModelConstantOrOneArgument -> Encoding

toJSONList :: [ModelConstantOrOneArgument] -> Value

toEncodingList :: [ModelConstantOrOneArgument] -> Encoding

omitField :: ModelConstantOrOneArgument -> Bool

Generic ModelConstantOrOneArgument Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelConstantOrOneArgument

Instance details

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

Methods

from :: ModelConstantOrOneArgument -> Rep ModelConstantOrOneArgument x Source #

to :: Rep ModelConstantOrOneArgument x -> ModelConstantOrOneArgument Source #

Show ModelConstantOrOneArgument Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> ModelConstantOrOneArgument -> ShowS Source #

show :: ModelConstantOrOneArgument -> String Source #

showList :: [ModelConstantOrOneArgument] -> ShowS Source #

NFData ModelConstantOrOneArgument Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: ModelConstantOrOneArgument -> () Source #

Eq ModelConstantOrOneArgument Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: ModelConstantOrOneArgument -> ModelConstantOrOneArgument -> Bool Source #

(/=) :: ModelConstantOrOneArgument -> ModelConstantOrOneArgument -> Bool Source #

Lift ModelConstantOrOneArgument Source #

Instance details

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 #

Instance details

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
Fields modelConstantOrTwoArgumentsConstant :: CostingInteger modelConstantOrTwoArgumentsModel :: ModelTwoArguments

Instances

Instances details

FromJSON ModelConstantOrTwoArguments

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser ModelConstantOrTwoArguments

parseJSONList :: Value -> Parser [ModelConstantOrTwoArguments]

omittedField :: Maybe ModelConstantOrTwoArguments

ToJSON ModelConstantOrTwoArguments

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSON :: ModelConstantOrTwoArguments -> Value

toEncoding :: ModelConstantOrTwoArguments -> Encoding

toJSONList :: [ModelConstantOrTwoArguments] -> Value

toEncodingList :: [ModelConstantOrTwoArguments] -> Encoding

omitField :: ModelConstantOrTwoArguments -> Bool

Generic ModelConstantOrTwoArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelConstantOrTwoArguments

Instance details

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

Methods

from :: ModelConstantOrTwoArguments -> Rep ModelConstantOrTwoArguments x Source #

to :: Rep ModelConstantOrTwoArguments x -> ModelConstantOrTwoArguments Source #

Show ModelConstantOrTwoArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> ModelConstantOrTwoArguments -> ShowS Source #

show :: ModelConstantOrTwoArguments -> String Source #

showList :: [ModelConstantOrTwoArguments] -> ShowS Source #

NFData ModelConstantOrTwoArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: ModelConstantOrTwoArguments -> () Source #

Eq ModelConstantOrTwoArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: ModelConstantOrTwoArguments -> ModelConstantOrTwoArguments -> Bool Source #

(/=) :: ModelConstantOrTwoArguments -> ModelConstantOrTwoArguments -> Bool Source #

Lift ModelConstantOrTwoArguments Source #

Instance details

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 #

Instance details

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 ModelConstantOrLinear Source #

if p then s*x else c; p depends on usage

Constructors

ModelConstantOrLinear
Fields modelConstantOrLinearConstant :: CostingInteger modelConstantOrLinearIntercept :: Intercept modelConstantOrLinearSlope :: Slope

Instances

Instances details

FromJSON ModelConstantOrLinear

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser ModelConstantOrLinear

parseJSONList :: Value -> Parser [ModelConstantOrLinear]

omittedField :: Maybe ModelConstantOrLinear

ToJSON ModelConstantOrLinear

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSON :: ModelConstantOrLinear -> Value

toEncoding :: ModelConstantOrLinear -> Encoding

toJSONList :: [ModelConstantOrLinear] -> Value

toEncodingList :: [ModelConstantOrLinear] -> Encoding

omitField :: ModelConstantOrLinear -> Bool

Generic ModelConstantOrLinear Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelConstantOrLinear

Instance details

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

Methods

from :: ModelConstantOrLinear -> Rep ModelConstantOrLinear x Source #

to :: Rep ModelConstantOrLinear x -> ModelConstantOrLinear Source #

Show ModelConstantOrLinear Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> ModelConstantOrLinear -> ShowS Source #

show :: ModelConstantOrLinear -> String Source #

showList :: [ModelConstantOrLinear] -> ShowS Source #

NFData ModelConstantOrLinear Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: ModelConstantOrLinear -> () Source #

Eq ModelConstantOrLinear Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: ModelConstantOrLinear -> ModelConstantOrLinear -> Bool Source #

(/=) :: ModelConstantOrLinear -> ModelConstantOrLinear -> Bool Source #

Lift ModelConstantOrLinear Source #

Instance details

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 #

Instance details

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 ModelOneArgument Source #

Constructors

ModelOneArgumentConstantCost CostingInteger
ModelOneArgumentLinearInX OneVariableLinearFunction
ModelOneArgumentQuadraticInX OneVariableQuadraticFunction

Instances

Instances details

FromJSON ModelOneArgument

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser ModelOneArgument

parseJSONList :: Value -> Parser [ModelOneArgument]

omittedField :: Maybe ModelOneArgument

ToJSON ModelOneArgument

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelOneArgument

Instance details

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

Methods

from :: ModelOneArgument -> Rep ModelOneArgument x Source #

to :: Rep ModelOneArgument x -> ModelOneArgument Source #

Show ModelOneArgument Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> ModelOneArgument -> ShowS Source #

show :: ModelOneArgument -> String Source #

showList :: [ModelOneArgument] -> ShowS Source #

Default ModelOneArgument Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

def :: ModelOneArgument #

NFData ModelOneArgument Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: ModelOneArgument -> () Source #

Eq ModelOneArgument Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: ModelOneArgument -> ModelOneArgument -> Bool Source #

(/=) :: ModelOneArgument -> ModelOneArgument -> Bool Source #

UnimplementedCostingFun ModelOneArgument Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

unimplementedCostingFun :: b -> CostingFun ModelOneArgument Source #

Lift ModelOneArgument Source #

Instance details

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 #

Instance details

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

Instances details

FromJSON ModelTwoArguments

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser ModelTwoArguments

parseJSONList :: Value -> Parser [ModelTwoArguments]

omittedField :: Maybe ModelTwoArguments

ToJSON ModelTwoArguments

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelTwoArguments

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

from :: ModelTwoArguments -> Rep ModelTwoArguments x Source #

to :: Rep ModelTwoArguments x -> ModelTwoArguments Source #

Show ModelTwoArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> ModelTwoArguments -> ShowS Source #

show :: ModelTwoArguments -> String Source #

showList :: [ModelTwoArguments] -> ShowS Source #

Default ModelTwoArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

def :: ModelTwoArguments #

NFData ModelTwoArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: ModelTwoArguments -> () Source #

Eq ModelTwoArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: ModelTwoArguments -> ModelTwoArguments -> Bool Source #

(/=) :: ModelTwoArguments -> ModelTwoArguments -> Bool Source #

UnimplementedCostingFun ModelTwoArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

unimplementedCostingFun :: b -> CostingFun ModelTwoArguments Source #

Lift ModelTwoArguments Source #

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

data ModelThreeArguments Source #

Instances

Instances details

FromJSON ModelThreeArguments

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser ModelThreeArguments

parseJSONList :: Value -> Parser [ModelThreeArguments]

omittedField :: Maybe ModelThreeArguments

ToJSON ModelThreeArguments

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelThreeArguments

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

from :: ModelThreeArguments -> Rep ModelThreeArguments x Source #

to :: Rep ModelThreeArguments x -> ModelThreeArguments Source #

Show ModelThreeArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> ModelThreeArguments -> ShowS Source #

show :: ModelThreeArguments -> String Source #

showList :: [ModelThreeArguments] -> ShowS Source #

Default ModelThreeArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

def :: ModelThreeArguments #

NFData ModelThreeArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: ModelThreeArguments -> () Source #

Eq ModelThreeArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: ModelThreeArguments -> ModelThreeArguments -> Bool Source #

(/=) :: ModelThreeArguments -> ModelThreeArguments -> Bool Source #

UnimplementedCostingFun ModelThreeArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

unimplementedCostingFun :: b -> CostingFun ModelThreeArguments Source #

Lift ModelThreeArguments Source #

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

data ModelFourArguments Source #

Constructors

ModelFourArgumentsConstantCost CostingInteger
ModelFourArgumentsLinearInU OneVariableLinearFunction

Instances

Instances details

FromJSON ModelFourArguments

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser ModelFourArguments

parseJSONList :: Value -> Parser [ModelFourArguments]

omittedField :: Maybe ModelFourArguments

ToJSON ModelFourArguments

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelFourArguments

Instance details

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

Methods

from :: ModelFourArguments -> Rep ModelFourArguments x Source #

to :: Rep ModelFourArguments x -> ModelFourArguments Source #

Show ModelFourArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> ModelFourArguments -> ShowS Source #

show :: ModelFourArguments -> String Source #

showList :: [ModelFourArguments] -> ShowS Source #

Default ModelFourArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

def :: ModelFourArguments #

NFData ModelFourArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: ModelFourArguments -> () Source #

Eq ModelFourArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: ModelFourArguments -> ModelFourArguments -> Bool Source #

(/=) :: ModelFourArguments -> ModelFourArguments -> Bool Source #

UnimplementedCostingFun ModelFourArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

unimplementedCostingFun :: b -> CostingFun ModelFourArguments Source #

Lift ModelFourArguments Source #

Instance details

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 #

Instance details

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

Instances details

FromJSON ModelFiveArguments

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser ModelFiveArguments

parseJSONList :: Value -> Parser [ModelFiveArguments]

omittedField :: Maybe ModelFiveArguments

ToJSON ModelFiveArguments

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelFiveArguments

Instance details

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

Methods

from :: ModelFiveArguments -> Rep ModelFiveArguments x Source #

to :: Rep ModelFiveArguments x -> ModelFiveArguments Source #

Show ModelFiveArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> ModelFiveArguments -> ShowS Source #

show :: ModelFiveArguments -> String Source #

showList :: [ModelFiveArguments] -> ShowS Source #

Default ModelFiveArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

def :: ModelFiveArguments #

NFData ModelFiveArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: ModelFiveArguments -> () Source #

Eq ModelFiveArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: ModelFiveArguments -> ModelFiveArguments -> Bool Source #

(/=) :: ModelFiveArguments -> ModelFiveArguments -> Bool Source #

UnimplementedCostingFun ModelFiveArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

unimplementedCostingFun :: b -> CostingFun ModelFiveArguments Source #

Lift ModelFiveArguments Source #

Instance details

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 #

Instance details

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

Instances details

FromJSON ModelSixArguments

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON :: Value -> Parser ModelSixArguments

parseJSONList :: Value -> Parser [ModelSixArguments]

omittedField :: Maybe ModelSixArguments

ToJSON ModelSixArguments

Instance details

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 #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelSixArguments

Instance details

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

Methods

from :: ModelSixArguments -> Rep ModelSixArguments x Source #

to :: Rep ModelSixArguments x -> ModelSixArguments Source #

Show ModelSixArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrec :: Int -> ModelSixArguments -> ShowS Source #

show :: ModelSixArguments -> String Source #

showList :: [ModelSixArguments] -> ShowS Source #

Default ModelSixArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

def :: ModelSixArguments #

NFData ModelSixArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnf :: ModelSixArguments -> () Source #

Eq ModelSixArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==) :: ModelSixArguments -> ModelSixArguments -> Bool Source #

(/=) :: ModelSixArguments -> ModelSixArguments -> Bool Source #

UnimplementedCostingFun ModelSixArguments Source #

Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

unimplementedCostingFun :: b -> CostingFun ModelSixArguments Source #

Lift ModelSixArguments Source #

Instance details

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 #

Instance details

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 #

class Eq a => Hashable a #

Instances

Instances details

Hashable Key
Instance details Defined in Data.Aeson.Key Methods hashWithSalt :: Int -> Key -> Int hash :: Key -> Int
Hashable Value
Instance details Defined in Data.Aeson.Types.Internal Methods hashWithSalt :: Int -> Value -> Int hash :: Value -> Int
Hashable ByteArray
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> ByteArray -> Int hash :: ByteArray -> Int
Hashable SomeTypeRep
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> SomeTypeRep -> Int hash :: SomeTypeRep -> Int
Hashable Unique
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Unique -> Int hash :: Unique -> Int
Hashable Version
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Version -> Int hash :: Version -> Int
Hashable IntPtr
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> IntPtr -> Int hash :: IntPtr -> Int
Hashable WordPtr
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> WordPtr -> Int hash :: WordPtr -> Int
Hashable Void
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Void -> Int hash :: Void -> Int
Hashable ThreadId
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> ThreadId -> Int hash :: ThreadId -> Int
Hashable Fingerprint
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Fingerprint -> Int hash :: Fingerprint -> Int
Hashable Int16
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Int16 -> Int hash :: Int16 -> Int
Hashable Int32
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Int32 -> Int hash :: Int32 -> Int
Hashable Int64
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Int64 -> Int hash :: Int64 -> Int
Hashable Int8
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Int8 -> Int hash :: Int8 -> Int
Hashable Word16
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Word16 -> Int hash :: Word16 -> Int
Hashable Word32
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Word32 -> Int hash :: Word32 -> Int
Hashable Word64
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Word64 -> Int hash :: Word64 -> Int
Hashable Word8
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Word8 -> Int hash :: Word8 -> Int
Hashable ByteString
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> ByteString -> Int hash :: ByteString -> Int
Hashable ByteString
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> ByteString -> Int hash :: ByteString -> Int
Hashable ShortByteString
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> ShortByteString -> Int hash :: ShortByteString -> Int
Hashable IntSet
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> IntSet -> Int hash :: IntSet -> Int
Hashable OsString
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> OsString -> Int hash :: OsString -> Int
Hashable PosixString
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> PosixString -> Int hash :: PosixString -> Int
Hashable WindowsString
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> WindowsString -> Int hash :: WindowsString -> Int
Hashable BigNat
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> BigNat -> Int hash :: BigNat -> Int
Hashable Ordering
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Ordering -> Int hash :: Ordering -> Int
Hashable OsString
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> OsString -> Int hash :: OsString -> Int
Hashable PosixString
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> PosixString -> Int hash :: PosixString -> Int
Hashable WindowsString
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> WindowsString -> Int hash :: WindowsString -> Int
Hashable Ann Source #
Instance details Defined in PlutusCore.Annotation Methods hashWithSalt :: Int -> Ann -> Int hash :: Ann -> Int
Hashable Inline Source #
Instance details Defined in PlutusCore.Annotation Methods hashWithSalt :: Int -> Inline -> Int hash :: Inline -> Int
Hashable SrcSpan Source #
Instance details Defined in PlutusCore.Annotation Methods hashWithSalt :: Int -> SrcSpan -> Int hash :: SrcSpan -> Int
Hashable SrcSpans Source #
Instance details Defined in PlutusCore.Annotation Methods hashWithSalt :: Int -> SrcSpans -> Int hash :: SrcSpans -> Int
Hashable Element Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.G1 Methods hashWithSalt :: Int -> Element -> Int hash :: Element -> Int
Hashable Element Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.G2 Methods hashWithSalt :: Int -> Element -> Int hash :: Element -> Int
Hashable MlResult Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.Pairing Methods hashWithSalt :: Int -> MlResult -> Int hash :: MlResult -> Int
Hashable Data Source #
Instance details Defined in PlutusCore.Data Methods hashWithSalt :: Int -> Data -> Int hash :: Data -> Int
Hashable DeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods hashWithSalt :: Int -> DeBruijn -> Int hash :: DeBruijn -> Int
Hashable FakeNamedDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods hashWithSalt :: Int -> FakeNamedDeBruijn -> Int hash :: FakeNamedDeBruijn -> Int
Hashable Index Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods hashWithSalt :: Int -> Index -> Int hash :: Index -> Int
Hashable NamedDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods hashWithSalt :: Int -> NamedDeBruijn -> Int hash :: NamedDeBruijn -> Int
Hashable DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods hashWithSalt :: Int -> DefaultFun -> Int hash :: DefaultFun -> Int
Hashable ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods hashWithSalt :: Int -> ExtensionFun -> Int hash :: ExtensionFun -> Int
Hashable Name Source #
Instance details Defined in PlutusCore.Name.Unique Methods hashWithSalt :: Int -> Name -> Int hash :: Name -> Int
Hashable TermUnique Source #
Instance details Defined in PlutusCore.Name.Unique Methods hashWithSalt :: Int -> TermUnique -> Int hash :: TermUnique -> Int
Hashable TyName Source #
Instance details Defined in PlutusCore.Name.Unique Methods hashWithSalt :: Int -> TyName -> Int hash :: TyName -> Int
Hashable TypeUnique Source #
Instance details Defined in PlutusCore.Name.Unique Methods hashWithSalt :: Int -> TypeUnique -> Int hash :: TypeUnique -> Int
Hashable Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods hashWithSalt :: Int -> Unique -> Int hash :: Unique -> Int
Hashable K Source #
Instance details Defined in PlutusCore.Value Methods hashWithSalt :: Int -> K -> Int hash :: K -> Int
Hashable Quantity Source #
Instance details Defined in PlutusCore.Value Methods hashWithSalt :: Int -> Quantity -> Int hash :: Quantity -> Int
Hashable Value Source #
Instance details Defined in PlutusCore.Value Methods hashWithSalt :: Int -> Value -> Int hash :: Value -> Int
Hashable Version Source #
Instance details Defined in PlutusCore.Version Methods hashWithSalt :: Int -> Version -> Int hash :: Version -> Int
Hashable StepKind Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods hashWithSalt :: Int -> StepKind -> Int hash :: StepKind -> Int
Hashable Scientific
Instance details Defined in Data.Scientific Methods hashWithSalt :: Int -> Scientific -> Int hash :: Scientific -> Int
Hashable Text
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Text -> Int hash :: Text -> Int
Hashable Text
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Text -> Int hash :: Text -> Int
Hashable ShortText
Instance details Defined in Data.Text.Short.Internal Methods hashWithSalt :: Int -> ShortText -> Int hash :: ShortText -> Int
Hashable UUID
Instance details Defined in Data.UUID.Types.Internal Methods hashWithSalt :: Int -> UUID -> Int hash :: UUID -> Int
Hashable Integer
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Integer -> Int hash :: Integer -> Int
Hashable Natural
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Natural -> Int hash :: Natural -> Int
Hashable ()
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> () -> Int hash :: () -> Int
Hashable Bool
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Bool -> Int hash :: Bool -> Int
Hashable Char
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Char -> Int hash :: Char -> Int
Hashable Double
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Double -> Int hash :: Double -> Int
Hashable Float
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Float -> Int hash :: Float -> Int
Hashable Int
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Int -> Int hash :: Int -> Int
Hashable Word
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Word -> Int hash :: Word -> Int
Hashable v => Hashable (KeyMap v)
Instance details Defined in Data.Aeson.KeyMap Methods hashWithSalt :: Int -> KeyMap v -> Int hash :: KeyMap v -> Int
Hashable a => Hashable (Complex a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Complex a -> Int hash :: Complex a -> Int
Hashable a => Hashable (Identity a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Identity a -> Int hash :: Identity a -> Int
Hashable a => Hashable (First a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> First a -> Int hash :: First a -> Int
Hashable a => Hashable (Last a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Last a -> Int hash :: Last a -> Int
Hashable a => Hashable (Max a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Max a -> Int hash :: Max a -> Int
Hashable a => Hashable (Min a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Min a -> Int hash :: Min a -> Int
Hashable a => Hashable (WrappedMonoid a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> WrappedMonoid a -> Int hash :: WrappedMonoid a -> Int
Hashable a => Hashable (NonEmpty a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> NonEmpty a -> Int hash :: NonEmpty a -> Int
Hashable (FunPtr a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> FunPtr a -> Int hash :: FunPtr a -> Int
Hashable (Ptr a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Ptr a -> Int hash :: Ptr a -> Int
Hashable a => Hashable (Ratio a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Ratio a -> Int hash :: Ratio a -> Int
Hashable (StableName a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> StableName a -> Int hash :: StableName a -> Int
Hashable v => Hashable (IntMap v)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> IntMap v -> Int hash :: IntMap v -> Int
Hashable v => Hashable (Seq v)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Seq v -> Int hash :: Seq v -> Int
Hashable v => Hashable (Set v)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Set v -> Int hash :: Set v -> Int
Hashable v => Hashable (Tree v)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Tree v -> Int hash :: Tree v -> Int
Hashable1 f => Hashable (Fix f)
Instance details Defined in Data.Fix Methods hashWithSalt :: Int -> Fix f -> Int hash :: Fix f -> Int
Eq a => Hashable (Hashed a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Hashed a -> Int hash :: Hashed a -> Int
Hashable ann => Hashable (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods hashWithSalt :: Int -> Kind ann -> Int hash :: Kind ann -> Int
(Closed uni, GEq uni) => Hashable (SomeTypeIn uni) Source #
Instance details Defined in Universe.Core Methods hashWithSalt :: Int -> SomeTypeIn uni -> Int hash :: SomeTypeIn uni -> Int
Hashable fun => Hashable (ExBudgetCategory fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods hashWithSalt :: Int -> ExBudgetCategory fun -> Int hash :: ExBudgetCategory fun -> Int
Hashable a => Hashable (Leaf a)
Instance details Defined in Data.RAList.Tree.Internal Methods hashWithSalt :: Int -> Leaf a -> Int hash :: Leaf a -> Int
Hashable a => Hashable (Maybe a)
Instance details Defined in Data.Strict.Maybe Methods hashWithSalt :: Int -> Maybe a -> Int hash :: Maybe a -> Int
Hashable a => Hashable (HashSet a)
Instance details Defined in Data.HashSet.Internal Methods hashWithSalt :: Int -> HashSet a -> Int hash :: HashSet a -> Int
Hashable a => Hashable (Vector a) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Eq Methods hashWithSalt :: Int -> Vector a -> Int hash :: Vector a -> Int
Hashable a => Hashable (Vector a) Source #
Instance details Defined in Data.Vector.Orphans Methods hashWithSalt :: Int -> Vector a -> Int hash :: Vector a -> Int
Hashable a => Hashable (Maybe a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Maybe a -> Int hash :: Maybe a -> Int
Hashable a => Hashable (Solo a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Solo a -> Int hash :: Solo a -> Int
Hashable a => Hashable [a]
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> [a] -> Int hash :: [a] -> Int
(Hashable a, Hashable b) => Hashable (Either a b)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Either a b -> Int hash :: Either a b -> Int
Hashable (Fixed a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Fixed a -> Int hash :: Fixed a -> Int
Hashable (Proxy a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Proxy a -> Int hash :: Proxy a -> Int
Hashable a => Hashable (Arg a b)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Arg a b -> Int hash :: Arg a b -> Int
Hashable (TypeRep a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> TypeRep a -> Int hash :: TypeRep a -> Int
(Hashable k, Hashable v) => Hashable (Map k v)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Map k v -> Int hash :: Map k v -> Int
(Hashable k, Hashable a) => Hashable (MonoidalHashMap k a)
Instance details Defined in Data.HashMap.Monoidal Methods hashWithSalt :: Int -> MonoidalHashMap k a -> Int hash :: MonoidalHashMap k a -> Int
(Closed uni, GEq uni, Everywhere uni Eq, Everywhere uni Hashable) => Hashable (ValueOf uni a) Source #
Instance details Defined in Universe.Core Methods hashWithSalt :: Int -> ValueOf uni a -> Int hash :: ValueOf uni a -> Int
Hashable (f a) => Hashable (Node f a)
Instance details Defined in Data.RAList.Tree.Internal Methods hashWithSalt :: Int -> Node f a -> Int hash :: Node f a -> Int
(Closed uni, GEq uni, Everywhere uni Eq, Everywhere uni Hashable) => Hashable (Some (ValueOf uni)) Source #
Instance details Defined in Universe.Core Methods hashWithSalt :: Int -> Some (ValueOf uni) -> Int hash :: Some (ValueOf uni) -> Int
(Hashable a, Hashable b) => Hashable (Either a b)
Instance details Defined in Data.Strict.Either Methods hashWithSalt :: Int -> Either a b -> Int hash :: Either a b -> Int
(Hashable a, Hashable b) => Hashable (These a b)
Instance details Defined in Data.Strict.These Methods hashWithSalt :: Int -> These a b -> Int hash :: These a b -> Int
(Hashable a, Hashable b) => Hashable (Pair a b)
Instance details Defined in Data.Strict.Tuple Methods hashWithSalt :: Int -> Pair a b -> Int hash :: Pair a b -> Int
(Hashable a, Hashable b) => Hashable (These a b)
Instance details Defined in Data.These Methods hashWithSalt :: Int -> These a b -> Int hash :: These a b -> Int
(Hashable k, Hashable v) => Hashable (HashMap k v)
Instance details Defined in Data.HashMap.Internal Methods hashWithSalt :: Int -> HashMap k v -> Int hash :: HashMap k v -> Int
(Hashable a1, Hashable a2) => Hashable (a1, a2)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> (a1, a2) -> Int hash :: (a1, a2) -> Int
Hashable a => Hashable (Const a b)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Const a b -> Int hash :: Const a b -> Int
(Hashable a1, Hashable a2, Hashable a3) => Hashable (a1, a2, a3)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> (a1, a2, a3) -> Int hash :: (a1, a2, a3) -> Int
(Hashable (f a), Hashable (g a)) => Hashable (Product f g a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Product f g a -> Int hash :: Product f g a -> Int
(Hashable (f a), Hashable (g a)) => Hashable (Sum f g a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Sum f g a -> Int hash :: Sum f g a -> Int
HashableTermConstraints uni fun ann => Hashable (Term DeBruijn uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Eq Methods hashWithSalt :: Int -> Term DeBruijn uni fun ann -> Int hash :: Term DeBruijn uni fun ann -> Int
HashableTermConstraints uni fun ann => Hashable (Term FakeNamedDeBruijn uni fun ann) Source #
Instance details 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 #
Instance details 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 #
Instance details Defined in UntypedPlutusCore.Core.Instance.Eq Methods hashWithSalt :: Int -> Term Name uni fun ann -> Int hash :: Term Name uni fun ann -> Int
(Hashable a1, Hashable a2, Hashable a3, Hashable a4) => Hashable (a1, a2, a3, a4)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> (a1, a2, a3, a4) -> Int hash :: (a1, a2, a3, a4) -> Int
Hashable (f (g a)) => Hashable (Compose f g a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Compose f g a -> Int hash :: Compose f g a -> Int
(Hashable a1, Hashable a2, Hashable a3, Hashable a4, Hashable a5) => Hashable (a1, a2, a3, a4, a5)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> (a1, a2, a3, a4, a5) -> Int hash :: (a1, a2, a3, a4, a5) -> Int
(Hashable a1, Hashable a2, Hashable a3, Hashable a4, Hashable a5, Hashable a6) => Hashable (a1, a2, a3, a4, a5, a6)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> (a1, a2, a3, a4, a5, a6) -> Int hash :: (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)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> (a1, a2, a3, a4, a5, a6, a7) -> Int hash :: (a1, a2, a3, a4, a5, a6, a7) -> Int

newtype MCostingFun a Source #

Same as CostingFun but maybe missing. We could use 'Compose Maybe CostinFun' instead but we would then need an orphan ToJSON instance.

Constructors

MCostingFun (Maybe (CostingFun a))

Instances

Instances details

ToJSON (BuiltinCostModelBase MCostingFun) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: BuiltinCostModelBase MCostingFun -> Value toEncoding :: BuiltinCostModelBase MCostingFun -> Encoding toJSONList :: [BuiltinCostModelBase MCostingFun] -> Value toEncodingList :: [BuiltinCostModelBase MCostingFun] -> Encoding omitField :: BuiltinCostModelBase MCostingFun -> Bool
ToJSON a => ToJSON (MCostingFun a) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: MCostingFun a -> Value toEncoding :: MCostingFun a -> Encoding toJSONList :: [MCostingFun a] -> Value toEncodingList :: [MCostingFun a] -> Encoding omitField :: MCostingFun a -> Bool
Monoid (MCostingFun a) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods mempty :: MCostingFun a Source # mappend :: MCostingFun a -> MCostingFun a -> MCostingFun a Source # mconcat :: [MCostingFun a] -> MCostingFun a Source #
Semigroup (MCostingFun a) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods (<>) :: MCostingFun a -> MCostingFun a -> MCostingFun a Source # sconcat :: NonEmpty (MCostingFun a) -> MCostingFun a Source # stimes :: Integral b => b -> MCostingFun a -> MCostingFun a Source #

ModelThreeArgumentsConstantCost CostingInteger
ModelThreeArgumentsLinearInX OneVariableLinearFunction
ModelThreeArgumentsLinearInY OneVariableLinearFunction
ModelThreeArgumentsLinearInZ OneVariableLinearFunction
ModelThreeArgumentsQuadraticInZ OneVariableQuadraticFunction
ModelThreeArgumentsLiteralInYOrLinearInZ OneVariableLinearFunction
ModelThreeArgumentsLinearInMaxYZ OneVariableLinearFunction
ModelThreeArgumentsLinearInYAndZ TwoVariableLinearFunction
ModelThreeArgumentsQuadraticInYAndZ TwoVariableQuadraticFunction
ModelThreeArgumentsExpModCost ExpModCostingFunction