- data EitherT : Type -> (Type -> Type) -> Type -> Type
- Totality: total
Constructor: - MkEitherT : m (Either e a) -> EitherT e m a
- bimapEitherT : Functor m => (a -> c) -> (b -> d) -> EitherT a m b -> EitherT c m d
- Totality: total
- catchE : Monad m => EitherT e m a -> (e -> EitherT e' m a) -> EitherT e' m a
- Totality: total
- eitherT : Monad m => (a -> m c) -> (b -> m c) -> EitherT a m b -> m c
- Totality: total
- left : Applicative m => e -> EitherT e m a
Analogous to Left, aka throwE
Totality: total- mapEitherT : (m (Either e a) -> n (Either e' a')) -> EitherT e m a -> EitherT e' n a'
map the underlying computation
The basic 'unwrap, apply, rewrap' of this transformer.
Totality: total- right : Applicative m => a -> EitherT e m a
Analogous to Right, aka pure for EitherT
Totality: total- runEitherT : EitherT e m a -> m (Either e a)
- Totality: total
- swapEitherT : Functor m => EitherT e m a -> EitherT a m e
- Totality: total
- throwE : Applicative m => e -> EitherT e m a
aka `left`
Totality: total