Safe Haskell	None
Language	Haskell2010

PlutusCore.Evaluation.Machine.BuiltinCostModel

Synopsis

type BuiltinCostModel = BuiltinCostModelBase CostingFun
data BuiltinCostModelBase f = 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
}
data CostingFun model = CostingFun {
- costingFunCpu :: model
- costingFunMemory :: model
}
data ModelAddedSizes = ModelAddedSizes {
- modelAddedSizesIntercept :: CostingInteger
- modelAddedSizesSlope :: CostingInteger
}
data ModelSubtractedSizes = ModelSubtractedSizes {
- modelSubtractedSizesIntercept :: CostingInteger
- modelSubtractedSizesSlope :: CostingInteger
- modelSubtractedSizesMinimum :: CostingInteger
}
data ModelConstantOrLinear = ModelConstantOrLinear {
- modelConstantOrLinearConstant :: CostingInteger
- modelConstantOrLinearIntercept :: CostingInteger
- modelConstantOrLinearSlope :: CostingInteger
}
data ModelConstantOrTwoArguments = ModelConstantOrTwoArguments {
- modelConstantOrTwoArgumentsConstant :: CostingInteger
- modelConstantOrTwoArgumentsModel :: ModelTwoArguments
}
data ModelLinearSize = ModelLinearSize {
- modelLinearSizeIntercept :: CostingInteger
- modelLinearSizeSlope :: CostingInteger
}
data ModelMultipliedSizes = ModelMultipliedSizes {
- modelMultipliedSizesIntercept :: CostingInteger
- modelMultipliedSizesSlope :: CostingInteger
}
data ModelMinSize = ModelMinSize {
- modelMinSizeIntercept :: CostingInteger
- modelMinSizeSlope :: CostingInteger
}
data ModelMaxSize = ModelMaxSize {
- modelMaxSizeIntercept :: CostingInteger
- modelMaxSizeSlope :: CostingInteger
}
data ModelOneArgument
- = ModelOneArgumentConstantCost CostingInteger
- | ModelOneArgumentLinearCost ModelLinearSize
data ModelTwoArguments
- = ModelTwoArgumentsConstantCost CostingInteger
- | ModelTwoArgumentsLinearInX ModelLinearSize
- | ModelTwoArgumentsLinearInY ModelLinearSize
- | ModelTwoArgumentsAddedSizes ModelAddedSizes
- | ModelTwoArgumentsSubtractedSizes ModelSubtractedSizes
- | ModelTwoArgumentsMultipliedSizes ModelMultipliedSizes
- | ModelTwoArgumentsMinSize ModelMinSize
- | ModelTwoArgumentsMaxSize ModelMaxSize
- | ModelTwoArgumentsLinearOnDiagonal ModelConstantOrLinear
- | ModelTwoArgumentsConstAboveDiagonal ModelConstantOrTwoArguments
- | ModelTwoArgumentsConstBelowDiagonal ModelConstantOrTwoArguments
data ModelThreeArguments
- = ModelThreeArgumentsConstantCost CostingInteger
- | ModelThreeArgumentsAddedSizes ModelAddedSizes
- | ModelThreeArgumentsLinearInX ModelLinearSize
- | ModelThreeArgumentsLinearInY ModelLinearSize
- | ModelThreeArgumentsLinearInZ ModelLinearSize
data ModelFourArguments = ModelFourArgumentsConstantCost CostingInteger
data ModelFiveArguments = ModelFiveArgumentsConstantCost CostingInteger
data ModelSixArguments = ModelSixArgumentsConstantCost CostingInteger
runCostingFunOneArgument :: CostingFun ModelOneArgument -> ExMemory -> ExBudget
runCostingFunTwoArguments :: CostingFun ModelTwoArguments -> ExMemory -> ExMemory -> ExBudget
runCostingFunThreeArguments :: CostingFun ModelThreeArguments -> ExMemory -> ExMemory -> ExMemory -> ExBudget
runCostingFunFourArguments :: CostingFun ModelFourArguments -> ExMemory -> ExMemory -> ExMemory -> ExMemory -> ExBudget
runCostingFunFiveArguments :: CostingFun ModelFiveArguments -> ExMemory -> ExMemory -> ExMemory -> ExMemory -> ExMemory -> ExBudget
runCostingFunSixArguments :: CostingFun ModelSixArguments -> ExMemory -> ExMemory -> ExMemory -> ExMemory -> ExMemory -> ExMemory -> ExBudget
class Hashable a
newtype MCostingFun a = MCostingFun (Maybe (CostingFun a))

Documentation

type BuiltinCostModel = BuiltinCostModelBase CostingFun Source #

data BuiltinCostModelBase f Source #

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

Instances

Instances details

