packages feed

ghc-typelits-knownnat

view on Hackage

versionuploadeduploaderchanges
0.8.42026-05-13 13:19 UTCQBayLogic+10/−6 lines, 3 filesdep ~ghc-tcplugin-apiPVP: major bump suggested
0.8.32026-03-20 09:41 UTCQBayLogic+5/−10 lines, 3 filesPVP: major bump suggested
0.8.22025-10-17 12:45 UTCChristiaanBaaij+15/−14 lines, 4 filesdep ~ghc-typelits-natnormalisePVP: major bump suggested
0.8.12025-10-10 09:19 UTCChristiaanBaaij+81/−26 lines, 4 filesdep +QuickCheckdep ~ghc-tcplugin-apiPVP ok
0.8.02025-09-08 12:32 UTCChristiaanBaaij1 revisions+1294/−2325 lines, 9 filesdep +ghc-bignumdep +ghc-tcplugin-apidep −ghc-primdep −ghc-tcplugins-extradep ~ghcdep ~ghc-typelits-natnormalisedep ~integer-gmpPVP ok
0.7.132025-03-04 16:09 UTCChristiaanBaaij+3043/−3031 lines, 12 filesdep ~ghcdep ~ghc-primdep ~template-haskellsetup-changedPVP ok
0.7.122024-05-22 20:14 UTCChristiaanBaaij+3031/−3010 lines, 12 filesdep ~ghcdep ~template-haskellsetup-changedPVP: major bump suggested
0.7.102023-11-14 09:17 UTCQBayLogic+13/−7 lines, 3 filesnew-uploaderPVP ok
0.7.92023-10-10 14:57 UTCChristiaanBaaij+108/−48 lines, 3 filesdep ~ghcdep ~ghc-primdep ~template-haskellPVP ok
0.7.82023-02-20 21:21 UTCChristiaanBaaij+38/−8 lines, 4 filesdep ~ghcdep ~ghc-primdep ~template-haskellPVP ok
0.7.72022-10-10 16:14 UTCChristiaanBaaij+2199/−1198 lines, 9 filesdep ~ghcdep ~ghc-primdep ~template-haskellPVP: major bump suggested
0.7.62021-06-18 12:35 UTCChristiaanBaaij+38/−8 lines, 5 filesdep ~ghcdep ~ghc-primdep ~template-haskellPVP ok
0.7.52021-02-10 10:06 UTCChristiaanBaaij+5/−2 lines, 2 filesdep ~template-haskellPVP ok
0.7.42021-01-01 15:53 UTCChristiaanBaaij+48/−4 lines, 3 filesdep ~ghcdep ~ghc-primPVP ok
0.7.32020-07-25 12:07 UTCChristiaanBaaij+69/−7 lines, 4 filesdep +integer-gmpPVP: major bump suggested
0.7.22020-02-06 13:35 UTCChristiaanBaaij+78/−64 lines, 7 filesdep ~ghcdep ~ghc-primdep ~ghc-tcplugins-extraPVP: major bump suggested
0.7.12019-10-08 10:22 UTCChristiaanBaaij+42/−8 lines, 4 filesPVP ok
0.72019-08-26 14:12 UTCChristiaanBaaij1 revisions+302/−54 lines, 5 filesdep +ghc-primdep ~ghcdep ~ghc-typelits-natnormalisedep ~template-haskellPVP ok
0.62018-09-14 13:05 UTCChristiaanBaaij+14/−3 lines, 3 filesPVP ok
0.5.12018-07-10 19:57 UTCChristiaanBaaij+35/−37 lines, 5 filesdep ~ghcdep ~template-haskellPVP ok
0.52018-05-08 23:25 UTCChristiaanBaaij+46/−35 lines, 5 filesdep ~ghc-tcplugins-extradep ~ghc-typelits-natnormalisePVP ok
0.4.22018-04-15 08:56 UTCChristiaanBaaij1 revisions+107/−11 lines, 3 filesdep ~ghc-tcplugins-extradep ~ghc-typelits-natnormalisePVP ok
0.4.12018-03-17 18:07 UTCChristiaanBaaij+25/−5 lines, 3 filesdep ~ghc-tcplugins-extradep ~ghc-typelits-natnormalisedep ~template-haskellPVP ok
0.42018-01-04 14:45 UTCChristiaanBaaij+25/−45 lines, 7 filesdep −singletonsdep ~ghcPVP ok
0.3.12017-08-17 09:25 UTCChristiaanBaaij+15/−4 lines, 3 filesdep ~ghc-typelits-knownnatdep ~singletonsPVP ok
0.32017-05-15 08:30 UTCChristiaanBaaij1 revisions+78/−35 lines, 5 filesdep ~basedep ~ghcdep ~singletonsPVP ok
0.2.42017-04-10 15:36 UTCChristiaanBaaij+118/−10 lines, 7 filesdep +tasty-quickcheckPVP ok
0.2.32017-01-15 17:51 UTCChristiaanBaaij+56/−6 lines, 5 filesdep ~ghc-typelits-natnormalise
0.2.22016-09-29 14:04 UTCChristiaanBaaij+17/−5 lines, 4 files
0.2.12016-08-19 09:43 UTCChristiaanBaaij+48/−33 lines, 6 files
0.22016-08-17 09:35 UTCChristiaanBaaij+714/−211 lines, 8 filesdep +ghc-typelits-natnormalisedep +singletonsdep +template-haskell
0.1.12016-08-11 08:40 UTCChristiaanBaaij+12/−8 lines, 4 files
0.12016-08-10 17:41 UTCChristiaanBaaij+616/−0 lines, 8 filesdep +basedep +ghcdep +ghc-tcplugins-extrasetup-changed

