Util.Generics

Documentation

walkDown :: GenericT -> GenericT

walkDownM :: Monad m => GenericM m -> GenericM m

walkUp :: GenericT -> GenericT

mkCollect :: (Typeable a, Typeable b, Typeable c) => (b -> Maybe c) -> a -> State [c] a

collect :: (forall b . Data b => b -> State [c] b) -> forall a . Data a => a -> [c]

Produced by Haddock version 0.7