pipes is a clean and powerful stream processing library that lets you build
and connect reusable streaming components
Advantages over traditional streaming libraries:
Concise API: Use simple commands like
Blazing fast: Implementation tuned for speed, including shortcut fusion
pipesis small and compiles very rapidly, including dependencies
Elegant semantics: Use practical category theory
ListT: Correct implementation of
ListTthat interconverts with pipes
Bidirectionality: Implement duplex channels
Extensive Documentation: Second to none!
Pipes to use the library.
Pipes.Tutorial for an extensive tutorial.