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.4.2
LTS Haskell 13.7:	0.1.4.2
Stackage Nightly 2019-02-17:	0.1.4.2
Latest on Hackage:	0.1.4.2

See all snapshots finite-typelits appears in

BSD-3-Clause licensed by mniip

Maintained by mniip@mniip.com

Module documentation for 0.1.4.2

Data
- Data.Finite
  - Data.Finite.Internal

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

Depends on 2 packages:

Used by 5 packages:

advent-of-code-api, bins, emd, hamilton, vector-sized

comments powered byDisqus