Limit
Version 1.0 revision 0 uploaded by NateSoares.
Package meta
- Synopsis
- Wrapper for data that can be unbounded
- Description
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.
- Author
- Nate Soares
- Bug reports
- n/a
- Category
- Data
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- nate@natesoares.com
- Package URL
- n/a
- Stability
- n/a