natural-numbers-0.1.2.0: Natural numbers

The natural-numbers package

This package provides a type of all natural numbers, that is, non-negative integers.

In contrast to the naturals package, it does not use an “indeterminate value” to represent underflows, but raises errors on underflows. We think this is more reasonable, as this “indeterminate value” is not really a natural.

Properties

Versions0.0.0.0, 0.0.1.0, 0.0.1.1, 0.0.1.2, 0.0.1.3, 0.1.0.0, 0.1.0.1, 0.1.0.2, 0.1.0.3, 0.1.1.0, 0.1.1.1, 0.1.2.0
Dependenciesbase (≥3.0 & <5)
LicenseBSD3
Copyright© 2010 Brandenburgische Technische Universität Cottbus; © 2012 Wolfgang Jeltsch
AuthorWolfgang Jeltsch
Maintainerwolfgang@cs.ioc.ee
Stabilityprovisional
CategoryData, Math
Home pagehttp://darcs.wolfgang.jeltsch.info/haskell/natural-numbers
Source repositorydarcs get http://darcs.wolfgang.jeltsch.info/haskell/natural-numbers/main
Upload dateFri Jul 13 15:55:38 UTC 2012
Uploaded byWolfgangJeltsch
Built onghc-7.4

Modules

Downloads