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 (info)
Dependencies base (==4.*), constraints (>=0.3 && <0.9), equational-reasoning (>=0.4.1.1 && <1), ghc-typelits-natnormalise (==0.4.*), ghc-typelits-presburger (>=0.1.1 && <1), monomorphic (>=0.0.3), 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 Wed Aug 10 13:56:31 UTC 2016 by HiromiIshii
Distributions NixOS:0.7.1.1
Downloads 4164 total (69 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2016-08-10 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees