Name: type-level-natural-number
Version: 2.0
License: BSD3
License-file: LICENSE
Author: Gregory Crosswhite
Maintainer: Gregory Crosswhite <gcrosswhite@gmail.com>
Stability: Provisional
Synopsis: Simple type level natural numbers
Description: This is a simple implementation of type-level natural
numbers that only requires DeriveDataTypeable. Operations
requiring more 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 taken from
the excellent Vec package; I created this package
with the intent of making this functionality more
widely available.
.
Difference from 1.0: Added instances for Typeable, and
word synonyms for N0...N15.
.
Difference from 1.1: Performance enhancements for
naturalNumberAsInt. Simplified Show implementation.
.
Difference from 1.1.1: Gave up on Haskell 2010
compatibility since as of GHC 7.8 manually deriving from
Typeable is no longer allowed; now I use
DeriveDataTypeable to construct the instances.
Cabal-version: >=1.6
Build-type: Simple
Category: Type System,Data
Library
Build-depends: base >= 3 && < 5
Exposed-modules: TypeLevel.NaturalNumber
Extensions: EmptyDataDecls
source-repository head
type: git
location: git://github.com/gcross/type-level-natural-number.git
source-repository this
type: git
location: git://github.com/gcross/type-level-natural-number.git
tag: 1.1.1