This small Haskell library provides some type classes, types and functions to
work with list arrows and the more generalized container arrows. List arrows
represent computations that may return multiple outputs. Making functions that
return lists an instance of both the Category
and Arrow
type classes allow
you to easily compose multiple computations into one with standard building
blocks.
This package provides:
-
A type class
ArrowList
for embedding functions that produce a list of outputs into some list arrow. -
A list of utility functions for working with list-arrows, these functions are based on the
ArrowList
type class so they are not tied one specific instance. -
A concrete list arrow type that is implemented as a
Kleisli
arrow over theListT
list monad transformer. In short, you can both build pure list arrows and list arrows that produce tributary effects. -
Not list arrow specific: A type class
ArrowKleisli
for embedding monadic computations into an arrow. -
A type class
ArrowF
for embedding functions that produce a some Foldable + Alternative functor of outputs into some container arrow.