plutus-ledger-api-1.36.0.0: Interface to the Plutus ledger for the Cardano ledger.
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusLedgerApi.V3.ParamName

Synopsis

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

Enum ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V3.ParamName

Generic ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V3.ParamName

Associated Types

type Rep ParamNameTypeType Source #

Ix ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V3.ParamName

Eq ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V3.ParamName

Ord ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V3.ParamName

IsParamName ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V3.ParamName

type Rep ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V3.ParamName

type Rep ParamName = D1 ('MetaData "ParamName" "PlutusLedgerApi.V3.ParamName" "plutus-ledger-api-1.36.0.0-inplace" 'False) ((((((((C1 ('MetaCons "AddInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "AddInteger'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "AddInteger'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "AddInteger'memory'arguments'slope" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "AppendByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "AppendByteString'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "AppendByteString'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "AppendByteString'memory'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "AppendString'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType))))) :+: (((C1 ('MetaCons "AppendString'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "AppendString'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "AppendString'memory'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "BData'cpu'arguments" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "BData'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Blake2b_256'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "Blake2b_256'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "Blake2b_256'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "CekApplyCost'exBudgetCPU" 'PrefixI 'False) (U1TypeType)))))) :+: ((((C1 ('MetaCons "CekApplyCost'exBudgetMemory" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "CekBuiltinCost'exBudgetCPU" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "CekBuiltinCost'exBudgetMemory" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "CekConstCost'exBudgetCPU" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "CekConstCost'exBudgetMemory" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "CekDelayCost'exBudgetCPU" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "CekDelayCost'exBudgetMemory" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "CekForceCost'exBudgetCPU" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "CekForceCost'exBudgetMemory" 'PrefixI 'False) (U1TypeType))))) :+: (((C1 ('MetaCons "CekLamCost'exBudgetCPU" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "CekLamCost'exBudgetMemory" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "CekStartupCost'exBudgetCPU" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "CekStartupCost'exBudgetMemory" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "CekVarCost'exBudgetCPU" 'PrefixI 'False) (U1TypeType)))) :+: ((C1 ('MetaCons "CekVarCost'exBudgetMemory" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ChooseData'cpu'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "ChooseData'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "ChooseList'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ChooseList'memory'arguments" 'PrefixI 'False) (U1TypeType))))))) :+: (((((C1 ('MetaCons "ChooseUnit'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ChooseUnit'memory'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "ConsByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ConsByteString'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "ConsByteString'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ConsByteString'memory'arguments'slope" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "ConstrData'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "ConstrData'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "DecodeUtf8'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType))))) :+: (((C1 ('MetaCons "DecodeUtf8'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "DecodeUtf8'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "DecodeUtf8'memory'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "DivideInteger'cpu'arguments'constant" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'c00" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'c01" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'c02" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'c10" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'c11" 'PrefixI 'False) (U1TypeType)))))) :+: ((((C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'c20" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'minimum" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "DivideInteger'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "DivideInteger'memory'arguments'minimum" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "DivideInteger'memory'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "EncodeUtf8'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "EncodeUtf8'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "EncodeUtf8'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "EncodeUtf8'memory'arguments'slope" 'PrefixI 'False) (U1TypeType))))) :+: (((C1 ('MetaCons "EqualsByteString'cpu'arguments'constant" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "EqualsByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "EqualsByteString'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "EqualsByteString'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "EqualsData'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType)))) :+: ((C1 ('MetaCons "EqualsData'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "EqualsData'memory'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "EqualsInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "EqualsInteger'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "EqualsInteger'memory'arguments" 'PrefixI 'False) (U1TypeType)))))))) :+: ((((((C1 ('MetaCons "EqualsString'cpu'arguments'constant" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "EqualsString'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "EqualsString'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "EqualsString'memory'arguments" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "FstPair'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "FstPair'memory'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "HeadList'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "HeadList'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "IData'cpu'arguments" 'PrefixI 'False) (U1TypeType))))) :+: (((C1 ('MetaCons "IData'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "IfThenElse'cpu'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "IfThenElse'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "IndexByteString'cpu'arguments" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "IndexByteString'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "LengthOfByteString'cpu'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "LengthOfByteString'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "LessThanByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "LessThanByteString'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType)))))) :+: ((((C1 ('MetaCons "LessThanByteString'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "LessThanEqualsByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "LessThanEqualsByteString'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "LessThanEqualsByteString'memory'arguments" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "LessThanEqualsInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "LessThanEqualsInteger'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "LessThanEqualsInteger'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "LessThanInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "LessThanInteger'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType))))) :+: (((C1 ('MetaCons "LessThanInteger'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ListData'cpu'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "ListData'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "MapData'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "MapData'memory'arguments" 'PrefixI 'False) (U1TypeType)))) :+: ((C1 ('MetaCons "MkCons'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "MkCons'memory'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "MkNilData'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "MkNilData'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "MkNilPairData'cpu'arguments" 'PrefixI 'False) (U1TypeType))))))) :+: (((((C1 ('MetaCons "MkNilPairData'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "MkPairData'cpu'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "MkPairData'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ModInteger'cpu'arguments'constant" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "ModInteger'cpu'arguments'model'arguments'c00" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ModInteger'cpu'arguments'model'arguments'c01" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "ModInteger'cpu'arguments'model'arguments'c02" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "ModInteger'cpu'arguments'model'arguments'c10" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ModInteger'cpu'arguments'model'arguments'c11" 'PrefixI 'False) (U1TypeType))))) :+: (((C1 ('MetaCons "ModInteger'cpu'arguments'model'arguments'c20" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ModInteger'cpu'arguments'model'arguments'minimum" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "ModInteger'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ModInteger'memory'arguments'slope" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "MultiplyInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "MultiplyInteger'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "MultiplyInteger'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "MultiplyInteger'memory'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "NullList'cpu'arguments" 'PrefixI 'False) (U1TypeType)))))) :+: ((((C1 ('MetaCons "NullList'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "QuotientInteger'cpu'arguments'constant" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "QuotientInteger'cpu'arguments'model'arguments'c00" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "QuotientInteger'cpu'arguments'model'arguments'c01" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "QuotientInteger'cpu'arguments'model'arguments'c02" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "QuotientInteger'cpu'arguments'model'arguments'c10" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "QuotientInteger'cpu'arguments'model'arguments'c11" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "QuotientInteger'cpu'arguments'model'arguments'c20" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "QuotientInteger'cpu'arguments'model'arguments'minimum" 'PrefixI 'False) (U1TypeType))))) :+: (((C1 ('MetaCons "QuotientInteger'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "QuotientInteger'memory'arguments'minimum" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "QuotientInteger'memory'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "RemainderInteger'cpu'arguments'constant" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "RemainderInteger'cpu'arguments'model'arguments'c00" 'PrefixI 'False) (U1TypeType)))) :+: ((C1 ('MetaCons "RemainderInteger'cpu'arguments'model'arguments'c01" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "RemainderInteger'cpu'arguments'model'arguments'c02" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "RemainderInteger'cpu'arguments'model'arguments'c10" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "RemainderInteger'cpu'arguments'model'arguments'c11" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "RemainderInteger'cpu'arguments'model'arguments'c20" 'PrefixI 'False) (U1TypeType))))))))) :+: (((((((C1 ('MetaCons "RemainderInteger'cpu'arguments'model'arguments'minimum" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "RemainderInteger'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "RemainderInteger'memory'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "SerialiseData'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "SerialiseData'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "SerialiseData'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "SerialiseData'memory'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "Sha2_256'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Sha2_256'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType))))) :+: (((C1 ('MetaCons "Sha2_256'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Sha3_256'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "Sha3_256'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Sha3_256'memory'arguments" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "SliceByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "SliceByteString'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "SliceByteString'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "SliceByteString'memory'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "SndPair'cpu'arguments" 'PrefixI 'False) (U1TypeType)))))) :+: ((((C1 ('MetaCons "SndPair'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "SubtractInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "SubtractInteger'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "SubtractInteger'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "SubtractInteger'memory'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "TailList'cpu'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "TailList'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "Trace'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Trace'memory'arguments" 'PrefixI 'False) (U1TypeType))))) :+: (((C1 ('MetaCons "UnBData'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "UnBData'memory'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "UnConstrData'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "UnConstrData'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "UnIData'cpu'arguments" 'PrefixI 'False) (U1TypeType)))) :+: ((C1 ('MetaCons "UnIData'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "UnListData'cpu'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "UnListData'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "UnMapData'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "UnMapData'memory'arguments" 'PrefixI 'False) (U1TypeType))))))) :+: (((((C1 ('MetaCons "VerifyEcdsaSecp256k1Signature'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "VerifyEcdsaSecp256k1Signature'memory'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "VerifyEd25519Signature'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "VerifyEd25519Signature'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "VerifyEd25519Signature'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "VerifySchnorrSecp256k1Signature'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "VerifySchnorrSecp256k1Signature'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "VerifySchnorrSecp256k1Signature'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "CekConstrCost'exBudgetCPU" 'PrefixI 'False) (U1TypeType))))) :+: (((C1 ('MetaCons "CekConstrCost'exBudgetMemory" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "CekCaseCost'exBudgetCPU" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "CekCaseCost'exBudgetMemory" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Bls12_381_G1_add'cpu'arguments" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "Bls12_381_G1_add'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Bls12_381_G1_compress'cpu'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "Bls12_381_G1_compress'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "Bls12_381_G1_equal'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Bls12_381_G1_equal'memory'arguments" 'PrefixI 'False) (U1TypeType)))))) :+: ((((C1 ('MetaCons "Bls12_381_G1_hashToGroup'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Bls12_381_G1_hashToGroup'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "Bls12_381_G1_hashToGroup'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Bls12_381_G1_neg'cpu'arguments" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "Bls12_381_G1_neg'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Bls12_381_G1_scalarMul'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "Bls12_381_G1_scalarMul'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "Bls12_381_G1_scalarMul'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Bls12_381_G1_uncompress'cpu'arguments" 'PrefixI 'False) (U1TypeType))))) :+: (((C1 ('MetaCons "Bls12_381_G1_uncompress'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Bls12_381_G2_add'cpu'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "Bls12_381_G2_add'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "Bls12_381_G2_compress'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Bls12_381_G2_compress'memory'arguments" 'PrefixI 'False) (U1TypeType)))) :+: ((C1 ('MetaCons "Bls12_381_G2_equal'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Bls12_381_G2_equal'memory'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "Bls12_381_G2_hashToGroup'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "Bls12_381_G2_hashToGroup'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Bls12_381_G2_hashToGroup'memory'arguments" 'PrefixI 'False) (U1TypeType)))))))) :+: ((((((C1 ('MetaCons "Bls12_381_G2_neg'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Bls12_381_G2_neg'memory'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "Bls12_381_G2_scalarMul'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Bls12_381_G2_scalarMul'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "Bls12_381_G2_scalarMul'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Bls12_381_G2_uncompress'cpu'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "Bls12_381_G2_uncompress'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "Bls12_381_finalVerify'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Bls12_381_finalVerify'memory'arguments" 'PrefixI 'False) (U1TypeType))))) :+: (((C1 ('MetaCons "Bls12_381_millerLoop'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Bls12_381_millerLoop'memory'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "Bls12_381_mulMlResult'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Bls12_381_mulMlResult'memory'arguments" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "Keccak_256'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Keccak_256'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "Keccak_256'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "Blake2b_224'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Blake2b_224'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType)))))) :+: ((((C1 ('MetaCons "Blake2b_224'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "IntegerToByteString'cpu'arguments'c0" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "IntegerToByteString'cpu'arguments'c1" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "IntegerToByteString'cpu'arguments'c2" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "IntegerToByteString'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "IntegerToByteString'memory'arguments'slope" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "ByteStringToInteger'cpu'arguments'c0" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "ByteStringToInteger'cpu'arguments'c1" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ByteStringToInteger'cpu'arguments'c2" 'PrefixI 'False) (U1TypeType))))) :+: (((C1 ('MetaCons "ByteStringToInteger'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ByteStringToInteger'memory'arguments'slope" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "AndByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "AndByteString'cpu'arguments'slope1" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "AndByteString'cpu'arguments'slope2" 'PrefixI 'False) (U1TypeType)))) :+: ((C1 ('MetaCons "AndByteString'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "AndByteString'memory'arguments'slope" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "OrByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "OrByteString'cpu'arguments'slope1" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "OrByteString'cpu'arguments'slope2" 'PrefixI 'False) (U1TypeType))))))) :+: (((((C1 ('MetaCons "OrByteString'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "OrByteString'memory'arguments'slope" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "XorByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "XorByteString'cpu'arguments'slope1" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "XorByteString'cpu'arguments'slope2" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "XorByteString'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "XorByteString'memory'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "ComplementByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ComplementByteString'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType))))) :+: (((C1 ('MetaCons "ComplementByteString'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ComplementByteString'memory'arguments'slope" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "ReadBit'cpu'arguments" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "ReadBit'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "WriteBits'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType)))) :+: ((C1 ('MetaCons "WriteBits'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "WriteBits'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "WriteBits'memory'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "ReplicateByte'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ReplicateByte'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType)))))) :+: ((((C1 ('MetaCons "ReplicateByte'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ReplicateByte'memory'arguments'slope" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "ShiftByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ShiftByteString'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "ShiftByteString'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ShiftByteString'memory'arguments'slope" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "RotateByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "RotateByteString'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "RotateByteString'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType))))) :+: (((C1 ('MetaCons "RotateByteString'memory'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "CountSetBits'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "CountSetBits'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "CountSetBits'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "FindFirstSetBit'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType)))) :+: ((C1 ('MetaCons "FindFirstSetBit'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "FindFirstSetBit'memory'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "Ripemd_160'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "Ripemd_160'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Ripemd_160'memory'arguments" 'PrefixI 'False) (U1TypeType))))))))))

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]