plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

UntypedPlutusCore.MkUPlc

Synopsis

Documentation

data UVarDecl name ann Source #

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

Constructors

UVarDecl 

Fields

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) ∷ TypeType Source #

Methods

fromUVarDecl name ann → Rep (UVarDecl name ann) x Source #

toRep (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

showsPrecIntUVarDecl name ann → ShowS Source #

showUVarDecl 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.30.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

Instances

Instances details
Generic (Def var val) Source # 
Instance details

Defined in PlutusCore.MkPlc

Associated Types

type Rep (Def var val) ∷ TypeType Source #

Methods

fromDef var val → Rep (Def var val) x Source #

toRep (Def var val) x → Def var val Source #

(Show var, Show val) ⇒ Show (Def var val) Source # 
Instance details

Defined in PlutusCore.MkPlc

Methods

showsPrecIntDef var val → ShowS Source #

showDef 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

compareDef 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 #

maxDef var val → Def var val → Def var val Source #

minDef 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.30.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.