Portability	see LANGUAGE pragmas (... GHC)
Stability	experimental
Maintainer	nicolas.frisby@gmail.com

Type.Spine

Description

The spine-view on types.

Synopsis

Documentation

qK :: QuasiQuoter Source

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