The type-natural package

[Tags:bsd3, library]

Type-level natural numbers and proofs of their properties.

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 (info)
Dependencies base (==4.*), constraints (>=0.3 && <0.9), equational-reasoning (==0.4.*), ghc-typelits-natnormalise (==0.4.*), ghc-typelits-presburger (==0.1.*), monomorphic (>=0.0.3), singletons (>=2.0 && <2.3), 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 Jul 28 16:53:20 UTC 2016 by HiromiIshii
Distributions NixOS:0.4.1.0
Downloads 4072 total (86 in the last 30 days)
Votes
0 []
Status Docs pending
Build status unknown [no reports yet]

Modules

  • Data
    • Type
      • Data.Type.Natural
        • Data.Type.Natural.Builtin
      • Data.Type.Ordinal

Downloads

Maintainer's Corner

For package maintainers and hackage trustees