finite-typelits

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

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

LTS Haskell 21.23:0.1.6.0@rev:1
Stackage Nightly 2023-12-06:0.1.6.0@rev:1
Latest on Hackage:0.1.6.0@rev:1

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:b9f22e8a03a4f9ccc1e558340babdbb980de752a2a29a395f39cc839212cf56c,1128

Module documentation for 0.1.6.0

Depends on 2 packages(full list with versions):
base, deepseq
Used by 3 packages in nightly-2023-12-06(full list with versions):
hamilton, poly, vector-sized

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

A service provided by FP Complete