Moduleplutus-core-1.70.0.0

PlutusCore.MkPlc

11 types
1 class
30 values

Packageplutus-core-1.70.0.0
Exports43
LicenceApache-2.0

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

valuetyDeclVar :: TyVarDecl tyname ann -> TyDecl tyname uni ann

value(@@) :: TermLike term tyname name uni fun => term () -> [term ()] -> term ()

valueembedTerm

:: TermLike term tyname name uni fun
=> Term tyname name uni fun ann
-> term ann

valuefunctionDefToType

:: FunctionDef term tyname name uni fun ann
-> Type tyname uni ann

valuefunctionDefVarDecl

:: FunctionDef term tyname name uni fun ann
-> VarDecl tyname name uni ann

valuefunctionTypeToType :: FunctionType tyname uni ann -> Type tyname uni ann

valueheadSpineToTerm

:: TermLike term tyname name uni fun
=> ann
-> MonoHeadSpine err (term ann)
-> Either err (term ann)

valueheadSpineToTermNoAnn

:: TermLike term tyname name uni fun
=> MonoHeadSpine err (term ())
-> Either err (term ())

valuemkConstant

:: (TermLike term tyname name uni fun, HasTermLevel uni a)
=> ann
-> a
-> term ann

valuemkConstantOf

:: TermLike term tyname name uni fun
=> ann
-> uni (Esc a)
-> a
-> term ann

valuemkFreshTermLet

:: (MonadQuote m, TermLike t tyname Name uni fun, Monoid a)
=> Type tyname uni a
-> t a
-> m (t a, t a -> t a)

valuemkFunctionDef

:: ann
-> name
-> Type tyname uni ann
-> term ann
-> Maybe (FunctionDef term tyname name uni fun ann)

valuemkImmediateLamAbs

:: TermLike term tyname name uni fun
=> ann
-> TermDef term tyname name uni ann
-> term ann
-> term ann

valuemkImmediateTyAbs

:: TermLike term tyname name uni fun
=> ann
-> TypeDef tyname uni ann
-> term ann
-> term ann

valuemkIterApp

:: TermLike term tyname name uni fun
=> term ann
-> [(ann, term ann)]
-> term ann

valuemkIterAppNoAnn

:: TermLike term tyname name uni fun
=> term ()
-> [term ()]
-> term ()

valuemkIterInst

:: TermLike term tyname name uni fun
=> term ann
-> [(ann, Type tyname uni ann)]
-> term ann

valuemkIterInstNoAnn

:: TermLike term tyname name uni fun
=> term ()
-> [Type tyname uni ()]
-> term ()

valuemkIterKindArrow :: ann -> [Kind ann] -> Kind ann -> Kind ann

valuemkIterLamAbs

:: TermLike term tyname name uni fun
=> [VarDecl tyname name uni ann]
-> term ann
-> term ann

valuemkIterTyAbs

:: TermLike term tyname name uni fun
=> [TyVarDecl tyname ann]
-> term ann
-> term ann

valuemkIterTyApp

:: Type tyname uni ann
-> [(ann, Type tyname uni ann)]
-> Type tyname uni ann

valuemkIterTyAppNoAnn

:: Type tyname uni ()
-> [Type tyname uni ()]
-> Type tyname uni ()

valuemkIterTyForall

:: [TyVarDecl tyname ann]
-> Type tyname uni ann
-> Type tyname uni ann

valuemkIterTyFun

:: ann
-> [Type tyname uni ann]
-> Type tyname uni ann
-> Type tyname uni ann

valuemkIterTyLam

:: [TyVarDecl tyname ann]
-> Type tyname uni ann
-> Type tyname uni ann

valuemkTyBuiltinOf :: ann -> uni (Esc a) -> Type tyname uni ann

valuemkTyVar :: TyVarDecl tyname ann -> Type tyname uni ann

valuemkVar

:: TermLike term tyname name uni fun
=> VarDecl tyname name uni ann
-> term ann

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)

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

datadata TyDecl tyname (uni :: Type -> Type) ann

Constructors

TyDecl
- _tyDeclAnn :: ann
- _tyDeclType :: Type tyname uni ann
- _tyDeclKind :: Kind ann

Instances4Functor, Show, Generic, Rep

