The finite-typelits package

[maintain]

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

Properties

Versions0.1.0.0, 0.1.0.0, 0.1.1.0
Dependenciesbase (==4.*) [details]
LicenseBSD3
Authormniip
Maintainermniip@mniip.com
CategoryData
Home pagehttps://github.com/mniip/finite-typelits
UploadedTue Nov 3 15:58:26 UTC 2015 by mniip

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees