plutus-core-1.0.0.1: Language library for Plutus Core
Safe Haskell None
Language Haskell2010

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.