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.6.0@rev:2 |
LTS Haskell 22.43: | 0.1.6.0@rev:2 |
Stackage Nightly 2024-12-03: | 0.2.1.0 |
Latest on Hackage: | 0.2.1.0 |
Maintained by [email protected]
This version can be pinned in stack with:
finite-typelits-0.1.6.0@sha256:3a055e3a68ff66b4bf046424b21486c43ae25df003a2f61140cacd72e187ffa3,1128
Module documentation for 0.1.6.0
Depends on 2 packages(full list with versions):
Used by 2 packages in lts-22.41(full list with versions):