type-level-natural-number: Simple, Haskell 2010-compatible type level natural numbers

[ bsd3, data, library, type-system ] [ Propose Tags ]

This is a simple, Haskell 2010 compatible implementation of type-level natural numbers. Operations requiring non-Haskell 2010 language extensions have been split into a separate package. The difference between this package and the many others on Hackage implementing type-level naturals is its emphasis on simplicity. It only supports non-negative natural numbers, and only the successor and predicessor operations. It represents natural numbers using a type-level linked list, so it is not intended to be used for representing large numbers. Pre-defined aliases for natural numbers up to 15 are provided. The code for this package was largely inspired by the type-level natural numbers in the excellent Vec package.

Versions 1.0, 1.1, 1.1.1, 2.0
Dependencies base (>=3 && <5) [details]
License BSD-3-Clause
Author Gregory Crosswhite
Maintainer Gregory Crosswhite <gcross@phys.washington.edu>
Category Type System, Data
Uploaded by GregoryCrosswhite at Fri Jul 30 20:03:46 UTC 2010
Distributions NixOS:2.0
Downloads 1506 total (13 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees