type-spine-0.1: A spine-view on types

Portabilitysee LANGUAGE pragmas (... GHC)
Stabilityexperimental
Maintainernicolas.frisby@gmail.com

Type.Spine

Description

The spine-view on types.

Synopsis

Documentation

qK :: QuasiQuoterSource

[qK|...|] is the a type that takes one parameter of the corresponding kind. (The name is an encoding of that parameter's kind based on prefix notation for application.)

type family Spine t Source

data TypeName x Source

TypeName represents an occurrence of totally unapplied type name.

data tc :@ t Source

A type-level application.

spineType :: Name -> Q [Dec]Source

spineType n generates the Spine instance for the type named n.