Control.Monad.Either.Extra

Reexports

Definitions

traverseList_ : (t -> EitherT e IO ()) -> List t -> EitherT e IO ()

  Specialized, stack-safe list traversal.

Totality: total
Visibility: export

traverseList : (t -> EitherT e IO a) -> List t -> EitherT e IO (List a)

  Specialized, stack-safe list traversal.

Totality: total
Visibility: export

forList_ : List t -> (t -> EitherT e IO ()) -> EitherT e IO ()

  Specialized, stack-safe list traversal.

Totality: total
Visibility: export

forList : List t -> (t -> EitherT e IO a) -> EitherT e IO (List a)

  Specialized, stack-safe list traversal.

Totality: total
Visibility: export

traverseSnocList_ : (t -> EitherT e IO ()) -> SnocList t -> EitherT e IO ()

  Specialized, stack-safe list traversal.

Totality: total
Visibility: export

traverseSnocList : (t -> EitherT e IO a) -> SnocList t -> EitherT e IO (SnocList a)

  Specialized, stack-safe list traversal.

Totality: total
Visibility: export

forSnocList_ : SnocList t -> (t -> EitherT e IO ()) -> EitherT e IO ()

  Specialized, stack-safe list traversal.

Totality: total
Visibility: export

forSnocList : SnocList t -> (t -> EitherT e IO a) -> EitherT e IO (SnocList a)

  Specialized, stack-safe list traversal.

Totality: total
Visibility: export