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