HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Moduleunlifted-0.2.2.0Haskell2010

Data.Maybe.Void

  • 1 type
  • Packageunlifted-0.2.2.0
  • Exports3
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceVoid.hs
newtypenewtype MaybeVoid# (a :: ZeroBitType) where
#

Unboxed variant of Maybe. The thing possibly contained by Just has a void runtime representation. Rather than using a sum, like the more general Maybe# does, this represents Nothing with 0 and Just with 1.

It is recommended that the data constructor not be used directly. Prefer the two pattern synonyms.

Constructors