Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusLedgerApi.V3.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'c00
DivideInteger'cpu'arguments'model'arguments'c01
DivideInteger'cpu'arguments'model'arguments'c02
DivideInteger'cpu'arguments'model'arguments'c10
DivideInteger'cpu'arguments'model'arguments'c11
DivideInteger'cpu'arguments'model'arguments'c20
DivideInteger'cpu'arguments'model'arguments'minimum
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'c00
ModInteger'cpu'arguments'model'arguments'c01
ModInteger'cpu'arguments'model'arguments'c02
ModInteger'cpu'arguments'model'arguments'c10
ModInteger'cpu'arguments'model'arguments'c11
ModInteger'cpu'arguments'model'arguments'c20
ModInteger'cpu'arguments'model'arguments'minimum
ModInteger'memory'arguments'intercept
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'c00
QuotientInteger'cpu'arguments'model'arguments'c01
QuotientInteger'cpu'arguments'model'arguments'c02
QuotientInteger'cpu'arguments'model'arguments'c10
QuotientInteger'cpu'arguments'model'arguments'c11
QuotientInteger'cpu'arguments'model'arguments'c20
QuotientInteger'cpu'arguments'model'arguments'minimum
QuotientInteger'memory'arguments'intercept
QuotientInteger'memory'arguments'minimum
QuotientInteger'memory'arguments'slope
RemainderInteger'cpu'arguments'constant
RemainderInteger'cpu'arguments'model'arguments'c00
RemainderInteger'cpu'arguments'model'arguments'c01
RemainderInteger'cpu'arguments'model'arguments'c02
RemainderInteger'cpu'arguments'model'arguments'c10
RemainderInteger'cpu'arguments'model'arguments'c11
RemainderInteger'cpu'arguments'model'arguments'c20
RemainderInteger'cpu'arguments'model'arguments'minimum
RemainderInteger'memory'arguments'intercept
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
CekConstrCost'exBudgetCPU
CekConstrCost'exBudgetMemory
CekCaseCost'exBudgetCPU
CekCaseCost'exBudgetMemory
Bls12_381_G1_add'cpu'arguments
Bls12_381_G1_add'memory'arguments
Bls12_381_G1_compress'cpu'arguments
Bls12_381_G1_compress'memory'arguments
Bls12_381_G1_equal'cpu'arguments
Bls12_381_G1_equal'memory'arguments
Bls12_381_G1_hashToGroup'cpu'arguments'intercept
Bls12_381_G1_hashToGroup'cpu'arguments'slope
Bls12_381_G1_hashToGroup'memory'arguments
Bls12_381_G1_neg'cpu'arguments
Bls12_381_G1_neg'memory'arguments
Bls12_381_G1_scalarMul'cpu'arguments'intercept
Bls12_381_G1_scalarMul'cpu'arguments'slope
Bls12_381_G1_scalarMul'memory'arguments
Bls12_381_G1_uncompress'cpu'arguments
Bls12_381_G1_uncompress'memory'arguments
Bls12_381_G2_add'cpu'arguments
Bls12_381_G2_add'memory'arguments
Bls12_381_G2_compress'cpu'arguments
Bls12_381_G2_compress'memory'arguments
Bls12_381_G2_equal'cpu'arguments
Bls12_381_G2_equal'memory'arguments
Bls12_381_G2_hashToGroup'cpu'arguments'intercept
Bls12_381_G2_hashToGroup'cpu'arguments'slope
Bls12_381_G2_hashToGroup'memory'arguments
Bls12_381_G2_neg'cpu'arguments
Bls12_381_G2_neg'memory'arguments
Bls12_381_G2_scalarMul'cpu'arguments'intercept
Bls12_381_G2_scalarMul'cpu'arguments'slope
Bls12_381_G2_scalarMul'memory'arguments
Bls12_381_G2_uncompress'cpu'arguments
Bls12_381_G2_uncompress'memory'arguments
Bls12_381_finalVerify'cpu'arguments
Bls12_381_finalVerify'memory'arguments
Bls12_381_millerLoop'cpu'arguments
Bls12_381_millerLoop'memory'arguments
Bls12_381_mulMlResult'cpu'arguments
Bls12_381_mulMlResult'memory'arguments
Keccak_256'cpu'arguments'intercept
Keccak_256'cpu'arguments'slope
Keccak_256'memory'arguments
Blake2b_224'cpu'arguments'intercept
Blake2b_224'cpu'arguments'slope
Blake2b_224'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
AndByteString'cpu'arguments'intercept
AndByteString'cpu'arguments'slope1
AndByteString'cpu'arguments'slope2
AndByteString'memory'arguments'intercept
AndByteString'memory'arguments'slope
OrByteString'cpu'arguments'intercept
OrByteString'cpu'arguments'slope1
OrByteString'cpu'arguments'slope2
OrByteString'memory'arguments'intercept
OrByteString'memory'arguments'slope
XorByteString'cpu'arguments'intercept
XorByteString'cpu'arguments'slope1
XorByteString'cpu'arguments'slope2
XorByteString'memory'arguments'intercept
XorByteString'memory'arguments'slope
ComplementByteString'cpu'arguments'intercept
ComplementByteString'cpu'arguments'slope
ComplementByteString'memory'arguments'intercept
ComplementByteString'memory'arguments'slope
ReadBit'cpu'arguments
ReadBit'memory'arguments
WriteBits'cpu'arguments'intercept
WriteBits'cpu'arguments'slope
WriteBits'memory'arguments'intercept
WriteBits'memory'arguments'slope
ReplicateByte'cpu'arguments'intercept
ReplicateByte'cpu'arguments'slope
ReplicateByte'memory'arguments'intercept
ReplicateByte'memory'arguments'slope
ShiftByteString'cpu'arguments'intercept
ShiftByteString'cpu'arguments'slope
ShiftByteString'memory'arguments'intercept
ShiftByteString'memory'arguments'slope
RotateByteString'cpu'arguments'intercept
RotateByteString'cpu'arguments'slope
RotateByteString'memory'arguments'intercept
RotateByteString'memory'arguments'slope
CountSetBits'cpu'arguments'intercept
CountSetBits'cpu'arguments'slope
CountSetBits'memory'arguments
FindFirstSetBit'cpu'arguments'intercept
FindFirstSetBit'cpu'arguments'slope
FindFirstSetBit'memory'arguments
Ripemd_160'cpu'arguments'intercept
Ripemd_160'cpu'arguments'slope
Ripemd_160'memory'arguments

