Data.Generics.Geniplate

Documentation

universeBi :: Name -> Q Exp

Generate TH code for a function that extracts all subparts of a certain type. The argument to universeBi 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.

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

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

transformBi :: Name -> Q Exp

Generate TH code for a function that transforms all subparts of a certain type. The argument to transformBi 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.

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

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