Safe Haskell	None
Language	Haskell2010

UntypedPlutusCore.MkUPlc

Synopsis

data UVarDecl name ann = UVarDecl {
- _uvarDeclAnn :: ann
- _uvarDeclName :: name
}
uvarDeclName :: forall name ann name. Lens (UVarDecl name ann) (UVarDecl name ann) name name
uvarDeclAnn :: forall name ann ann. Lens (UVarDecl name ann) (UVarDecl name ann) ann ann
mkVar :: ann -> UVarDecl name ann -> Term name uni fun ann
mkIterApp :: ann -> Term name uni fun ann -> [Term name uni fun 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 #
(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 #
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 #
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.0.0.1-6wMiyL0yerXJu56t8zBoKx" '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 :: forall name ann name. Lens (UVarDecl name ann) (UVarDecl name ann) name name Source #

uvarDeclAnn :: forall 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.

mkIterApp Source #

Arguments

:: ann
-> Term name uni fun ann	f
-> [Term name uni fun ann]	[ x0 ... xn ]
-> Term name uni fun ann	[f x0 ... xn ]

Make an iterated application.

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

(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 #
(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 #
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 #
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.0.0.1-6wMiyL0yerXJu56t8zBoKx" '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.