typelits-witnesses: Existential witnesses, singletons, and classes for operations on GHC TypeLits
Provides witnesses for KnownNat and KnownSymbol
instances for various operations on GHC TypeLits - in
particular, the arithmetic operations defined in
GHC.TypeLits, and also for type-level lists of
KnownNat and KnownSymbol instances.
This is useful for situations where you have
KnownNat nKnownNat (n + 3)KnownNat (2*n + 4)
It's also useful for when you want to work with type
level lists of KnownNat or KnownSymbol instances and
singletons for traversing them, and be able to apply
analogies of natVal and symbolVal to lists with
analogies for SomeNat and SomeSymbol.
See README for more information.
Downloads
- typelits-witnesses-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 0.1.0.0, 0.1.0.1, 0.1.1.0, 0.1.2.0, 0.1.3.0, 0.2.0.0, 0.2.1.0, 0.2.2.0, 0.2.3.0, 0.3.0.0, 0.3.0.1, 0.3.0.2, 0.3.0.3, 0.4.0.0, 0.4.0.1 (info) |
|---|---|
| Dependencies | base (>=4.8 && <4.9), constraints, reflection [details] |
| License | MIT |
| Copyright | (c) Justin Le 2015 |
| Author | Justin Le |
| Maintainer | justin@jle.im |
| Category | Data |
| Home page | https://github.com/mstksg/typelits-witnesses |
| Source repo | head: git clone git://github.com/mstksg/typelits-witnesses.git |
| Uploaded | by jle at 2015-12-21T01:10:53Z |
| Distributions | LTSHaskell:0.4.0.1, Stackage:0.4.0.1 |
| Reverse Dependencies | 7 direct, 32 indirect [details] |
| Downloads | 9552 total (57 in the last 30 days) |
| Rating | 2.25 (votes: 2) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2015-12-21 [all 1 reports] |