@hackage / Limit

Wrapper for data that can be unbounded

Latest1.0

About

Metadata

  • Last updated , by NateSoares
  • License MIT

  • Maintained by: nate@natesoares.com

  • Lottery factor: 0

Links

Installation

Readme

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.