Functor (TyDecl tyname uni)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
(GShow uni, Show tyname, Show ann) => Show (TyDecl tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Generic (TyDecl tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
type Rep (TyDecl tyname uni ann) = D1 ('MetaData "TyDecl" "PlutusCore.Core.Type" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "TyDecl" 'PrefixI 'True) (S1 ('MetaSel ('Just "_tyDeclAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: (S1 ('MetaSel ('Just "_tyDeclType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)) :*: S1 ('MetaSel ('Just "_tyDeclKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Kind ann)))))Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type

datadata TyVarDecl tyname ann

Constructors

TyVarDecl
- _tyVarDeclAnn :: ann
- _tyVarDeclName :: tyname
- _tyVarDeclKind :: Kind ann

Instances7Functor, PrettyBy, Show, Generic, Flat, HasUnique, …

Functor (TyVarDecl tyname)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
PrettyReadableBy configName tyname => PrettyBy (PrettyConfigReadable configName) (TyVarDecl tyname ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Readable · orphan
(Show tyname, Show ann) => Show (TyVarDecl tyname ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Generic (TyVarDecl tyname ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
(Flat ann, Flat tyname) => Flat (TyVarDecl tyname ann)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
HasUnique tyname TypeUnique => HasUnique (TyVarDecl tyname ann) TypeUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
type Rep (TyVarDecl tyname ann) = D1 ('MetaData "TyVarDecl" "PlutusCore.Core.Type" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "TyVarDecl" 'PrefixI 'True) (S1 ('MetaSel ('Just "_tyVarDeclAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: (S1 ('MetaSel ('Just "_tyVarDeclName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 tyname) :*: S1 ('MetaSel ('Just "_tyVarDeclKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Kind ann)))))Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type

familytype family UniOf a :: Type -> Type

Instances6UniOf

type UniOf (Opaque val rep) = UniOf valDefined 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 UniOf (Term tyname name uni fun ann) = uniDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
type UniOf (CkValue uni fun) = uniDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.Ck
type UniOf (Term name uni fun ann) = uniDefined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Type
type UniOf (CekValue uni fun ann) = uniDefined in plutus-core-1.70.0.0 · UntypedPlutusCore.Evaluation.Machine.Cek.Internal

datadata VarDecl tyname name (uni :: Type -> Type) ann

Constructors

VarDecl
- _varDeclAnn :: ann
- _varDeclName :: name
- _varDeclType :: Type tyname uni ann

Instances7PrettyBy, Functor, Show, Generic, Flat, HasUnique, …

(PrettyReadableBy configName tyname, PrettyReadableBy configName name, PrettyUni uni) => PrettyBy (PrettyConfigReadable configName) (VarDecl tyname name uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Readable · orphan
Functor (VarDecl tyname name uni)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
(GShow uni, Show name, Show tyname, Show ann) => Show (VarDecl tyname name uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Generic (VarDecl tyname name uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
(Closed uni, Flat ann, Flat tyname, Flat name) => Flat (VarDecl tyname name uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
HasUnique name TermUnique => HasUnique (VarDecl tyname name uni ann) TermUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
type Rep (VarDecl tyname name uni ann) = D1 ('MetaData "VarDecl" "PlutusCore.Core.Type" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "VarDecl" 'PrefixI 'True) (S1 ('MetaSel ('Just "_varDeclAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: (S1 ('MetaSel ('Just "_varDeclName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 name) :*: S1 ('MetaSel ('Just "_varDeclType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)))))Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type

datadata Def var val

Constructors

Def
- defVar :: var
- defVal :: val

Instances5Eq, Ord, Show, Generic, Rep

(Eq var, Eq val) => Eq (Def var val)Defined in plutus-core-1.70.0.0 · PlutusCore.MkPlc
(Ord var, Ord val) => Ord (Def var val)Defined in plutus-core-1.70.0.0 · PlutusCore.MkPlc
(Show var, Show val) => Show (Def var val)Defined in plutus-core-1.70.0.0 · PlutusCore.MkPlc
Generic (Def var val)Defined in plutus-core-1.70.0.0 · PlutusCore.MkPlc
type Rep (Def var val) = D1 ('MetaData "Def" "PlutusCore.MkPlc" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "Def" 'PrefixI 'True) (S1 ('MetaSel ('Just "defVar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 var) :*: S1 ('MetaSel ('Just "defVal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 val)))Defined in plutus-core-1.70.0.0 · PlutusCore.MkPlc

datadata FunctionDef (term :: Type -> Type) tyname name (uni :: Type -> Type) (fun :: k) ann

Constructors

FunctionDef
- _functionDefAnn :: ann
- _functionDefName :: name
- _functionDefType :: FunctionType tyname uni ann
- _functionDefTerm :: term ann

datadata FunctionType tyname (uni :: Type -> Type) ann

Constructors

FunctionType
- _functionTypeAnn :: ann
- _functionTypeDom :: Type tyname uni ann
- _functionTypeCod :: Type tyname uni ann

typetype TermDef (term :: Type -> Type) tyname name (uni :: Type -> Type) ann = Def (VarDecl tyname name uni ann) (term ann)

classclass TermLike (term :: Type -> Type) tyname name (uni :: Type -> Type) fun | term -> tyname name uni fun where

Methods

var :: ann -> name -> term ann
tyAbs :: ann -> tyname -> Kind ann -> term ann -> term ann
lamAbs :: ann -> name -> Type tyname uni ann -> term ann -> term ann
apply :: ann -> term ann -> term ann -> term ann
constant :: ann -> Some (ValueOf uni) -> term ann
builtin :: ann -> fun -> term ann
tyInst :: ann -> term ann -> Type tyname uni ann -> term ann
unwrap :: ann -> term ann -> term ann
iWrap :: ann -> Type tyname uni ann -> Type tyname uni ann -> term ann -> term ann
error :: ann -> Type tyname uni ann -> term ann
constr :: ann -> Type tyname uni ann -> Word64 -> [term ann] -> term ann
kase :: ann -> Type tyname uni ann -> term ann -> [term ann] -> term ann
termLet :: ann -> TermDef term tyname name uni ann -> term ann -> term ann
typeLet :: ann -> TypeDef tyname uni ann -> term ann -> term ann

Instances2TermLike

TermLike (Term name uni fun) TyName name uni funDefined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Type
TermLike (Term tyname name uni fun) tyname name uni funDefined in plutus-core-1.70.0.0 · PlutusCore.MkPlc

typetype TypeDef tyname (uni :: Type -> Type) ann = Def (TyVarDecl tyname ann) (Type tyname uni ann)