BSD-3-Clause licensed by Sebastiaan Visser
Maintained by [email protected]
This version can be pinned in stack with:arrow-list-0.7@sha256:b378ebb0f81e6630c634b7ec8b13d00f53883b83a0cc885c903b58ef04ddf68c,1345

Module documentation for 0.7

  • Control
    • Control.Arrow
      • Control.Arrow.Kleisli
        • Control.Arrow.Kleisli.Class
      • Control.Arrow.List
        • Control.Arrow.List.Class
      • Control.Arrow.ListLike
        • Control.Arrow.ListLike.Class
      • Control.Arrow.Sequence
    • Control.Monad
      • Control.Monad.Sequence
Depends on 3 packages(full list with versions):

List arrows for Haskell.

Build Status

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 the ListT 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.

Changes

Changelog

0.7

  • Renamed modules to not clash with hxt

    • Control.Arrow.ArrowF => Control.Arrow.ArrowListLike.Class
    • Control.Arrow.ArrowKleisli => Control.Arrow.ArrowKleisli.Class
    • Control.Arrow.ArrowList => Control.Arrow.ArrowList.Class
  • Renamed the ArrowF class to ArrowListLike.

0.6.1.5

  • Allow mtl 2.2.

0.6.1.4