category-extras-0.53.6: Various modules and constructs inspired by category theoryContentsIndex
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
newtype EitherT a m b
Constructors
EitherT
runEitherT :: m (Either a b)
show/hide Instances
Monad m => Monad (EitherT a m)
Functor f => Functor (EitherT a f)
MonadFix m => MonadFix (EitherT a m)
Pointed f => Pointed (EitherT a f)
Produced by Haddock version 2.1.0