Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 {}
- 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.
UVarDecl | |
|
Instances
Functor (UVarDecl name) Source # | |
Generic (UVarDecl name ann) Source # | |
(Show ann, Show name) ⇒ Show (UVarDecl name ann) Source # | |
type Rep (UVarDecl name ann) Source # | |
Defined in UntypedPlutusCore.Core.Type type Rep (UVarDecl name ann) = D1 ('MetaData "UVarDecl" "UntypedPlutusCore.Core.Type" "plutus-core-1.36.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.
A definition. Pretty much just a pair with more descriptive names.
Instances
Generic (Def var val) Source # | |
(Show var, Show val) ⇒ Show (Def var val) Source # | |
(Eq var, Eq val) ⇒ Eq (Def var val) Source # | |
(Ord var, Ord val) ⇒ Ord (Def var val) Source # | |
Defined in PlutusCore.MkPlc | |
type Rep (Def var val) Source # | |
Defined in PlutusCore.MkPlc type Rep (Def var val) = D1 ('MetaData "Def" "PlutusCore.MkPlc" "plutus-core-1.36.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))) |