Moduleplutus-core-1.70.0.0
PlutusCore.Examples.Builtins
- 4 types
- 1 class
- 1 value
- 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-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)))data BuiltinSemanticsVariant DefaultFunDefaultFunSemanticsVariantADefaultFunSemanticsVariantBDefaultFunSemanticsVariantCDefaultFunSemanticsVariantDDefaultFunSemanticsVariantE
data BuiltinSemanticsVariant ExtensionFunExtensionFunSemanticsVariant0ExtensionFunSemanticsVariant1ExtensionFunSemanticsVariant2ExtensionFunSemanticsVariant3ExtensionFunSemanticsVariant4
data BuiltinSemanticsVariant (Either fun1 fun2)PairV (BuiltinSemanticsVariant fun1) (BuiltinSemanticsVariant fun2)
Instances3Eq, Show, Exception
Eq BuiltinErrorCallDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsShow BuiltinErrorCallDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsException BuiltinErrorCallDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
FactorialForallFortyTwoSumIntegerConstIdIdAssumeBoolIdAssumeCheckBoolIdSomeConstantBoolIdIntegerAsBoolIdFIntegerIdListIdRank2ScottToMetaUnitFailingSuccExpensiveSuccFailingPlusExpensivePlusIsConstantUnsafeCoerceUnsafeCoerceElUndefinedAbsurdErrorPrimeCommaBiconstPairSwapSwapElsExtensionVersionTrackCostsIntNoIntegerNoWord
Instances19Ix, Generic, Pretty, Hashable, ToBuiltinMeaning, Bounded, …
Bounded ExtensionFunDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsEnum ExtensionFunDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsEq ExtensionFunDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsOrd ExtensionFunDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsShow ExtensionFunDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsIx ExtensionFunDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsGeneric ExtensionFunDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsPretty ExtensionFunDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsHashable ExtensionFunDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtinsuni ~ DefaultUni => ToBuiltinMeaning uni ExtensionFunDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsBounded (BuiltinSemanticsVariant ExtensionFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsEnum (BuiltinSemanticsVariant ExtensionFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsEq (BuiltinSemanticsVariant ExtensionFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsOrd (BuiltinSemanticsVariant ExtensionFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsShow (BuiltinSemanticsVariant ExtensionFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsDefault (BuiltinSemanticsVariant ExtensionFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtinstype Rep ExtensionFun = D1 ('MetaDataDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins"ExtensionFun"
"PlutusCore.Examples.Builtins"
"plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt"
'False) ((((C1 ('MetaCons"Factorial"
'PrefixI 'False) U1 :+: (C1 ('MetaCons"ForallFortyTwo"
'PrefixI 'False) U1 :+: C1 ('MetaCons"SumInteger"
'PrefixI 'False) U1)) :+: ((C1 ('MetaCons"Const"
'PrefixI 'False) U1 :+: C1 ('MetaCons"Id"
'PrefixI 'False) U1) :+: (C1 ('MetaCons"IdAssumeBool"
'PrefixI 'False) U1 :+: C1 ('MetaCons"IdAssumeCheckBool"
'PrefixI 'False) U1))) :+: (((C1 ('MetaCons"IdSomeConstantBool"
'PrefixI 'False) U1 :+: C1 ('MetaCons"IdIntegerAsBool"
'PrefixI 'False) U1) :+: (C1 ('MetaCons"IdFInteger"
'PrefixI 'False) U1 :+: C1 ('MetaCons"IdList"
'PrefixI 'False) U1)) :+: ((C1 ('MetaCons"IdRank2"
'PrefixI 'False) U1 :+: C1 ('MetaCons"ScottToMetaUnit"
'PrefixI 'False) U1) :+: (C1 ('MetaCons"FailingSucc"
'PrefixI 'False) U1 :+: C1 ('MetaCons"ExpensiveSucc"
'PrefixI 'False) U1)))) :+: (((C1 ('MetaCons"FailingPlus"
'PrefixI 'False) U1 :+: (C1 ('MetaCons"ExpensivePlus"
'PrefixI 'False) U1 :+: C1 ('MetaCons"IsConstant"
'PrefixI 'False) U1)) :+: ((C1 ('MetaCons"UnsafeCoerce"
'PrefixI 'False) U1 :+: C1 ('MetaCons"UnsafeCoerceEl"
'PrefixI 'False) U1) :+: (C1 ('MetaCons"Undefined"
'PrefixI 'False) U1 :+: C1 ('MetaCons"Absurd"
'PrefixI 'False) U1))) :+: (((C1 ('MetaCons"ErrorPrime"
'PrefixI 'False) U1 :+: C1 ('MetaCons"Comma"
'PrefixI 'False) U1) :+: (C1 ('MetaCons"BiconstPair"
'PrefixI 'False) U1 :+: C1 ('MetaCons"Swap"
'PrefixI 'False) U1)) :+: ((C1 ('MetaCons"SwapEls"
'PrefixI 'False) U1 :+: C1 ('MetaCons"ExtensionVersion"
'PrefixI 'False) U1) :+: (C1 ('MetaCons"TrackCosts"
'PrefixI 'False) U1 :+: C1 ('MetaCons"IntNoIntegerNoWord"
'PrefixI 'False) U1)))))data BuiltinSemanticsVariant ExtensionFunExtensionFunSemanticsVariant0ExtensionFunSemanticsVariant1ExtensionFunSemanticsVariant2ExtensionFunSemanticsVariant3ExtensionFunSemanticsVariant4
type CostingPart uni ExtensionFun = ()Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
Constructors
Instances5KnownTypeAst, MakeKnownIn, IsBuiltin, ToBinds, ToHoles
(name ~ 'TyNameRep text uniq, KnownSymbol text, KnownNat uniq, KnownKind kind, KnownTypeAst tyname uni a) => KnownTypeAst tyname uni (MetaForall name a)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsMakeKnownIn DefaultUni term a => MakeKnownIn DefaultUni term (MetaForall name a)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtinstype IsBuiltin uni (MetaForall name a) = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtinstype ToBinds uni acc (MetaForall name a) = ToBinds uni (Insert ('Some name) acc) aDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtinstype ToHoles uni _1 (MetaForall name a) = '[TypeHole a]Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
Instances4KnownTypeAst, IsBuiltin, ToBinds, ToHoles
(tyname ~ TyName, KnownTypeAst tyname uni a) => KnownTypeAst tyname uni (PlcListRep a)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtinstype IsBuiltin uni (PlcListRep a) = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtinstype ToBinds uni acc (PlcListRep a) = ToBinds uni acc aDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtinstype ToHoles uni _1 (PlcListRep a) = '[RepHole a]Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
Methods
whatever :: a
Instances2Whatever
Whatever ExBudgetStreamDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.BuiltinsWhatever b => Whatever (a -> b)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
Orphan instances
8 instancesUniOf term ~ DefaultUni => MakeKnownIn DefaultUni term VoidUniOf term ~ DefaultUni => ReadKnownIn DefaultUni term Voidtyname ~ TyName => KnownTypeAst tyname DefaultUni Void(ToBuiltinMeaning uni fun1, ToBuiltinMeaning uni fun2, Default (BuiltinSemanticsVariant fun1), Default (BuiltinSemanticsVariant fun2)) => ToBuiltinMeaning uni (Either fun1 fun2)(Default (BuiltinSemanticsVariant fun1), Default (BuiltinSemanticsVariant fun2)) => Default (BuiltinSemanticsVariant (Either fun1 fun2))(Bounded a, Bounded b) => Bounded (Either a b)(Eq a, Eq b, Bounded a, Bounded b, Enum a, Enum b) => Enum (Either a b)(Bounded a, Bounded b, Ix a, Ix b) => Ix (Either a b)