finite-typelits

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

BSD-3-Clause licensed by mniip

Maintained by [email protected]

This version can be pinned in stack with:finite-typelits-0.1.6.0@sha256:b9f22e8a03a4f9ccc1e558340babdbb980de752a2a29a395f39cc839212cf56c,1128

Depends on 2 packages(full list with versions):

Used by 3 packages in lts-20.23(full list with versions):

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