Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Default.Builtins

Synopsis

data DefaultFun
- = AddInteger
- | SubtractInteger
- | MultiplyInteger
- | DivideInteger
- | QuotientInteger
- | RemainderInteger
- | ModInteger
- | EqualsInteger
- | LessThanInteger
- | LessThanEqualsInteger
- | AppendByteString
- | ConsByteString
- | SliceByteString
- | LengthOfByteString
- | IndexByteString
- | EqualsByteString
- | LessThanByteString
- | LessThanEqualsByteString
- | Sha2_256
- | Sha3_256
- | Blake2b_256
- | VerifyEd25519Signature
- | VerifyEcdsaSecp256k1Signature
- | VerifySchnorrSecp256k1Signature
- | AppendString
- | EqualsString
- | EncodeUtf8
- | DecodeUtf8
- | IfThenElse
- | ChooseUnit
- | Trace
- | FstPair
- | SndPair
- | ChooseList
- | MkCons
- | HeadList
- | TailList
- | NullList
- | ChooseData
- | ConstrData
- | MapData
- | ListData
- | IData
- | BData
- | UnConstrData
- | UnMapData
- | UnListData
- | UnIData
- | UnBData
- | EqualsData
- | SerialiseData
- | MkPairData
- | MkNilData
- | MkNilPairData
- | Bls12_381_G1_add
- | Bls12_381_G1_neg
- | Bls12_381_G1_scalarMul
- | Bls12_381_G1_equal
- | Bls12_381_G1_hashToGroup
- | Bls12_381_G1_compress
- | Bls12_381_G1_uncompress
- | Bls12_381_G2_add
- | Bls12_381_G2_neg
- | Bls12_381_G2_scalarMul
- | Bls12_381_G2_equal
- | Bls12_381_G2_hashToGroup
- | Bls12_381_G2_compress
- | Bls12_381_G2_uncompress
- | Bls12_381_millerLoop
- | Bls12_381_mulMlResult
- | Bls12_381_finalVerify
- | Keccak_256
- | Blake2b_224
- | IntegerToByteString
- | ByteStringToInteger
- | AndByteString
- | OrByteString
- | XorByteString
- | ComplementByteString
- | ReadBit
- | WriteBits
- | ReplicateByte
- | ShiftByteString
- | RotateByteString
- | CountSetBits
- | FindFirstSetBit
- | Ripemd_160
- | ExpModInteger
nonZeroSecondArg ∷ (Integer → Integer → Integer) → Integer → Integer → BuiltinResult Integer
eitherToBuiltinResult ∷ Show e ⇒ Either e r → BuiltinResult r
builtinTagWidth ∷ NumBits
encodeBuiltin ∷ Word8 → Encoding
decodeBuiltin ∷ Get Word8

Documentation

data DefaultFun Source #

Default built-in functions.

When updating these, make sure to add them to the protocol version listing! See Note [New builtins/language versions and protocol versions]

Constructors

AddInteger
SubtractInteger
MultiplyInteger
DivideInteger
QuotientInteger
RemainderInteger
ModInteger
EqualsInteger
LessThanInteger
LessThanEqualsInteger
AppendByteString
ConsByteString
SliceByteString
LengthOfByteString
IndexByteString
EqualsByteString
LessThanByteString
LessThanEqualsByteString
Sha2_256
Sha3_256
Blake2b_256
VerifyEd25519Signature
VerifyEcdsaSecp256k1Signature
VerifySchnorrSecp256k1Signature
AppendString
EqualsString
EncodeUtf8
DecodeUtf8
IfThenElse
ChooseUnit
Trace
FstPair
SndPair
ChooseList
MkCons
HeadList
TailList
NullList
ChooseData
ConstrData
MapData
ListData
IData
BData
UnConstrData
UnMapData
UnListData
UnIData
UnBData
EqualsData
SerialiseData
MkPairData
MkNilData
MkNilPairData
Bls12_381_G1_add
Bls12_381_G1_neg
Bls12_381_G1_scalarMul
Bls12_381_G1_equal
Bls12_381_G1_hashToGroup
Bls12_381_G1_compress
Bls12_381_G1_uncompress
Bls12_381_G2_add
Bls12_381_G2_neg
Bls12_381_G2_scalarMul
Bls12_381_G2_equal
Bls12_381_G2_hashToGroup
Bls12_381_G2_compress
Bls12_381_G2_uncompress
Bls12_381_millerLoop
Bls12_381_mulMlResult
Bls12_381_finalVerify
Keccak_256
Blake2b_224
IntegerToByteString
ByteStringToInteger
AndByteString
OrByteString
XorByteString
ComplementByteString
ReadBit
WriteBits
ReplicateByte
ShiftByteString
RotateByteString
CountSetBits
FindFirstSetBit
Ripemd_160
ExpModInteger