AllArgumentModels (Lift :: Type -> Constraint) f => Lift (BuiltinCostModelBase f :: Type) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods lift :: BuiltinCostModelBase f -> Q Exp Source # liftTyped :: BuiltinCostModelBase f -> Q (TExp (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 #
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 #
Generic (BuiltinCostModelBase f) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep (BuiltinCostModelBase f) :: Type -> Type Source # Methods from :: BuiltinCostModelBase f -> Rep (BuiltinCostModelBase f) x Source # to :: Rep (BuiltinCostModelBase f) x -> BuiltinCostModelBase f Source #
AllArgumentModels NFData f => NFData (BuiltinCostModelBase f) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: 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]
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
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
AllArgumentModels Default f => Default (BuiltinCostModelBase f) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods def :: BuiltinCostModelBase f
FunctorB BuiltinCostModelBase Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods bmap :: (forall (a :: k). 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 :: k). f a -> e (g a)) -> BuiltinCostModelBase f -> e (BuiltinCostModelBase g)
ConstraintsB BuiltinCostModelBase Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type AllB c BuiltinCostModelBase Methods baddDicts :: forall (c :: k -> Constraint) (f :: k -> Type). AllB c BuiltinCostModelBase => BuiltinCostModelBase f -> BuiltinCostModelBase (Product (Dict c) f)
type Rep (BuiltinCostModelBase f) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel type Rep (BuiltinCostModelBase f) = D1 ('MetaData "BuiltinCostModelBase" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "BuiltinCostModelBase" 'PrefixI 'True) (((((S1 ('MetaSel ('Just "paramAddInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :: (S1 ('MetaSel ('Just "paramSubtractInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :: S1 ('MetaSel ('Just "paramMultiplyInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)))) :: (S1 ('MetaSel ('Just "paramDivideInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :: (S1 ('MetaSel ('Just "paramQuotientInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :: S1 ('MetaSel ('Just "paramRemainderInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments))))) :: ((S1 ('MetaSel ('Just "paramModInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :: (S1 ('MetaSel ('Just "paramEqualsInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :: S1 ('MetaSel ('Just "paramLessThanInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)))) :: ((S1 ('MetaSel ('Just "paramLessThanEqualsInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :: S1 ('MetaSel ('Just "paramAppendByteString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments))) :: (S1 ('MetaSel ('Just "paramConsByteString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :: S1 ('MetaSel ('Just "paramSliceByteString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelThreeArguments)))))) :: (((S1 ('MetaSel ('Just "paramLengthOfByteString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :: (S1 ('MetaSel ('Just "paramIndexByteString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :: S1 ('MetaSel ('Just "paramEqualsByteString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)))) :: ((S1 ('MetaSel ('Just "paramLessThanByteString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :: S1 ('MetaSel ('Just "paramLessThanEqualsByteString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments))) :: (S1 ('MetaSel ('Just "paramSha2_256") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :: S1 ('MetaSel ('Just "paramSha3_256") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument))))) :: ((S1 ('MetaSel ('Just "paramBlake2b_256") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :: (S1 ('MetaSel ('Just "paramVerifyEd25519Signature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelThreeArguments)) :: S1 ('MetaSel ('Just "paramVerifyEcdsaSecp256k1Signature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelThreeArguments)))) :: ((S1 ('MetaSel ('Just "paramVerifySchnorrSecp256k1Signature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelThreeArguments)) :: S1 ('MetaSel ('Just "paramAppendString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments))) :: (S1 ('MetaSel ('Just "paramEqualsString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :: S1 ('MetaSel ('Just "paramEncodeUtf8") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument))))))) :: ((((S1 ('MetaSel ('Just "paramDecodeUtf8") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :: (S1 ('MetaSel ('Just "paramIfThenElse") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelThreeArguments)) :: S1 ('MetaSel ('Just "paramChooseUnit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)))) :: (S1 ('MetaSel ('Just "paramTrace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :: (S1 ('MetaSel ('Just "paramFstPair") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :: S1 ('MetaSel ('Just "paramSndPair") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument))))) :: ((S1 ('MetaSel ('Just "paramChooseList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelThreeArguments)) :: (S1 ('MetaSel ('Just "paramMkCons") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :: S1 ('MetaSel ('Just "paramHeadList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)))) :: ((S1 ('MetaSel ('Just "paramTailList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :: S1 ('MetaSel ('Just "paramNullList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument))) :: (S1 ('MetaSel ('Just "paramChooseData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelSixArguments)) :: S1 ('MetaSel ('Just "paramConstrData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)))))) :: (((S1 ('MetaSel ('Just "paramMapData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :: (S1 ('MetaSel ('Just "paramListData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :: S1 ('MetaSel ('Just "paramIData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)))) :: ((S1 ('MetaSel ('Just "paramBData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :: S1 ('MetaSel ('Just "paramUnConstrData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument))) :: (S1 ('MetaSel ('Just "paramUnMapData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :: S1 ('MetaSel ('Just "paramUnListData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument))))) :: ((S1 ('MetaSel ('Just "paramUnIData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :: (S1 ('MetaSel ('Just "paramUnBData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :: S1 ('MetaSel ('Just "paramEqualsData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)))) :: ((S1 ('MetaSel ('Just "paramMkPairData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :: S1 ('MetaSel ('Just "paramMkNilData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument))) :: (S1 ('MetaSel ('Just "paramMkNilPairData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :*: S1 ('MetaSel ('Just "paramSerialiseData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)))))))))
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)

data CostingFun model Source #

Constructors

CostingFun
Fields costingFunCpu :: model costingFunMemory :: model

Instances

Instances details

Lift model => Lift (CostingFun model :: Type) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods lift :: CostingFun model -> Q Exp Source # liftTyped :: CostingFun model -> Q (TExp (CostingFun model)) Source #
Eq model => Eq (CostingFun model) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods (==) :: CostingFun model -> CostingFun model -> Bool Source # (/=) :: CostingFun model -> CostingFun model -> Bool Source #
Show model => Show (CostingFun model) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods showsPrec :: Int -> CostingFun model -> ShowS Source # show :: CostingFun model -> String Source # showList :: [CostingFun model] -> ShowS Source #
Generic (CostingFun model) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep (CostingFun model) :: Type -> Type Source # Methods from :: CostingFun model -> Rep (CostingFun model) x Source # to :: Rep (CostingFun model) x -> CostingFun model Source #
NFData model => NFData (CostingFun model) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: CostingFun model -> () Source #
FromJSON model => FromJSON (CostingFun model) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser (CostingFun model) parseJSONList :: Value -> Parser [CostingFun model]
FromJSON (BuiltinCostModelBase CostingFun) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser (BuiltinCostModelBase CostingFun) parseJSONList :: Value -> Parser [BuiltinCostModelBase CostingFun]
ToJSON model => ToJSON (CostingFun model) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: CostingFun model -> Value toEncoding :: CostingFun model -> Encoding toJSONList :: [CostingFun model] -> Value toEncodingList :: [CostingFun model] -> Encoding
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
Default model => Default (CostingFun model) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods def :: CostingFun model
type Rep (CostingFun model) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel type Rep (CostingFun model) = D1 ('MetaData "CostingFun" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "CostingFun" 'PrefixI 'True) (S1 ('MetaSel ('Just "costingFunCpu") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 model) :*: S1 ('MetaSel ('Just "costingFunMemory") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 model)))

data ModelAddedSizes Source #

s * (x + y) + I

Constructors

ModelAddedSizes
Fields modelAddedSizesIntercept :: CostingInteger modelAddedSizesSlope :: CostingInteger

Instances

Instances details

Eq ModelAddedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods (==) :: ModelAddedSizes -> ModelAddedSizes -> Bool Source # (/=) :: ModelAddedSizes -> ModelAddedSizes -> Bool Source #
Show ModelAddedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods showsPrec :: Int -> ModelAddedSizes -> ShowS Source # show :: ModelAddedSizes -> String Source # showList :: [ModelAddedSizes] -> ShowS Source #
Generic ModelAddedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelAddedSizes :: Type -> Type Source # Methods from :: ModelAddedSizes -> Rep ModelAddedSizes x Source # to :: Rep ModelAddedSizes x -> ModelAddedSizes Source #
NFData ModelAddedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelAddedSizes -> () Source #
FromJSON ModelAddedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelAddedSizes parseJSONList :: Value -> Parser [ModelAddedSizes]
ToJSON ModelAddedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelAddedSizes -> Value toEncoding :: ModelAddedSizes -> Encoding toJSONList :: [ModelAddedSizes] -> Value toEncodingList :: [ModelAddedSizes] -> Encoding
Lift ModelAddedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods lift :: ModelAddedSizes -> Q Exp Source # liftTyped :: ModelAddedSizes -> Q (TExp ModelAddedSizes) Source #
type Rep ModelAddedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel type Rep ModelAddedSizes = D1 ('MetaData "ModelAddedSizes" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "ModelAddedSizes" 'PrefixI 'True) (S1 ('MetaSel ('Just "modelAddedSizesIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger) :*: S1 ('MetaSel ('Just "modelAddedSizesSlope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)))

data ModelSubtractedSizes Source #

s * (x - y) + I

Constructors

ModelSubtractedSizes
Fields modelSubtractedSizesIntercept :: CostingInteger modelSubtractedSizesSlope :: CostingInteger modelSubtractedSizesMinimum :: CostingInteger

Instances

Instances details

Eq ModelSubtractedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods (==) :: ModelSubtractedSizes -> ModelSubtractedSizes -> Bool Source # (/=) :: ModelSubtractedSizes -> ModelSubtractedSizes -> Bool Source #
Show ModelSubtractedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods showsPrec :: Int -> ModelSubtractedSizes -> ShowS Source # show :: ModelSubtractedSizes -> String Source # showList :: [ModelSubtractedSizes] -> ShowS Source #
Generic ModelSubtractedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelSubtractedSizes :: Type -> Type Source # Methods from :: ModelSubtractedSizes -> Rep ModelSubtractedSizes x Source # to :: Rep ModelSubtractedSizes x -> ModelSubtractedSizes Source #
NFData ModelSubtractedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelSubtractedSizes -> () Source #
FromJSON ModelSubtractedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelSubtractedSizes parseJSONList :: Value -> Parser [ModelSubtractedSizes]
ToJSON ModelSubtractedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelSubtractedSizes -> Value toEncoding :: ModelSubtractedSizes -> Encoding toJSONList :: [ModelSubtractedSizes] -> Value toEncodingList :: [ModelSubtractedSizes] -> Encoding
Lift ModelSubtractedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods lift :: ModelSubtractedSizes -> Q Exp Source # liftTyped :: ModelSubtractedSizes -> Q (TExp ModelSubtractedSizes) Source #
type Rep ModelSubtractedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel type Rep ModelSubtractedSizes = D1 ('MetaData "ModelSubtractedSizes" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "ModelSubtractedSizes" 'PrefixI 'True) (S1 ('MetaSel ('Just "modelSubtractedSizesIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger) :: (S1 ('MetaSel ('Just "modelSubtractedSizesSlope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger) :: S1 ('MetaSel ('Just "modelSubtractedSizesMinimum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger))))

data ModelConstantOrLinear Source #

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

Constructors

ModelConstantOrLinear
Fields modelConstantOrLinearConstant :: CostingInteger modelConstantOrLinearIntercept :: CostingInteger modelConstantOrLinearSlope :: CostingInteger

Instances

Instances details

Eq ModelConstantOrLinear Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods (==) :: ModelConstantOrLinear -> ModelConstantOrLinear -> Bool Source # (/=) :: ModelConstantOrLinear -> ModelConstantOrLinear -> Bool Source #
Show ModelConstantOrLinear Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods showsPrec :: Int -> ModelConstantOrLinear -> ShowS Source # show :: ModelConstantOrLinear -> String Source # showList :: [ModelConstantOrLinear] -> ShowS Source #
Generic ModelConstantOrLinear Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelConstantOrLinear :: Type -> Type Source # Methods from :: ModelConstantOrLinear -> Rep ModelConstantOrLinear x Source # to :: Rep ModelConstantOrLinear x -> ModelConstantOrLinear Source #
NFData ModelConstantOrLinear Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelConstantOrLinear -> () Source #
FromJSON ModelConstantOrLinear Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelConstantOrLinear parseJSONList :: Value -> Parser [ModelConstantOrLinear]
ToJSON ModelConstantOrLinear Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelConstantOrLinear -> Value toEncoding :: ModelConstantOrLinear -> Encoding toJSONList :: [ModelConstantOrLinear] -> Value toEncodingList :: [ModelConstantOrLinear] -> Encoding
Lift ModelConstantOrLinear Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods lift :: ModelConstantOrLinear -> Q Exp Source # liftTyped :: ModelConstantOrLinear -> Q (TExp ModelConstantOrLinear) Source #
type Rep ModelConstantOrLinear Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel type Rep ModelConstantOrLinear = D1 ('MetaData "ModelConstantOrLinear" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "ModelConstantOrLinear" 'PrefixI 'True) (S1 ('MetaSel ('Just "modelConstantOrLinearConstant") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger) :: (S1 ('MetaSel ('Just "modelConstantOrLinearIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger) :: S1 ('MetaSel ('Just "modelConstantOrLinearSlope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger))))

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

Eq ModelConstantOrTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods (==) :: ModelConstantOrTwoArguments -> ModelConstantOrTwoArguments -> Bool Source # (/=) :: ModelConstantOrTwoArguments -> ModelConstantOrTwoArguments -> Bool Source #
Show ModelConstantOrTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods showsPrec :: Int -> ModelConstantOrTwoArguments -> ShowS Source # show :: ModelConstantOrTwoArguments -> String Source # showList :: [ModelConstantOrTwoArguments] -> ShowS Source #
Generic ModelConstantOrTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelConstantOrTwoArguments :: Type -> Type Source # Methods from :: ModelConstantOrTwoArguments -> Rep ModelConstantOrTwoArguments x Source # to :: Rep ModelConstantOrTwoArguments x -> ModelConstantOrTwoArguments Source #
NFData ModelConstantOrTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelConstantOrTwoArguments -> () Source #
FromJSON ModelConstantOrTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelConstantOrTwoArguments parseJSONList :: Value -> Parser [ModelConstantOrTwoArguments]
ToJSON ModelConstantOrTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelConstantOrTwoArguments -> Value toEncoding :: ModelConstantOrTwoArguments -> Encoding toJSONList :: [ModelConstantOrTwoArguments] -> Value toEncodingList :: [ModelConstantOrTwoArguments] -> Encoding
Lift ModelConstantOrTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods lift :: ModelConstantOrTwoArguments -> Q Exp Source # liftTyped :: ModelConstantOrTwoArguments -> Q (TExp ModelConstantOrTwoArguments) Source #
type Rep ModelConstantOrTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel type Rep ModelConstantOrTwoArguments = D1 ('MetaData "ModelConstantOrTwoArguments" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" '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 ModelLinearSize Source #

Constructors

ModelLinearSize
Fields modelLinearSizeIntercept :: CostingInteger modelLinearSizeSlope :: CostingInteger

Instances

Instances details

Eq ModelLinearSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods (==) :: ModelLinearSize -> ModelLinearSize -> Bool Source # (/=) :: ModelLinearSize -> ModelLinearSize -> Bool Source #
Show ModelLinearSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods showsPrec :: Int -> ModelLinearSize -> ShowS Source # show :: ModelLinearSize -> String Source # showList :: [ModelLinearSize] -> ShowS Source #
Generic ModelLinearSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelLinearSize :: Type -> Type Source # Methods from :: ModelLinearSize -> Rep ModelLinearSize x Source # to :: Rep ModelLinearSize x -> ModelLinearSize Source #
NFData ModelLinearSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelLinearSize -> () Source #
FromJSON ModelLinearSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelLinearSize parseJSONList :: Value -> Parser [ModelLinearSize]
ToJSON ModelLinearSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelLinearSize -> Value toEncoding :: ModelLinearSize -> Encoding toJSONList :: [ModelLinearSize] -> Value toEncodingList :: [ModelLinearSize] -> Encoding
Lift ModelLinearSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods lift :: ModelLinearSize -> Q Exp Source # liftTyped :: ModelLinearSize -> Q (TExp ModelLinearSize) Source #
type Rep ModelLinearSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel type Rep ModelLinearSize = D1 ('MetaData "ModelLinearSize" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "ModelLinearSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "modelLinearSizeIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger) :*: S1 ('MetaSel ('Just "modelLinearSizeSlope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)))

data ModelMultipliedSizes Source #

s * (x * y) + I

Constructors

ModelMultipliedSizes
Fields modelMultipliedSizesIntercept :: CostingInteger modelMultipliedSizesSlope :: CostingInteger

Instances

Instances details

Eq ModelMultipliedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods (==) :: ModelMultipliedSizes -> ModelMultipliedSizes -> Bool Source # (/=) :: ModelMultipliedSizes -> ModelMultipliedSizes -> Bool Source #
Show ModelMultipliedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods showsPrec :: Int -> ModelMultipliedSizes -> ShowS Source # show :: ModelMultipliedSizes -> String Source # showList :: [ModelMultipliedSizes] -> ShowS Source #
Generic ModelMultipliedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelMultipliedSizes :: Type -> Type Source # Methods from :: ModelMultipliedSizes -> Rep ModelMultipliedSizes x Source # to :: Rep ModelMultipliedSizes x -> ModelMultipliedSizes Source #
NFData ModelMultipliedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelMultipliedSizes -> () Source #
FromJSON ModelMultipliedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelMultipliedSizes parseJSONList :: Value -> Parser [ModelMultipliedSizes]
ToJSON ModelMultipliedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelMultipliedSizes -> Value toEncoding :: ModelMultipliedSizes -> Encoding toJSONList :: [ModelMultipliedSizes] -> Value toEncodingList :: [ModelMultipliedSizes] -> Encoding
Lift ModelMultipliedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods lift :: ModelMultipliedSizes -> Q Exp Source # liftTyped :: ModelMultipliedSizes -> Q (TExp ModelMultipliedSizes) Source #
type Rep ModelMultipliedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel type Rep ModelMultipliedSizes = D1 ('MetaData "ModelMultipliedSizes" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "ModelMultipliedSizes" 'PrefixI 'True) (S1 ('MetaSel ('Just "modelMultipliedSizesIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger) :*: S1 ('MetaSel ('Just "modelMultipliedSizesSlope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)))

data ModelMinSize Source #

s * min(x, y) + I

Constructors

ModelMinSize
Fields modelMinSizeIntercept :: CostingInteger modelMinSizeSlope :: CostingInteger

Instances

Instances details

Eq ModelMinSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods (==) :: ModelMinSize -> ModelMinSize -> Bool Source # (/=) :: ModelMinSize -> ModelMinSize -> Bool Source #
Show ModelMinSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods showsPrec :: Int -> ModelMinSize -> ShowS Source # show :: ModelMinSize -> String Source # showList :: [ModelMinSize] -> ShowS Source #
Generic ModelMinSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelMinSize :: Type -> Type Source # Methods from :: ModelMinSize -> Rep ModelMinSize x Source # to :: Rep ModelMinSize x -> ModelMinSize Source #
NFData ModelMinSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelMinSize -> () Source #
FromJSON ModelMinSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelMinSize parseJSONList :: Value -> Parser [ModelMinSize]
ToJSON ModelMinSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelMinSize -> Value toEncoding :: ModelMinSize -> Encoding toJSONList :: [ModelMinSize] -> Value toEncodingList :: [ModelMinSize] -> Encoding
Lift ModelMinSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods lift :: ModelMinSize -> Q Exp Source # liftTyped :: ModelMinSize -> Q (TExp ModelMinSize) Source #
type Rep ModelMinSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel type Rep ModelMinSize = D1 ('MetaData "ModelMinSize" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "ModelMinSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "modelMinSizeIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger) :*: S1 ('MetaSel ('Just "modelMinSizeSlope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)))

data ModelMaxSize Source #

s * max(x, y) + I

Constructors

ModelMaxSize
Fields modelMaxSizeIntercept :: CostingInteger modelMaxSizeSlope :: CostingInteger

Instances

Instances details

Eq ModelMaxSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods (==) :: ModelMaxSize -> ModelMaxSize -> Bool Source # (/=) :: ModelMaxSize -> ModelMaxSize -> Bool Source #
Show ModelMaxSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods showsPrec :: Int -> ModelMaxSize -> ShowS Source # show :: ModelMaxSize -> String Source # showList :: [ModelMaxSize] -> ShowS Source #
Generic ModelMaxSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelMaxSize :: Type -> Type Source # Methods from :: ModelMaxSize -> Rep ModelMaxSize x Source # to :: Rep ModelMaxSize x -> ModelMaxSize Source #
NFData ModelMaxSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelMaxSize -> () Source #
FromJSON ModelMaxSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelMaxSize parseJSONList :: Value -> Parser [ModelMaxSize]
ToJSON ModelMaxSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelMaxSize -> Value toEncoding :: ModelMaxSize -> Encoding toJSONList :: [ModelMaxSize] -> Value toEncodingList :: [ModelMaxSize] -> Encoding
Lift ModelMaxSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods lift :: ModelMaxSize -> Q Exp Source # liftTyped :: ModelMaxSize -> Q (TExp ModelMaxSize) Source #
type Rep ModelMaxSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel type Rep ModelMaxSize = D1 ('MetaData "ModelMaxSize" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "ModelMaxSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "modelMaxSizeIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger) :*: S1 ('MetaSel ('Just "modelMaxSizeSlope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)))

data ModelOneArgument Source #

Constructors

ModelOneArgumentConstantCost CostingInteger
ModelOneArgumentLinearCost ModelLinearSize

Instances

Instances details

Eq ModelOneArgument Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods (==) :: ModelOneArgument -> ModelOneArgument -> Bool Source # (/=) :: ModelOneArgument -> ModelOneArgument -> Bool Source #
Show ModelOneArgument Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods showsPrec :: Int -> ModelOneArgument -> ShowS Source # show :: ModelOneArgument -> String Source # showList :: [ModelOneArgument] -> ShowS Source #
Generic ModelOneArgument Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelOneArgument :: Type -> Type Source # Methods from :: ModelOneArgument -> Rep ModelOneArgument x Source # to :: Rep ModelOneArgument x -> ModelOneArgument Source #
NFData ModelOneArgument Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelOneArgument -> () Source #
FromJSON ModelOneArgument Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelOneArgument parseJSONList :: Value -> Parser [ModelOneArgument]
ToJSON ModelOneArgument Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelOneArgument -> Value toEncoding :: ModelOneArgument -> Encoding toJSONList :: [ModelOneArgument] -> Value toEncodingList :: [ModelOneArgument] -> Encoding
Default ModelOneArgument Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods def :: ModelOneArgument
Lift ModelOneArgument Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods lift :: ModelOneArgument -> Q Exp Source # liftTyped :: ModelOneArgument -> Q (TExp ModelOneArgument) Source #
type Rep ModelOneArgument Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel type Rep ModelOneArgument = D1 ('MetaData "ModelOneArgument" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "ModelOneArgumentConstantCost" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)) :+: C1 ('MetaCons "ModelOneArgumentLinearCost" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelLinearSize)))

data ModelTwoArguments Source #

Instances

Instances details

Eq ModelTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods (==) :: ModelTwoArguments -> ModelTwoArguments -> Bool Source # (/=) :: ModelTwoArguments -> ModelTwoArguments -> Bool Source #
Show ModelTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods showsPrec :: Int -> ModelTwoArguments -> ShowS Source # show :: ModelTwoArguments -> String Source # showList :: [ModelTwoArguments] -> ShowS Source #
Generic ModelTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelTwoArguments :: Type -> Type Source # Methods from :: ModelTwoArguments -> Rep ModelTwoArguments x Source # to :: Rep ModelTwoArguments x -> ModelTwoArguments Source #
NFData ModelTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelTwoArguments -> () Source #
FromJSON ModelTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelTwoArguments parseJSONList :: Value -> Parser [ModelTwoArguments]
ToJSON ModelTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelTwoArguments -> Value toEncoding :: ModelTwoArguments -> Encoding toJSONList :: [ModelTwoArguments] -> Value toEncodingList :: [ModelTwoArguments] -> Encoding
Default ModelTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods def :: ModelTwoArguments
Lift ModelTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods lift :: ModelTwoArguments -> Q Exp Source # liftTyped :: ModelTwoArguments -> Q (TExp ModelTwoArguments) Source #
type Rep ModelTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel type Rep ModelTwoArguments = D1 ('MetaData "ModelTwoArguments" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (((C1 ('MetaCons "ModelTwoArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)) :+: C1 ('MetaCons "ModelTwoArgumentsLinearInX" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelLinearSize))) :+: (C1 ('MetaCons "ModelTwoArgumentsLinearInY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelLinearSize)) :+: (C1 ('MetaCons "ModelTwoArgumentsAddedSizes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelAddedSizes)) :+: C1 ('MetaCons "ModelTwoArgumentsSubtractedSizes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelSubtractedSizes))))) :+: ((C1 ('MetaCons "ModelTwoArgumentsMultipliedSizes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelMultipliedSizes)) :+: (C1 ('MetaCons "ModelTwoArgumentsMinSize" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelMinSize)) :+: C1 ('MetaCons "ModelTwoArgumentsMaxSize" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelMaxSize)))) :+: (C1 ('MetaCons "ModelTwoArgumentsLinearOnDiagonal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelConstantOrLinear)) :+: (C1 ('MetaCons "ModelTwoArgumentsConstAboveDiagonal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelConstantOrTwoArguments)) :+: C1 ('MetaCons "ModelTwoArgumentsConstBelowDiagonal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelConstantOrTwoArguments))))))

data ModelThreeArguments Source #

Constructors

ModelThreeArgumentsConstantCost CostingInteger
ModelThreeArgumentsAddedSizes ModelAddedSizes
ModelThreeArgumentsLinearInX ModelLinearSize
ModelThreeArgumentsLinearInY ModelLinearSize
ModelThreeArgumentsLinearInZ ModelLinearSize

Instances

Instances details

Eq ModelThreeArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods (==) :: ModelThreeArguments -> ModelThreeArguments -> Bool Source # (/=) :: ModelThreeArguments -> ModelThreeArguments -> Bool Source #
Show ModelThreeArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods showsPrec :: Int -> ModelThreeArguments -> ShowS Source # show :: ModelThreeArguments -> String Source # showList :: [ModelThreeArguments] -> ShowS Source #
Generic ModelThreeArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelThreeArguments :: Type -> Type Source # Methods from :: ModelThreeArguments -> Rep ModelThreeArguments x Source # to :: Rep ModelThreeArguments x -> ModelThreeArguments Source #
NFData ModelThreeArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelThreeArguments -> () Source #
FromJSON ModelThreeArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelThreeArguments parseJSONList :: Value -> Parser [ModelThreeArguments]
ToJSON ModelThreeArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelThreeArguments -> Value toEncoding :: ModelThreeArguments -> Encoding toJSONList :: [ModelThreeArguments] -> Value toEncodingList :: [ModelThreeArguments] -> Encoding
Default ModelThreeArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods def :: ModelThreeArguments
Lift ModelThreeArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods lift :: ModelThreeArguments -> Q Exp Source # liftTyped :: ModelThreeArguments -> Q (TExp ModelThreeArguments) Source #
type Rep ModelThreeArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel type Rep ModelThreeArguments = D1 ('MetaData "ModelThreeArguments" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) ((C1 ('MetaCons "ModelThreeArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)) :+: C1 ('MetaCons "ModelThreeArgumentsAddedSizes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelAddedSizes))) :+: (C1 ('MetaCons "ModelThreeArgumentsLinearInX" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelLinearSize)) :+: (C1 ('MetaCons "ModelThreeArgumentsLinearInY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelLinearSize)) :+: C1 ('MetaCons "ModelThreeArgumentsLinearInZ" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelLinearSize)))))

data ModelFourArguments Source #

Constructors

ModelFourArgumentsConstantCost CostingInteger

Instances

Instances details

Eq ModelFourArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods (==) :: ModelFourArguments -> ModelFourArguments -> Bool Source # (/=) :: ModelFourArguments -> ModelFourArguments -> Bool Source #
Show ModelFourArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods showsPrec :: Int -> ModelFourArguments -> ShowS Source # show :: ModelFourArguments -> String Source # showList :: [ModelFourArguments] -> ShowS Source #
Generic ModelFourArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelFourArguments :: Type -> Type Source # Methods from :: ModelFourArguments -> Rep ModelFourArguments x Source # to :: Rep ModelFourArguments x -> ModelFourArguments Source #
NFData ModelFourArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelFourArguments -> () Source #
FromJSON ModelFourArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelFourArguments parseJSONList :: Value -> Parser [ModelFourArguments]
ToJSON ModelFourArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelFourArguments -> Value toEncoding :: ModelFourArguments -> Encoding toJSONList :: [ModelFourArguments] -> Value toEncodingList :: [ModelFourArguments] -> Encoding
Default ModelFourArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods def :: ModelFourArguments
Lift ModelFourArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods lift :: ModelFourArguments -> Q Exp Source # liftTyped :: ModelFourArguments -> Q (TExp ModelFourArguments) Source #
type Rep ModelFourArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel type Rep ModelFourArguments = D1 ('MetaData "ModelFourArguments" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "ModelFourArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)))

data ModelFiveArguments Source #

Constructors

ModelFiveArgumentsConstantCost CostingInteger

Instances

Instances details

Eq ModelFiveArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods (==) :: ModelFiveArguments -> ModelFiveArguments -> Bool Source # (/=) :: ModelFiveArguments -> ModelFiveArguments -> Bool Source #
Show ModelFiveArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods showsPrec :: Int -> ModelFiveArguments -> ShowS Source # show :: ModelFiveArguments -> String Source # showList :: [ModelFiveArguments] -> ShowS Source #
Generic ModelFiveArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelFiveArguments :: Type -> Type Source # Methods from :: ModelFiveArguments -> Rep ModelFiveArguments x Source # to :: Rep ModelFiveArguments x -> ModelFiveArguments Source #
NFData ModelFiveArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelFiveArguments -> () Source #
FromJSON ModelFiveArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelFiveArguments parseJSONList :: Value -> Parser [ModelFiveArguments]
ToJSON ModelFiveArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelFiveArguments -> Value toEncoding :: ModelFiveArguments -> Encoding toJSONList :: [ModelFiveArguments] -> Value toEncodingList :: [ModelFiveArguments] -> Encoding
Default ModelFiveArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods def :: ModelFiveArguments
Lift ModelFiveArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods lift :: ModelFiveArguments -> Q Exp Source # liftTyped :: ModelFiveArguments -> Q (TExp ModelFiveArguments) Source #
type Rep ModelFiveArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel type Rep ModelFiveArguments = D1 ('MetaData "ModelFiveArguments" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" '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

Eq ModelSixArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods (==) :: ModelSixArguments -> ModelSixArguments -> Bool Source # (/=) :: ModelSixArguments -> ModelSixArguments -> Bool Source #
Show ModelSixArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods showsPrec :: Int -> ModelSixArguments -> ShowS Source # show :: ModelSixArguments -> String Source # showList :: [ModelSixArguments] -> ShowS Source #
Generic ModelSixArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelSixArguments :: Type -> Type Source # Methods from :: ModelSixArguments -> Rep ModelSixArguments x Source # to :: Rep ModelSixArguments x -> ModelSixArguments Source #
NFData ModelSixArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelSixArguments -> () Source #
FromJSON ModelSixArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelSixArguments parseJSONList :: Value -> Parser [ModelSixArguments]
ToJSON ModelSixArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelSixArguments -> Value toEncoding :: ModelSixArguments -> Encoding toJSONList :: [ModelSixArguments] -> Value toEncodingList :: [ModelSixArguments] -> Encoding
Default ModelSixArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods def :: ModelSixArguments
Lift ModelSixArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods lift :: ModelSixArguments -> Q Exp Source # liftTyped :: ModelSixArguments -> Q (TExp ModelSixArguments) Source #
type Rep ModelSixArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel type Rep ModelSixArguments = D1 ('MetaData "ModelSixArguments" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "ModelSixArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)))

runCostingFunOneArgument :: CostingFun ModelOneArgument -> ExMemory -> ExBudget Source #

runCostingFunTwoArguments :: CostingFun ModelTwoArguments -> ExMemory -> ExMemory -> ExBudget Source #

runCostingFunThreeArguments :: CostingFun ModelThreeArguments -> ExMemory -> ExMemory -> ExMemory -> ExBudget Source #

runCostingFunFourArguments :: CostingFun ModelFourArguments -> ExMemory -> ExMemory -> ExMemory -> ExMemory -> ExBudget Source #

runCostingFunFiveArguments :: CostingFun ModelFiveArguments -> ExMemory -> ExMemory -> ExMemory -> ExMemory -> ExMemory -> ExBudget Source #

runCostingFunSixArguments :: CostingFun ModelSixArguments -> ExMemory -> ExMemory -> ExMemory -> ExMemory -> ExMemory -> ExMemory -> ExBudget Source #

class Hashable a #

Instances

Instances details

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 Int8
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Int8 -> Int hash :: Int8 -> 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 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 Ordering
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Ordering -> Int hash :: Ordering -> Int
Hashable Word
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Word -> Int hash :: Word -> Int
Hashable Word8
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Word8 -> Int hash :: Word8 -> 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 SomeTypeRep
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> SomeTypeRep -> Int hash :: SomeTypeRep -> Int
Hashable ()
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> () -> Int hash :: () -> Int
Hashable Void
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Void -> Int hash :: Void -> 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 ThreadId
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> ThreadId -> Int hash :: ThreadId -> Int
Hashable WordPtr
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> WordPtr -> Int hash :: WordPtr -> Int
Hashable IntPtr
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> IntPtr -> Int hash :: IntPtr -> Int
Hashable Fingerprint
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Fingerprint -> Int hash :: Fingerprint -> Int
Hashable BigNat
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> BigNat -> Int hash :: BigNat -> Int
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 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 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 Scientific
Instance details Defined in Data.Scientific Methods hashWithSalt :: Int -> Scientific -> Int hash :: Scientific -> Int
Hashable IntSet
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> IntSet -> Int hash :: IntSet -> Int
Hashable ShortByteString
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> ShortByteString -> Int hash :: ShortByteString -> 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 Month
Instance details Defined in Data.Time.Calendar.Month.Compat Methods hashWithSalt :: Int -> Month -> Int hash :: Month -> Int
Hashable Quarter
Instance details Defined in Data.Time.Calendar.Quarter.Compat Methods hashWithSalt :: Int -> Quarter -> Int hash :: Quarter -> Int
Hashable QuarterOfYear
Instance details Defined in Data.Time.Calendar.Quarter.Compat Methods hashWithSalt :: Int -> QuarterOfYear -> Int hash :: QuarterOfYear -> Int
Hashable TermUnique Source #
Instance details Defined in PlutusCore.Name Methods hashWithSalt :: Int -> TermUnique -> Int hash :: TermUnique -> Int
Hashable TypeUnique Source #
Instance details Defined in PlutusCore.Name Methods hashWithSalt :: Int -> TypeUnique -> Int hash :: TypeUnique -> Int
Hashable Unique Source #
Instance details Defined in PlutusCore.Name Methods hashWithSalt :: Int -> Unique -> Int hash :: Unique -> Int
Hashable TyName Source #
Instance details Defined in PlutusCore.Name Methods hashWithSalt :: Int -> TyName -> Int hash :: TyName -> Int
Hashable Name Source #
Instance details Defined in PlutusCore.Name Methods hashWithSalt :: Int -> Name -> Int hash :: Name -> Int
Hashable DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods hashWithSalt :: Int -> DefaultFun -> Int hash :: DefaultFun -> Int
Hashable StepKind Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods hashWithSalt :: Int -> StepKind -> Int hash :: StepKind -> Int
Hashable ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods hashWithSalt :: Int -> ExtensionFun -> Int hash :: ExtensionFun -> Int
Hashable a => Hashable [a]
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> [a] -> Int hash :: [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 (Ratio a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Ratio a -> Int hash :: Ratio a -> Int
Hashable (Ptr a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Ptr a -> Int hash :: Ptr a -> Int
Hashable (FunPtr a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> FunPtr a -> Int hash :: FunPtr a -> 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 (Min a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Min a -> Int hash :: Min 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 (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 (WrappedMonoid a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> WrappedMonoid a -> Int hash :: WrappedMonoid a -> Int
Hashable a => Hashable (Option a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Option a -> Int hash :: Option a -> Int
Hashable (StableName a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> StableName a -> Int hash :: StableName 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 (NonEmpty a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> NonEmpty a -> Int hash :: NonEmpty a -> 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 (Solo a)
Instance details Defined in Data.Tuple.Solo Methods hashWithSalt :: Int -> Solo a -> Int hash :: Solo a -> Int
Hashable (Hashed a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Hashed a -> Int hash :: Hashed 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
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 ann => Hashable (Version ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods hashWithSalt :: Int -> Version ann -> Int hash :: Version ann -> Int
Hashable ann => Hashable (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods hashWithSalt :: Int -> Kind ann -> Int hash :: Kind ann -> Int
Hashable a => Hashable (RAList a)
Instance details Defined in Data.RAList.Internal Methods hashWithSalt :: Int -> RAList a -> Int hash :: RAList a -> 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 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 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 (TypeRep a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> TypeRep a -> Int hash :: TypeRep a -> 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 (Fixed a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Fixed a -> Int hash :: Fixed 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 (Proxy a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Proxy a -> Int hash :: Proxy 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 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 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 (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
(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
(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 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 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
(Hashable1 f, Hashable1 g, Hashable 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
(Hashable1 f, Hashable1 g, Hashable 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
(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
(Hashable1 f, Hashable1 g, Hashable 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 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

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

ModelTwoArgumentsConstantCost CostingInteger
ModelTwoArgumentsLinearInX ModelLinearSize
ModelTwoArgumentsLinearInY ModelLinearSize
ModelTwoArgumentsAddedSizes ModelAddedSizes
ModelTwoArgumentsSubtractedSizes ModelSubtractedSizes
ModelTwoArgumentsMultipliedSizes ModelMultipliedSizes
ModelTwoArgumentsMinSize ModelMinSize
ModelTwoArgumentsMaxSize ModelMaxSize
ModelTwoArgumentsLinearOnDiagonal ModelConstantOrLinear
ModelTwoArgumentsConstAboveDiagonal ModelConstantOrTwoArguments
ModelTwoArgumentsConstBelowDiagonal ModelConstantOrTwoArguments