Moduleplutus-core-1.70.0.0
PlutusCore.Default.Builtins
Synopsis
- value builtinTagWidth
- value decodeBuiltin
- value eitherToBuiltinResult
- value encodeBuiltin
- value ensurable
- value nonZeroSecondArg
- family BuiltinSemanticsVariant
- constructor DefaultFunSemanticsVariantA
- constructor DefaultFunSemanticsVariantB
- constructor DefaultFunSemanticsVariantC
- constructor DefaultFunSemanticsVariantD
- constructor DefaultFunSemanticsVariantE
- data DefaultFun
- Packageplutus-core-1.70.0.0
- Exports13
- LicenceApache-2.0
Instances21Bounded, Enum, Eq, Ord, Show, Generic, …
Bounded (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsBounded (BuiltinSemanticsVariant ExtensionFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsEnum (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsEnum (BuiltinSemanticsVariant ExtensionFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsEq (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsEq (BuiltinSemanticsVariant ExtensionFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsOrd (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsOrd (BuiltinSemanticsVariant ExtensionFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsShow (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsShow (BuiltinSemanticsVariant ExtensionFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsGeneric (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsNFData (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsPretty (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsDefault (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsDefault (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 · orphanNoThunks (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtinstype Rep (BuiltinSemanticsVariant DefaultFun) = D1 ('MetaDataDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins"BuiltinSemanticsVariant"
"PlutusCore.Default.Builtins"
"plutus-core-1.70.0.0-Fm0UMMu3hPx1PFomOkuIYM"
'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)))data BuiltinSemanticsVariant DefaultFunDefaultFunSemanticsVariantADefaultFunSemanticsVariantBDefaultFunSemanticsVariantCDefaultFunSemanticsVariantDDefaultFunSemanticsVariantE
data BuiltinSemanticsVariant ExtensionFunExtensionFunSemanticsVariant0ExtensionFunSemanticsVariant1ExtensionFunSemanticsVariant2ExtensionFunSemanticsVariant3ExtensionFunSemanticsVariant4
data BuiltinSemanticsVariant (Either fun1 fun2)PairV (BuiltinSemanticsVariant fun1) (BuiltinSemanticsVariant fun2)
AddIntegerSubtractIntegerMultiplyIntegerDivideIntegerQuotientIntegerRemainderIntegerModIntegerEqualsIntegerLessThanIntegerLessThanEqualsIntegerAppendByteStringConsByteStringSliceByteStringLengthOfByteStringIndexByteStringEqualsByteStringLessThanByteStringLessThanEqualsByteStringSha2_256Sha3_256Blake2b_256VerifyEd25519SignatureVerifyEcdsaSecp256k1SignatureVerifySchnorrSecp256k1SignatureAppendStringEqualsStringEncodeUtf8DecodeUtf8IfThenElseChooseUnitTraceFstPairSndPairChooseListMkConsHeadListTailListNullListChooseDataConstrDataMapDataListDataIDataBDataUnConstrDataUnMapDataUnListDataUnIDataUnBDataEqualsDataSerialiseDataMkPairDataMkNilDataMkNilPairDataBls12_381_G1_addBls12_381_G1_negBls12_381_G1_scalarMulBls12_381_G1_equalBls12_381_G1_hashToGroupBls12_381_G1_compressBls12_381_G1_uncompressBls12_381_G2_addBls12_381_G2_negBls12_381_G2_scalarMulBls12_381_G2_equalBls12_381_G2_hashToGroupBls12_381_G2_compressBls12_381_G2_uncompressBls12_381_millerLoopBls12_381_mulMlResultBls12_381_finalVerifyKeccak_256Blake2b_224IntegerToByteStringByteStringToIntegerAndByteStringOrByteStringXorByteStringComplementByteStringReadBitWriteBitsReplicateByteShiftByteStringRotateByteStringCountSetBitsFindFirstSetBitRipemd_160ExpModIntegerDropListLengthOfArrayListToArrayIndexArrayBls12_381_G1_multiScalarMulBls12_381_G2_multiScalarMulInsertCoinLookupCoinUnionValueValueContainsValueDataUnValueDataScaleValueMultiIndexArrayPoliciesAssetCountKeepPoliciesDropPolicies
Instances29Ix, Hashable, Flat, ExMemoryUsage, PrettyBy, ToBuiltinMeaning, …
Bounded DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsEnum DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsEq DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsOrd DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsShow DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsIx DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsGeneric DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsNFData DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsPretty DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsHashable DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsFlat DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsExMemoryUsage DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsPrettyBy PrettyConfigPlc DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtinsuni ~ DefaultUni => ToBuiltinMeaning uni DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsBounded (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsEnum (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsEq (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsOrd (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsShow (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsGeneric (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsNFData (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsPretty (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsDefault (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsNoThunks (BuiltinSemanticsVariant DefaultFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsDefault (BuiltinsInfo DefaultUni DefaultFun)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Analysis.Builtinstype Rep DefaultFun = D1 ('MetaDataDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins"DefaultFun"
"PlutusCore.Default.Builtins"
"plutus-core-1.70.0.0-Fm0UMMu3hPx1PFomOkuIYM"
'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)))))))type Rep (BuiltinSemanticsVariant DefaultFun) = D1 ('MetaDataDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins"BuiltinSemanticsVariant"
"PlutusCore.Default.Builtins"
"plutus-core-1.70.0.0-Fm0UMMu3hPx1PFomOkuIYM"
'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)))data BuiltinSemanticsVariant DefaultFunDefaultFunSemanticsVariantADefaultFunSemanticsVariantBDefaultFunSemanticsVariantCDefaultFunSemanticsVariantDDefaultFunSemanticsVariantE
type CostingPart uni DefaultFun = BuiltinCostModelDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins