Moduleplutus-core-1.70.0.0

PlutusCore.Builtin

30 types
16 classes
31 values

Packageplutus-core-1.70.0.0
Exports97
LicenceApache-2.0
SourceLens.hs

valuethrowing :: MonadError e m => AReview e t -> t -> m x

Throw an exception described by a Prism.

throwing l ≡ reviews l throwError

throwing :: MonadError e m => Prism' e t -> t -> m a
throwing :: MonadError e m => Iso' e t   -> t -> m a

valuethrowing_ :: MonadError e m => AReview e () -> m x

Similar to throwing but specialised for the common case of error constructors with no arguments.

data MyError = Foo | Bar
makePrisms ''MyError
throwing_ _Foo :: MonadError MyError m => m a

valueunavailableCaserBuiltin :: Int -> CaserBuiltin uni

valuefromValue :: (HasConstant term, HasTermLevel (UniOf term) a) => a -> term

valuefromValueOf :: HasConstant term => UniOf term (Esc a) -> a -> term

valuebringKnownKind :: SingKind k -> (KnownKind k => r) -> r

valuedemoteKind :: SingKind k -> Kind ()

valuekindOfBuiltinType :: ToKind uni => uni (Esc a) -> Kind ()

valuewithKnownKind :: Kind ann -> (forall k. KnownKind k => Proxy k -> r) -> r

valuewithSingKind :: Kind ann -> (forall k. SingKind k -> r) -> r

valueheadSpine :: a -> [b] -> HeadSpine err a b

valuemakeKnownOrFail :: MakeKnownIn uni val a => a -> EvaluationResult val

valuereadKnownConstant :: KnownBuiltinType val a => val -> ReadKnownM a

valuereadKnownSelf

:: (ReadKnown val a, BuiltinErrorToEvaluationError structural operational)
=> val
-> Either (ErrorWithCause (EvaluationError structural operational) val) a

valuemkTyBuiltin :: HasTypeLevel uni x => ann -> Type tyname uni ann

valuetoTypeAst :: KnownTypeAst tyname uni x => proxy x -> Type tyname uni ()

valuetoBuiltinRuntime :: cost -> BuiltinMeaning val cost -> BuiltinRuntime val

valuetoBuiltinsRuntime

:: (cost ~ CostingPart uni fun, ToBuiltinMeaning uni fun, HasMeaningIn uni val)
=> BuiltinSemanticsVariant fun
-> cost
-> BuiltinsRuntime fun val

valuetypeOfBuiltinFunction

:: ToBuiltinMeaning uni fun
=> BuiltinSemanticsVariant fun
-> fun
-> Type TyName uni ()

valuewithTypeSchemeOfBuiltinFunction

:: (ToBuiltinMeaning (UniOf val) fun, ExMemoryUsage val, Typeable val, HasConstant val)
=> BuiltinSemanticsVariant fun
-> fun
-> forall (args :: [Type]) res. TypeScheme val args res -> r
-> r

valuebuiltinResultFailure :: BuiltinResult a

valueemit :: Text -> BuiltinResult ()

valuenotAConstant :: BuiltinError

valueoperationalUnliftingError :: Text -> BuiltinError

valuestructuralUnliftingError :: Text -> BuiltinError

valueunderTypeError :: BuiltinError

valuewithLogs :: DList Text -> BuiltinResult a -> BuiltinResult a

valuebuiltinRuntimeFailure :: BuiltinError -> BuiltinRuntime val

valuelookupBuiltin :: fun -> BuiltinsRuntime fun val -> BuiltinRuntime val

