Fcf.Family.TH

Template Haskell script to promote a type family to first class.

Generate boilerplate

fcfify :: Name -> Q [Dec]

Generate the boilerplate needed to promote a type family to first class.

See Fcf.Family for details on the encoding.

Using promoted families

promoteFamily :: Name -> Q (Type, Int)

Promote a fcfified family, returning its partially applied Family and its arity. The result can be applied to a consTuple of the appropriate size,

promoteNDFamily :: Name -> Q (Type, Int)

Promote a fcfified family, returning its partially applied Family and its arity. The result can be applied to a consTuple of the appropriate size,

familyName :: Name -> Type

Get the quoted fcf Name of an existing type family.

applyFamily :: Name -> [Q Type] -> Q Type

Apply a promoted family.

If there are more arguments than the arity of the family (as returned by promoteFamily), they are split and applied properly: the family's main arguments are collected in a consTuple and the rest are applied with AppT.

If there are fewer arguments than the arity, the result is nonsense.

consTuple :: [Type] -> Type

Construct a tuple suitable for a Family argument.

paramsProxy :: Name -> Q Type

Predicates

isTypeFamily :: Name -> Q Bool

True if it is a type family (open or closed).

isTypeSynonym :: Name -> Q Bool

True if it is a type synonym.

isTypeFamilyOrSynonym :: Name -> Q Bool

True if it is a type family or synonym.