Safe Haskell	Safe-Inferred
Language	Haskell2010

UntypedPlutusCore.MkUPlc

Synopsis

data UVarDecl name ann = UVarDecl {
- _uvarDeclAnn ∷ ann
- _uvarDeclName ∷ name
}
uvarDeclName ∷ ∀ name ann name. Lens (UVarDecl name ann) (UVarDecl name ann) name name
uvarDeclAnn ∷ ∀ name ann ann. Lens (UVarDecl name ann) (UVarDecl name ann) ann ann
mkVar ∷ ann → UVarDecl name ann → Term name uni fun ann
mkIterLamAbs ∷ [UVarDecl name ann] → Term name uni fun ann → Term name uni fun ann
data Def var val = Def {
- defVar ∷ var
- defVal ∷ val
}
type UTermDef name uni fun ann = Def (UVarDecl name ann) (Term name uni fun ann)

Documentation

data UVarDecl name ann Source #

An untyped "variable declaration", i.e. a name for a variable.

Constructors

UVarDecl
Fields _uvarDeclAnn ∷ ann _uvarDeclName ∷ name

Instances

Instances details

Functor (UVarDecl name) Source #
Instance details Defined in UntypedPlutusCore.Core.Type Methods fmap ∷ (a → b) → UVarDecl name a → UVarDecl name b Source # (<$) ∷ a → UVarDecl name b → UVarDecl name a Source #
Generic (UVarDecl name ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type Associated Types type Rep (UVarDecl name ann) ∷ Type → Type Source # Methods from ∷ UVarDecl name ann → Rep (UVarDecl name ann) x Source # to ∷ Rep (UVarDecl name ann) x → UVarDecl name ann Source #
(Show ann, Show name) ⇒ Show (UVarDecl name ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type Methods showsPrec ∷ Int → UVarDecl name ann → ShowS Source # show ∷ UVarDecl name ann → String Source # showList ∷ [UVarDecl name ann] → ShowS Source #
type Rep (UVarDecl name ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type type Rep (UVarDecl name ann) = D1 ('MetaData "UVarDecl" "UntypedPlutusCore.Core.Type" "plutus-core-1.39.0.0-inplace" 'False) (C1 ('MetaCons "UVarDecl" 'PrefixI 'True) (S1 ('MetaSel ('Just "_uvarDeclAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel ('Just "_uvarDeclName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 name)))

uvarDeclName ∷ ∀ name ann name. Lens (UVarDecl name ann) (UVarDecl name ann) name name Source #

uvarDeclAnn ∷ ∀ name ann ann. Lens (UVarDecl name ann) (UVarDecl name ann) ann ann Source #

mkVar ∷ ann → UVarDecl name ann → Term name uni fun ann Source #

Make a Var referencing the given VarDecl.

mkIterLamAbs ∷ [UVarDecl name ann] → Term name uni fun ann → Term name uni fun ann Source #

Lambda abstract a list of names.

data Def var val Source #

A definition. Pretty much just a pair with more descriptive names.

Constructors

Def
Fields defVar ∷ var defVal ∷ val

Instances

Instances details

Generic (Def var val) Source #
Instance details Defined in PlutusCore.MkPlc Associated Types type Rep (Def var val) ∷ Type → Type Source # Methods from ∷ Def var val → Rep (Def var val) x Source # to ∷ Rep (Def var val) x → Def var val Source #
(Show var, Show val) ⇒ Show (Def var val) Source #
Instance details Defined in PlutusCore.MkPlc Methods showsPrec ∷ Int → Def var val → ShowS Source # show ∷ Def var val → String Source # showList ∷ [Def var val] → ShowS Source #
(Eq var, Eq val) ⇒ Eq (Def var val) Source #
Instance details Defined in PlutusCore.MkPlc Methods (==) ∷ Def var val → Def var val → Bool Source # (/=) ∷ Def var val → Def var val → Bool Source #
(Ord var, Ord val) ⇒ Ord (Def var val) Source #
Instance details Defined in PlutusCore.MkPlc Methods compare ∷ Def var val → Def var val → Ordering Source # (<) ∷ Def var val → Def var val → Bool Source # (<=) ∷ Def var val → Def var val → Bool Source # (>) ∷ Def var val → Def var val → Bool Source # (>=) ∷ Def var val → Def var val → Bool Source # max ∷ Def var val → Def var val → Def var val Source # min ∷ Def var val → Def var val → Def var val Source #
type Rep (Def var val) Source #
Instance details Defined in PlutusCore.MkPlc type Rep (Def var val) = D1 ('MetaData "Def" "PlutusCore.MkPlc" "plutus-core-1.39.0.0-inplace" 'False) (C1 ('MetaCons "Def" 'PrefixI 'True) (S1 ('MetaSel ('Just "defVar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 var) :*: S1 ('MetaSel ('Just "defVal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 val)))

type UTermDef name uni fun ann = Def (UVarDecl name ann) (Term name uni fun ann) Source #

A term definition as a variable.