Idris2Doc : Control.Monad.Error.Either

Control.Monad.Error.Either

EitherT : Type -> (Type -> Type) -> Type -> Type
Totality: total
Constructor: 
MkEitherT : m (Eitherea) -> EitherTema
bimapEitherT : Functorm => (a -> c) -> (b -> d) -> EitherTamb -> EitherTcmd
catchE : Monadm => EitherTema -> (e -> EitherTe'ma) -> EitherTe'ma
eitherT : Monadm => (a -> mc) -> (b -> mc) -> EitherTamb -> mc
left : Applicativem => e -> EitherTema
Analogous to Left, aka throwE
mapEitherT : (m (Eitherea) -> n (Eithere'a')) -> EitherTema -> EitherTe'na'
map the underlying computation
The basic 'unwrap, apply, rewrap' of this transformer.
right : Applicativem => a -> EitherTema
Analogous to Right, aka pure for EitherT
runEitherT : EitherTema -> m (Eitherea)
swapEitherT : Functorm => EitherTema -> EitherTame
throwE : Applicativem => e -> EitherTema
aka `left`