The quiver package

[ Tags: bsd3, control, library ] [ Propose Tags ]

Quiver is a powerful stream processing library for combinatorial and monadic representation of computations over both inductive and coinductive data streams.

It is similar to Gabriel Gonzalez's pipes and Michael Snoyman's conduit, but generalises both with support for functor-based computations and a clean support for finite (i.e., inductive) data streams, both upstream and downstream of the computation being defined.


[Skip to Readme]

Properties

Versions 0.0.0.1, 0.0.0.2, 0.0.0.3, 0.0.0.4, 0.0.0.5, 0.0.0.6, 0.0.0.7, 0.0.0.8, 0.0.0.9, 0.0.0.10, 0.0.0.11, 0.0.0.12, 1.0.0, 1.0.1, 1.0.2, 1.1.0, 1.1.1, 1.1.2, 1.1.3
Dependencies base (>=4.8 && <5), mmorph (>=1.0.4), transformers (>=0.4.2.0) [details]
License BSD3
Copyright Copyright (c) 2015 Patryk Zadarnowski
Author Patryk Zadarnowski
Maintainer Patryk Zadarnowski <pat@jantar.org>
Category Control
Home page https://github.com/zadarnowski/quiver
Source repository head: git clone https://github.com/zadarnowski/quiver.git
this: git clone https://github.com/zadarnowski/quiver.git(tag 1.1.2)
Uploaded Tue Dec 8 21:57:05 UTC 2015 by patrykz
Distributions NixOS:1.1.3
Downloads 1586 total (26 in the last 30 days)
Rating 2.0 (1 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for quiver-1.1.3

[back to package description]

Quiver

Copyright © 2015 Patryk Zadarnowski «pat@jantar.org».
All rights reserved.

Quiver is a powerful stream processing library for combinatorial and monadic representation of computations over both inductive and coinductive data streams.

It is similar to Gabriel Gonzalez's pipes and Michael Snoyman's conduit, but generalises both with support for functor-based computations and a clean support for finite (i.e., inductive) data streams, both upstream and downstream of the computation being defined.

The underlying data structure, P, is almost identical to the Proxy data structure of the Pipes library, except that the Consume and Produce constructors (corresponding, respectively, to Request and Response in the Pipes' Proxy data type) include an additional argument which explicitly captures the processor's behaviour in the event of input stream depletion (for Consume) or output decoupling (for Produce). This simple mechanism subsumes Conduit's need for elaborate unconsumed-input tracking mechanisms, and allows us to provide a mathematically-clean framework for processing of finite data streams.

This library is currently very young, and users should expect significant changes to the Quiver core combinators as the underlying theory is developed and the interface stabilises asymptotically to the future version 1.0.