type-level-natural-number
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 2.0 | 2014-03-30 18:38 UTC | GregoryCrosswhite | +15/−14 lines, 2 files | |
| 1.1.1 | 2012-11-06 04:37 UTC | GregoryCrosswhite | +27/−5 lines, 3 files | |
| 1.1 | 2010-10-14 01:22 UTC | GregoryCrosswhite | +21/−10 lines, 3 files | |
| 1.0 | 2010-07-30 20:03 UTC | GregoryCrosswhite | +148/−0 lines, 4 filesdep +basesetup-changed |
Dependencies of type-level-natural-number-2.0
base >=3 && <5 4.21.2.0 → 4.22.0.0
| 2025-12-19 11:52 UTC | 4.22.0.0 | +886/−215 lines, 28 filesdep ~ghc-internalPVP ok |
| 2026-03-27 12:26 UTC | 4.21.2.0 | +10/−3 lines, 4 filesdep ~ghc-internalPVP ok |
| 2025-12-27 10:31 UTC | 4.21.1.0 | +17/−5 lines, 4 filesdep ~ghc-internalPVP ok |
| 2024-12-16 09:24 UTC | 4.21.0.0 | +1170/−396 lines, 39 filesdep ~ghc-internalPVP ok |
| 2025-09-12 14:13 UTC | 4.20.2.0 | +13/−2 lines, 2 filesdep ~ghc-internalPVP ok |
showing 5 of 60 versions
Reverse dependencies
6 packages depend on type-level-natural-number; 5 have bounds that exclude 2.0
type-level-natural-number-induction 1.0.0.1 requires type-level-natural-number >=1.0 && <1.2 excludes current (upper bound)
type-level-natural-number-operations 1.0 requires type-level-natural-number >=1.0 && <1.2 excludes current (upper bound)