type-natural: Type-level natural and proofs of their properties.

[ bsd3, library, math ] [ Propose Tags ]

Type-level natural numbers and proofs of their properties.

Version 0.6+ supports GHC 8+ only.

Use 0.5.* with ~ GHC 7.10.3.

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, 0.7.1.3, 0.7.1.4, 0.8.0.0, 0.8.0.1, 0.8.1.0 (info)
Dependencies base (==4.*), constraints (>=0.3), equational-reasoning (>=0.4.1.1), ghc-typelits-natnormalise (>=0.4), ghc-typelits-presburger (>=0.2.0.0), singletons (>=2.2 && <2.5), template-haskell (>=2.8) [details]
License BSD-3-Clause
Copyright (C) Hiromi ISHII 2013-2014
Author Hiromi ISHII
Maintainer konn.jinro_at_gmail.com
Category Math
Home page https://github.com/konn/type-natural
Source repo head: git clone git://github.com/konn/type-natural.git
Uploaded by HiromiIshii at Wed Apr 25 05:47:02 UTC 2018
Distributions NixOS:0.8.1.0
Downloads 9978 total (35 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-04-29 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees