Transformation.Full.TH

This module exports the templates for automatic instance deriving of Transformation.Full type classes. The most common way to use it would be

import qualified Transformation.Full.TH
data MyDataType f' f = ...
$(Transformation.Full.TH.deriveUpFunctor (conT ''MyTransformation) (conT ''MyDataType))

Documentation

deriveDownFunctor :: Q Type -> Q Type -> Q [Dec]

deriveDownFoldable :: Q Type -> Q Type -> Q [Dec]

deriveDownTraversable :: Q Type -> Q Type -> Q [Dec]

deriveUpFunctor :: Q Type -> Q Type -> Q [Dec]

deriveUpFoldable :: Q Type -> Q Type -> Q [Dec]

deriveUpTraversable :: Q Type -> Q Type -> Q [Dec]