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 #
ToJSON ( BuiltinCostModelBase CostingFun ) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: BuiltinCostModelBase CostingFun -> Value Source # toEncoding :: BuiltinCostModelBase CostingFun -> Encoding Source # toJSONList :: [ BuiltinCostModelBase CostingFun ] -> Value Source # toEncodingList :: [ BuiltinCostModelBase CostingFun ] -> Encoding Source #
ToJSON ( BuiltinCostModelBase MCostingFun ) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: BuiltinCostModelBase MCostingFun -> Value Source # toEncoding :: BuiltinCostModelBase MCostingFun -> Encoding Source # toJSONList :: [ BuiltinCostModelBase MCostingFun ] -> Value Source # toEncodingList :: [ BuiltinCostModelBase MCostingFun ] -> Encoding Source #
FromJSON ( BuiltinCostModelBase CostingFun ) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ( BuiltinCostModelBase CostingFun ) Source # parseJSONList :: Value -> Parser [ BuiltinCostModelBase CostingFun ] Source #
AllArgumentModels NFData f => NFData ( BuiltinCostModelBase f) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: BuiltinCostModelBase f -> () Source #
AllArgumentModels Default f => Default ( BuiltinCostModelBase f) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods def :: BuiltinCostModelBase f Source #
ConstraintsB BuiltinCostModelBase Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type AllB c BuiltinCostModelBase Source # Methods baddDicts :: forall (c :: k -> Constraint ) (f :: k -> Type ). AllB c BuiltinCostModelBase => BuiltinCostModelBase f -> BuiltinCostModelBase ( Product ( Dict c) f) Source #
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) Source #
FunctorB BuiltinCostModelBase Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods bmap :: ( forall (a :: k). f a -> g a) -> BuiltinCostModelBase f -> BuiltinCostModelBase g Source #
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-76bWF9ZEWyb4eDyjHx0kCS" ' 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 #
ToJSON model => ToJSON ( CostingFun model) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: CostingFun model -> Value Source # toEncoding :: CostingFun model -> Encoding Source # toJSONList :: [ CostingFun model] -> Value Source # toEncodingList :: [ CostingFun model] -> Encoding Source #
ToJSON ( BuiltinCostModelBase CostingFun ) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: BuiltinCostModelBase CostingFun -> Value Source # toEncoding :: BuiltinCostModelBase CostingFun -> Encoding Source # toJSONList :: [ BuiltinCostModelBase CostingFun ] -> Value Source # toEncodingList :: [ BuiltinCostModelBase CostingFun ] -> Encoding Source #
FromJSON model => FromJSON ( CostingFun model) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ( CostingFun model) Source # parseJSONList :: Value -> Parser [ CostingFun model] Source #
FromJSON ( BuiltinCostModelBase CostingFun ) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ( BuiltinCostModelBase CostingFun ) Source # parseJSONList :: Value -> Parser [ BuiltinCostModelBase CostingFun ] Source #
NFData model => NFData ( CostingFun model) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: CostingFun model -> () Source #
Default model => Default ( CostingFun model) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods def :: CostingFun model Source #
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-76bWF9ZEWyb4eDyjHx0kCS" ' 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 #
ToJSON ModelAddedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelAddedSizes -> Value Source # toEncoding :: ModelAddedSizes -> Encoding Source # toJSONList :: [ ModelAddedSizes ] -> Value Source # toEncodingList :: [ ModelAddedSizes ] -> Encoding Source #
FromJSON ModelAddedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelAddedSizes Source # parseJSONList :: Value -> Parser [ ModelAddedSizes ] Source #
NFData ModelAddedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelAddedSizes -> () Source #
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-76bWF9ZEWyb4eDyjHx0kCS" ' 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 #
ToJSON ModelSubtractedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelSubtractedSizes -> Value Source # toEncoding :: ModelSubtractedSizes -> Encoding Source # toJSONList :: [ ModelSubtractedSizes ] -> Value Source # toEncodingList :: [ ModelSubtractedSizes ] -> Encoding Source #
FromJSON ModelSubtractedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelSubtractedSizes Source # parseJSONList :: Value -> Parser [ ModelSubtractedSizes ] Source #
NFData ModelSubtractedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelSubtractedSizes -> () Source #
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-76bWF9ZEWyb4eDyjHx0kCS" ' 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 #
ToJSON ModelConstantOrLinear Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelConstantOrLinear -> Value Source # toEncoding :: ModelConstantOrLinear -> Encoding Source # toJSONList :: [ ModelConstantOrLinear ] -> Value Source # toEncodingList :: [ ModelConstantOrLinear ] -> Encoding Source #
FromJSON ModelConstantOrLinear Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelConstantOrLinear Source # parseJSONList :: Value -> Parser [ ModelConstantOrLinear ] Source #
NFData ModelConstantOrLinear Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelConstantOrLinear -> () Source #
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-76bWF9ZEWyb4eDyjHx0kCS" ' 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 #
ToJSON ModelConstantOrTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelConstantOrTwoArguments -> Value Source # toEncoding :: ModelConstantOrTwoArguments -> Encoding Source # toJSONList :: [ ModelConstantOrTwoArguments ] -> Value Source # toEncodingList :: [ ModelConstantOrTwoArguments ] -> Encoding Source #
FromJSON ModelConstantOrTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelConstantOrTwoArguments Source # parseJSONList :: Value -> Parser [ ModelConstantOrTwoArguments ] Source #
NFData ModelConstantOrTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelConstantOrTwoArguments -> () Source #
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-76bWF9ZEWyb4eDyjHx0kCS" ' 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 #
ToJSON ModelLinearSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelLinearSize -> Value Source # toEncoding :: ModelLinearSize -> Encoding Source # toJSONList :: [ ModelLinearSize ] -> Value Source # toEncodingList :: [ ModelLinearSize ] -> Encoding Source #
FromJSON ModelLinearSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelLinearSize Source # parseJSONList :: Value -> Parser [ ModelLinearSize ] Source #
NFData ModelLinearSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelLinearSize -> () Source #
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-76bWF9ZEWyb4eDyjHx0kCS" ' 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 #
ToJSON ModelMultipliedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelMultipliedSizes -> Value Source # toEncoding :: ModelMultipliedSizes -> Encoding Source # toJSONList :: [ ModelMultipliedSizes ] -> Value Source # toEncodingList :: [ ModelMultipliedSizes ] -> Encoding Source #
FromJSON ModelMultipliedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelMultipliedSizes Source # parseJSONList :: Value -> Parser [ ModelMultipliedSizes ] Source #
NFData ModelMultipliedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelMultipliedSizes -> () Source #
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-76bWF9ZEWyb4eDyjHx0kCS" ' 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 #
ToJSON ModelMinSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelMinSize -> Value Source # toEncoding :: ModelMinSize -> Encoding Source # toJSONList :: [ ModelMinSize ] -> Value Source # toEncodingList :: [ ModelMinSize ] -> Encoding Source #
FromJSON ModelMinSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelMinSize Source # parseJSONList :: Value -> Parser [ ModelMinSize ] Source #
NFData ModelMinSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelMinSize -> () Source #
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-76bWF9ZEWyb4eDyjHx0kCS" ' 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 #
ToJSON ModelMaxSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelMaxSize -> Value Source # toEncoding :: ModelMaxSize -> Encoding Source # toJSONList :: [ ModelMaxSize ] -> Value Source # toEncodingList :: [ ModelMaxSize ] -> Encoding Source #
FromJSON ModelMaxSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelMaxSize Source # parseJSONList :: Value -> Parser [ ModelMaxSize ] Source #
NFData ModelMaxSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelMaxSize -> () Source #
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-76bWF9ZEWyb4eDyjHx0kCS" ' 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 #
ToJSON ModelOneArgument Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelOneArgument -> Value Source # toEncoding :: ModelOneArgument -> Encoding Source # toJSONList :: [ ModelOneArgument ] -> Value Source # toEncodingList :: [ ModelOneArgument ] -> Encoding Source #
FromJSON ModelOneArgument Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelOneArgument Source # parseJSONList :: Value -> Parser [ ModelOneArgument ] Source #
NFData ModelOneArgument Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelOneArgument -> () Source #
Default ModelOneArgument Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods def :: ModelOneArgument Source #
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-76bWF9ZEWyb4eDyjHx0kCS" ' 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 #

