| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Either.Void
Synopsis
- newtype EitherVoid# (a :: ZeroBitType) (b :: ZeroBitType) :: TYPE 'WordRep where
- EitherVoid# :: forall (a :: ZeroBitType) (b :: ZeroBitType). Word# -> EitherVoid# a b
- pattern LeftVoid# :: a -> EitherVoid# a b
- pattern RightVoid# :: b -> EitherVoid# a b
Documentation
newtype EitherVoid# (a :: ZeroBitType) (b :: ZeroBitType) :: TYPE 'WordRep 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
| EitherVoid# :: forall (a :: ZeroBitType) (b :: ZeroBitType). Word# -> EitherVoid# a b |
pattern LeftVoid# :: a -> EitherVoid# a b #
pattern RightVoid# :: b -> EitherVoid# a b #