Data.Either.Extra

Extra functions for dealing with Either.

Documentation

mapEither :: (a -> b1) -> (b -> b2) -> Either a b -> Either b1 b2

A map for Either values.

leftToMaybe :: Either a b -> Maybe a

Maybe get the left side of an Either.

rightToMaybe :: Either a b -> Maybe b

Maybe get the right side of an Either.

isLeft :: Either a b -> Bool

Is a value Left?

isRight :: Either a b -> Bool

Is a value Right?

fromLeft :: a -> Either a b -> a

Extract the left value or a default.

fromRight :: b -> Either a b -> b

Extract the right value or a default.

whenRight :: Monad m => Either a b -> (b -> m c) -> m ()

When a value is Right, do something with it, monadically.

whenLeft :: Monad m => Either a b -> (a -> m c) -> m ()

When a value is Left, do something with it, monadically.