Constructors

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

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 #
ToJSON ModelTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelTwoArguments -> Value Source # toEncoding :: ModelTwoArguments -> Encoding Source # toJSONList :: [ ModelTwoArguments ] -> Value Source # toEncodingList :: [ ModelTwoArguments ] -> Encoding Source #
FromJSON ModelTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelTwoArguments Source # parseJSONList :: Value -> Parser [ ModelTwoArguments ] Source #
NFData ModelTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelTwoArguments -> () Source #
Default ModelTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods def :: ModelTwoArguments Source #
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-76bWF9ZEWyb4eDyjHx0kCS" ' 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 #
ToJSON ModelThreeArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelThreeArguments -> Value Source # toEncoding :: ModelThreeArguments -> Encoding Source # toJSONList :: [ ModelThreeArguments ] -> Value Source # toEncodingList :: [ ModelThreeArguments ] -> Encoding Source #
FromJSON ModelThreeArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelThreeArguments Source # parseJSONList :: Value -> Parser [ ModelThreeArguments ] Source #
NFData ModelThreeArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelThreeArguments -> () Source #
Default ModelThreeArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods def :: ModelThreeArguments Source #
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-76bWF9ZEWyb4eDyjHx0kCS" ' 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 #
ToJSON ModelFourArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelFourArguments -> Value Source # toEncoding :: ModelFourArguments -> Encoding Source # toJSONList :: [ ModelFourArguments ] -> Value Source # toEncodingList :: [ ModelFourArguments ] -> Encoding Source #
FromJSON ModelFourArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelFourArguments Source # parseJSONList :: Value -> Parser [ ModelFourArguments ] Source #
NFData ModelFourArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelFourArguments -> () Source #
Default ModelFourArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods def :: ModelFourArguments Source #
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-76bWF9ZEWyb4eDyjHx0kCS" ' 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 #
ToJSON ModelFiveArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelFiveArguments -> Value Source # toEncoding :: ModelFiveArguments -> Encoding Source # toJSONList :: [ ModelFiveArguments ] -> Value Source # toEncodingList :: [ ModelFiveArguments ] -> Encoding Source #
FromJSON ModelFiveArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelFiveArguments Source # parseJSONList :: Value -> Parser [ ModelFiveArguments ] Source #
NFData ModelFiveArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelFiveArguments -> () Source #
Default ModelFiveArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods def :: ModelFiveArguments Source #
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-76bWF9ZEWyb4eDyjHx0kCS" ' 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 #
ToJSON ModelSixArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: ModelSixArguments -> Value Source # toEncoding :: ModelSixArguments -> Encoding Source # toJSONList :: [ ModelSixArguments ] -> Value Source # toEncodingList :: [ ModelSixArguments ] -> Encoding Source #
FromJSON ModelSixArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods parseJSON :: Value -> Parser ModelSixArguments Source # parseJSONList :: Value -> Parser [ ModelSixArguments ] Source #
NFData ModelSixArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelSixArguments -> () Source #
Default ModelSixArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods def :: ModelSixArguments Source #
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-76bWF9ZEWyb4eDyjHx0kCS" ' 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 Source #

