[ data, library, mit ] [ Propose Tags ]

A simply way to extend numerical types to add infinity.

Includes 4 data types:

  1. Both infinities: GADT

  2. Positive infinity only: GADT

  3. Both infinities, represented as upper and lower bound of type (well almost)

  4. Positive infinity only, represented as upper bound of type

There's also rewrite rules in an attempt to make this all work as efficiently as possible (although unbenchmarked and untested).


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS]
Dependencies base (>=4.7 && <5) [details]
License MIT
Copyright Clinton Mead (2017)
Author Clinton Mead
Category Data
Home page
Bug tracker
Source repo head: git clone
Uploaded by clinton at 2017-04-05T06:41:11Z
Distributions NixOS:
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1095 total (14 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]