Instances

Instances details

Bounded DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods minBound ∷ DefaultFun Source # maxBound ∷ DefaultFun Source #
Enum DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods succ ∷ DefaultFun → DefaultFun Source # pred ∷ DefaultFun → DefaultFun Source # toEnum ∷ Int → DefaultFun Source # fromEnum ∷ DefaultFun → Int Source # enumFrom ∷ DefaultFun → [DefaultFun] Source # enumFromThen ∷ DefaultFun → DefaultFun → [DefaultFun] Source # enumFromTo ∷ DefaultFun → DefaultFun → [DefaultFun] Source # enumFromThenTo ∷ DefaultFun → DefaultFun → DefaultFun → [DefaultFun] Source #
Generic DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Associated Types type Rep DefaultFun ∷ Type → Type Source # Methods from ∷ DefaultFun → Rep DefaultFun x Source # to ∷ Rep DefaultFun x → DefaultFun Source #
Ix DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods range ∷ (DefaultFun, DefaultFun) → [DefaultFun] Source # index ∷ (DefaultFun, DefaultFun) → DefaultFun → Int Source # unsafeIndex ∷ (DefaultFun, DefaultFun) → DefaultFun → Int Source # inRange ∷ (DefaultFun, DefaultFun) → DefaultFun → Bool Source # rangeSize ∷ (DefaultFun, DefaultFun) → Int Source # unsafeRangeSize ∷ (DefaultFun, DefaultFun) → Int Source #
Show DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods showsPrec ∷ Int → DefaultFun → ShowS Source # show ∷ DefaultFun → String Source # showList ∷ [DefaultFun] → ShowS Source #
NFData DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods rnf ∷ DefaultFun → () Source #
Flat DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods encode ∷ DefaultFun → Encoding Source # decode ∷ Get DefaultFun Source # size ∷ DefaultFun → NumBits → NumBits Source #
Eq DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods (==) ∷ DefaultFun → DefaultFun → Bool Source # (/=) ∷ DefaultFun → DefaultFun → Bool Source #
Ord DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods compare ∷ DefaultFun → DefaultFun → Ordering Source # (<) ∷ DefaultFun → DefaultFun → Bool Source # (<=) ∷ DefaultFun → DefaultFun → Bool Source # (>) ∷ DefaultFun → DefaultFun → Bool Source # (>=) ∷ DefaultFun → DefaultFun → Bool Source # max ∷ DefaultFun → DefaultFun → DefaultFun Source # min ∷ DefaultFun → DefaultFun → DefaultFun Source #
Hashable DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods hashWithSalt ∷ Int → DefaultFun → Int Source # hash ∷ DefaultFun → Int Source #
ExMemoryUsage DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods memoryUsage ∷ DefaultFun → CostRose Source #
Pretty DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods pretty ∷ DefaultFun → Doc ann Source # prettyList ∷ [DefaultFun] → Doc ann Source #
uni ~ DefaultUni ⇒ ToBuiltinMeaning uni DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Associated Types type CostingPart uni DefaultFun Source # data BuiltinSemanticsVariant DefaultFun Source # Methods toBuiltinMeaning ∷ HasMeaningIn uni val ⇒ BuiltinSemanticsVariant DefaultFun → DefaultFun → BuiltinMeaning val (CostingPart uni DefaultFun) Source #
PrettyBy PrettyConfigPlc DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods prettyBy ∷ PrettyConfigPlc → DefaultFun → Doc ann Source # prettyListBy ∷ PrettyConfigPlc → [DefaultFun] → Doc ann Source #
Bounded (BuiltinSemanticsVariant DefaultFun) Source #
Instance details Defined in PlutusCore.Default.Builtins Methods minBound ∷ BuiltinSemanticsVariant DefaultFun Source # maxBound ∷ BuiltinSemanticsVariant DefaultFun Source #
Enum (BuiltinSemanticsVariant DefaultFun) Source #
Instance details Defined in PlutusCore.Default.Builtins Methods succ ∷ BuiltinSemanticsVariant DefaultFun → BuiltinSemanticsVariant DefaultFun Source # pred ∷ BuiltinSemanticsVariant DefaultFun → BuiltinSemanticsVariant DefaultFun Source # toEnum ∷ Int → BuiltinSemanticsVariant DefaultFun Source # fromEnum ∷ BuiltinSemanticsVariant DefaultFun → Int Source # enumFrom ∷ BuiltinSemanticsVariant DefaultFun → [BuiltinSemanticsVariant DefaultFun] Source # enumFromThen ∷ BuiltinSemanticsVariant DefaultFun → BuiltinSemanticsVariant DefaultFun → [BuiltinSemanticsVariant DefaultFun] Source # enumFromTo ∷ BuiltinSemanticsVariant DefaultFun → BuiltinSemanticsVariant DefaultFun → [BuiltinSemanticsVariant DefaultFun] Source # enumFromThenTo ∷ BuiltinSemanticsVariant DefaultFun → BuiltinSemanticsVariant DefaultFun → BuiltinSemanticsVariant DefaultFun → [BuiltinSemanticsVariant DefaultFun] Source #
Generic (BuiltinSemanticsVariant DefaultFun) Source #
Instance details Defined in PlutusCore.Default.Builtins Associated Types type Rep (BuiltinSemanticsVariant DefaultFun) ∷ Type → Type Source # Methods from ∷ BuiltinSemanticsVariant DefaultFun → Rep (BuiltinSemanticsVariant DefaultFun) x Source # to ∷ Rep (BuiltinSemanticsVariant DefaultFun) x → BuiltinSemanticsVariant DefaultFun Source #
Show (BuiltinSemanticsVariant DefaultFun) Source #
Instance details Defined in PlutusCore.Default.Builtins Methods showsPrec ∷ Int → BuiltinSemanticsVariant DefaultFun → ShowS Source # show ∷ BuiltinSemanticsVariant DefaultFun → String Source # showList ∷ [BuiltinSemanticsVariant DefaultFun] → ShowS Source #
Default (BuiltinSemanticsVariant DefaultFun) Source #
Instance details Defined in PlutusCore.Default.Builtins Methods def ∷ BuiltinSemanticsVariant DefaultFun Source #
NFData (BuiltinSemanticsVariant DefaultFun) Source #
Instance details Defined in PlutusCore.Default.Builtins Methods rnf ∷ BuiltinSemanticsVariant DefaultFun → () Source #
Eq (BuiltinSemanticsVariant DefaultFun) Source #
Instance details Defined in PlutusCore.Default.Builtins Methods (==) ∷ BuiltinSemanticsVariant DefaultFun → BuiltinSemanticsVariant DefaultFun → Bool Source # (/=) ∷ BuiltinSemanticsVariant DefaultFun → BuiltinSemanticsVariant DefaultFun → Bool Source #
NoThunks (BuiltinSemanticsVariant DefaultFun) Source #
Instance details Defined in PlutusCore.Default.Builtins Methods noThunks ∷ Context → BuiltinSemanticsVariant DefaultFun → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BuiltinSemanticsVariant DefaultFun → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BuiltinSemanticsVariant DefaultFun) → String Source #
Pretty (BuiltinSemanticsVariant DefaultFun) Source #
Instance details Defined in PlutusCore.Default.Builtins Methods pretty ∷ BuiltinSemanticsVariant DefaultFun → Doc ann Source # prettyList ∷ [BuiltinSemanticsVariant DefaultFun] → Doc ann Source #
type Rep DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins type Rep DefaultFun = D1 ('MetaData "DefaultFun" "PlutusCore.Default.Builtins" "plutus-core-1.34.0.0-inplace" 'False) ((((((C1 ('MetaCons "AddInteger" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "SubtractInteger" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "MultiplyInteger" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "DivideInteger" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "QuotientInteger" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "RemainderInteger" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ModInteger" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "EqualsInteger" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "LessThanInteger" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "LessThanEqualsInteger" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "AppendByteString" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "ConsByteString" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "SliceByteString" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "LengthOfByteString" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "IndexByteString" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "EqualsByteString" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "LessThanByteString" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "LessThanEqualsByteString" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Sha2_256" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "Sha3_256" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Blake2b_256" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "VerifyEd25519Signature" 'PrefixI 'False) (U1 ∷ Type → Type)))))) :+: ((((C1 ('MetaCons "VerifyEcdsaSecp256k1Signature" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "VerifySchnorrSecp256k1Signature" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "AppendString" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "EqualsString" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "EncodeUtf8" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "DecodeUtf8" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "IfThenElse" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ChooseUnit" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "Trace" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "FstPair" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "SndPair" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "ChooseList" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MkCons" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "HeadList" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "TailList" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "NullList" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "ChooseData" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ConstrData" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MapData" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "ListData" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "IData" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "BData" 'PrefixI 'False) (U1 ∷ Type → Type))))))) :+: (((((C1 ('MetaCons "UnConstrData" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "UnMapData" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "UnListData" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "UnIData" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "UnBData" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "EqualsData" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "SerialiseData" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MkPairData" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "MkNilData" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "MkNilPairData" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_G1_add" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "Bls12_381_G1_neg" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_G1_scalarMul" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "Bls12_381_G1_equal" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Bls12_381_G1_hashToGroup" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_G1_compress" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "Bls12_381_G1_uncompress" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Bls12_381_G2_add" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_G2_neg" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "Bls12_381_G2_scalarMul" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Bls12_381_G2_equal" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_G2_hashToGroup" 'PrefixI 'False) (U1 ∷ Type → Type)))))) :+: ((((C1 ('MetaCons "Bls12_381_G2_compress" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_G2_uncompress" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "Bls12_381_millerLoop" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Bls12_381_mulMlResult" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bls12_381_finalVerify" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "Keccak_256" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Blake2b_224" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "IntegerToByteString" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "ByteStringToInteger" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "AndByteString" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "OrByteString" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "XorByteString" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ComplementByteString" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "ReadBit" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "WriteBits" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ReplicateByte" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "ShiftByteString" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "RotateByteString" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CountSetBits" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "FindFirstSetBit" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Ripemd_160" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ExpModInteger" 'PrefixI 'False) (U1 ∷ Type → Type))))))))
data BuiltinSemanticsVariant DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins data BuiltinSemanticsVariant DefaultFun = DefaultFunSemanticsVariantA \| DefaultFunSemanticsVariantB \| DefaultFunSemanticsVariantC
type CostingPart uni DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins type CostingPart uni DefaultFun = BuiltinCostModel
type Rep (BuiltinSemanticsVariant DefaultFun) Source #
Instance details Defined in PlutusCore.Default.Builtins type Rep (BuiltinSemanticsVariant DefaultFun) = D1 ('MetaData "BuiltinSemanticsVariant" "PlutusCore.Default.Builtins" "plutus-core-1.34.0.0-inplace" 'False) (C1 ('MetaCons "DefaultFunSemanticsVariantA" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "DefaultFunSemanticsVariantB" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "DefaultFunSemanticsVariantC" 'PrefixI 'False) (U1 ∷ Type → Type)))

nonZeroSecondArg ∷ (Integer → Integer → Integer) → Integer → Integer → BuiltinResult Integer Source #

Turn a function into another function that fails when its second argument is 0 or calls the original function otherwise and wraps the result in pure. Useful for correctly handling div, mod, etc.

eitherToBuiltinResult ∷ Show e ⇒ Either e r → BuiltinResult r Source #

Turn a function returning Either into another function that fails in the Left case and wraps the result in pure in the Right case.

builtinTagWidth ∷ NumBits Source #

Using 7 bits to encode builtin tags.

encodeBuiltin ∷ Word8 → Encoding Source #

decodeBuiltin ∷ Get Word8 Source #