Data.Generics.Geniplate

Documentation

genUniverseBi :: Name -> Q Exp

Generate TH code for a function that extracts all subparts of a certain type. The argument to genUniverseBi is a name with the type S -> [T], for some types S and T. The function will extract all subparts of type T from S.

genUniverseBiT :: [TypeQ] -> Name -> Q Exp

Same as genUniverseBi, but does not look inside any types mention in the list of types.

genTransformBi :: Name -> Q Exp

Generate TH code for a function that transforms all subparts of a certain type. The argument to genTransformBi is a name with the type (S->S) -> T -> T, for some types S and T. The function will transform all subparts of type S inside T using the given function.

genTransformBiT :: [TypeQ] -> Name -> Q Exp

Same as genTransformBi, but does not look inside any types mention in the list of types.

genTransformBiM :: Name -> Q Exp

genTransformBiMT :: [TypeQ] -> Name -> Q Exp

class UniverseBi s t where

Methods

universeBi :: s -> [t]

universe :: UniverseBi a a => a -> [a]

instanceUniverseBi :: TypeQ -> TypeQ -> Q [Dec]

instanceUniverseBiT :: [TypeQ] -> TypeQ -> TypeQ -> Q [Dec]

class TransformBi s t where

Methods

transformBi :: (s -> s) -> t -> t

transform :: TransformBi a a => (a -> a) -> a -> a

instanceTransformBi :: TypeQ -> TypeQ -> Q [Dec]

instanceTransformBiT :: [TypeQ] -> TypeQ -> TypeQ -> Q [Dec]

class TransformBiM m s t where

Methods

transformBiM :: (s -> m s) -> t -> m t

transformM :: TransformBiM m a a => (a -> m a) -> a -> m a

instanceTransformBiM :: TypeQ -> TypeQ -> TypeQ -> Q [Dec]

instanceTransformBiMT :: [TypeQ] -> TypeQ -> TypeQ -> TypeQ -> Q [Dec]