unlifted-0.2.2.0: Unlifted and levity-polymorphic types
Safe HaskellNone
LanguageHaskell2010

Data.Maybe.Void

Synopsis

Documentation

newtype MaybeVoid# (a :: ZeroBitType) :: TYPE 'WordRep 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

MaybeVoid# :: forall (a :: ZeroBitType). Word# -> MaybeVoid# a 

pattern JustVoid# :: a -> MaybeVoid# a #