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

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

Type.Spine.TH

Description

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

Synopsis

Documentation

toNameG :: Name -> Q Name Source

liftNameG_d :: Name -> Q Exp Source

A Template Haskell-lifter for data constructors' NameGs.

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

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

tvb_kind :: TyVarBndr -> Kind Source