Package0.2.1.0Data
finite-typelits
A type inhabited by finitely many values, indexed by type-level naturals
- Version0.2.1.0
- CategoryData
- LicenceBSD-3-Clause
- Authormniip
- Maintainermniip@
mniip. com - Homepagegithub.
com/ mniip/ finite-typelits - Pinned byhackage finite-typelits 0.
2. 1. 0 - Sourcefinite-typelits-0.
2. 1. 0 on Hackage
Modules
Internal modules · 2
Description
A type inhabited by finitely many values, indexed by type-level naturals.
Depends on
4 packages- base-4.22.0.0with GHC
- deepseq-1.5.1.0with GHC
- tagged-0.8.11in this set
- template-haskell-2.24.0.0with GHC