Safe Haskell	None
Language	Haskell98

Data.Generics.Geniplate

Synopsis

genUniverseBi :: Name -> Q Exp
genUniverseBi' :: TypeQ -> Q Exp
genUniverseBiT :: [TypeQ] -> Name -> Q Exp
genUniverseBiT' :: [TypeQ] -> TypeQ -> Q Exp
genTransformBi :: Name -> Q Exp
genTransformBi' :: TypeQ -> Q Exp
genTransformBiT :: [TypeQ] -> Name -> Q Exp
genTransformBiT' :: [TypeQ] -> TypeQ -> Q Exp
genTransformBiM :: Name -> Q Exp
genTransformBiM' :: TypeQ -> Q Exp
genTransformBiMT :: [TypeQ] -> Name -> Q Exp
genTransformBiMT' :: [TypeQ] -> TypeQ -> Q Exp
class UniverseBi s t where
- universeBi :: s -> [t]
universe :: UniverseBi a a => a -> [a]
instanceUniverseBi :: TypeQ -> Q [Dec]
instanceUniverseBiT :: [TypeQ] -> TypeQ -> Q [Dec]
class TransformBi s t where
- transformBi :: (s -> s) -> t -> t
transform :: TransformBi a a => (a -> a) -> a -> a
instanceTransformBi :: TypeQ -> Q [Dec]
instanceTransformBiT :: [TypeQ] -> TypeQ -> Q [Dec]
class TransformBiM m s t where
- transformBiM :: (s -> m s) -> t -> m t
transformM :: TransformBiM m a a => (a -> m a) -> a -> m a
instanceTransformBiM :: TypeQ -> TypeQ -> Q [Dec]
instanceTransformBiMT :: [TypeQ] -> TypeQ -> TypeQ -> Q [Dec]
class DescendBiM m s t where
- descendBiM :: (s -> m s) -> t -> m t
instanceDescendBiM :: TypeQ -> TypeQ -> Q [Dec]
instanceDescendBiMT :: [TypeQ] -> TypeQ -> TypeQ -> Q [Dec]
class DescendM m t where
- descendM :: (t -> m t) -> t -> m t
descend :: DescendM Identity a => (a -> a) -> a -> a
instanceDescendM :: TypeQ -> TypeQ -> Q [Dec]
instanceDescendMT :: [TypeQ] -> TypeQ -> TypeQ -> Q [Dec]

Documentation

genUniverseBi Source #

Arguments

:: Name	function of type `S -> [T]`
-> 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.

genUniverseBi' :: TypeQ -> Q Exp Source #

genUniverseBiT Source #

Arguments

:: [TypeQ]	types not touched by `universeBi`
-> Name	function of type `S -> [T]`
-> Q Exp

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

genUniverseBiT' :: [TypeQ] -> TypeQ -> Q Exp Source #

genTransformBi Source #

Arguments

:: Name	function of type `(S->S) -> T -> T`
-> 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.

genTransformBi' :: TypeQ -> Q Exp Source #

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

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

genTransformBiT' :: [TypeQ] -> TypeQ -> Q Exp Source #

genTransformBiM :: Name -> Q Exp Source #

genTransformBiM' :: TypeQ -> Q Exp Source #

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

genTransformBiMT' :: [TypeQ] -> TypeQ -> Q Exp Source #

class UniverseBi s t where Source #

Class for universeBi.

Methods

universeBi :: s -> [t] Source #

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

instanceUniverseBi Source #

Arguments

:: TypeQ	(source, target) types
-> Q [Dec]

Create a UniverseBi instance. The TypeQ argument should be a pair; the source and target types for universeBi.

instanceUniverseBiT Source #

Arguments

:: [TypeQ]	types not touched by `universeBi`
-> TypeQ	(source, target) types
-> Q [Dec]

Create a UniverseBi instance with certain types being abstract. The TypeQ argument should be a pair; the source and target types for universeBi.

class TransformBi s t where Source #

Class for transformBi.

Methods

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

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

instanceTransformBi Source #

Arguments

:: TypeQ	(inner, outer) types
-> Q [Dec]

Create a TransformBi instance. The TypeQ argument should be a pair; the inner and outer types for transformBi.

instanceTransformBiT Source #

Arguments

:: [TypeQ]	types not touched by `transformBi`
-> TypeQ	(inner, outer) types
-> Q [Dec]

Create a TransformBi instance with certain types being abstract. The TypeQ argument should be a pair; the inner and outer types for transformBi.

class TransformBiM m s t where Source #

Class for transformBiM.

Methods

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

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

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

Create a TransformBiM instance.

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

Create a TransformBiM instance with certain types being abstract.

class DescendBiM m s t where Source #

Class for descendBiM.

Methods

descendBiM :: (s -> m s) -> t -> m t Source #

instanceDescendBiM :: TypeQ -> TypeQ -> Q [Dec] Source #

Create a DescendBiM instance.

instanceDescendBiMT :: [TypeQ] -> TypeQ -> TypeQ -> Q [Dec] Source #

Create a DescendBiM instance with certain types being abstract.

class DescendM m t where Source #

Class for descendM.

Methods

descendM :: (t -> m t) -> t -> m t Source #

descend :: DescendM Identity a => (a -> a) -> a -> a Source #

instanceDescendM :: TypeQ -> TypeQ -> Q [Dec] Source #

Create a DescendBiM instance.

instanceDescendMT :: [TypeQ] -> TypeQ -> TypeQ -> Q [Dec] Source #

Create a DescendBiM instance with certain types being abstract.