| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Generics.ClassyPlate.Core
Synopsis
- class GoodOperationFor c b => ClassyPlate c b
- class GoodOperationForAuto c b => SmartClassyPlate c (sel :: Bool) b
- bottomUp_ :: ClassyPlate c b => ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> a) -> b -> b
- bottomUpM_ :: (ClassyPlate c b, Monad m) => ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> m a) -> b -> m b
- smartTraverse_ :: SmartClassyPlate c sel b => FlagToken sel -> ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> a) -> b -> b
- smartTraverseM_ :: (SmartClassyPlate c sel b, Monad m) => FlagToken sel -> ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> m a) -> b -> m b
- descend_ :: ClassyPlate c b => ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> a) -> b -> b
- descendM_ :: (ClassyPlate c b, Monad m) => ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> m a) -> b -> m b
- topDown_ :: ClassyPlate c b => ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> a) -> b -> b
- topDownM_ :: (ClassyPlate c b, Monad m) => ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> m a) -> b -> m b
- app :: App flag c b => FlagToken flag -> ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> a) -> b -> b
- appM :: (App flag c b, Monad m) => FlagToken flag -> ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> m a) -> b -> m b
- appTD :: App flag c b => FlagToken flag -> ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> a) -> (b -> b) -> b -> b
- appTDM :: (App flag c b, Monad m) => FlagToken flag -> ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> m a) -> (b -> m b) -> b -> m b
- type GoodOperationFor c e = App (AppSelector c e) c e
- type GoodOperationForAuto c e = (GoodOperationFor c e, Generic e)
- data FlagToken (c :: Bool)
- data ClsToken (c :: * -> Constraint)
Documentation
class GoodOperationFor c b => ClassyPlate c b #
A class for traversals that use a polymorphic function to visit all applicable elements.
class GoodOperationForAuto c b => SmartClassyPlate c (sel :: Bool) b #
A class for traversals that use a polymorphic function to visit all applicable elements but only visit the parts where the applicable elements could be found.
Minimal complete definition
Instances
| GoodOperationForAuto c b => SmartClassyPlate c True b # | |
Defined in Data.Generics.ClassyPlate.Core Methods smartTraverse_ :: FlagToken True -> ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> a) -> b -> b # smartTraverseM_ :: Monad m => FlagToken True -> ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> m a) -> b -> m b # | |
bottomUp_ :: ClassyPlate c b => ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> a) -> b -> b #
bottomUpM_ :: (ClassyPlate c b, Monad m) => ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> m a) -> b -> m b #
smartTraverse_ :: SmartClassyPlate c sel b => FlagToken sel -> ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> a) -> b -> b #
smartTraverseM_ :: (SmartClassyPlate c sel b, Monad m) => FlagToken sel -> ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> m a) -> b -> m b #
descend_ :: ClassyPlate c b => ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> a) -> b -> b #
descendM_ :: (ClassyPlate c b, Monad m) => ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> m a) -> b -> m b #
topDown_ :: ClassyPlate c b => ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> a) -> b -> b #
topDownM_ :: (ClassyPlate c b, Monad m) => ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> m a) -> b -> m b #
app :: App flag c b => FlagToken flag -> ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> a) -> b -> b #
appM :: (App flag c b, Monad m) => FlagToken flag -> ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> m a) -> b -> m b #
appTD :: App flag c b => FlagToken flag -> ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> a) -> (b -> b) -> b -> b #
appTDM :: (App flag c b, Monad m) => FlagToken flag -> ClsToken c -> (forall a. (ClassyPlate c a, c a) => a -> m a) -> (b -> m b) -> b -> m b #
type GoodOperationFor c e = App (AppSelector c e) c e #
type GoodOperationForAuto c e = (GoodOperationFor c e, Generic e) #
data ClsToken (c :: * -> Constraint) #