The Limit package
Limit n is like Maybe n, with (Bounded n) in place of (Just n) and Unbounded in place of Nothing. The only difference is that ∀n. Unbounded >= Bounded n, which makes Limit a good data type to deal with numbers that can become unbounded.
- No changelog available
|Source repository||head: git clone git://github.com/Soares/Bound.hs.git|
|Upload date||Sat Dec 24 20:07:41 UTC 2011|
|Downloads||137 total (15 in last 30 days)|
For package maintainers and hackage trustees