finite-typelits

A type inhabited by finitely many values, indexed by type-level naturals

https://github.com/mniip/finite-typelits

LTS Haskell 20.2:0.1.6.0
Stackage Nightly 2022-12-01:0.1.6.0
Latest on Hackage:0.1.6.0

See all snapshots finite-typelits appears in

BSD-3-Clause licensed by mniip
Maintained by mniip@mniip.com
This version can be pinned in stack with:finite-typelits-0.1.6.0@sha256:57abe6696b4b392c054ac1b3a87afc4c54b3531f19c839dab220b5d3632307ab,1083

Module documentation for 0.1.6.0

Depends on 2 packages(full list with versions):

A type inhabited by finitely many values, indexed by type-level naturals.