finite-typelits
A type inhabited by finitely many values, indexed by type-level naturals.
https://github.com/mniip/finite-typelits
Version on this page: | 0.1.2.0 |
LTS Haskell 20.23: | 0.1.6.0@rev:1 |
Stackage Nightly 2023-06-04: | 0.1.6.0@rev:1 |
Latest on Hackage: | 0.1.6.0@rev:1 |
Maintained by mniip@mniip.com
This version can be pinned in stack with:
finite-typelits-0.1.2.0@sha256:c9eb531478bc996c68802b47dae156dbd87eb1c23169aaaf27938818a70ce9c1,720
Module documentation for 0.1.2.0
Depends on 2 packages(full list with versions):
Used by 1 package in lts-7.24(full list with versions):