packages feed

type-natural

view on Hackage

versionuploadeduploaderchanges
1.3.0.22025-01-02 07:07 UTCHiromiIshii+57/−56 lines, 1 filesdep ~ghc-typelits-presburger
1.3.0.12023-12-27 16:23 UTCHiromiIshii1 revisions+38/−47 lines, 3 filesdep ~ghc-typelits-presburger
1.3.0.02023-03-21 15:59 UTCHiromiIshii+180/−86 lines, 9 filesdep ~ghc-typelits-presburger
1.2.0.12022-11-25 07:38 UTCHiromiIshii+230/−82 lines, 7 filesdep ~ghc-typelits-presburger
1.1.0.12021-12-11 09:51 UTCHiromiIshii+596/−297 lines, 4 files
1.1.0.02021-02-10 09:48 UTCHiromiIshii+39/−19 lines, 5 filesdep −tasty-expected-failuredep ~ghc-typelits-presburger
1.0.0.02021-01-17 16:12 UTCHiromiIshii+2667/−3172 lines, 30 filesdep +QuickCheckdep +ghcdep +ghc-typelits-knownnatdep −singletonsdep −singletons-presburgerdep ~basedep ~equational-reasoningdep ~ghc-typelits-presburger
0.9.0.02020-06-22 09:07 UTCHiromiIshii1 revisions+47/−17 lines, 5 filesdep ~ghc-typelits-presburgerdep ~singletonsdep ~singletons-presburger
0.8.3.12020-02-01 17:05 UTCHiromiIshii1 revisions+50/−10 lines, 5 filesdep +singletons-presburgerdep ~singletons
0.8.3.02020-02-01 16:03 UTCHiromiIshii+45/−29 lines, 7 filesdep ~ghc-typelits-presburgerdep ~singletons
0.8.2.02018-07-28 12:34 UTCHiromiIshii+14/−3 lines, 2 files
0.8.1.02018-04-25 05:47 UTCHiromiIshii+43/−26 lines, 2 filesdep ~ghc-typelits-natnormalise
0.8.0.12018-04-19 10:25 UTCHiromiIshii1 revisions+3/−6 lines, 2 files
0.8.0.02018-03-18 05:54 UTCHiromiIshii1 revisions+935/−760 lines, 14 filesdep −monomorphicdep ~constraintsdep ~equational-reasoningdep ~ghc-typelits-presburger
0.7.1.42017-11-30 08:39 UTCHiromiIshii1 revisions+18/−17 lines, 2 filesdep ~equational-reasoningdep ~ghc-typelits-presburgerdep ~singletons
0.7.1.32017-02-05 15:32 UTCHiromiIshii1 revisions+12/−7 lines, 2 filesdep ~constraints
0.7.1.22016-12-29 05:34 UTCHiromiIshii+53/−60 lines, 2 filesdep ~ghc-typelits-natnormalisedep ~monomorphic
0.7.1.12016-08-10 13:56 UTCHiromiIshii+2/−2 lines, 2 files
0.7.1.02016-08-09 11:46 UTCHiromiIshii+14/−14 lines, 2 files
0.7.0.02016-08-06 16:35 UTCHiromiIshii+390/−58 lines, 7 files
0.6.1.12016-08-05 15:12 UTCHiromiIshii+53/−74 lines, 5 filesdep ~equational-reasoning
0.6.1.02016-08-05 10:24 UTCHiromiIshii+67/−14 lines, 3 filesdep ~equational-reasoning
0.6.0.02016-08-02 17:27 UTCHiromiIshii+182/−225 lines, 6 filesdep ~singletons
0.5.0.02016-08-02 14:24 UTCHiromiIshii+1840/−645 lines, 9 filesdep ~ghc-typelits-presburgerdep ~singletons
0.4.2.02016-08-01 11:34 UTCHiromiIshii+51/−32 lines, 6 files
0.4.1.12016-07-28 16:53 UTCHiromiIshii+4/−4 lines, 2 files
0.4.1.02016-07-27 13:40 UTCHiromiIshii+124/−164 lines, 4 files
0.4.0.02016-07-27 13:09 UTCHiromiIshii+511/−239 lines, 7 filesdep +ghc-typelits-natnormalisedep +ghc-typelits-presburgerdep ~constraintsdep ~equational-reasoningdep ~singletons
0.3.0.02015-10-02 08:55 UTCHiromiIshii+360/−235 lines, 4 filesdep ~singletons
0.2.3.22015-02-04 06:25 UTCHiromiIshii+14/−2 lines, 3 filesdep ~singletons
0.2.3.12014-08-23 10:14 UTCHiromiIshii+14/−5 lines, 2 files
0.2.3.02014-08-23 09:54 UTCHiromiIshii+42/−6 lines, 2 files
0.2.2.02014-08-21 09:28 UTCHiromiIshii+26/−16 lines, 2 files
0.2.1.52014-08-16 07:39 UTCHiromiIshii+3/−3 lines, 2 files
0.2.1.42014-08-16 03:58 UTCHiromiIshii+2/−2 lines, 1 filesdep ~constraints
0.2.1.32014-08-14 10:46 UTCHiromiIshii+180/−127 lines, 3 filesdep ~singletons
0.2.1.22014-08-14 09:26 UTCHiromiIshii+4/−4 lines, 3 filesdep ~singletons
0.2.1.12014-06-07 08:12 UTCHiromiIshii+6/−4 lines, 2 filesdep ~singletons
0.2.1.02014-03-27 11:13 UTCHiromiIshii+175/−97 lines, 3 filesdep ~basedep ~equational-reasoningdep ~singletons
0.2.0.02014-02-28 12:06 UTCHiromiIshii+28/−10 lines, 2 files
0.1.0.02014-02-23 15:57 UTCHiromiIshii+51/−30 lines, 3 filesdep +constraints
0.0.6.02014-01-23 05:06 UTCHiromiIshii+14/−2 lines, 2 files
0.0.5.02014-01-09 17:29 UTCHiromiIshii+90/−117 lines, 3 files
0.0.4.02013-11-25 08:36 UTCHiromiIshii+85/−2 lines, 2 files
0.0.3.02013-09-19 03:50 UTCHiromiIshii+31/−3 lines, 2 filesdep +template-haskell
0.0.2.12013-07-12 06:13 UTCHiromiIshii+2/−2 lines, 2 files
0.0.2.02013-06-02 07:58 UTCHiromiIshii+15/−4 lines, 2 filesdep +monomorphic
0.0.1.12013-06-02 07:47 UTCHiromiIshii+5/−5 lines, 2 files
0.0.1.02013-06-02 07:25 UTCHiromiIshii+688/−0 lines, 4 filesdep +basedep +equational-reasoningdep +singletonssetup-changed

