Safe Haskell	None
Language	Haskell2010

Transformation.Full.TH

Description

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] Source #

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

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

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

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

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