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

Safe HaskellNone

Type.Spine.Base

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.

spineType_gen_ :: Type -> [Kind] -> Q [Dec]Source

spineType_gen_ ty ks generates the Spine instance for the type ty that has parameters with kinds ks.