Dependencies of type-natural-1.3.0.2

QuickCheck >=0 2.17.1.0 → 2.18.0.0
2026-02-26 12:42 UTC2.18.0.0+826/−542 lines, 23 filesPVP ok
2025-10-13 12:40 UTC2.17.1.0+18/−8 lines, 4 filesdep ~randomPVP: major bump suggested
2025-10-07 12:26 UTC2.17.0.0+667/−129 lines, 14 filesdep +data-array-bytedep +hintdep +splitdep −ghc-primdep −old-localedep −old-timedep ~basedep ~randomdep ~template-haskellPVP ok
2025-06-17 07:53 UTC2.16.0.0+477/−86 lines, 15 filesdep ~basenew-uploaderPVP ok
2024-05-27 14:54 UTC2.15.0.1+15/−6 lines, 4 filesdep ~randomPVP ok

showing 5 of 65 versions

base >=4 && <5 4.21.2.0 → 4.22.0.0
2025-12-19 11:52 UTC4.22.0.0+886/−215 lines, 28 filesdep ~ghc-internalPVP ok
2026-03-27 12:26 UTC4.21.2.0+10/−3 lines, 4 filesdep ~ghc-internalPVP ok
2025-12-27 10:31 UTC4.21.1.0+17/−5 lines, 4 filesdep ~ghc-internalPVP ok
2024-12-16 09:24 UTC4.21.0.0+1170/−396 lines, 39 filesdep ~ghc-internalPVP ok
2025-09-12 14:13 UTC4.20.2.0+13/−2 lines, 2 filesdep ~ghc-internalPVP ok

showing 5 of 60 versions

constraints >=0.3 0.14.3 → 0.14.4
2026-01-26 18:08 UTC0.14.4+9/−2 lines, 2 filesdep +ghc-bignumPVP ok
2026-01-10 16:15 UTC0.14.3+14/−11 lines, 4 filesdep −ghc-primPVP: major bump suggested
2024-05-12 22:52 UTC0.14.2+59/−22 lines, 4 filesdep +integer-gmpdep ~hashablePVP: major bump suggested
2024-04-29 13:47 UTC0.14.1+7/−4 lines, 4 filesdep −type-equalityPVP: major bump suggested
2023-10-11 10:55 UTC0.14+449/−560 lines, 12 filesdep +boringdep −semigroupsdep −transformers-compatdep ~basedep ~mtldep ~transformersPVP ok

showing 5 of 36 versions

equational-reasoning >=0.4.1.1 0.7.0.3 → 0.7.1.0
2025-01-02 06:49 UTC0.7.1.0+337/−371 lines, 7 filesdep ~basedep ~containersdep ~template-haskellPVP: major bump suggested
2024-05-17 11:59 UTC0.7.0.3+73/−24 lines, 3 filesdep ~containersPVP: major bump suggested
2023-12-26 13:31 UTC0.7.0.2+40/−39 lines, 1 filesdep −semigroupsdep ~template-haskelldep ~th-desugarPVP: major bump suggested
2021-10-31 08:51 UTC0.7.0.1+7/−5 lines, 2 filesdep ~template-haskelldep ~th-desugarPVP ok
2021-01-22 10:42 UTC0.7.0.0+263/−146 lines, 4 filesdep ~template-haskelldep ~th-desugarPVP ok

showing 5 of 30 versions

ghc >=0 9.12.4 → 9.14.1
2025-12-19 11:51 UTC9.14.1+94968/−73927 lines, 535 filesdep +ghc-internaldep ~basedep ~containersdep ~ghc-bootsetup-changedPVP ok
2026-03-27 12:26 UTC9.12.4+3128/−1766 lines, 79 filesdep +rtsdep ~ghc-bootdep ~ghc-boot-thdep ~ghc-boot-th-nextPVP: major bump suggested
2025-12-27 10:29 UTC9.12.3+6833/−5245 lines, 117 filesdep ~ghc-bootdep ~ghc-boot-thdep ~ghc-boot-th-nextPVP: major bump suggested
2025-06-16 15:02 UTC9.12.2+182/−697 lines, 17 filesdep ~ghc-bootdep ~ghc-boot-thdep ~ghc-boot-th-nextPVP: major bump suggested
2024-12-16 09:29 UTC9.12.1+66834/−46960 lines, 535 filesdep +ghc-boot-thdep +ghc-boot-th-nextdep +os-stringdep −template-haskelldep ~basedep ~filepathdep ~ghc-bootPVP ok

showing 5 of 50 versions

ghc-typelits-knownnat >=0 0.8.3 → 0.8.4
2026-05-13 13:19 UTC0.8.4+10/−6 lines, 3 filesdep ~ghc-tcplugin-apiPVP: major bump suggested
2026-03-20 09:41 UTC0.8.3+5/−10 lines, 3 filesPVP: major bump suggested
2025-10-17 12:45 UTC0.8.2+15/−14 lines, 4 filesdep ~ghc-typelits-natnormalisePVP: major bump suggested
2025-10-10 09:19 UTC0.8.1+81/−26 lines, 4 filesdep +QuickCheckdep ~ghc-tcplugin-apiPVP ok
2025-09-08 12:32 UTC0.8.0+1294/−2325 lines, 9 filesdep +ghc-bignumdep +ghc-tcplugin-apidep −ghc-primdep −ghc-tcplugins-extradep ~ghcdep ~ghc-typelits-natnormalisedep ~integer-gmpPVP ok

