Name:                type-level-natural-number
Version:             1.1
License:             BSD3
License-file:        LICENSE
Author:              Gregory Crosswhite
Maintainer:          Gregory Crosswhite <gcross@phys.washington.edu>
Stability:           Provisional
Synopsis:            Simple, Haskell 2010-compatible type level natural numbers
Description:         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 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.
Cabal-version:       >=1.2.3
Build-type:          Simple
Category:	     Type System,Data

Library
    Build-depends:   base >= 3 && < 5
    Exposed-modules: TypeLevel.NaturalNumber
    Extensions:	     EmptyDataDecls