| 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.