Instances

Instances details

Bounded ParamName Source #
Instance details Defined in PlutusLedgerApi.V3.ParamName Methods minBound ∷ ParamName Source # maxBound ∷ ParamName Source #
Enum ParamName Source #
Instance details Defined in PlutusLedgerApi.V3.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.V3.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.V3.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.V3.ParamName Methods (==) ∷ ParamName → ParamName → Bool Source # (/=) ∷ ParamName → ParamName → Bool Source #
Ord ParamName Source #
Instance details Defined in PlutusLedgerApi.V3.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.V3.ParamName Methods showParamName ∷ ParamName → Text Source # readParamName ∷ Text → Maybe ParamName Source #
type Rep ParamName Source #
Instance details Defined in PlutusLedgerApi.V3.ParamName type Rep ParamName = D1 ('MetaData "ParamName" "PlutusLedgerApi.V3.ParamName" "plutus-ledger-api-1.39.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'c00" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'c01" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'c02" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'c10" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'c11" 'PrefixI 'False) (U1 ∷ Type → Type)))))) :+: ((((C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'c20" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'minimum" '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'c00" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ModInteger'cpu'arguments'model'arguments'c01" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "ModInteger'cpu'arguments'model'arguments'c02" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ModInteger'cpu'arguments'model'arguments'c10" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ModInteger'cpu'arguments'model'arguments'c11" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "ModInteger'cpu'arguments'model'arguments'c20" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ModInteger'cpu'arguments'model'arguments'minimum" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "ModInteger'memory'arguments'intercept" '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'c00" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "QuotientInteger'cpu'arguments'model'arguments'c01" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: ((C1 ('MetaCons "QuotientInteger'cpu'arguments'model'arguments'c02" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "QuotientInteger'cpu'arguments'model'arguments'c10" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "QuotientInteger'cpu'arguments'model'arguments'c11" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "QuotientInteger'cpu'arguments'model'arguments'c20" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "QuotientInteger'cpu'arguments'model'arguments'minimum" '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'c00" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "RemainderInteger'cpu'arguments'model'arguments'c01" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "RemainderInteger'cpu'arguments'model'arguments'c02" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "RemainderInteger'cpu'arguments'model'arguments'c10" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "RemainderInteger'cpu'arguments'model'arguments'c11" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "RemainderInteger'cpu'arguments'model'arguments'c20" 'PrefixI 'False) (U1 ∷ Type → Type))))))))) :+: (((((((C1 ('MetaCons "RemainderInteger'cpu'arguments'model'arguments'minimum" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "RemainderInteger'memory'arguments'intercept" '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 "CekConstrCost'exBudgetCPU" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "CekConstrCost'exBudgetMemory" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CekCaseCost'exBudgetCPU" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "CekCaseCost'exBudgetMemory" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_G1_add'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: ((C1 ('MetaCons "Bls12_381_G1_add'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_G1_compress'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "Bls12_381_G1_compress'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Bls12_381_G1_equal'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_G1_equal'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))))) :+: ((((C1 ('MetaCons "Bls12_381_G1_hashToGroup'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_G1_hashToGroup'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "Bls12_381_G1_hashToGroup'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_G1_neg'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: ((C1 ('MetaCons "Bls12_381_G1_neg'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_G1_scalarMul'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "Bls12_381_G1_scalarMul'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Bls12_381_G1_scalarMul'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_G1_uncompress'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "Bls12_381_G1_uncompress'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_G2_add'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "Bls12_381_G2_add'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Bls12_381_G2_compress'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_G2_compress'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "Bls12_381_G2_equal'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_G2_equal'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "Bls12_381_G2_hashToGroup'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Bls12_381_G2_hashToGroup'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_G2_hashToGroup'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))))))) :+: ((((((C1 ('MetaCons "Bls12_381_G2_neg'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_G2_neg'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "Bls12_381_G2_scalarMul'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_G2_scalarMul'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: ((C1 ('MetaCons "Bls12_381_G2_scalarMul'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_G2_uncompress'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "Bls12_381_G2_uncompress'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Bls12_381_finalVerify'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_finalVerify'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "Bls12_381_millerLoop'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_millerLoop'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "Bls12_381_mulMlResult'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_mulMlResult'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: ((C1 ('MetaCons "Keccak_256'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Keccak_256'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "Keccak_256'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Blake2b_224'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Blake2b_224'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type)))))) :+: ((((C1 ('MetaCons "Blake2b_224'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)) :+: (C1 ('MetaCons "AndByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "AndByteString'cpu'arguments'slope1" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "AndByteString'cpu'arguments'slope2" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "AndByteString'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "AndByteString'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "OrByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "OrByteString'cpu'arguments'slope1" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "OrByteString'cpu'arguments'slope2" 'PrefixI 'False) (U1 ∷ Type → Type))))))) :+: (((((C1 ('MetaCons "OrByteString'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "OrByteString'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "XorByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "XorByteString'cpu'arguments'slope1" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: ((C1 ('MetaCons "XorByteString'cpu'arguments'slope2" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "XorByteString'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "XorByteString'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ComplementByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ComplementByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "ComplementByteString'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ComplementByteString'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "ReadBit'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ReadBit'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "WriteBits'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "WriteBits'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "WriteBits'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "WriteBits'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ReplicateByte'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ReplicateByte'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type)))))) :+: ((((C1 ('MetaCons "ReplicateByte'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ReplicateByte'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "ShiftByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ShiftByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: ((C1 ('MetaCons "ShiftByteString'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ShiftByteString'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "RotateByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "RotateByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "RotateByteString'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "RotateByteString'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CountSetBits'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "CountSetBits'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "CountSetBits'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "FindFirstSetBit'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "FindFirstSetBit'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "FindFirstSetBit'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "Ripemd_160'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Ripemd_160'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Ripemd_160'memory'arguments" '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]