Either package:strict

The strict variant of the standard Haskell Either type and the corresponding variants of the functions from Data.Either. Note that the strict Either type is not an applicative functor, and therefore also no monad. The reasons are the same as the ones for the strict Maybe type, which are explained in Data.Maybe.Strict.

The strict choice type.

Case analysis: if the value is Left a, apply the first function to a; if it is Right b, apply the second function to b.

Analogous to partitionEithers in Data.Either.

Like partitionEithers but for NonEmpty types.

• either all are Left
• either all are Right
• or there is both Left and Right stuff

Note: this is not online algorithm. In the worst case it will traverse the whole list before deciding the result constructor.

>>> partitionEithersNE $ Left 'x' :| [Right 'y']
These ('x' :| "") ('y' :| "")

>>> partitionEithersNE $ Left 'x' :| map Left "yz"
This ('x' :| "yz")