Data.Functor.Foldable.Exotic.TH

Module containing Template Haskell functions to automically intertwine the base functors of the given types.

Template Haskell helpers

entangleFunctors :: [(Name, Name)] -> Q [Dec]

Entangle a list of functors. As an example,

entangleFunctors [(''Data, ''Codata)]

will generate

instance SubHom DataF CodataF Data Codata
instance SubType Codata

entanglePair :: Name -> Name -> Q [Dec]

Entangle types, creating a SubHom instance with their base functors. Note that this is rather strict with regards to naming.