showing 5 of 33 versions

ghc-typelits-natnormalise >=0.4 0.9.5 → 0.9.6
2026-05-13 12:55 UTC0.9.6+11/−7 lines, 3 filesdep ~ghc-tcplugin-apidep ~transformersPVP: major bump suggested
2026-03-19 17:12 UTC0.9.5+30/−22 lines, 3 filesPVP ok
2026-03-19 16:46 UTC0.9.4+792/−695 lines, 9 filesdep +interpolatedep +processdep +temporarydep −template-haskelldep ~ghc-tcplugin-apinew-uploaderPVP ok
2025-12-02 22:23 UTC0.9.3+46/−10 lines, 5 filesPVP ok
2025-12-02 12:38 UTC0.9.2+336/−106 lines, 6 filesPVP ok

showing 5 of 50 versions

ghc-typelits-presburger >=0.7.4.1 0.7.4.1 → 0.7.4.2
2025-07-20 12:22 UTC0.7.4.2+126/−108 lines, 5 filesdep ~ghc-tcplugins-extraPVP: major bump suggested
2025-01-02 06:52 UTC0.7.4.1+11/−12 lines, 3 filesdep ~ghcPVP ok
2024-06-09 11:39 UTC0.7.4.0 outside bounds+95/−43 lines, 6 filesdep ~ghcPVP: major bump suggested
2023-12-26 15:17 UTC0.7.3.0 outside bounds+214/−396 lines, 6 filesdep ~ghcPVP ok
2023-03-20 14:57 UTC0.7.2.0 outside bounds+199/−61 lines, 7 filesdep ~ghcdep ~ghc-typelits-presburgerPVP: major bump suggested

showing 5 of 24 versions

integer-logarithms >=0 1.0.4 → 1.0.5
2026-01-04 20:13 UTC1.0.5+23/−23 lines, 2 filesdep −ghc-bignumdep −ghc-primdep −tasty-hunitdep ~QuickCheckdep ~basePVP ok
2024-12-20 17:13 UTC1.0.4+25/−62 lines, 6 filesdep ~QuickCheckdep ~arraydep ~basePVP ok
2020-11-01 21:39 UTC1.0.3.1+88/−56 lines, 4 filesdep +ghc-bignumdep +invalid-cabal-flag-settingsdep ~QuickCheckdep ~basedep ~ghc-primPVP ok
2019-04-16 17:11 UTC1.0.3+36/−11 lines, 6 filesdep ~QuickCheckdep ~basedep ~ghc-primPVP ok
2018-09-10 04:45 UTC1.0.2.2+18/−9 lines, 4 filesdep ~QuickCheckdep ~basedep ~tastyPVP ok

showing 5 of 9 versions

quickcheck-instances >=0 0.3.33 → 0.4
2026-01-08 11:48 UTC0.4+29/−227 lines, 7 filesdep −OneTupledep ~QuickCheckdep ~arraydep ~base
2025-06-03 21:29 UTC0.3.33+25/−6 lines, 3 filesdep ~QuickCheckdep ~vector
2024-11-04 11:57 UTC0.3.32+25/−7 lines, 3 filesdep ~base
2024-05-16 22:12 UTC0.3.31+54/−235 lines, 26 filesdep −bytestring-builderdep −natsdep −semigroupsdep ~OneTupledep ~QuickCheckdep ~array
2023-10-04 18:05 UTC0.3.30+46/−17 lines, 3 filesdep ~basedep ~bytestringdep ~primitive

showing 5 of 42 versions

