recursion-schemes-ext-0.1.1.0: Amateur addenda to recursion-schemes

Safe HaskellNone
LanguageHaskell2010

Data.Functor.Foldable.Extensions.TH

Synopsis

Documentation

Template Haskell helpers

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

Make the abscissae a subtype of the ordinates.

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

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