Safe Haskell	None
Language	Haskell2010

PlutusIR.MkPir

Synopsis

module PlutusCore.MkPlc
type DatatypeDef tyname name uni fun a = Def (TyVarDecl tyname a) (Datatype tyname name uni fun a)
mkLet :: a -> Recursivity -> [Binding tyname name uni fun a] -> Term tyname name uni fun a -> Term tyname name uni fun a

Documentation

type DatatypeDef tyname name uni fun a = Def (TyVarDecl tyname a) (Datatype tyname name uni fun a) Source #

A datatype definition as a type variable.

mkLet :: a -> Recursivity -> [Binding tyname name uni fun a] -> Term tyname name uni fun a -> Term tyname name uni fun a Source #

Make a let binding, unless the list of bindings is empty, in which case just return the underlying term.