The data-nat package

[Tags: bsd3, library]

The usual data Nat = Zero | Succ Nat datatype with the appropriate instances.

Should be portable to any Haskell 98 compiler which supports the CPP extension.


Properties

Versions0.1, 0.1.1, 0.1.2
Dependenciesbase (==4.*), semigroups (>=0.7 && <0.9)
LicenseBSD3
CopyrightCopyright (C) 2012 Gábor Lehel
AuthorGábor Lehel
MaintainerGábor Lehel <illissius@gmail.com>
Stabilityexperimental
CategoryData, Math
Home pagehttp://github.com/glehel/data-nat
Source repositoryhead: git clone git://github.com/glehel/data-nat.git
Upload dateMon May 14 21:24:24 UTC 2012
Uploaded byGaborLehel
Downloads212 total (21 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees