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

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

Type.Spine

Description

The spine-view on types.

Synopsis

Documentation

type family Spine t Source

data Atom t Source

data tc :@ t Source

spineType_d :: Name -> Q [Dec]Source

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

spineType_d_ :: Name -> [Kind] -> Q [Dec]Source

spineType_d_ n ks generates the Spine instance for the type named n that has parameters with kinds ks.

spineType_pro :: Name -> Q [Dec]Source

spineType_pro n generates the Spine instance for the promoted data constructor named n.

spineType_pro_ :: Name -> [Kind] -> Q [Dec]Source

spineType_pro_ n ks generates the Spine instance for the promoted data constructor named n that has parameters with kinds ks.