type-spine-0.2: type-spine.cabal

Name:           type-spine
Version:        0.2
License:        BSD3
License-File:   LICENSE
Author:         Nicolas Frisby <nicolas.frisby@gmail.com>
Maintainer:     Nicolas Frisby <nicolas.frisby@gmail.com>

Category: Type System

Synopsis:       A spine-view on types

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

Cabal-Version: >= 1.6.0.1

Build-Type: Simple


Library
  Build-Depends: base >= 4 && < 5, template-haskell

  Exposed-Modules: Type.Spine, Type.Spine.Base, Type.Spine.TH