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, 0.8.2.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 Sat Jul 28 12:34:42 UTC 2018
Distributions NixOS:0.8.2.0
Downloads 10739 total (55 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-07-28 [all 1 reports]
Hackage Matrix CI

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees