category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Monad.Either
Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Incompatible with Control.Monad.Error, but removes the Error restriction that prevents a natural encoding of Apomorphisms. This module is therefore incompatible with Control.Monad.Error
Documentation
Either (Left, Right)
newtype EitherT a m b Source
Constructors
EitherT
runEitherT :: m (Either a b)
show/hide Instances
Produced by Haddock version 2.4.2