Name:                type-level-natural-number
Version:             1.0
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 inspired by
                     the type-level natural numbers in the excellent
                     Vec package.

Cabal-version: >=1.6
Build-type: Simple
Category: Type System,Data

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