| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.StdLib.Data.Unit
Description
unit and related functions.
Synopsis
- unit :: uni `HasTypeLevel` () => Type tyname uni ()
- unitval :: (TermLike term tyname name uni fun, uni `HasTermLevel` ()) => term ()
- sequ :: (TermLike term tyname Name uni fun, uni `HasTypeAndTermLevel` ()) => term ()
Documentation
unit :: uni `HasTypeLevel` () => Type tyname uni () Source #
() as a PLC type.
unitval :: (TermLike term tyname name uni fun, uni `HasTermLevel` ()) => term () Source #
() as a PLC term.