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