plutus-core-0.1.0.0: Language library for Plutus Core
Safe HaskellNone
LanguageHaskell2010

PlutusIR.MkPir

Synopsis

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.