pipes
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 for, (>->), await, and yield; Blazing fast: Implementation tuned for speed, including shortcut fusion; Lightweight Dependency: pipes is small and compiles very rapidly, including dependencies; Elegant semantics: Use practical category theory; ListT: Correct implementation of ListT that interconverts with pipes; Bidirectionality: Implement duplex channels; Extensive Documentation: Second to none!
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
Sorted by year (- Kammar, Ohad; Lindley, Sam; Oury, Nicolas: Handlers in action (2013)
- PirĂ³g, Maciej; Gibbons, Jeremy: Monads for behaviour (2013)