| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusCore.StdLib.Data.Unit
Description
unit and related functions.
Synopsis
- unit :: forall (uni :: Type -> Type) tyname. HasTypeLevel uni () => Type tyname uni ()
- unitval :: forall term tyname name (uni :: Type -> Type) fun. (TermLike term tyname name uni fun, HasTermLevel uni ()) => term ()
- sequ :: forall term tyname (uni :: Type -> Type) fun. (TermLike term tyname Name uni fun, HasTypeAndTermLevel uni ()) => term ()