The class of types that can be converted to a hash value.

Minimal implementation: hashWithSalt .

Note: the hash is not guaranteed to be stable across library versions, operating systems or architectures. For stable hashing use named hashes: SHA256, CRC32 etc.

If you are looking for Hashable instance in time package, check time-compat

Instances

Instances details

Hashable Bool
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Bool -> Int Source # hash :: Bool -> Int Source #
Hashable Char
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Char -> Int Source # hash :: Char -> Int Source #
Hashable Double	Note : prior to `hashable-1.3.0.0` , `hash 0.0 /= hash (-0.0)` The `hash` of NaN is not well defined. Since: hashable-1.3.0.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Double -> Int Source # hash :: Double -> Int Source #
Hashable Float	Note : prior to `hashable-1.3.0.0` , `hash 0.0 /= hash (-0.0)` The `hash` of NaN is not well defined. Since: hashable-1.3.0.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Float -> Int Source # hash :: Float -> Int Source #
Hashable Int
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Int -> Int Source # hash :: Int -> Int Source #
Hashable Int8
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Int8 -> Int Source # hash :: Int8 -> Int Source #
Hashable Int16
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Int16 -> Int Source # hash :: Int16 -> Int Source #
Hashable Int32
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Int32 -> Int Source # hash :: Int32 -> Int Source #
Hashable Int64
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Int64 -> Int Source # hash :: Int64 -> Int Source #
Hashable Integer
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Integer -> Int Source # hash :: Integer -> Int Source #
Hashable Natural
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Natural -> Int Source # hash :: Natural -> Int Source #
Hashable Ordering
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Ordering -> Int Source # hash :: Ordering -> Int Source #
Hashable Word
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Word -> Int Source # hash :: Word -> Int Source #
Hashable Word8
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Word8 -> Int Source # hash :: Word8 -> Int Source #
Hashable Word16
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Word16 -> Int Source # hash :: Word16 -> Int Source #
Hashable Word32
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Word32 -> Int Source # hash :: Word32 -> Int Source #
Hashable Word64
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Word64 -> Int Source # hash :: Word64 -> Int Source #
Hashable SomeTypeRep
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> SomeTypeRep -> Int Source # hash :: SomeTypeRep -> Int Source #
Hashable ()
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> () -> Int Source # hash :: () -> Int Source #
Hashable Version
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Version -> Int Source # hash :: Version -> Int Source #
Hashable ByteString
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> ByteString -> Int Source # hash :: ByteString -> Int Source #
Hashable ByteString
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> ByteString -> Int Source # hash :: ByteString -> Int Source #
Hashable Scientific	A hash can be safely calculated from a `Scientific` . No magnitude `10^e` is calculated so there's no risk of a blowup in space or time when hashing scientific numbers coming from untrusted sources. `>>>` `import Data.Hashable (hash)``>>>` `let x = scientific 1 2``>>>` `let y = scientific 100 0``>>>` `(x == y, hash x == hash y)`(True,True)
Instance details Defined in Data.Scientific Methods hashWithSalt :: Int -> Scientific -> Int Source # hash :: Scientific -> Int Source #
Hashable Text
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Text -> Int Source # hash :: Text -> Int Source #
Hashable Value
Instance details Defined in Data.Aeson.Types.Internal Methods hashWithSalt :: Int -> Value -> Int Source # hash :: Value -> Int Source #
Hashable Key
Instance details Defined in Data.Aeson.Key Methods hashWithSalt :: Int -> Key -> Int Source # hash :: Key -> Int Source #
Hashable ThreadId
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> ThreadId -> Int Source # hash :: ThreadId -> Int Source #
Hashable Text
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Text -> Int Source # hash :: Text -> Int Source #
Hashable Void
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Void -> Int Source # hash :: Void -> Int Source #
Hashable Unique
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Unique -> Int Source # hash :: Unique -> Int Source #
Hashable WordPtr
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> WordPtr -> Int Source # hash :: WordPtr -> Int Source #
Hashable IntPtr
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> IntPtr -> Int Source # hash :: IntPtr -> Int Source #
Hashable Fingerprint	Since: hashable-1.3.0.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Fingerprint -> Int Source # hash :: Fingerprint -> Int Source #
Hashable ShortByteString
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> ShortByteString -> Int Source # hash :: ShortByteString -> Int Source #
Hashable IntSet	Since: hashable-1.3.4.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> IntSet -> Int Source # hash :: IntSet -> Int Source #
Hashable BigNat
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> BigNat -> Int Source # hash :: BigNat -> Int Source #
Hashable ShortText
Instance details Defined in Data.Text.Short.Internal Methods hashWithSalt :: Int -> ShortText -> Int Source # hash :: ShortText -> Int Source #
Hashable QuarterOfYear
Instance details Defined in Data.Time.Calendar.Quarter.Compat Methods hashWithSalt :: Int -> QuarterOfYear -> Int Source # hash :: QuarterOfYear -> Int Source #
Hashable Quarter
Instance details Defined in Data.Time.Calendar.Quarter.Compat Methods hashWithSalt :: Int -> Quarter -> Int Source # hash :: Quarter -> Int Source #
Hashable Month
Instance details Defined in Data.Time.Calendar.Month.Compat Methods hashWithSalt :: Int -> Month -> Int Source # hash :: Month -> Int Source #
Hashable UUID
Instance details Defined in Data.UUID.Types.Internal Methods hashWithSalt :: Int -> UUID -> Int Source # hash :: UUID -> Int Source #
Hashable TermUnique Source #
Instance details Defined in PlutusCore.Name Methods hashWithSalt :: Int -> TermUnique -> Int Source # hash :: TermUnique -> Int Source #
Hashable TypeUnique Source #
Instance details Defined in PlutusCore.Name Methods hashWithSalt :: Int -> TypeUnique -> Int Source # hash :: TypeUnique -> Int Source #
Hashable Unique Source #
Instance details Defined in PlutusCore.Name Methods hashWithSalt :: Int -> Unique -> Int Source # hash :: Unique -> Int Source #
Hashable TyName Source #
Instance details Defined in PlutusCore.Name Methods hashWithSalt :: Int -> TyName -> Int Source # hash :: TyName -> Int Source #
Hashable Name Source #
Instance details Defined in PlutusCore.Name Methods hashWithSalt :: Int -> Name -> Int Source # hash :: Name -> Int Source #
Hashable DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods hashWithSalt :: Int -> DefaultFun -> Int Source # hash :: DefaultFun -> Int Source #
Hashable StepKind Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods hashWithSalt :: Int -> StepKind -> Int Source # hash :: StepKind -> Int Source #
Hashable ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods hashWithSalt :: Int -> ExtensionFun -> Int Source # hash :: ExtensionFun -> Int Source #
Hashable a => Hashable [a]
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> [a] -> Int Source # hash :: [a] -> Int Source #
Hashable a => Hashable ( Maybe a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Maybe a -> Int Source # hash :: Maybe a -> Int Source #
Hashable a => Hashable ( Ratio a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Ratio a -> Int Source # hash :: Ratio a -> Int Source #
Hashable ( Ptr a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Ptr a -> Int Source # hash :: Ptr a -> Int Source #
Hashable ( FunPtr a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> FunPtr a -> Int Source # hash :: FunPtr a -> Int Source #
Hashable a => Hashable ( Solo a)	Since: OneTuple-0.3.1
Instance details Defined in Data.Tuple.Solo Methods hashWithSalt :: Int -> Solo a -> Int Source # hash :: Solo a -> Int Source #
Hashable v => Hashable ( KeyMap v)
Instance details Defined in Data.Aeson.KeyMap Methods hashWithSalt :: Int -> KeyMap v -> Int Source # hash :: KeyMap v -> Int Source #
Hashable v => Hashable ( Tree v)	Since: hashable-1.3.4.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Tree v -> Int Source # hash :: Tree v -> Int Source #
Hashable a => Hashable ( Identity a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Identity a -> Int Source # hash :: Identity a -> Int Source #
Hashable a => Hashable ( Complex a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Complex a -> Int Source # hash :: Complex a -> Int Source #
Hashable a => Hashable ( Min a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Min a -> Int Source # hash :: Min a -> Int Source #
Hashable a => Hashable ( Max a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Max a -> Int Source # hash :: Max a -> Int Source #
Hashable a => Hashable ( First a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> First a -> Int Source # hash :: First a -> Int Source #
Hashable a => Hashable ( Last a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Last a -> Int Source # hash :: Last a -> Int Source #
Hashable a => Hashable ( WrappedMonoid a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> WrappedMonoid a -> Int Source # hash :: WrappedMonoid a -> Int Source #
Hashable a => Hashable ( Option a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Option a -> Int Source # hash :: Option a -> Int Source #
Hashable ( StableName a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> StableName a -> Int Source # hash :: StableName a -> Int Source #
Hashable a => Hashable ( NonEmpty a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> NonEmpty a -> Int Source # hash :: NonEmpty a -> Int Source #
Hashable v => Hashable ( Set v)	Since: hashable-1.3.4.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Set v -> Int Source # hash :: Set v -> Int Source #
Hashable v => Hashable ( Seq v)	Since: hashable-1.3.4.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Seq v -> Int Source # hash :: Seq v -> Int Source #
Hashable v => Hashable ( IntMap v)	Since: hashable-1.3.4.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> IntMap v -> Int Source # hash :: IntMap v -> Int Source #
Hashable1 f => Hashable ( Fix f)
Instance details Defined in Data.Fix Methods hashWithSalt :: Int -> Fix f -> Int Source # hash :: Fix f -> Int Source #
Hashable ( Hashed a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Hashed a -> Int Source # hash :: Hashed a -> Int Source #
Hashable a => Hashable ( HashSet a)
Instance details Defined in Data.HashSet.Internal Methods hashWithSalt :: Int -> HashSet a -> Int Source # hash :: HashSet a -> Int Source #
Hashable a => Hashable ( RAList a)
Instance details Defined in Data.RAList.Internal Methods hashWithSalt :: Int -> RAList a -> Int Source # hash :: RAList a -> Int Source #
Hashable a => Hashable ( Leaf a)
Instance details Defined in Data.RAList.Tree.Internal Methods hashWithSalt :: Int -> Leaf a -> Int Source # hash :: Leaf a -> Int Source #
Hashable a => Hashable ( Maybe a)
Instance details Defined in Data.Strict.Maybe Methods hashWithSalt :: Int -> Maybe a -> Int Source # hash :: Maybe a -> Int Source #
Hashable ann => Hashable ( Version ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods hashWithSalt :: Int -> Version ann -> Int Source # hash :: Version ann -> Int Source #
Hashable ann => Hashable ( Kind ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods hashWithSalt :: Int -> Kind ann -> Int Source # hash :: Kind ann -> Int Source #
Hashable fun => Hashable ( ExBudgetCategory fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods hashWithSalt :: Int -> ExBudgetCategory fun -> Int Source # hash :: ExBudgetCategory fun -> Int Source #
( Hashable a, Hashable b) => Hashable ( Either a b)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Either a b -> Int Source # hash :: Either a b -> Int Source #
Hashable ( TypeRep a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> TypeRep a -> Int Source # hash :: TypeRep a -> Int Source #
( Hashable a1, Hashable a2) => Hashable (a1, a2)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> (a1, a2) -> Int Source # hash :: (a1, a2) -> Int Source #
( Hashable k, Hashable v) => Hashable ( Map k v)	Since: hashable-1.3.4.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Map k v -> Int Source # hash :: Map k v -> Int Source #
( Hashable k, Hashable v) => Hashable ( HashMap k v)
Instance details Defined in Data.HashMap.Internal Methods hashWithSalt :: Int -> HashMap k v -> Int Source # hash :: HashMap k v -> Int Source #
Hashable ( Fixed a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Fixed a -> Int Source # hash :: Fixed a -> Int Source #
Hashable a => Hashable ( Arg a b)	Note : Prior to `hashable-1.3.0.0` the hash computation included the second argument of `Arg` which wasn't consistent with its `Eq` instance. Since: hashable-1.3.0.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Arg a b -> Int Source # hash :: Arg a b -> Int Source #
Hashable ( Proxy a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Proxy a -> Int Source # hash :: Proxy a -> Int Source #
( Hashable k, Hashable a) => Hashable ( MonoidalHashMap k a)
Instance details Defined in Data.HashMap.Monoidal Methods hashWithSalt :: Int -> MonoidalHashMap k a -> Int Source # hash :: MonoidalHashMap k a -> Int Source #
Hashable (f a) => Hashable ( Node f a)
Instance details Defined in Data.RAList.Tree.Internal Methods hashWithSalt :: Int -> Node f a -> Int Source # hash :: Node f a -> Int Source #
( Hashable a, Hashable b) => Hashable ( These a b)
Instance details Defined in Data.These Methods hashWithSalt :: Int -> These a b -> Int Source # hash :: These a b -> Int Source #
( Hashable a, Hashable b) => Hashable ( Pair a b)
Instance details Defined in Data.Strict.Tuple Methods hashWithSalt :: Int -> Pair a b -> Int Source # hash :: Pair a b -> Int Source #
( Hashable a, Hashable b) => Hashable ( These a b)
Instance details Defined in Data.Strict.These Methods hashWithSalt :: Int -> These a b -> Int Source # hash :: These a b -> Int Source #
( Hashable a, Hashable b) => Hashable ( Either a b)
Instance details Defined in Data.Strict.Either Methods hashWithSalt :: Int -> Either a b -> Int Source # hash :: Either a b -> Int Source #
( Hashable a1, Hashable a2, Hashable a3) => Hashable (a1, a2, a3)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> (a1, a2, a3) -> Int Source # hash :: (a1, a2, a3) -> Int Source #
Hashable a => Hashable ( Const a b)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Const a b -> Int Source # hash :: Const a b -> Int Source #
( 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 Source # hash :: (a1, a2, a3, a4) -> Int Source #
( 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 Source # hash :: Product f g a -> Int Source #
( 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 Source # hash :: Sum f g a -> Int Source #
( 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 Source # hash :: (a1, a2, a3, a4, a5) -> Int Source #
( Hashable1 f, Hashable1 g, Hashable a) => Hashable ( Compose f g a)	In general, `hash (Compose x) ≠ hash x` . However, `hashWithSalt` satisfies its variant of this equivalence.
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Compose f g a -> Int Source # hash :: Compose f g a -> Int Source #
( 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 Source # hash :: (a1, a2, a3, a4, a5, a6) -> Int Source #
( 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 Source # hash :: (a1, a2, a3, a4, a5, a6, a7) -> Int Source #

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 Source # toEncoding :: MCostingFun a -> Encoding Source # toJSONList :: [ MCostingFun a] -> Value Source # toEncodingList :: [ MCostingFun a] -> Encoding Source #
ToJSON ( BuiltinCostModelBase MCostingFun ) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods toJSON :: BuiltinCostModelBase MCostingFun -> Value Source # toEncoding :: BuiltinCostModelBase MCostingFun -> Encoding Source # toJSONList :: [ BuiltinCostModelBase MCostingFun ] -> Value Source # toEncodingList :: [ BuiltinCostModelBase MCostingFun ] -> Encoding Source #