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

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

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

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

Constructors