Dependencies of ghc-typelits-knownnat-0.8.4

QuickCheck >=2.10 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.9 && <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

ghc >=8.0.1 && <9.17 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-bignum >=1.0 && <1.6 1.2 → 1.3
2022-08-07 20:08 UTC1.3+465/−112 lines, 12 filesdep ~ghc-primPVP ok
2021-10-29 06:12 UTC1.2+5204/−5393 lines, 9 filesdep ~ghc-primPVP ok
2022-04-11 09:19 UTC1.1+5311/−8682 lines, 7 filesnew-uploader
2021-03-28 14:51 UTC1.0+17743/−0 lines, 29 filesdep +ghc-primsetup-changed
ghc-tcplugin-api >=0.19 && <0.20 0.18.2.1 → 0.19.0.0
2026-05-12 10:56 UTC0.19.0.0+85/−37 lines, 3 filesdep ~ghcPVP ok
2026-04-28 15:04 UTC0.18.2.1 outside bounds+27/−5 lines, 3 filesdep ~basedep ~ghcPVP ok
2026-01-14 11:05 UTC0.18.2.0 outside bounds+103/−5 lines, 3 filesPVP ok
2025-10-09 19:28 UTC0.18.1.0 outside bounds+19/−7 lines, 3 filesPVP ok
2025-09-15 13:34 UTC0.18.0.0 outside bounds+216/−29 lines, 4 filesPVP ok

showing 5 of 33 versions

ghc-typelits-natnormalise >=0.9.0 && <0.10 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

integer-gmp >=1.0 && <1.1 1.0.3.0 → 1.1 newer than bounds
2022-08-07 20:08 UTC1.1 newer than bounds+325/−13171 lines, 18 filesdep +basedep +ghc-bignumdep ~ghc-primsetup-changednew-uploaderPVP ok
2020-05-04 13:25 UTC1.0.3.0+2403/−2219 lines, 13 filesdep ~ghc-primPVP: major bump suggested
2018-04-21 19:56 UTC1.0.2.0+213/−23 lines, 6 filesdep ~ghc-primPVP ok
2017-12-04 18:44 UTC1.0.1.0+281/−126 lines, 9 filesdep ~ghc-primPVP ok
2016-05-21 08:38 UTC1.0.0.1+629/−540 lines, 5 filesdep ~ghc-primPVP ok

showing 5 of 7 versions

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

showing 5 of 75 versions

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

showing 5 of 15 versions

tasty-quickcheck >=0.8 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-applicativePVP: major bump suggested
2024-06-22 10:14 UTC0.11+132/−49 lines, 4 filesdep ~QuickCheckPVP ok
2023-09-10 00:10 UTC0.10.3+52/−14 lines, 3 filesdep ~QuickCheckdep ~optparse-applicativedep ~randomnew-uploaderPVP ok
2021-11-20 19:17 UTC0.10.2+21/−13 lines, 3 filesdep ~basePVP: major bump suggested
2020-12-18 09:42 UTC0.10.1.2+27/−13 lines, 4 filesdep ~basePVP: major bump suggested

showing 5 of 23 versions

template-haskell >=2.11.0.0 && <2.26 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-thPVP ok
2024-12-16 09:29 UTC2.23.0.0+104/−5685 lines, 9 filesdep −ghc-primdep −prettydep ~basedep ~ghc-boot-thnew-uploaderPVP ok
2024-05-15 13:07 UTC2.22.0.0+176/−81 lines, 7 filesdep ~basedep ~ghc-boot-thPVP ok
2023-10-10 00:23 UTC2.21.0.0+275/−148 lines, 7 filesdep ~basedep ~ghc-boot-thPVP ok
2023-03-28 13:43 UTC2.20.0.0+215/−139 lines, 9 filesdep −filepathdep ~basedep ~ghc-boot-thPVP ok

showing 5 of 26 versions

transformers >=0.5.2.0 && <0.7 0.6.2.0 → 0.6.3.0
2026-01-12 12:42 UTC0.6.3.0+28/−1 lines, 4 filesPVP: major bump suggested
2025-04-06 22:39 UTC0.6.2.0+41/−42 lines, 8 filesdep ~ghc-primPVP: major bump suggested
2024-09-25 11:37 UTC0.6.1.2+70/−21 lines, 19 filesPVP: minor bump suggested
2023-08-01 19:13 UTC0.6.1.1+281/−42 lines, 11 filesPVP ok
2023-02-04 08:15 UTC0.6.1.0+64/−4 lines, 8 filesPVP ok

showing 5 of 42 versions

Reverse dependencies

44 packages depend on ghc-typelits-knownnat; 8 have bounds that exclude 0.8.4

clash-finite 1.0.0.0 requires ghc-typelits-knownnat >=0.7.2 && <0.8 excludes current (upper bound)
computational-algebra 0.5.1.0 requires ghc-typelits-knownnat >=0.3.1 && <0.4 excludes current (upper bound)
dahdit 0.8.0 requires ghc-typelits-knownnat >=0.7 && <0.8 excludes current (upper bound)
dahdit-audio 0.8.0 requires ghc-typelits-knownnat >=0.7 && <0.8 excludes current (upper bound)
finitary-derive 3.0.0.1 requires ghc-typelits-knownnat >=0.7 && <0.8 excludes current (upper bound)
posable 1.0.0.1 requires ghc-typelits-knownnat >=0.6 && <0.8 excludes current (upper bound)
sparse-tensor 0.2.1.5 requires ghc-typelits-knownnat >=0.2 && <0.8 excludes current (upper bound)
typed-streams 0.1.0.1 requires ghc-typelits-knownnat >=0.2 && <0.3 excludes current (upper bound)
bins 0.1.2.0 requires ghc-typelits-knownnat >=0
checked-literals 0.1.2 requires ghc-typelits-knownnat >=0.8 && <0.9
clash-ghc 1.10.0 requires ghc-typelits-knownnat >=0
clash-lib 1.10.0 requires ghc-typelits-knownnat >=0
clash-lib-hedgehog 1.10.0 requires ghc-typelits-knownnat >=0.8.3 && <0.9
clash-multisignal 0.2.0.0 requires ghc-typelits-knownnat >=0
clash-prelude 1.10.0 requires ghc-typelits-knownnat >=0.8.3 && <0.9
clash-prelude-hedgehog 1.10.0 requires ghc-typelits-knownnat >=0
clash-protocols 0.1.1 requires ghc-typelits-knownnat >=0
clash-shockwaves 1.1.1 requires ghc-typelits-knownnat >=0
clash-vexriscv 0.1 requires ghc-typelits-knownnat >=0
comonad-coactions 0.1.0.1 requires ghc-typelits-knownnat >=0.8.3 && <0.9
emd 0.2.0.0 requires ghc-typelits-knownnat >=0
finitary 2.2.1.0 requires ghc-typelits-knownnat >=0.7.2 && <0.9
ghc-typelits-extra 0.5.4 requires ghc-typelits-knownnat >=0.7.2 && <0.9
goal-core 0.20 requires ghc-typelits-knownnat >=0
goal-geometry 0.20 requires ghc-typelits-knownnat >=0
goal-graphical 0.20 requires ghc-typelits-knownnat >=0
goal-probability 0.20 requires ghc-typelits-knownnat >=0
hamilton 0.1.0.3 requires ghc-typelits-knownnat >=0
haskell-language-server 2.14.0.0 requires ghc-typelits-knownnat >=0
hasktorch 0.2.2.0 requires ghc-typelits-knownnat >=0.7.9 && <0.9
hmatrix-backprop 0.1.3.0 requires ghc-typelits-knownnat >=0
hmatrix-vector-sized 0.1.3.0 requires ghc-typelits-knownnat >=0
horde-ad 0.3.0.0 requires ghc-typelits-knownnat >=0.8.0 && <1
ice40-prim 0.3.1.4 requires ghc-typelits-knownnat >=0
linear-code 0.2.0 requires ghc-typelits-knownnat >=0
lion 0.4.0.1 requires ghc-typelits-knownnat >=0
modular 0.1.0.8 requires ghc-typelits-knownnat >=0.5 && <1
ox-arrays 0.2.0.1 requires ghc-typelits-knownnat >=0.8 && <0.9 || >=0.9.1 && <1
retroclash-lib 0.1.2.4 requires ghc-typelits-knownnat <1
retroclash-sim 0.1.2 requires ghc-typelits-knownnat <=1.0
sized 1.1.0.2 requires ghc-typelits-knownnat >=0
type-natural 1.3.0.2 requires ghc-typelits-knownnat >=0
typedflow 0.9 requires ghc-typelits-knownnat >=0
typerep-map 0.7.0.0 requires ghc-typelits-knownnat >=0.4.2 && <0.9