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 22.17:0.1.6.0@rev:2
Stackage Nightly 2024-04-14:0.2.0.0
Latest on Hackage:0.2.0.0

See all snapshots finite-typelits appears in

BSD-3-Clause licensed by mniip
Maintained by [email protected]
This version can be pinned in stack with:finite-typelits-0.1.2.0@sha256:c9eb531478bc996c68802b47dae156dbd87eb1c23169aaaf27938818a70ce9c1,720

Module documentation for 0.1.2.0

  • Data
    • Data.Finite
      • Data.Finite.Internal
Depends on 2 packages(full list with versions):
base, deepseq
Used by 1 package in nightly-2017-05-10(full list with versions):
vector-sized

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