valueargProxy :: TypeScheme val (arg ': args) res -> Proxy arg

valuetypeSchemeToType :: TypeScheme val args res -> Type TyName (UniOf val) ()

classclass Typeable (a :: k) where

The class Typeable allows a concrete representation of a type to be calculated.

Instances1HasDict

HasDict (Typeable k, Typeable a) (TypeRep a)Defined in constraints-0.14.4 · Data.Constraint

classclass AnnotateCaseBuiltin (uni :: Type -> Type) where

Methods

annotateCaseBuiltin :: UniOf term ~ uni => Type TyName uni ann -> [term] -> Either Text [(term, [Type TyName uni ann])]

Instances1AnnotateCaseBuiltin

AnnotateCaseBuiltin DefaultUniDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe

classclass CaseBuiltin (uni :: Type -> Type) where

Methods

caseBuiltin :: UniOf term ~ uni => Some (ValueOf uni) -> Vector term -> HeadSpine Text term (Some (ValueOf uni))

Instances1CaseBuiltin

CaseBuiltin DefaultUniDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe

datadata CaserBuiltin (uni :: Type -> Type)

Constructors

CaserBuiltin
- unCaserBuiltin :: !forall term. UniOf term ~ uni => Some (ValueOf uni) -> Vector term -> HeadSpine Text term (Some (ValueOf uni))

Instances3NFData, Default, NoThunks

NFData (CaserBuiltin uni)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Case
CaseBuiltin uni => Default (CaserBuiltin uni)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Case
NoThunks (CaserBuiltin uni)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Case

classclass HasConstant term where

Methods

asConstant :: term -> Either BuiltinError (Some (ValueOf (UniOf term)))
fromConstant :: Some (ValueOf (UniOf term)) -> term

Instances6HasConstant

HasConstant (SomeConstant uni rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
HasConstant (CkValue uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.Ck
HasConstant val => HasConstant (Opaque val rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
HasConstant (CekValue uni fun ann)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Evaluation.Machine.Cek.Internal
HasConstant (Term name uni fun ())Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Type
HasConstant (Term TyName Name uni fun ())Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.HasConstant

typetype HasConstantIn (uni :: Type -> Type) term = (UniOf term ~ uni, HasConstant term)

classclass KnownKind k where

Methods

knownKind :: SingKind k

Instances2KnownKind

rep ~ LiftedRep => KnownKind (TYPE rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownKind
(KnownKind dom, KnownKind cod) => KnownKind (dom -> cod)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownKind

datadata SingKind k where

Constructors

SingType :: SingKind (TYPE LiftedRep)
SingKindArrow :: SingKind k1 -> SingKind l -> SingKind (k1 -> l)infixr 5

classclass ToKind (uni :: Type -> Type) where

Methods

toSingKind :: uni (Esc a) -> SingKind k

Instances1ToKind

ToKind DefaultUniDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe

classclass GEqL (f :: Type -> Type) a where

Methods

geqL :: f (Esc a) -> f (Esc b) -> EvaluationResult (a :~: b)

Instances2GEqL

AllBuiltinArgs DefaultUni (GEqL DefaultUni) a => GEqL DefaultUni aDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
GEqL uni a => GEqL (LoopBreaker uni) aDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType

datadata HeadSpine err a b

Constructors

HeadOnly a
HeadSpine a (Spine b)
HeadError ~err

Instances7PrettyBy, DefaultPrettyBy, Bifunctor, Functor, Eq, Show, …

PrettyDefaultBy config (HeadSpine err a b) => PrettyBy config (HeadSpine err a b)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
(PrettyBy config err, PrettyBy config a, PrettyBy config (Spine b)) => DefaultPrettyBy config (HeadSpine err a b)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
Bifunctor (HeadSpine err)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
Functor (HeadSpine err a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
(Eq a, Eq b, Eq err) => Eq (HeadSpine err a b)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
(Show a, Show b, Show err) => Show (HeadSpine err a b)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
(Pretty err, Pretty a, Pretty b) => Pretty (HeadSpine err a b)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType

typetype KnownBuiltinType val a = KnownBuiltinTypeIn (UniOf val) val a

type

type KnownBuiltinTypeIn (uni :: Type -> Type) val a = (HasConstantIn uni val, PrettyParens (SomeTypeIn uni), GEqL uni a, HasTermLevel uni a)

newtypenewtype LoopBreaker (uni :: Type -> Type) a

Constructors

LoopBreaker (uni a)

Instances1GEqL

GEqL uni a => GEqL (LoopBreaker uni) aDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType

typetype MakeKnown val = MakeKnownIn (UniOf val) val

classclass uni ~ UniOf val => MakeKnownIn (uni :: Type -> Type) val a where

Methods

makeKnown :: a -> BuiltinResult val

Instances39MakeKnownIn, …

KnownBuiltinTypeIn DefaultUni term ByteString => MakeKnownIn DefaultUni term ByteStringDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term ByteString => MakeKnownIn DefaultUni term CByteStringDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term IntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term NaturalDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Int16Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Int32Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Int64Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Int8Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term IntDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term WordDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Word16Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Word32Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Word64Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Word8Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term CIntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term IntegerCostedLiterallyDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term NumBytesCostedAsNumWordsDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Bool => MakeKnownIn DefaultUni term BoolDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Element => MakeKnownIn DefaultUni term ElementDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Element => MakeKnownIn DefaultUni term ElementDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term MlResult => MakeKnownIn DefaultUni term MlResultDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Data => MakeKnownIn DefaultUni term DataDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Value => MakeKnownIn DefaultUni term DataNodeCountDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Value => MakeKnownIn DefaultUni term ValueMaxDepthDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Value => MakeKnownIn DefaultUni term ValueOuterSizeDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Value => MakeKnownIn DefaultUni term ValueTotalSizeDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Value => MakeKnownIn DefaultUni term ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Text => MakeKnownIn DefaultUni term TextCostedByByteLengthDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Text => MakeKnownIn DefaultUni term TextDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term () => MakeKnownIn DefaultUni term ()Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
UniOf term ~ DefaultUni => MakeKnownIn DefaultUni term VoidDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins · orphan
KnownBuiltinTypeIn DefaultUni term (Vector a) => MakeKnownIn DefaultUni term (Vector a)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term [a] => MakeKnownIn DefaultUni term [a]Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
MakeKnownIn uni val a => MakeKnownIn uni val (BuiltinResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
(TypeError ('Text "Use \8216BuiltinResult\8217 instead of \8216EvaluationResult\8217"), uni ~ UniOf val) => MakeKnownIn uni val (EvaluationResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
HasConstantIn uni val => MakeKnownIn uni val (SomeConstant uni rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
KnownBuiltinTypeIn DefaultUni term (a, b) => MakeKnownIn DefaultUni term (a, b)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
uni ~ UniOf val => MakeKnownIn uni val (Opaque val rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
MakeKnownIn DefaultUni term a => MakeKnownIn DefaultUni term (MetaForall name a)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins

typetype MonoHeadSpine err a = HeadSpine err a a

typetype ReadKnown val = ReadKnownIn (UniOf val) val

classclass uni ~ UniOf val => ReadKnownIn (uni :: Type -> Type) val a where

Methods

readKnown :: val -> ReadKnownM a

Instances38ReadKnownIn, …

KnownBuiltinTypeIn DefaultUni term ByteString => ReadKnownIn DefaultUni term ByteStringDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term ByteString => ReadKnownIn DefaultUni term CByteStringDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term IntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term NaturalDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Int16Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Int32Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Int64Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Int8Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term IntDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term WordDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Word16Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Word32Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Word64Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Word8Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term CIntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term IntegerCostedLiterallyDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term NumBytesCostedAsNumWordsDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Bool => ReadKnownIn DefaultUni term BoolDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Element => ReadKnownIn DefaultUni term ElementDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Element => ReadKnownIn DefaultUni term ElementDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term MlResult => ReadKnownIn DefaultUni term MlResultDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Data => ReadKnownIn DefaultUni term DataDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Value => ReadKnownIn DefaultUni term DataNodeCountDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Value => ReadKnownIn DefaultUni term ValueMaxDepthDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Value => ReadKnownIn DefaultUni term ValueOuterSizeDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Value => ReadKnownIn DefaultUni term ValueTotalSizeDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Value => ReadKnownIn DefaultUni term ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Text => ReadKnownIn DefaultUni term TextCostedByByteLengthDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Text => ReadKnownIn DefaultUni term TextDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term () => ReadKnownIn DefaultUni term ()Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
UniOf term ~ DefaultUni => ReadKnownIn DefaultUni term VoidDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins · orphan
KnownBuiltinTypeIn DefaultUni term (Vector a) => ReadKnownIn DefaultUni term (Vector a)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term [a] => ReadKnownIn DefaultUni term [a]Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
(TypeError ('Text "Use \8216BuiltinResult\8217 instead of \8216EvaluationResult\8217"), uni ~ UniOf val) => ReadKnownIn uni val (EvaluationResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
(TypeError ('Text "\8216BuiltinResult\8217 cannot appear in the type of an argument"), uni ~ UniOf val) => ReadKnownIn uni val (BuiltinResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
HasConstantIn uni val => ReadKnownIn uni val (SomeConstant uni rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
KnownBuiltinTypeIn DefaultUni term (a, b) => ReadKnownIn DefaultUni term (a, b)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
uni ~ UniOf val => ReadKnownIn uni val (Opaque val rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType

typetype ReadKnownM = Either BuiltinError

datadata Spine a

Constructors

SpineLast a
SpineCons a (Spine a)

Instances7Functor, Foldable, PrettyBy, DefaultPrettyBy, Eq, Show, …

Functor SpineDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
Foldable SpineDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
PrettyDefaultBy config (Spine a) => PrettyBy config (Spine a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
PrettyBy config a => DefaultPrettyBy config (Spine a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
Eq a => Eq (Spine a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
Show a => Show (Spine a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
Pretty a => Pretty (Spine a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType

familytype family Delete (x :: a) (xs :: [a]) :: [a] where

Equations

Delete _1 '[] = '[]
Delete x (x ': xs) = xs
Delete x (y ': xs) = y ': Delete x xs

typetype HasTypeAndTermLevel (uni :: Type -> Type) (x :: a) = (HasTypeLevel uni x, HasTermLevel uni x)

typetype HasTypeLevel (uni :: Type -> Type) (x :: a) = KnownTypeAst Void uni (ElaborateBuiltin uni x)

datadata Hole

Instances4HandleHole, HandleHolesGo

i ~ j => HandleHolesGo uni i j val '[]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Elaborate
(TrySpecializeAsUnappliedVar i j TypeHole ('Just (Opaque val)) a, HandleHoles uni j k val TypeHole a) => HandleHole uni i k val (TypeHole a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Elaborate
(TrySpecializeAsUnappliedVar i j RepHole 'Nothing x, HandleHoles uni j k val RepHole x) => HandleHole uni i k val (RepHole x)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Elaborate
(HandleHole uni i j val hole, HandleHolesGo uni j k val holes) => HandleHolesGo uni i k val (hole ': holes)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Elaborate

familytype family Insert (x :: a) (xs :: [a]) :: [a] where

Equations

Insert x '[] = '[x]
Insert x (x ': xs) = x ': xs
Insert x (y ': xs) = y ': Insert x xs

familytype family IsBuiltin (uni :: Type -> Type) (x :: a) :: Bool

Instances47IsBuiltin, …

type IsBuiltin DefaultUni ByteString = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni ByteString)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni Void = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins · orphan
type IsBuiltin DefaultUni Integer = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Integer)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni Natural = IsBuiltin DefaultUni (AsInteger Natural)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni Int16 = IsBuiltin DefaultUni (AsInteger Int16)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni Int32 = IsBuiltin DefaultUni (AsInteger Int32)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni Int64 = IsBuiltin DefaultUni (AsInteger Int64)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni Int8 = IsBuiltin DefaultUni (AsInteger Int8)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni Bool = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Bool)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni Int = IsBuiltin DefaultUni (AsInteger Int)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni Word = IsBuiltin DefaultUni (AsInteger Word)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni Word16 = IsBuiltin DefaultUni (AsInteger Word16)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni Word32 = IsBuiltin DefaultUni (AsInteger Word32)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni Word64 = IsBuiltin DefaultUni (AsInteger Word64)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni Word8 = IsBuiltin DefaultUni (AsInteger Word8)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni Element = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Element)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni Element = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Element)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni MlResult = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni MlResult)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni Data = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Data)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni CByteString = IsBuiltin DefaultUni ByteStringDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni CInteger = IsBuiltin DefaultUni IntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni DataNodeCount = IsBuiltin DefaultUni DataDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni IntegerCostedLiterally = IsBuiltin DefaultUni IntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni NumBytesCostedAsNumWords = IsBuiltin DefaultUni IntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni TextCostedByByteLength = IsBuiltin DefaultUni TextDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni ValueMaxDepth = IsBuiltin DefaultUni ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni ValueOuterSize = IsBuiltin DefaultUni ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni ValueTotalSize = IsBuiltin DefaultUni ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni Value = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Value)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni Text = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Text)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni (AsInteger a) = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni (Vector a) = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni (Vector a))Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni () = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni ())Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni (a, b) = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni (a, b))Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin DefaultUni [a] = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni [a])Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type IsBuiltin uni (BuiltinHead f) = 'TrueDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type IsBuiltin uni (LastArg x y) = IsBuiltin uni yDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type IsBuiltin uni (Opaque val rep) = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type IsBuiltin uni (SomeConstant uni rep) = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type IsBuiltin uni (TyAppRep fun arg) = IsBuiltin uni fun && IsBuiltin uni argDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type IsBuiltin uni (TyForallRep name a) = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type IsBuiltin uni (TyVarRep name) = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type IsBuiltin uni (BuiltinResult a) = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type IsBuiltin uni (EvaluationResult a) = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type IsBuiltin uni (MetaForall name a) = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
type IsBuiltin uni (PlcListRep a) = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
type IsBuiltin uni (a -> b) = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst

typetype KnownBuiltinTypeAst tyname (uni :: Type -> Type) (x :: a) = AllBuiltinArgs uni (KnownTypeAst tyname uni) x

classclass KnownTypeAst tyname (uni :: Type -> Type) (x :: a) where

Associated types

type family IsBuiltin (uni :: Type -> Type) (x :: a) :: Bool
type family ToHoles (uni :: Type -> Type) (hole :: Type -> Type) (x :: a) :: [Hole]
type family ToBinds (uni :: Type -> Type) (acc :: [Some TyNameRep]) (x :: a) :: [Some TyNameRep]

Methods

typeAst :: Type tyname uni ()

Instances47KnownTypeAst, …

KnownBuiltinTypeAst tyname DefaultUni ByteString => KnownTypeAst tyname DefaultUni ByteStringDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeAst tyname DefaultUni Integer => KnownTypeAst tyname DefaultUni IntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeAst tyname DefaultUni Bool => KnownTypeAst tyname DefaultUni BoolDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeAst tyname DefaultUni Element => KnownTypeAst tyname DefaultUni ElementDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeAst tyname DefaultUni Element => KnownTypeAst tyname DefaultUni ElementDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeAst tyname DefaultUni MlResult => KnownTypeAst tyname DefaultUni MlResultDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeAst tyname DefaultUni Data => KnownTypeAst tyname DefaultUni DataDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeAst tyname DefaultUni Value => KnownTypeAst tyname DefaultUni ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeAst tyname DefaultUni Text => KnownTypeAst tyname DefaultUni TextDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeAst tyname DefaultUni () => KnownTypeAst tyname DefaultUni ()Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni NaturalDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni Int16Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni Int32Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni Int64Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni Int8Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni IntDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni WordDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni Word16Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni Word32Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni Word64Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni Word8Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni CByteStringDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni CIntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni DataNodeCountDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni IntegerCostedLiterallyDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni NumBytesCostedAsNumWordsDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni TextCostedByByteLengthDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni ValueMaxDepthDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni ValueOuterSizeDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni ValueTotalSizeDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
tyname ~ TyName => KnownTypeAst tyname DefaultUni VoidDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins · orphan
KnownBuiltinTypeAst tyname DefaultUni (Vector a) => KnownTypeAst tyname DefaultUni (Vector a)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeAst tyname DefaultUni [a] => KnownTypeAst tyname DefaultUni [a]Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname uni a => KnownTypeAst tyname uni (BuiltinResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
KnownTypeAst tyname uni a => KnownTypeAst tyname uni (EvaluationResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
(tyname ~ TyName, KnownTypeAst tyname uni a) => KnownTypeAst tyname uni (PlcListRep a)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
KnownBuiltinTypeAst tyname DefaultUni (a, b) => KnownTypeAst tyname DefaultUni (a, b)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname DefaultUni (AsInteger a)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownTypeAst tyname uni rep => KnownTypeAst tyname uni (Opaque val rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
KnownTypeAst tyname uni rep => KnownTypeAst tyname uni (SomeConstant uni rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
KnownTypeAst tyname uni y => KnownTypeAst tyname uni (LastArg x y)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
Contains uni f => KnownTypeAst tyname uni (BuiltinHead f)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
(KnownTypeAst tyname uni a, KnownTypeAst tyname uni b) => KnownTypeAst tyname uni (a -> b)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
(tyname ~ TyName, name ~ 'TyNameRep text uniq, KnownSymbol text, KnownNat uniq) => KnownTypeAst tyname uni (TyVarRep name)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
(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.Builtins
(tyname ~ TyName, name ~ 'TyNameRep text uniq, KnownSymbol text, KnownNat uniq, KnownKind kind, KnownTypeAst tyname uni a) => KnownTypeAst tyname uni (TyForallRep name a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
(KnownTypeAst tyname uni fun, KnownTypeAst tyname uni arg) => KnownTypeAst tyname uni (TyAppRep fun arg)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst

data familydata family RepHole (x :: a) :: hole

Instances1HandleHole

(TrySpecializeAsUnappliedVar i j RepHole 'Nothing x, HandleHoles uni j k val RepHole x) => HandleHole uni i k val (RepHole x)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Elaborate

familytype family RunHole (hole :: Type -> Type) :: a -> Hole where

familytype family ToBinds (uni :: Type -> Type) (acc :: [Some TyNameRep]) (x :: a) :: [Some TyNameRep]

Instances47ToBinds, …

type ToBinds DefaultUni acc ByteString = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni ByteString)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc Void = accDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins · orphan
type ToBinds DefaultUni acc Integer = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Integer)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc Natural = ToBinds DefaultUni acc (AsInteger Natural)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc Int16 = ToBinds DefaultUni acc (AsInteger Int16)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc Int32 = ToBinds DefaultUni acc (AsInteger Int32)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc Int64 = ToBinds DefaultUni acc (AsInteger Int64)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc Int8 = ToBinds DefaultUni acc (AsInteger Int8)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc Bool = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Bool)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc Int = ToBinds DefaultUni acc (AsInteger Int)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc Word = ToBinds DefaultUni acc (AsInteger Word)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc Word16 = ToBinds DefaultUni acc (AsInteger Word16)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc Word32 = ToBinds DefaultUni acc (AsInteger Word32)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc Word64 = ToBinds DefaultUni acc (AsInteger Word64)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc Word8 = ToBinds DefaultUni acc (AsInteger Word8)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc Element = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Element)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc Element = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Element)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc MlResult = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni MlResult)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc Data = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Data)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc CByteString = ToBinds DefaultUni acc ByteStringDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc CInteger = ToBinds DefaultUni acc IntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc DataNodeCount = ToBinds DefaultUni acc DataDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc IntegerCostedLiterally = ToBinds DefaultUni acc IntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc NumBytesCostedAsNumWords = ToBinds DefaultUni acc IntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc TextCostedByByteLength = ToBinds DefaultUni acc TextDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc ValueMaxDepth = ToBinds DefaultUni acc ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc ValueOuterSize = ToBinds DefaultUni acc ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc ValueTotalSize = ToBinds DefaultUni acc ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc Value = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Value)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc Text = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Text)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc (AsInteger a) = accDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc (Vector a) = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni (Vector a))Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc () = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni ())Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc (a, b) = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni (a, b))Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc [a] = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni [a])Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds uni acc (BuiltinHead f) = accDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToBinds uni acc (LastArg x y) = ToBinds uni (ToBinds uni acc x) yDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToBinds uni acc (Opaque val rep) = ToBinds uni acc repDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToBinds uni acc (SomeConstant uni rep) = ToBinds uni acc repDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToBinds uni acc (TyAppRep fun arg) = ToBinds uni (ToBinds uni acc fun) argDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToBinds uni acc (TyForallRep name a) = Delete ('Some name) (ToBinds uni acc a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToBinds uni acc (TyVarRep name) = Insert ('Some name) accDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToBinds uni acc (BuiltinResult a) = ToBinds uni acc aDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToBinds uni acc (EvaluationResult a) = ToBinds uni acc aDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToBinds uni acc (MetaForall name a) = ToBinds uni (Insert ('Some name) acc) aDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
type ToBinds uni acc (PlcListRep a) = ToBinds uni acc aDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
type ToBinds uni acc (a -> b) = ToBinds uni (ToBinds uni acc a) bDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst

familytype family ToHoles (uni :: Type -> Type) (hole :: Type -> Type) (x :: a) :: [Hole]

Instances47ToHoles, …

type ToHoles DefaultUni _1 Void = '[]Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins · orphan
type ToHoles DefaultUni _1 (AsInteger a) = '[]Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole ByteString = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni ByteString)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole Integer = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Integer)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole Natural = ToHoles DefaultUni hole (AsInteger Natural)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole Int16 = ToHoles DefaultUni hole (AsInteger Int16)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole Int32 = ToHoles DefaultUni hole (AsInteger Int32)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole Int64 = ToHoles DefaultUni hole (AsInteger Int64)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole Int8 = ToHoles DefaultUni hole (AsInteger Int8)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole Bool = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Bool)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole Int = ToHoles DefaultUni hole (AsInteger Int)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole Word = ToHoles DefaultUni hole (AsInteger Word)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole Word16 = ToHoles DefaultUni hole (AsInteger Word16)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole Word32 = ToHoles DefaultUni hole (AsInteger Word32)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole Word64 = ToHoles DefaultUni hole (AsInteger Word64)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole Word8 = ToHoles DefaultUni hole (AsInteger Word8)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole Element = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Element)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole Element = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Element)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole MlResult = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni MlResult)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole Data = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Data)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole CByteString = ToHoles DefaultUni hole ByteStringDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole CInteger = ToHoles DefaultUni hole IntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole DataNodeCount = ToHoles DefaultUni hole DataDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole IntegerCostedLiterally = ToHoles DefaultUni hole IntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole NumBytesCostedAsNumWords = ToHoles DefaultUni hole IntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole TextCostedByByteLength = ToHoles DefaultUni hole TextDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole ValueMaxDepth = ToHoles DefaultUni hole ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole ValueOuterSize = ToHoles DefaultUni hole ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole ValueTotalSize = ToHoles DefaultUni hole ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole Value = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Value)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole Text = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Text)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole (Vector a) = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni (Vector a))Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole () = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni ())Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole (a, b) = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni (a, b))Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole [a] = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni [a])Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles uni _1 (BuiltinHead f) = '[]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToHoles uni _1 (Opaque val rep) = '[RepHole rep]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToHoles uni _1 (SomeConstant uni rep) = '[RepHole rep]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToHoles uni _1 (TyAppRep fun arg) = '[RepHole fun, RepHole arg]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToHoles uni _1 (TyForallRep name a) = '[RepHole a]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToHoles uni _1 (TyVarRep name) = '[]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToHoles uni _1 (BuiltinResult a) = '[TypeHole a]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToHoles uni _1 (EvaluationResult a) = '[TypeHole a]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToHoles uni _1 (MetaForall name a) = '[TypeHole a]Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
type ToHoles uni _1 (PlcListRep a) = '[RepHole a]Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
type ToHoles uni hole (LastArg x y) = '[RunHole hole x, RunHole hole y]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToHoles uni hole (a -> b) = '[RunHole hole a, RunHole hole b]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst

data familydata family TypeHole a :: hole

Instances1HandleHole

(TrySpecializeAsUnappliedVar i j TypeHole ('Just (Opaque val)) a, HandleHoles uni j k val TypeHole a) => HandleHole uni i k val (TypeHole a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Elaborate

datadata BuiltinMeaning val cost

Constructors

forall args res. BuiltinMeaning (TypeScheme val args res) ~(FoldArgs args res) (cost -> BuiltinRuntime val)

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

familytype family CostingPart (uni :: Type -> Type) fun

Instances3CostingPart

type CostingPart uni DefaultFun = BuiltinCostModelDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
type CostingPart uni ExtensionFun = ()Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
type CostingPart uni (Either fun1 fun2) = (CostingPart uni fun1, CostingPart uni fun2)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins · orphan

familytype family FoldArgs (args :: [Type]) res where

Equations

FoldArgs '[] res = res
FoldArgs (arg ': args) res = arg -> FoldArgs args res

familytype family GetArgs a :: [Type] where

Equations

GetArgs (a -> b) = a ': GetArgs b
GetArgs _1 = '[]

typetype HasMeaningIn (uni :: Type -> Type) val = (Typeable val, ExMemoryUsage val, HasConstantIn uni val)

classclass KnownMonotype val (args :: [Type]) res where

Methods

knownMonotype :: TypeScheme val args res
toMonoF :: ReadKnownM (FoldArgs args res, FoldArgs args ExBudgetStream) -> BuiltinRuntime val

Instances2KnownMonotype

(Typeable res, KnownTypeAst TyName (UniOf val) res, MakeKnown val res) => KnownMonotype val '[] resDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Meaning
(Typeable arg, KnownTypeAst TyName (UniOf val) arg, MakeKnown val arg, ReadKnown val arg, KnownMonotype val args res) => KnownMonotype val (arg ': args) resDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Meaning

classclass KnownMonotype val args res => KnownPolytype (binds :: [Some TyNameRep]) val (args :: [Type]) res where

Methods

knownPolytype :: TypeScheme val args res
toPolyF :: ReadKnownM (FoldArgs args res, FoldArgs args ExBudgetStream) -> BuiltinRuntime val

Instances2KnownPolytype

KnownMonotype val args res => KnownPolytype '[] val args resDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Meaning
(KnownSymbol name, KnownNat uniq, KnownKind kind, KnownPolytype binds val args res) => KnownPolytype ('Some ('TyNameRep name uniq) ': binds) val args resDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Meaning

classclass MakeBuiltinMeaning a val where

Methods

makeBuiltinMeaning :: a -> (cost -> FoldArgs (GetArgs a) ExBudgetStream) -> BuiltinMeaning val cost

Instances1MakeBuiltinMeaning

(uni ~ UniOf val, binds ~ ToBinds uni '[] a, args ~ GetArgs a, a ~ FoldArgs args res, ThrowOnBothEmpty binds args (IsBuiltin uni a) a, ElaborateFromTo uni 0 j val a, KnownPolytype binds val args res) => MakeBuiltinMeaning a valDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Meaning

familytype family ThrowOnBothEmpty (binds :: [Some TyNameRep]) (args :: [Type]) (isBuiltin :: Bool) a :: Constraint where

Equations

ThrowOnBothEmpty '[] '[] 'True a = TypeError (('Text "A built-in function must take at least one type or term argument" ':$$: ((('Text "\8216" ':<>: 'ShowType a) ':<>: 'Text "\8217 is a built-in type") ':<>: 'Text " so you can embed any of its values as a constant")) ':$$: 'Text "If you still want a built-in function, add a dummy \8216()\8217 argument")
ThrowOnBothEmpty '[] '[] 'False a = TypeError ('Text "A built-in function must take at least one type or term argument" ':$$: 'Text "To fix this error add a dummy \8216()\8217 argument")
ThrowOnBothEmpty _1 _2 _3 _4 = ()

class

class (Typeable uni, Typeable fun, Bounded fun, Enum fun, Ix fun, Default (BuiltinSemanticsVariant fun)) => ToBuiltinMeaning (uni :: Type -> Type) fun where

Associated types

type family CostingPart (uni :: Type -> Type) fun
data family BuiltinSemanticsVariant fun

Methods

toBuiltinMeaning :: HasMeaningIn uni val => BuiltinSemanticsVariant fun -> fun -> BuiltinMeaning val (CostingPart uni fun)

Instances3ToBuiltinMeaning

uni ~ DefaultUni => ToBuiltinMeaning uni DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
uni ~ DefaultUni => ToBuiltinMeaning uni ExtensionFunDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
(ToBuiltinMeaning uni fun1, ToBuiltinMeaning uni fun2, Default (BuiltinSemanticsVariant fun1), Default (BuiltinSemanticsVariant fun2)) => ToBuiltinMeaning uni (Either fun1 fun2)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins · orphan

class

class AllElaboratedArgs constr (ElaborateBuiltin uni x) => AllBuiltinArgs (uni :: Type -> Type) (constr :: Type -> Constraint) (x :: a)

Instances1AllBuiltinArgs

AllElaboratedArgs constr (ElaborateBuiltin uni x) => AllBuiltinArgs uni constr xDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism

familytype family AllElaboratedArgs (constr :: Type -> Constraint) (x :: a) :: Constraint where

Equations

AllElaboratedArgs constr (TyAppRep f x) = (constr x, AllElaboratedArgs constr f)
AllElaboratedArgs _1 (BuiltinHead _2) = ()

data familydata family BuiltinHead (x :: a) :: a

Instances4KnownTypeAst, IsBuiltin, ToBinds, ToHoles

Contains uni f => KnownTypeAst tyname uni (BuiltinHead f)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type IsBuiltin uni (BuiltinHead f) = 'TrueDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToBinds uni acc (BuiltinHead f) = accDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToHoles uni _1 (BuiltinHead f) = '[]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst

familytype family ElaborateBuiltin (uni :: Type -> Type) (x :: a) :: a

Instances1ElaborateBuiltin

type ElaborateBuiltin DefaultUni x = ElaborateBuiltinDefaultUni xDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe

data familydata family LastArg x y

Instances4KnownTypeAst, IsBuiltin, ToBinds, ToHoles

KnownTypeAst tyname uni y => KnownTypeAst tyname uni (LastArg x y)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type IsBuiltin uni (LastArg x y) = IsBuiltin uni yDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToBinds uni acc (LastArg x y) = ToBinds uni (ToBinds uni acc x) yDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToHoles uni hole (LastArg x y) = '[RunHole hole x, RunHole hole y]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst

newtypenewtype Opaque val rep

Constructors

Opaque
- unOpaque :: val

Instances19KnownTypeAst, MakeKnownIn, ReadKnownIn, Bounded, Enum, Eq, …

KnownTypeAst tyname uni rep => KnownTypeAst tyname uni (Opaque val rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
uni ~ UniOf val => MakeKnownIn uni val (Opaque val rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
uni ~ UniOf val => ReadKnownIn uni val (Opaque val rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
TypeError NoConstraintsErrMsg => Bounded (Opaque val rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
TypeError NoConstraintsErrMsg => Enum (Opaque val rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
TypeError NoConstraintsErrMsg => Eq (Opaque val rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
TypeError NoConstraintsErrMsg => Integral (Opaque val rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
TypeError NoConstraintsErrMsg => Num (Opaque val rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
TypeError NoConstraintsErrMsg => Ord (Opaque val rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
TypeError NoConstraintsErrMsg => Real (Opaque val rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
TypeError NoConstraintsErrMsg => Ix (Opaque val rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
TypeError NoConstraintsErrMsg => Semigroup (Opaque val rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
TypeError NoConstraintsErrMsg => Monoid (Opaque val rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
ExMemoryUsage val => ExMemoryUsage (Opaque val rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
HasConstant val => HasConstant (Opaque val rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
type UniOf (Opaque val rep) = UniOf valDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
type IsBuiltin uni (Opaque val rep) = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToBinds uni acc (Opaque val rep) = ToBinds uni acc repDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToHoles uni _1 (Opaque val rep) = '[RepHole rep]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst

newtypenewtype SomeConstant (uni :: Type -> Type) rep

Constructors

SomeConstant
- unSomeConstant :: Some (ValueOf uni)

Instances9KnownTypeAst, MakeKnownIn, ReadKnownIn, ExMemoryUsage, HasConstant, UniOf, …

KnownTypeAst tyname uni rep => KnownTypeAst tyname uni (SomeConstant uni rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
HasConstantIn uni val => MakeKnownIn uni val (SomeConstant uni rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
HasConstantIn uni val => ReadKnownIn uni val (SomeConstant uni rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
(Everywhere uni ExMemoryUsage, Closed uni) => ExMemoryUsage (SomeConstant uni rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
HasConstant (SomeConstant uni rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
type UniOf (SomeConstant uni rep) = uniDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
type IsBuiltin uni (SomeConstant uni rep) = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToBinds uni acc (SomeConstant uni rep) = ToBinds uni acc repDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToHoles uni _1 (SomeConstant uni rep) = '[RepHole rep]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst

data familydata family TyAppRep (fun :: dom -> cod) (arg :: dom) :: cod

Instances4KnownTypeAst, IsBuiltin, ToBinds, ToHoles

(KnownTypeAst tyname uni fun, KnownTypeAst tyname uni arg) => KnownTypeAst tyname uni (TyAppRep fun arg)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type IsBuiltin uni (TyAppRep fun arg) = IsBuiltin uni fun && IsBuiltin uni argDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToBinds uni acc (TyAppRep fun arg) = ToBinds uni (ToBinds uni acc fun) argDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToHoles uni _1 (TyAppRep fun arg) = '[RepHole fun, RepHole arg]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst

data familydata family TyForallRep (name :: TyNameRep kind) a

Instances4KnownTypeAst, IsBuiltin, ToBinds, ToHoles

(tyname ~ TyName, name ~ 'TyNameRep text uniq, KnownSymbol text, KnownNat uniq, KnownKind kind, KnownTypeAst tyname uni a) => KnownTypeAst tyname uni (TyForallRep name a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type IsBuiltin uni (TyForallRep name a) = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToBinds uni acc (TyForallRep name a) = Delete ('Some name) (ToBinds uni acc a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToHoles uni _1 (TyForallRep name a) = '[RepHole a]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst

datadata TyNameRep kind

Constructors

TyNameRep Symbol Nat

Instances7KnownTypeAst, Contains, KnownPolytype, 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.Builtins
KnownMonotype val args res => KnownPolytype '[] val args resDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Meaning
TypeError NoStandalonePolymorphicDataErrMsg => Contains uni TyVarRepDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
(KnownSymbol name, KnownNat uniq, KnownKind kind, KnownPolytype binds val args res) => KnownPolytype ('Some ('TyNameRep name uniq) ': binds) val args resDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Meaning
type IsBuiltin uni (MetaForall name a) = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
type ToBinds uni acc (MetaForall name a) = ToBinds uni (Insert ('Some name) acc) aDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
type ToHoles uni _1 (MetaForall name a) = '[TypeHole a]Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins

data familydata family TyVarRep (name :: TyNameRep kind) :: kind

Instances6TrySpecializeHeadAsVar, KnownTypeAst, Contains, IsBuiltin, ToBinds, ToHoles

(ThrowNoAppliedVars hole, i ~ j) => TrySpecializeHeadAsVar i j hole (TyVarRep name)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Elaborate
(tyname ~ TyName, name ~ 'TyNameRep text uniq, KnownSymbol text, KnownNat uniq) => KnownTypeAst tyname uni (TyVarRep name)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
TypeError NoStandalonePolymorphicDataErrMsg => Contains uni TyVarRepDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
type IsBuiltin uni (TyVarRep name) = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToBinds uni acc (TyVarRep name) = Insert ('Some name) accDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToHoles uni _1 (TyVarRep name) = '[]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst

datadata BuiltinError

Constructors

Instances4Eq, Show, Pretty, MonadError

Eq BuiltinErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
Show BuiltinErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
Pretty BuiltinErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
MonadError BuiltinError BuiltinResultDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result

datadata BuiltinResult a

Constructors

BuiltinSuccess a
BuiltinSuccessWithLogs (DList Text) a
BuiltinFailure (DList Text) BuiltinError

Instances13Monad, Functor, MonadFail, Applicative, Foldable, MonadError, …

Monad BuiltinResultDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
Functor BuiltinResultDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
MonadFail BuiltinResultDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
Applicative BuiltinResultDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
Foldable BuiltinResultDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
MonadError BuiltinError BuiltinResultDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
KnownTypeAst tyname uni a => KnownTypeAst tyname uni (BuiltinResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
MakeKnownIn uni val a => MakeKnownIn uni val (BuiltinResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
(TypeError ('Text "\8216BuiltinResult\8217 cannot appear in the type of an argument"), uni ~ UniOf val) => ReadKnownIn uni val (BuiltinResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
Show a => Show (BuiltinResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
type IsBuiltin uni (BuiltinResult a) = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToBinds uni acc (BuiltinResult a) = ToBinds uni acc aDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToHoles uni _1 (BuiltinResult a) = '[TypeHole a]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst

newtypenewtype UnliftingError

Constructors

MkUnliftingError
- unUnliftingError :: Text

Instances7Eq, Show, IsString, Semigroup, Monoid, NFData, …

Eq UnliftingErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
Show UnliftingErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
IsString UnliftingErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
Semigroup UnliftingErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
Monoid UnliftingErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
NFData UnliftingErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
Pretty UnliftingErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result

newtypenewtype UnliftingEvaluationError

Constructors

MkUnliftingEvaluationError
- unUnliftingEvaluationError :: EvaluationError UnliftingError UnliftingError

Instances4Eq, Show, NFData, Pretty

Eq UnliftingEvaluationErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
Show UnliftingEvaluationErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
NFData UnliftingEvaluationErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
Pretty UnliftingEvaluationErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result

datadata BuiltinRuntime val

Constructors

BuiltinCostedResult ExBudgetStream ~(BuiltinResult val)
BuiltinExpectArgument (val -> BuiltinRuntime val)
BuiltinExpectForce (BuiltinRuntime val)

Instances4Show, NFData, NoThunks

Show (BuiltinRuntime (CkValue uni fun))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.Ck
Show (BuiltinRuntime (CekValue uni fun ann))Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Evaluation.Machine.Cek.Internal
NFData (BuiltinRuntime val)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Runtime
NoThunks (BuiltinRuntime val)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Runtime

datadata BuiltinsRuntime fun val

Constructors

BuiltinsRuntime
- unBuiltinsRuntime :: fun -> BuiltinRuntime val

Instances2NFData, NoThunks

(Bounded fun, Enum fun) => NFData (BuiltinsRuntime fun val)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Runtime
(Bounded fun, Enum fun) => NoThunks (BuiltinsRuntime fun val)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Runtime

class

class (Everywhere uni (ImplementedKnownTypeAst uni), Everywhere uni (ImplementedReadKnownIn uni), Everywhere uni (ImplementedMakeKnownIn uni)) => TestTypesFromTheUniverseAreAllKnown (uni :: Type -> Type)

Instances1TestTypesFromTheUniverseAreAllKnown

TestTypesFromTheUniverseAreAllKnown DefaultUniDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe

datadata TypeScheme val (args :: [Type]) res where

Constructors

TypeSchemeResult :: (Typeable res, KnownTypeAst TyName (UniOf val) res, MakeKnown val res) => TypeScheme val '[] res
TypeSchemeArrow :: (Typeable arg, KnownTypeAst TyName (UniOf val) arg, MakeKnown val arg, ReadKnown val arg) => TypeScheme val args1 res -> TypeScheme val (arg ': args1) resinfixr 9
TypeSchemeAll :: (KnownSymbol text, KnownNat uniq, KnownKind kind) => Proxy '(text, uniq, kind) -> TypeScheme val args res -> TypeScheme val args res

Instances1Show

Show (TypeScheme val args res)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.TypeScheme

typetype HasTermLevel (uni :: Type -> Type) = Includes uni

datadata EvaluationError structural operational

Constructors

StructuralError !structural
OperationalError !operational

Instances12Bifoldable, Bifunctor, Bitraversable, PrettyBy, Functor, Eq, …

Bifoldable EvaluationErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Error
Bifunctor EvaluationErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Error
Bitraversable EvaluationErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Error
(HasPrettyDefaults config ~ 'True, PrettyBy config structural, Pretty operational) => PrettyBy config (EvaluationError structural operational)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Error
Functor (EvaluationError structural)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Error
(Eq structural, Eq operational) => Eq (EvaluationError structural operational)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Error
(Show structural, Show operational) => Show (EvaluationError structural operational)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Error
Generic (EvaluationError structural operational)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Error
(NFData structural, NFData operational) => NFData (EvaluationError structural operational)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Error
(Pretty structural, Pretty operational) => Pretty (EvaluationError structural operational)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Error
ThrowableBuiltins uni fun => MonadError (CekEvaluationException NamedDeBruijn uni fun) (CekM uni fun s)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Evaluation.Machine.Cek.Internal
type Rep (EvaluationError structural operational) = D1 ('MetaData "EvaluationError" "PlutusCore.Evaluation.Error" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "StructuralError" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 structural)) :+: C1 ('MetaCons "OperationalError" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 operational)))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Error