category-extras-0.52.0: Various modules and constructs inspired by category theory Source code Contents Index

Control.Monad.Either Portability portable Stability experimental Maintainer Edward 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) 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.3.0