type-spine: A spine-view on types
This is very much a "bumping up" of the term-level spine view,
c.f. Hinze's work and Emil Axelsson's hackage package syntactic.
See the type-cereal and type-ord packages for use cases (ultimately
supporting the yoko package).
Downloads
- type-spine-0.2.20120924.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1, 0.1.1, 0.1.2, 0.2, 0.2.20120924 |
|---|---|
| Dependencies | base (>=4 && <5), template-haskell [details] |
| License | BSD-3-Clause |
| Author | Nicolas Frisby <nicolas.frisby@gmail.com> |
| Maintainer | Nicolas Frisby <nicolas.frisby@gmail.com> |
| Category | Type System |
| Uploaded | by NicolasFrisby at 2012-09-26T04:51:02Z |
| Distributions | |
| Reverse Dependencies | 7 direct, 0 indirect [details] |
| Downloads | 3545 total (18 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |