The type-natural package

[Tags:bsd3, library]

Type-level natural numbers and proofs of their properties.

Version 0.6+ supports __GHC 8+ only__.

__Use 0.5.* with ~ GHC 7.10.3__.

Properties

Versions 0.0.1.0, 0.0.1.1, 0.0.2.0, 0.0.2.1, 0.0.3.0, 0.0.4.0, 0.0.5.0, 0.0.6.0, 0.1.0.0, 0.2.0.0, 0.2.1.0, 0.2.1.1, 0.2.1.2, 0.2.1.3, 0.2.1.4, 0.2.1.5, 0.2.2.0, 0.2.3.0, 0.2.3.1, 0.2.3.2, 0.3.0.0, 0.4.0.0, 0.4.1.0, 0.4.1.1, 0.4.2.0, 0.5.0.0, 0.6.0.0, 0.6.1.0, 0.6.1.1, 0.7.0.0, 0.7.1.0, 0.7.1.1, 0.7.1.2 (info)
Dependencies base (==4.*), constraints (>=0.3 && <0.9), equational-reasoning (>=0.4.1.1 && <1), ghc-typelits-natnormalise (>=0.4 && <0.6), ghc-typelits-presburger (>=0.1.1 && <1), monomorphic (>=0.0.3 && <0.1), singletons (==2.2.*), template-haskell (>=2.8 && <3) [details]
License BSD3
Copyright (C) Hiromi ISHII 2013-2014
Author Hiromi ISHII
Maintainer konn.jinro_at_gmail.com
Stability Unknown
Category Math
Home page https://github.com/konn/type-natural
Source repository head: git clone git://github.com/konn/type-natural.git
Uploaded Thu Dec 29 05:34:17 UTC 2016 by HiromiIshii
Distributions NixOS:0.7.1.2
Downloads 4696 total (182 in the last 30 days)
Votes
1 []
Status Docs available [build log]
Last success reported on 2016-12-29 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees