Idris2Doc : Control.Monad.Either.Extra

Control.Monad.Either.Extra

(source)

Reexports

importpublic Control.Monad.Error.Either

Definitions

traverseList_ : (t->EitherTeIO ()) ->Listt->EitherTeIO ()
  Specialized, stack-safe list traversal.

Totality: total
Visibility: export
traverseList : (t->EitherTeIOa) ->Listt->EitherTeIO (Lista)
  Specialized, stack-safe list traversal.

Totality: total
Visibility: export
forList_ : Listt-> (t->EitherTeIO ()) ->EitherTeIO ()
  Specialized, stack-safe list traversal.

Totality: total
Visibility: export
forList : Listt-> (t->EitherTeIOa) ->EitherTeIO (Lista)
  Specialized, stack-safe list traversal.

Totality: total
Visibility: export
traverseSnocList_ : (t->EitherTeIO ()) ->SnocListt->EitherTeIO ()
  Specialized, stack-safe list traversal.

Totality: total
Visibility: export
traverseSnocList : (t->EitherTeIOa) ->SnocListt->EitherTeIO (SnocLista)
  Specialized, stack-safe list traversal.

Totality: total
Visibility: export
forSnocList_ : SnocListt-> (t->EitherTeIO ()) ->EitherTeIO ()
  Specialized, stack-safe list traversal.

Totality: total
Visibility: export
forSnocList : SnocListt-> (t->EitherTeIOa) ->EitherTeIO (SnocLista)
  Specialized, stack-safe list traversal.

Totality: total
Visibility: export