@hackage / type-spine

A spine-view on types

Latest0.2.20120924

Metadata

Last updated 26 Sep 2012, by NicolasFrisby
License BSD-3-Clause
Categories Type System
Maintained by: Nicolas Frisby <nicolas.frisby@gmail.com>
Lottery factor: 0

Links

Documentation
No source repository

Installation

Add this line in your cabal file

Readme

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