AST.TH.Apply

Generate KApply and related instances via TemplateHaskell

Documentation

makeKApply :: Name -> DecsQ

Generate an instance of KApply

makeKApplyAndBases :: Name -> DecsQ

Generate an instance of KApply along with its bases KFunctor and KNodes

makeKApplicativeBases :: Name -> DecsQ

Generate instances of KApply, KFunctor, KPointed and KNodes, which together form KApplicative.