tasty >=0 1.5.3 → 1.5.4
2026-03-25 20:04 UTC1.5.4+332/−166 lines, 22 filesdep −semigroups
2025-01-05 19:52 UTC1.5.3+36/−11 lines, 3 filesdep ~containersdep ~optparse-applicative
2024-11-03 00:34 UTC1.5.2+22/−5 lines, 4 filesdep ~base
2024-06-22 10:14 UTC1.5.1+131/−63 lines, 10 filesdep ~base
2023-09-10 00:08 UTC1.5+1005/−263 lines, 24 filesdep ~ansi-terminaldep ~containersdep ~optparse-applicative

showing 5 of 75 versions

tasty-discover >=0 5.1.0 → 5.2.0
2025-10-25 01:49 UTC5.2.0+347/−38 lines, 7 filesdep ~tasty-quickcheck
2025-08-10 03:11 UTC5.1.0+1691/−102 lines, 17 filesdep +ansi-terminaldep +directorydep +processdep ~tasty-quickcheck
2025-06-01 05:23 UTC5.0.2+16/−9 lines, 6 files
2025-01-13 13:49 UTC5.0.1+90/−68 lines, 8 filesdep −directorydep ~basedep ~hspecdep ~hspec-core
2022-07-08 03:47 UTC5.0.0+16/−36 lines, 6 filesdep ~hspecdep ~tasty-hedgehog

showing 5 of 27 versions

tasty-hunit >=0 0.10.1 → 0.10.2
2024-06-22 10:14 UTC0.10.2+15/−7 lines, 4 files
2023-09-10 00:12 UTC0.10.1+30/−52 lines, 5 filesdep ~basedep ~call-stackdep ~tastynew-uploader
2020-12-18 09:42 UTC0.10.0.3+55/−10 lines, 4 filesdep ~base
2019-05-15 05:50 UTC0.10.0.2+38/−8 lines, 3 filesdep ~tasty
2017-12-01 19:24 UTC0.10.0.1+51/−29 lines, 4 files

showing 5 of 15 versions

tasty-quickcheck >=0 0.11 → 0.11.1
2025-01-05 19:53 UTC0.11.1+66/−33 lines, 4 filesdep +regex-tdfadep −pcre-lightdep ~QuickCheckdep ~basedep ~optparse-applicative
2024-06-22 10:14 UTC0.11+132/−49 lines, 4 filesdep ~QuickCheck
2023-09-10 00:10 UTC0.10.3+52/−14 lines, 3 filesdep ~QuickCheckdep ~optparse-applicativedep ~randomnew-uploader
2021-11-20 19:17 UTC0.10.2+21/−13 lines, 3 filesdep ~base
2020-12-18 09:42 UTC0.10.1.2+27/−13 lines, 4 filesdep ~base

showing 5 of 23 versions

template-haskell >=2.8 2.23.0.0 → 2.24.0.0
2025-12-19 11:53 UTC2.24.0.0+606/−68 lines, 9 filesdep +ghc-internaldep ~basedep ~ghc-boot-th
2024-12-16 09:29 UTC2.23.0.0+104/−5685 lines, 9 filesdep −ghc-primdep −prettydep ~basedep ~ghc-boot-thnew-uploader
2024-05-15 13:07 UTC2.22.0.0+176/−81 lines, 7 filesdep ~basedep ~ghc-boot-th
2023-10-10 00:23 UTC2.21.0.0+275/−148 lines, 7 filesdep ~basedep ~ghc-boot-th
2023-03-28 13:43 UTC2.20.0.0+215/−139 lines, 9 filesdep −filepathdep ~basedep ~ghc-boot-th

showing 5 of 26 versions

Reverse dependencies

5 packages depend on type-natural; 3 have bounds that exclude 1.3.0.2

computational-algebra 0.5.1.0 requires type-natural >=0.7.1 && <0.8 excludes current (upper bound)
sized-vector 1.4.3.1 requires type-natural >=0.4.1 && <0.5 excludes current (upper bound)
tropical-geometry 0.0.0.1 requires type-natural >=0.8.2.0 && <0.9 excludes current (upper bound)
linearmap-category 0.6.0.2 requires type-natural >=1.0 && <1.4
sized 1.1.0.2 requires type-natural >=1.3