Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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
module PlutusCore.MkPlc