Idris2Doc : Control.Monad.Error.Either

Control.Monad.Error.Either

dataEitherT : Type -> (Type -> Type) -> Type -> Type
Totality: total
Constructor: 
MkEitherT : m (Eitherea) -> EitherTema
bimapEitherT : Functorm => (a -> c) -> (b -> d) -> EitherTamb -> EitherTcmd
Totality: total
catchE : Monadm => EitherTema -> (e -> EitherTe'ma) -> EitherTe'ma
Totality: total
eitherT : Monadm => (a -> mc) -> (b -> mc) -> EitherTamb -> mc
Totality: total
left : Applicativem => e -> EitherTema
  Analogous to Left, aka throwE

Totality: total
mapEitherT : (m (Eitherea) -> n (Eithere'a')) -> EitherTema -> EitherTe'na'
  map the underlying computation
The basic 'unwrap, apply, rewrap' of this transformer.

Totality: total
right : Applicativem => a -> EitherTema
  Analogous to Right, aka pure for EitherT

Totality: total
runEitherT : EitherTema -> m (Eitherea)
Totality: total
swapEitherT : Functorm => EitherTema -> EitherTame
Totality: total
throwE : Applicativem => e -> EitherTema
  aka `left`

Totality: total