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