category-extras-0.44.1: Various modules and constructs inspired by category theory.

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Monad.Either

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 

Fields

runEitherT :: m (Either a b)
 

Instances

Monad m => Monad (EitherT b m) 
Functor f => Functor (EitherT b f)