Package0.2.0.0Data
finite-typelits
A type inhabited by finitely many values, indexed by type-level naturals
- Version0.2.0.0
- CategoryData
- LicenceBSD-3-Clause
- Authormniip
- Maintainermniip@mniip.com
- Homepagegithub.com/mniip/finite-typelits
- Pinned byhackage finite-typelits 0.2.0.0
- Sourcehackage.haskell.org/package/finite-typelits-0.2.0.0
Modules
4 modulesInternal modules · 2
Description
A type inhabited by finitely many values, indexed by type-level naturals.
Depends on
4 packages- base-4.20.2.0with GHC
- deepseq-1.5.0.0with GHC
- tagged-0.8.9in this set
- template-haskell-2.22.0.0with GHC