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


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 <>
Maintainer Nicolas Frisby <>
Category Type System
Uploaded Wed Sep 26 04:51:02 UTC 2012 by NicolasFrisby
Distributions NixOS:0.2.20120924
Downloads 1677 total (35 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




Maintainer's Corner

For package maintainers and hackage trustees