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

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

Type.Spine.TH

Description

Template Haskell in support of the spine-view on types.

Synopsis

Documentation

liftNameG :: Name -> Q ExpSource

A TemplateHaskell-lifter for NameGs.

tyConSignature :: Name -> Q ([Kind], Kind)Source

Returns the kinds of a type constructor's type paratemers and range.

tvb_kind :: TyVarBndr -> KindSource