plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusIR.MkPir

Synopsis

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.