The type-spine package

[ Tags: bsd3, library, type-system ] [ Propose Tags ]

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).

Properties

Versions 0.1, 0.1.1, 0.1.2, 0.2, 0.2.20120924
Dependencies base (==4.*), template-haskell [details]
License BSD3
Author Nicolas Frisby <nicolas.frisby@gmail.com>
Maintainer Nicolas Frisby <nicolas.frisby@gmail.com>
Category Type System
Uploaded Wed Sep 12 14:54:07 UTC 2012 by NicolasFrisby
Distributions NixOS:0.2.20120924
Downloads 1097 total (4 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees