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

Data.Either.Void

Synopsis

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 #