rivers: Rivers are like Streams, but different.

[ bsd3, comonads, data, library, math ] [ Propose Tags ]

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.


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0
Dependencies base (<5.0), lazysmallcheck (<0.7), oeis (<0.4), QuickCheck (<2.5) [details]
License BSD-3-Clause
Copyright 2011, 2012 Drew Day
Author Drew Day <drewday@gmail.com>
Maintainer Drew Day <drewday@gmail.com>
Category Data, Comonads, Math
Home page https://github.com/d-rive/rivers
Bug tracker https://github.com/d-rive/rivers/issues
Source repo head: git clone git://github.com/d-rive/rivers.git
Uploaded by DrewDay at 2011-12-04T02:13:17Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1184 total (2 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for rivers-0.1.0

[back to package description]