The type-unary package

[Tags: bsd3, library]

Type-level and value-typed unary natural numbers, plus length-typed vectors, inequality proofs. There are probably many of these packages. Perhaps consolidate. This one is extracted from Shady.

Properties

Versions0.0.0, 0.1.0, 0.1.1, 0.1.2, 0.1.3, 0.1.4, 0.1.5, 0.1.6, 0.1.7, 0.1.8, 0.1.9, 0.1.10, 0.1.11, 0.1.12, 0.1.13, 0.1.14, 0.1.15, 0.1.16, 0.1.18, 0.2.0, 0.2.1, 0.2.2, 0.2.3, 0.2.4, 0.2.5, 0.2.8, 0.2.13, 0.2.14, 0.2.15, 0.2.16
Change logNone available
Dependenciesbase (==4.*), functor-combo, ty, TypeCompose, vector-space
LicenseBSD3
Copyright(c) 2009-2011 by Conal Elliott
AuthorConal Elliott
Maintainerconal@conal.net
Stabilityexperimental
CategoryData
Home pagehttps://github.com/conal/type-unary
UploadedTue Oct 25 18:30:25 UTC 2011 by ConalElliott
DistributionsNixOS:0.2.16
Downloads3758 total (186 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees