plutus-core-0.1.0.0: Language library for Plutus Core
Safe HaskellNone
LanguageHaskell2010

PlutusCore.Evaluation.Machine.BuiltinCostModel

Synopsis

Documentation

data BuiltinCostModelBase f Source #

Constructors

BuiltinCostModelBase 

Fields

Instances

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

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

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

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

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

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Generic (BuiltinCostModelBase f) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Associated Types

type Rep (BuiltinCostModelBase f) :: Type -> Type Source #

ToJSON (BuiltinCostModelBase CostingFun) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

FromJSON (BuiltinCostModelBase CostingFun) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

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

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-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" '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") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)))) :*: ((S1 ('MetaSel ('Just "paramVerifySignature") '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)))))))))
type AllB (c :: Type -> Constraint) BuiltinCostModelBase Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

data CostingFun model Source #

Constructors

CostingFun 

Fields

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

ToJSON (BuiltinCostModelBase CostingFun) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

FromJSON model => FromJSON (CostingFun model) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

FromJSON (BuiltinCostModelBase CostingFun) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

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-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" '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

Instances

Instances details
Eq ModelAddedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Show ModelAddedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Generic ModelAddedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Associated Types

type Rep ModelAddedSizes :: Type -> Type Source #

ToJSON ModelAddedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

FromJSON ModelAddedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

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

type Rep ModelAddedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelAddedSizes = D1 ('MetaData "ModelAddedSizes" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" '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

Instances

Instances details
Eq ModelSubtractedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Show ModelSubtractedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Generic ModelSubtractedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Associated Types

type Rep ModelSubtractedSizes :: Type -> Type Source #

ToJSON ModelSubtractedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

FromJSON ModelSubtractedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

NFData ModelSubtractedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Lift ModelSubtractedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelSubtractedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelSubtractedSizes = D1 ('MetaData "ModelSubtractedSizes" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" '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

Instances

Instances details
Eq ModelConstantOrLinear Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Show ModelConstantOrLinear Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Generic ModelConstantOrLinear Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Associated Types

type Rep ModelConstantOrLinear :: Type -> Type Source #

ToJSON ModelConstantOrLinear Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

FromJSON ModelConstantOrLinear Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

NFData ModelConstantOrLinear Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Lift ModelConstantOrLinear Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelConstantOrLinear Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelConstantOrLinear = D1 ('MetaData "ModelConstantOrLinear" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" '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

Instances

Instances details
Eq ModelConstantOrTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Show ModelConstantOrTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Generic ModelConstantOrTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Associated Types

type Rep ModelConstantOrTwoArguments :: Type -> Type Source #

ToJSON ModelConstantOrTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

FromJSON ModelConstantOrTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

NFData ModelConstantOrTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Lift ModelConstantOrTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelConstantOrTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelConstantOrTwoArguments = D1 ('MetaData "ModelConstantOrTwoArguments" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" '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 #

Instances

Instances details
Eq ModelLinearSize Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Show ModelLinearSize Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Generic ModelLinearSize Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Associated Types

type Rep ModelLinearSize :: Type -> Type Source #

ToJSON ModelLinearSize Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

FromJSON ModelLinearSize Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

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

type Rep ModelLinearSize Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelLinearSize = D1 ('MetaData "ModelLinearSize" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" '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

Instances

Instances details
Eq ModelMultipliedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Show ModelMultipliedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Generic ModelMultipliedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Associated Types

type Rep ModelMultipliedSizes :: Type -> Type Source #

ToJSON ModelMultipliedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

FromJSON ModelMultipliedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

NFData ModelMultipliedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Lift ModelMultipliedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelMultipliedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelMultipliedSizes = D1 ('MetaData "ModelMultipliedSizes" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" '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

Instances

Instances details
Eq ModelMinSize Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Show ModelMinSize Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Generic ModelMinSize Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Associated Types

type Rep ModelMinSize :: Type -> Type Source #

ToJSON ModelMinSize Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

FromJSON ModelMinSize Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

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

type Rep ModelMinSize Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelMinSize = D1 ('MetaData "ModelMinSize" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" '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

Instances

Instances details
Eq ModelMaxSize Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Show ModelMaxSize Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Generic ModelMaxSize Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Associated Types

type Rep ModelMaxSize :: Type -> Type Source #

ToJSON ModelMaxSize Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

FromJSON ModelMaxSize Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

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

type Rep ModelMaxSize Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelMaxSize = D1 ('MetaData "ModelMaxSize" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" '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 #

Instances

Instances details
Eq ModelOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Show ModelOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Generic ModelOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Associated Types

type Rep ModelOneArgument :: Type -> Type Source #

ToJSON ModelOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

FromJSON ModelOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

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

Lift ModelOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelOneArgument = D1 ('MetaData "ModelOneArgument" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" '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

Show ModelTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Generic ModelTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Associated Types

type Rep ModelTwoArguments :: Type -> Type Source #

ToJSON ModelTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

FromJSON ModelTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

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

Lift ModelTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelTwoArguments = D1 ('MetaData "ModelTwoArguments" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" '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 #

Instances

Instances details
Eq ModelThreeArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Show ModelThreeArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Generic ModelThreeArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Associated Types

type Rep ModelThreeArguments :: Type -> Type Source #

ToJSON ModelThreeArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

FromJSON ModelThreeArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

NFData ModelThreeArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Default ModelThreeArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Lift ModelThreeArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelThreeArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelThreeArguments = D1 ('MetaData "ModelThreeArguments" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" '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 #

Instances

Instances details
Eq ModelFourArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Show ModelFourArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Generic ModelFourArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Associated Types

type Rep ModelFourArguments :: Type -> Type Source #

ToJSON ModelFourArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

FromJSON ModelFourArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

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

Lift ModelFourArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelFourArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelFourArguments = D1 ('MetaData "ModelFourArguments" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" 'False) (C1 ('MetaCons "ModelFourArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)))

data ModelFiveArguments Source #

Instances

Instances details
Eq ModelFiveArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Show ModelFiveArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Generic ModelFiveArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Associated Types

type Rep ModelFiveArguments :: Type -> Type Source #

ToJSON ModelFiveArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

FromJSON ModelFiveArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

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

Lift ModelFiveArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelFiveArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelFiveArguments = D1 ('MetaData "ModelFiveArguments" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" 'False) (C1 ('MetaCons "ModelFiveArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)))

data ModelSixArguments Source #

Instances

Instances details
Eq ModelSixArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Show ModelSixArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Generic ModelSixArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Associated Types

type Rep ModelSixArguments :: Type -> Type Source #

ToJSON ModelSixArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

FromJSON ModelSixArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

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

Lift ModelSixArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelSixArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep ModelSixArguments = D1 ('MetaData "ModelSixArguments" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" 'False) (C1 ('MetaCons "ModelSixArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)))

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

Hashable Char 
Instance details

Defined in Data.Hashable.Class

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

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

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

Hashable Int16 
Instance details

Defined in Data.Hashable.Class

Hashable Int32 
Instance details

Defined in Data.Hashable.Class

Hashable Int64 
Instance details

Defined in Data.Hashable.Class

Hashable Integer 
Instance details

Defined in Data.Hashable.Class

Hashable Natural 
Instance details

Defined in Data.Hashable.Class

Hashable Ordering 
Instance details

Defined in Data.Hashable.Class

Hashable Word 
Instance details

Defined in Data.Hashable.Class

Hashable Word8 
Instance details

Defined in Data.Hashable.Class

Hashable Word16 
Instance details

Defined in Data.Hashable.Class

Hashable Word32 
Instance details

Defined in Data.Hashable.Class

Hashable Word64 
Instance details

Defined in Data.Hashable.Class

Hashable SomeTypeRep 
Instance details

Defined in Data.Hashable.Class

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

Hashable ByteString 
Instance details

Defined in Data.Hashable.Class

Hashable ByteString 
Instance details

Defined in Data.Hashable.Class

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

Hashable Text 
Instance details

Defined in Data.Hashable.Class

Hashable Value 
Instance details

Defined in Data.Aeson.Types.Internal

Hashable ThreadId 
Instance details

Defined in Data.Hashable.Class

Hashable Text 
Instance details

Defined in Data.Hashable.Class

Hashable Void 
Instance details

Defined in Data.Hashable.Class

Hashable Unique 
Instance details

Defined in Data.Hashable.Class

Hashable WordPtr 
Instance details

Defined in Data.Hashable.Class

Hashable IntPtr 
Instance details

Defined in Data.Hashable.Class

Hashable Fingerprint

Since: hashable-1.3.0.0

Instance details

Defined in Data.Hashable.Class

Hashable ShortByteString 
Instance details

Defined in Data.Hashable.Class

Hashable IntSet

Since: hashable-1.3.4.0

Instance details

Defined in Data.Hashable.Class

Hashable BigNat 
Instance details

Defined in Data.Hashable.Class

Hashable ShortText 
Instance details

Defined in Data.Text.Short.Internal

Hashable QuarterOfYear 
Instance details

Defined in Data.Time.Calendar.Quarter.Compat

Hashable Quarter 
Instance details

Defined in Data.Time.Calendar.Quarter.Compat

Hashable Month 
Instance details

Defined in Data.Time.Calendar.Month.Compat

Hashable UUID 
Instance details

Defined in Data.UUID.Types.Internal

Hashable TermUnique Source # 
Instance details

Defined in PlutusCore.Name

Hashable TypeUnique Source # 
Instance details

Defined in PlutusCore.Name

Hashable Unique Source # 
Instance details

Defined in PlutusCore.Name

Hashable TyName Source # 
Instance details

Defined in PlutusCore.Name

Hashable Name Source # 
Instance details

Defined in PlutusCore.Name

Hashable DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Hashable StepKind Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal

Hashable ExtensionFun Source # 
Instance details

Defined in PlutusCore.Examples.Builtins

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

Hashable a => Hashable (Complex a) 
Instance details

Defined in Data.Hashable.Class

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

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

Hashable a => Hashable (NonEmpty a) 
Instance details

Defined in Data.Hashable.Class

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

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

(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

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

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 #