Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusLedgerApi.V2.ParamName

Synopsis

data ParamName
tagWithParamNames ∷ ∀ k m. (Enum k, Bounded k, MonadError CostModelApplyError m, MonadWriter [CostModelApplyWarn] m) ⇒ [Int64] → m [(k, Int64)]

Documentation

data ParamName Source #

The enumeration of all possible cost model parameter names for this language version.

IMPORTANT: The order of appearance of the data constructors here matters. DO NOT REORDER. See Note [Quotation marks in cost model parameter constructors] See Note [Cost model parameters from the ledger's point of view]

Constructors

AddInteger'cpu'arguments'intercept
AddInteger'cpu'arguments'slope
AddInteger'memory'arguments'intercept
AddInteger'memory'arguments'slope
AppendByteString'cpu'arguments'intercept
AppendByteString'cpu'arguments'slope
AppendByteString'memory'arguments'intercept
AppendByteString'memory'arguments'slope
AppendString'cpu'arguments'intercept
AppendString'cpu'arguments'slope
AppendString'memory'arguments'intercept
AppendString'memory'arguments'slope
BData'cpu'arguments
BData'memory'arguments
Blake2b_256'cpu'arguments'intercept
Blake2b_256'cpu'arguments'slope
Blake2b_256'memory'arguments
CekApplyCost'exBudgetCPU
CekApplyCost'exBudgetMemory
CekBuiltinCost'exBudgetCPU
CekBuiltinCost'exBudgetMemory
CekConstCost'exBudgetCPU
CekConstCost'exBudgetMemory
CekDelayCost'exBudgetCPU
CekDelayCost'exBudgetMemory
CekForceCost'exBudgetCPU
CekForceCost'exBudgetMemory
CekLamCost'exBudgetCPU
CekLamCost'exBudgetMemory
CekStartupCost'exBudgetCPU
CekStartupCost'exBudgetMemory
CekVarCost'exBudgetCPU
CekVarCost'exBudgetMemory
ChooseData'cpu'arguments
ChooseData'memory'arguments
ChooseList'cpu'arguments
ChooseList'memory'arguments
ChooseUnit'cpu'arguments
ChooseUnit'memory'arguments
ConsByteString'cpu'arguments'intercept
ConsByteString'cpu'arguments'slope
ConsByteString'memory'arguments'intercept
ConsByteString'memory'arguments'slope
ConstrData'cpu'arguments
ConstrData'memory'arguments
DecodeUtf8'cpu'arguments'intercept
DecodeUtf8'cpu'arguments'slope
DecodeUtf8'memory'arguments'intercept
DecodeUtf8'memory'arguments'slope
DivideInteger'cpu'arguments'constant
DivideInteger'cpu'arguments'model'arguments'intercept
DivideInteger'cpu'arguments'model'arguments'slope
DivideInteger'memory'arguments'intercept
DivideInteger'memory'arguments'minimum
DivideInteger'memory'arguments'slope
EncodeUtf8'cpu'arguments'intercept
EncodeUtf8'cpu'arguments'slope
EncodeUtf8'memory'arguments'intercept
EncodeUtf8'memory'arguments'slope
EqualsByteString'cpu'arguments'constant
EqualsByteString'cpu'arguments'intercept
EqualsByteString'cpu'arguments'slope
EqualsByteString'memory'arguments
EqualsData'cpu'arguments'intercept
EqualsData'cpu'arguments'slope
EqualsData'memory'arguments
EqualsInteger'cpu'arguments'intercept
EqualsInteger'cpu'arguments'slope
EqualsInteger'memory'arguments
EqualsString'cpu'arguments'constant
EqualsString'cpu'arguments'intercept
EqualsString'cpu'arguments'slope
EqualsString'memory'arguments
FstPair'cpu'arguments
FstPair'memory'arguments
HeadList'cpu'arguments
HeadList'memory'arguments
IData'cpu'arguments
IData'memory'arguments
IfThenElse'cpu'arguments
IfThenElse'memory'arguments
IndexByteString'cpu'arguments
IndexByteString'memory'arguments
LengthOfByteString'cpu'arguments
LengthOfByteString'memory'arguments
LessThanByteString'cpu'arguments'intercept
LessThanByteString'cpu'arguments'slope
LessThanByteString'memory'arguments
LessThanEqualsByteString'cpu'arguments'intercept
LessThanEqualsByteString'cpu'arguments'slope
LessThanEqualsByteString'memory'arguments
LessThanEqualsInteger'cpu'arguments'intercept
LessThanEqualsInteger'cpu'arguments'slope
LessThanEqualsInteger'memory'arguments
LessThanInteger'cpu'arguments'intercept
LessThanInteger'cpu'arguments'slope
LessThanInteger'memory'arguments
ListData'cpu'arguments
ListData'memory'arguments
MapData'cpu'arguments
MapData'memory'arguments
MkCons'cpu'arguments
MkCons'memory'arguments
MkNilData'cpu'arguments
MkNilData'memory'arguments
MkNilPairData'cpu'arguments
MkNilPairData'memory'arguments
MkPairData'cpu'arguments
MkPairData'memory'arguments
ModInteger'cpu'arguments'constant
ModInteger'cpu'arguments'model'arguments'intercept
ModInteger'cpu'arguments'model'arguments'slope
ModInteger'memory'arguments'intercept
ModInteger'memory'arguments'minimum
ModInteger'memory'arguments'slope
MultiplyInteger'cpu'arguments'intercept
MultiplyInteger'cpu'arguments'slope
MultiplyInteger'memory'arguments'intercept
MultiplyInteger'memory'arguments'slope
NullList'cpu'arguments
NullList'memory'arguments
QuotientInteger'cpu'arguments'constant
QuotientInteger'cpu'arguments'model'arguments'intercept
QuotientInteger'cpu'arguments'model'arguments'slope
QuotientInteger'memory'arguments'intercept
QuotientInteger'memory'arguments'minimum
QuotientInteger'memory'arguments'slope
RemainderInteger'cpu'arguments'constant
RemainderInteger'cpu'arguments'model'arguments'intercept
RemainderInteger'cpu'arguments'model'arguments'slope
RemainderInteger'memory'arguments'intercept
RemainderInteger'memory'arguments'minimum
RemainderInteger'memory'arguments'slope
SerialiseData'cpu'arguments'intercept
SerialiseData'cpu'arguments'slope
SerialiseData'memory'arguments'intercept
SerialiseData'memory'arguments'slope
Sha2_256'cpu'arguments'intercept
Sha2_256'cpu'arguments'slope
Sha2_256'memory'arguments
Sha3_256'cpu'arguments'intercept
Sha3_256'cpu'arguments'slope
Sha3_256'memory'arguments
SliceByteString'cpu'arguments'intercept
SliceByteString'cpu'arguments'slope
SliceByteString'memory'arguments'intercept
SliceByteString'memory'arguments'slope
SndPair'cpu'arguments
SndPair'memory'arguments
SubtractInteger'cpu'arguments'intercept
SubtractInteger'cpu'arguments'slope
SubtractInteger'memory'arguments'intercept
SubtractInteger'memory'arguments'slope
TailList'cpu'arguments
TailList'memory'arguments
Trace'cpu'arguments
Trace'memory'arguments
UnBData'cpu'arguments
UnBData'memory'arguments
UnConstrData'cpu'arguments
UnConstrData'memory'arguments
UnIData'cpu'arguments
UnIData'memory'arguments
UnListData'cpu'arguments
UnListData'memory'arguments
UnMapData'cpu'arguments
UnMapData'memory'arguments
VerifyEcdsaSecp256k1Signature'cpu'arguments
VerifyEcdsaSecp256k1Signature'memory'arguments
VerifyEd25519Signature'cpu'arguments'intercept
VerifyEd25519Signature'cpu'arguments'slope
VerifyEd25519Signature'memory'arguments
VerifySchnorrSecp256k1Signature'cpu'arguments'intercept
VerifySchnorrSecp256k1Signature'cpu'arguments'slope
VerifySchnorrSecp256k1Signature'memory'arguments
IntegerToByteString'cpu'arguments'c0
IntegerToByteString'cpu'arguments'c1
IntegerToByteString'cpu'arguments'c2
IntegerToByteString'memory'arguments'intercept
IntegerToByteString'memory'arguments'slope
ByteStringToInteger'cpu'arguments'c0
ByteStringToInteger'cpu'arguments'c1
ByteStringToInteger'cpu'arguments'c2
ByteStringToInteger'memory'arguments'intercept
ByteStringToInteger'memory'arguments'slope

Instances

Instances details

Bounded ParamName Source #
Instance details Defined in PlutusLedgerApi.V2.ParamName Methods minBound ∷ ParamName Source # maxBound ∷ ParamName Source #
Enum ParamName Source #
Instance details Defined in PlutusLedgerApi.V2.ParamName Methods succ ∷ ParamName → ParamName Source # pred ∷ ParamName → ParamName Source # toEnum ∷ Int → ParamName Source # fromEnum ∷ ParamName → Int Source # enumFrom ∷ ParamName → [ParamName] Source # enumFromThen ∷ ParamName → ParamName → [ParamName] Source # enumFromTo ∷ ParamName → ParamName → [ParamName] Source # enumFromThenTo ∷ ParamName → ParamName → ParamName → [ParamName] Source #
Generic ParamName Source #
Instance details Defined in PlutusLedgerApi.V2.ParamName Associated Types type Rep ParamName ∷ Type → Type Source # Methods from ∷ ParamName → Rep ParamName x Source # to ∷ Rep ParamName x → ParamName Source #
Ix ParamName Source #
Instance details Defined in PlutusLedgerApi.V2.ParamName Methods range ∷ (ParamName, ParamName) → [ParamName] Source # index ∷ (ParamName, ParamName) → ParamName → Int Source # unsafeIndex ∷ (ParamName, ParamName) → ParamName → Int Source # inRange ∷ (ParamName, ParamName) → ParamName → Bool Source # rangeSize ∷ (ParamName, ParamName) → Int Source # unsafeRangeSize ∷ (ParamName, ParamName) → Int Source #
Eq ParamName Source #
Instance details Defined in PlutusLedgerApi.V2.ParamName Methods (==) ∷ ParamName → ParamName → Bool Source # (/=) ∷ ParamName → ParamName → Bool Source #
Ord ParamName Source #
Instance details Defined in PlutusLedgerApi.V2.ParamName Methods compare ∷ ParamName → ParamName → Ordering Source # (<) ∷ ParamName → ParamName → Bool Source # (<=) ∷ ParamName → ParamName → Bool Source # (>) ∷ ParamName → ParamName → Bool Source # (>=) ∷ ParamName → ParamName → Bool Source # max ∷ ParamName → ParamName → ParamName Source # min ∷ ParamName → ParamName → ParamName Source #
IsParamName ParamName Source #
Instance details Defined in PlutusLedgerApi.V2.ParamName Methods showParamName ∷ ParamName → Text Source # readParamName ∷ Text → Maybe ParamName Source #
type Rep ParamName Source #
Instance details Defined in PlutusLedgerApi.V2.ParamName type Rep ParamName = D1 ('MetaData "ParamName" "PlutusLedgerApi.V2.ParamName" "plutus-ledger-api-1.36.0.0-inplace" 'False) (((((((C1 ('MetaCons "AddInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "AddInteger'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "AddInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "AddInteger'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "AppendByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "AppendByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "AppendByteString'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "AppendByteString'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "AppendString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "AppendString'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "AppendString'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "AppendString'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "BData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "BData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "Blake2b_256'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Blake2b_256'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Blake2b_256'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "CekApplyCost'exBudgetCPU" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "CekApplyCost'exBudgetMemory" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CekBuiltinCost'exBudgetCPU" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "CekBuiltinCost'exBudgetMemory" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "CekConstCost'exBudgetCPU" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CekConstCost'exBudgetMemory" 'PrefixI 'False) (U1 ∷ Type → Type)))))) :+: ((((C1 ('MetaCons "CekDelayCost'exBudgetCPU" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CekDelayCost'exBudgetMemory" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "CekForceCost'exBudgetCPU" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "CekForceCost'exBudgetMemory" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CekLamCost'exBudgetCPU" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "CekLamCost'exBudgetMemory" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "CekStartupCost'exBudgetCPU" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CekStartupCost'exBudgetMemory" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "CekVarCost'exBudgetCPU" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "CekVarCost'exBudgetMemory" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ChooseData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "ChooseData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ChooseList'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ChooseList'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "ChooseUnit'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ChooseUnit'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ConsByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "ConsByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ConsByteString'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ConsByteString'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "ConstrData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ConstrData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "DecodeUtf8'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type))))))) :+: (((((C1 ('MetaCons "DecodeUtf8'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "DecodeUtf8'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "DecodeUtf8'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "DivideInteger'cpu'arguments'constant" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "DivideInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "DivideInteger'memory'arguments'minimum" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "DivideInteger'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "EncodeUtf8'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "EncodeUtf8'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "EncodeUtf8'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "EncodeUtf8'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "EqualsByteString'cpu'arguments'constant" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "EqualsByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "EqualsByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "EqualsByteString'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "EqualsData'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "EqualsData'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "EqualsData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "EqualsInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "EqualsInteger'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "EqualsInteger'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))))) :+: ((((C1 ('MetaCons "EqualsString'cpu'arguments'constant" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "EqualsString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "EqualsString'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "EqualsString'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "FstPair'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "FstPair'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "HeadList'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "HeadList'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "IData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "IData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "IfThenElse'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "IfThenElse'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "IndexByteString'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "IndexByteString'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "LengthOfByteString'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "LengthOfByteString'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "LessThanByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "LessThanByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "LessThanByteString'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "LessThanEqualsByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "LessThanEqualsByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "LessThanEqualsByteString'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "LessThanEqualsInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)))))))) :+: ((((((C1 ('MetaCons "LessThanEqualsInteger'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "LessThanEqualsInteger'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "LessThanInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "LessThanInteger'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "LessThanInteger'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "ListData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ListData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MapData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "MapData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "MkCons'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MkCons'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "MkNilData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "MkNilData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MkNilPairData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "MkNilPairData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "MkPairData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MkPairData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "ModInteger'cpu'arguments'constant" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ModInteger'cpu'arguments'model'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ModInteger'cpu'arguments'model'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "ModInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ModInteger'memory'arguments'minimum" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ModInteger'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type)))))) :+: ((((C1 ('MetaCons "MultiplyInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MultiplyInteger'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "MultiplyInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "MultiplyInteger'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "NullList'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "NullList'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "QuotientInteger'cpu'arguments'constant" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "QuotientInteger'cpu'arguments'model'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "QuotientInteger'cpu'arguments'model'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "QuotientInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "QuotientInteger'memory'arguments'minimum" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "QuotientInteger'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "RemainderInteger'cpu'arguments'constant" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "RemainderInteger'cpu'arguments'model'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "RemainderInteger'cpu'arguments'model'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "RemainderInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "RemainderInteger'memory'arguments'minimum" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "RemainderInteger'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "SerialiseData'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "SerialiseData'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "SerialiseData'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "SerialiseData'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Sha2_256'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type))))))) :+: (((((C1 ('MetaCons "Sha2_256'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Sha2_256'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "Sha3_256'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Sha3_256'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Sha3_256'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "SliceByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "SliceByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "SliceByteString'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "SliceByteString'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "SndPair'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "SndPair'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "SubtractInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "SubtractInteger'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "SubtractInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "SubtractInteger'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "TailList'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "TailList'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "Trace'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Trace'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "UnBData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "UnBData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "UnConstrData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "UnConstrData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))))) :+: ((((C1 ('MetaCons "UnIData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "UnIData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "UnListData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "UnListData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "UnMapData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "UnMapData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "VerifyEcdsaSecp256k1Signature'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "VerifyEcdsaSecp256k1Signature'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "VerifyEd25519Signature'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "VerifyEd25519Signature'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "VerifyEd25519Signature'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "VerifySchnorrSecp256k1Signature'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "VerifySchnorrSecp256k1Signature'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "VerifySchnorrSecp256k1Signature'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "IntegerToByteString'cpu'arguments'c0" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "IntegerToByteString'cpu'arguments'c1" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "IntegerToByteString'cpu'arguments'c2" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "IntegerToByteString'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "IntegerToByteString'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ByteStringToInteger'cpu'arguments'c0" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ByteStringToInteger'cpu'arguments'c1" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "ByteStringToInteger'cpu'arguments'c2" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ByteStringToInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ByteStringToInteger'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type)))))))))

tagWithParamNames ∷ ∀ k m. (Enum k, Bounded k, MonadError CostModelApplyError m, MonadWriter [CostModelApplyWarn] m) ⇒ [Int64] → m [(k, Int64)] Source #

Given an ordered list of parameter values, tag them with their parameter names. If the passed parameter values are more than expected: the function will ignore the extraneous values at the tail of the list, if the passed values are less than expected: the function will throw an error; for more information, see Note [Cost model parameters from the ledger's point of view]