Moduleplutus-core-1.70.0.0

PlutusCore.Default.Builtins

1 type
6 values

Packageplutus-core-1.70.0.0
Exports13
LicenceApache-2.0

valuebuiltinTagWidth :: NumBits

valuedecodeBuiltin :: Get Word8

valueeitherToBuiltinResult :: Show e => Either e r -> BuiltinResult r

valueencodeBuiltin :: Word8 -> Encoding

valueensurable :: BuiltinSemanticsVariant DefaultFun -> Bool

valuenonZeroSecondArg

familydata family BuiltinSemanticsVariant fun

Instances21Bounded, Enum, Eq, Ord, Show, Generic, …

Bounded (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Bounded (BuiltinSemanticsVariant ExtensionFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
Enum (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Enum (BuiltinSemanticsVariant ExtensionFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
Eq (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Eq (BuiltinSemanticsVariant ExtensionFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
Ord (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Ord (BuiltinSemanticsVariant ExtensionFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
Show (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Show (BuiltinSemanticsVariant ExtensionFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
Generic (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
NFData (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Pretty (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Default (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Default (BuiltinSemanticsVariant ExtensionFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
(Default (BuiltinSemanticsVariant fun1), Default (BuiltinSemanticsVariant fun2)) => Default (BuiltinSemanticsVariant (Either fun1 fun2))Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins · orphan
NoThunks (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
type Rep (BuiltinSemanticsVariant DefaultFun) = D1 ('MetaData "BuiltinSemanticsVariant" "PlutusCore.Default.Builtins" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) ((C1 ('MetaCons "DefaultFunSemanticsVariantA" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DefaultFunSemanticsVariantB" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "DefaultFunSemanticsVariantC" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "DefaultFunSemanticsVariantD" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DefaultFunSemanticsVariantE" 'PrefixI 'False) U1)))Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
data BuiltinSemanticsVariant DefaultFun
- DefaultFunSemanticsVariantA
- DefaultFunSemanticsVariantB
- DefaultFunSemanticsVariantC
- DefaultFunSemanticsVariantD
- DefaultFunSemanticsVariantE
Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
data BuiltinSemanticsVariant ExtensionFun
- ExtensionFunSemanticsVariant0
- ExtensionFunSemanticsVariant1
- ExtensionFunSemanticsVariant2
- ExtensionFunSemanticsVariant3
- ExtensionFunSemanticsVariant4
Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
data BuiltinSemanticsVariant (Either fun1 fun2)
- PairV (BuiltinSemanticsVariant fun1) (BuiltinSemanticsVariant fun2)
Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins · orphan

constructorDefaultFunSemanticsVariantA

constructorDefaultFunSemanticsVariantB

constructorDefaultFunSemanticsVariantC

constructorDefaultFunSemanticsVariantD

constructorDefaultFunSemanticsVariantE

datadata 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 DropList LengthOfArray ListToArray IndexArray Bls12_381_G1_multiScalarMul Bls12_381_G2_multiScalarMul InsertCoin LookupCoin UnionValue ValueContains ValueData UnValueData ScaleValue MultiIndexArray Policies AssetCount KeepPolicies DropPolicies

Instances29Ix, Hashable, Flat, ExMemoryUsage, PrettyBy, ToBuiltinMeaning, …

Bounded DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Enum DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Eq DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Ord DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Show DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Ix DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Generic DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
NFData DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Pretty DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Hashable DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Flat DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
ExMemoryUsage DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
PrettyBy PrettyConfigPlc DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
uni ~ DefaultUni => ToBuiltinMeaning uni DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Bounded (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Enum (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Eq (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Ord (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Show (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Generic (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
NFData (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Pretty (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Default (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
NoThunks (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Default (BuiltinsInfo DefaultUni DefaultFun)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Analysis.Builtins
type Rep DefaultFun = D1 ('MetaData "DefaultFun" "PlutusCore.Default.Builtins" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) ((((((C1 ('MetaCons "AddInteger" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "SubtractInteger" 'PrefixI 'False) U1 :+: C1 ('MetaCons "MultiplyInteger" 'PrefixI 'False) U1)) :+: (C1 ('MetaCons "DivideInteger" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "QuotientInteger" 'PrefixI 'False) U1 :+: C1 ('MetaCons "RemainderInteger" 'PrefixI 'False) U1))) :+: ((C1 ('MetaCons "ModInteger" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "EqualsInteger" 'PrefixI 'False) U1 :+: C1 ('MetaCons "LessThanInteger" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "LessThanEqualsInteger" 'PrefixI 'False) U1 :+: C1 ('MetaCons "AppendByteString" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "ConsByteString" 'PrefixI 'False) U1 :+: C1 ('MetaCons "SliceByteString" 'PrefixI 'False) U1)))) :+: (((C1 ('MetaCons "LengthOfByteString" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "IndexByteString" 'PrefixI 'False) U1 :+: C1 ('MetaCons "EqualsByteString" 'PrefixI 'False) U1)) :+: (C1 ('MetaCons "LessThanByteString" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "LessThanEqualsByteString" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Sha2_256" 'PrefixI 'False) U1))) :+: ((C1 ('MetaCons "Sha3_256" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "Blake2b_256" 'PrefixI 'False) U1 :+: C1 ('MetaCons "VerifyEd25519Signature" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "VerifyEcdsaSecp256k1Signature" 'PrefixI 'False) U1 :+: C1 ('MetaCons "VerifySchnorrSecp256k1Signature" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "AppendString" 'PrefixI 'False) U1 :+: C1 ('MetaCons "EqualsString" 'PrefixI 'False) U1))))) :+: ((((C1 ('MetaCons "EncodeUtf8" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "DecodeUtf8" 'PrefixI 'False) U1 :+: C1 ('MetaCons "IfThenElse" 'PrefixI 'False) U1)) :+: (C1 ('MetaCons "ChooseUnit" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "Trace" 'PrefixI 'False) U1 :+: C1 ('MetaCons "FstPair" 'PrefixI 'False) U1))) :+: ((C1 ('MetaCons "SndPair" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "ChooseList" 'PrefixI 'False) U1 :+: C1 ('MetaCons "MkCons" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "HeadList" 'PrefixI 'False) U1 :+: C1 ('MetaCons "TailList" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "NullList" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ChooseData" 'PrefixI 'False) U1)))) :+: (((C1 ('MetaCons "ConstrData" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "MapData" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ListData" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "IData" 'PrefixI 'False) U1 :+: C1 ('MetaCons "BData" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "UnConstrData" 'PrefixI 'False) U1 :+: C1 ('MetaCons "UnMapData" 'PrefixI 'False) U1))) :+: ((C1 ('MetaCons "UnListData" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "UnIData" 'PrefixI 'False) U1 :+: C1 ('MetaCons "UnBData" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "EqualsData" 'PrefixI 'False) U1 :+: C1 ('MetaCons "SerialiseData" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "MkPairData" 'PrefixI 'False) U1 :+: C1 ('MetaCons "MkNilData" 'PrefixI 'False) U1)))))) :+: (((((C1 ('MetaCons "MkNilPairData" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "Bls12_381_G1_add" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Bls12_381_G1_neg" 'PrefixI 'False) U1)) :+: (C1 ('MetaCons "Bls12_381_G1_scalarMul" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "Bls12_381_G1_equal" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Bls12_381_G1_hashToGroup" 'PrefixI 'False) U1))) :+: ((C1 ('MetaCons "Bls12_381_G1_compress" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "Bls12_381_G1_uncompress" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Bls12_381_G2_add" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "Bls12_381_G2_neg" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Bls12_381_G2_scalarMul" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "Bls12_381_G2_equal" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Bls12_381_G2_hashToGroup" 'PrefixI 'False) U1)))) :+: (((C1 ('MetaCons "Bls12_381_G2_compress" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "Bls12_381_G2_uncompress" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Bls12_381_millerLoop" 'PrefixI 'False) U1)) :+: (C1 ('MetaCons "Bls12_381_mulMlResult" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "Bls12_381_finalVerify" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Keccak_256" 'PrefixI 'False) U1))) :+: ((C1 ('MetaCons "Blake2b_224" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "IntegerToByteString" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ByteStringToInteger" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "AndByteString" 'PrefixI 'False) U1 :+: C1 ('MetaCons "OrByteString" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "XorByteString" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ComplementByteString" 'PrefixI 'False) U1))))) :+: ((((C1 ('MetaCons "ReadBit" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "WriteBits" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ReplicateByte" 'PrefixI 'False) U1)) :+: (C1 ('MetaCons "ShiftByteString" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "RotateByteString" 'PrefixI 'False) U1 :+: C1 ('MetaCons "CountSetBits" 'PrefixI 'False) U1))) :+: ((C1 ('MetaCons "FindFirstSetBit" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "Ripemd_160" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ExpModInteger" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "DropList" 'PrefixI 'False) U1 :+: C1 ('MetaCons "LengthOfArray" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "ListToArray" 'PrefixI 'False) U1 :+: C1 ('MetaCons "IndexArray" 'PrefixI 'False) U1)))) :+: (((C1 ('MetaCons "Bls12_381_G1_multiScalarMul" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "Bls12_381_G2_multiScalarMul" 'PrefixI 'False) U1 :+: C1 ('MetaCons "InsertCoin" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "LookupCoin" 'PrefixI 'False) U1 :+: C1 ('MetaCons "UnionValue" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "ValueContains" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ValueData" 'PrefixI 'False) U1))) :+: ((C1 ('MetaCons "UnValueData" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "ScaleValue" 'PrefixI 'False) U1 :+: C1 ('MetaCons "MultiIndexArray" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "Policies" 'PrefixI 'False) U1 :+: C1 ('MetaCons "AssetCount" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "KeepPolicies" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DropPolicies" 'PrefixI 'False) U1)))))))Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
type Rep (BuiltinSemanticsVariant DefaultFun) = D1 ('MetaData "BuiltinSemanticsVariant" "PlutusCore.Default.Builtins" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) ((C1 ('MetaCons "DefaultFunSemanticsVariantA" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DefaultFunSemanticsVariantB" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "DefaultFunSemanticsVariantC" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "DefaultFunSemanticsVariantD" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DefaultFunSemanticsVariantE" 'PrefixI 'False) U1)))Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
data BuiltinSemanticsVariant DefaultFun
- DefaultFunSemanticsVariantA
- DefaultFunSemanticsVariantB
- DefaultFunSemanticsVariantC
- DefaultFunSemanticsVariantD
- DefaultFunSemanticsVariantE
Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
type CostingPart uni DefaultFun = BuiltinCostModelDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins