The rivers package

[Tags: bsd3, library]

This library intends to unify, classify, demonstrate, and promote the use, abuse, and exploration of Streams and other infinite (co)data types. Many other languages have substantial feature overlap with Haskell, but Streams and friends proivde excellent demonstrations of Haskell features like laziness.

Rivers are not currently defined in this package, because they are still ill-defined. The goal of this package in the meantime is, therefore, is to focus on Streams.

Another goal of this package is to demonstrate the ecosystem of Rivers (and Streams), how identical (and indeed sometimes isomorphic) streams can be constucted in many different ways. OEIS (http://www.oeis.org) is used to verify the correctness of numeric streams, where possible.


Properties

Version0.1.0
Dependenciesbase (<5.0), lazysmallcheck (<0.7), oeis (<0.4), QuickCheck (<2.5)
LicenseBSD3
Copyright2011, 2012 Drew Day
AuthorDrew Day <drewday@gmail.com>
MaintainerDrew Day <drewday@gmail.com>
CategoryData, Comonads, Math
Home pagehttps://github.com/d-rive/rivers
Bug trackerhttps://github.com/d-rive/rivers/issues
Source repositoryhead: git clone git://github.com/d-rive/rivers.git
Upload dateSun Dec 4 02:13:17 UTC 2011
Uploaded byDrewDay
Downloads66 total (7 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees