Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusIR.MkPir

Synopsis

module PlutusCore.MkPlc
type DatatypeDef tyname name uni a = Def (TyVarDecl tyname a) (Datatype tyname name uni 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 a = Def (TyVarDecl tyname a) (Datatype tyname name uni 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.