hypertypes-0.2.2: Typed ASTs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hyper.TH.Traversable

Description

Generate HTraversable and related instances via TemplateHaskell

Synopsis

Documentation

makeHTraversable :: Name -> DecsQ Source #

Generate a HTraversable instance

makeHTraversableAndFoldable :: Name -> DecsQ Source #

Generate HTraversable and HFoldable instances

makeHTraversableAndBases :: Name -> DecsQ Source #

Generate a HTraversable instance along with the instance of its base classes: HFoldable, HFunctor, and HNodes.

makeHTraversableApplyAndBases :: Name -> DecsQ Source #

Generate HTraversable and HApply instances along with all of their base classes: HFoldable, HFunctor, HPointed, and HNodes.