Safe Haskell | None |
---|
Documentation
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
.