Modulesyb-0.7.4

Data.Generics.Schemes

Synopsis

valueeverything :: (r -> r -> r) -> GenericQ r -> GenericQ r

valueeverythingBut :: (r -> r -> r) -> GenericQ (r, Bool) -> GenericQ r

valueeverythingWithContext

valueeverywhere :: (forall a. Data a => a -> a) -> forall a. Data a => a -> a

valueeverywhere' :: (forall a. Data a => a -> a) -> forall a. Data a => a -> a

valueeverywhereBut :: GenericQ Bool -> GenericT -> GenericT

valueeverywhereM :: Monad m => GenericM m -> GenericM m

valuegcount :: GenericQ Bool -> GenericQ Int

valuegdepth :: GenericQ Int

valuegfindtype :: (Data x, Typeable y) => x -> Maybe y

valueglength :: GenericQ Int

valuegnodecount :: GenericQ Int

valuegsize :: Data a => a -> Int

valuegtypecount :: Typeable a => a -> GenericQ Int

valuelistify :: Typeable r => (r -> Bool) -> GenericQ [r]

valuesomething :: GenericQ (Maybe u) -> GenericQ (Maybe u)

valuesomewhere :: MonadPlus m => GenericM m -> GenericM m

valuesynthesize :: s -> (t -> s -> s) -> GenericQ (s -> t) -> GenericQ t