plutus-core

Safe Haskell	None
Language	Haskell2010

UntypedPlutusCore.MkUPlc

Synopsis

data UVarDecl name ann = UVarDecl {
- _uvarDeclAnn :: ann
- _uvarDeclName :: name
}
uvarDeclName :: forall name1 ann name2 f. Functor f => (name1 -> f name2) -> UVarDecl name1 ann -> f (UVarDecl name2 ann)
uvarDeclAnn :: forall name ann1 ann2 f. Functor f => (ann1 -> f ann2) -> UVarDecl name ann1 -> f (UVarDecl name ann2)
mkVar :: forall ann name (uni :: Type -> Type) fun. ann -> UVarDecl name ann -> Term name uni fun ann
mkIterLamAbs :: forall name ann (uni :: Type -> Type) fun. [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 :: Type -> Type) 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)

Instance details

Defined in UntypedPlutusCore.Core.Type

type Rep (UVarDecl name ann) = D1 ('MetaData "UVarDecl" "UntypedPlutusCore.Core.Type" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "UVarDecl" 'PrefixI 'True) (S1 ('MetaSel ('Just "_uvarDeclAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel ('Just "_uvarDeclName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 name)))

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.60.0.0-LXFqBsoUlXsJIEqLytHte7" '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 name1 ann name2 f. Functor f => (name1 -> f name2) -> UVarDecl name1 ann -> f (UVarDecl name2 ann) Source #

uvarDeclAnn :: forall name ann1 ann2 f. Functor f => (ann1 -> f ann2) -> UVarDecl name ann1 -> f (UVarDecl name ann2) Source #

mkVar :: forall ann name (uni :: Type -> Type) fun. ann -> UVarDecl name ann -> Term name uni fun ann Source #

Make a Var referencing the given VarDecl.

mkIterLamAbs :: forall name ann (uni :: Type -> Type) fun. [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)

Instance details

Defined in PlutusCore.MkPlc

type Rep (Def var val) = D1 ('MetaData "Def" "PlutusCore.MkPlc" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "Def" 'PrefixI 'True) (S1 ('MetaSel ('Just "defVar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 var) :*: S1 ('MetaSel ('Just "defVal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 val)))

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.60.0.0-LXFqBsoUlXsJIEqLytHte7" '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 :: Type -> Type) fun ann = Def (UVarDecl name ann) (Term name uni fun ann) Source #

A term definition as a variable.