Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data.Maybe.Void
Synopsis
- newtype MaybeVoid# (a :: ZeroBitType) :: TYPE 'WordRep where
- MaybeVoid# :: forall (a :: ZeroBitType). Word# -> MaybeVoid# a
- pattern JustVoid# :: a -> MaybeVoid# a
- pattern NothingVoid# :: MaybeVoid# a
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 #
pattern NothingVoid# :: MaybeVoid# a #