@hackage type-level-natural-number1.0

Simple, Haskell 2010-compatible type level natural numbers

  • Categories

  • License

    BSD-3-Clause

  • Maintainer

    Gregory Crosswhite <gcross@phys.washington.edu>

  • Versions

    • 2.0 Sun, 30 Mar 2014
    • 1.1.1 Tue, 6 Nov 2012
    • 1.1 Thu, 14 Oct 2010
    • 1.0 Fri, 30 Jul 2010

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.

  • Installation

  • Dependencies (0)

  • Dependents (0)