| Maintainer | bastiaan.heeren@ou.nl |
|---|---|
| Stability | provisional |
| Portability | portable (depends on ghc) |
| Safe Haskell | Safe |
| Language | Haskell98 |
Ideas.Common.Traversal.Utils
Description
- class Update f where
- current :: Update f => f a -> a
- change :: Update f => (a -> a) -> f a -> f a
- replace :: Update f => a -> f a -> f a
- changeM :: Update f => (a -> Maybe a) -> f a -> Maybe (f a)
- changeG :: (Update f, Monad g) => (a -> g a) -> f a -> g (f a)
- class Focus a where
- type Unfocus a
- liftFocus :: Focus a => (Unfocus a -> Maybe (Unfocus a)) -> a -> Maybe a
- unliftFocus :: Focus a => (a -> Maybe a) -> Unfocus a -> Maybe (Unfocus a)
- class Wrapper f where
- liftWrapper :: (Monad m, Wrapper f) => (a -> m a) -> f a -> m (f a)
- unliftWrapper :: (Monad m, Wrapper f) => (f a -> m (f a)) -> a -> m a
- mapWrapper :: Wrapper f => (a -> a) -> f a -> f a
- data Mirror a
- makeMirror :: a -> Mirror a
- (>|<) :: (a -> Maybe a) -> (a -> Maybe a) -> a -> Maybe a
- safe :: (a -> Maybe a) -> a -> a
- fixp :: (a -> Maybe a) -> a -> a
- fixpl :: (a -> Maybe a) -> a -> [a]
- mplus :: MonadPlus m => forall a. m a -> m a -> m a
- (>=>) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c
Update type class
Minimal complete definition
Focus type class
Minimal complete definition
Instances
| Focus (ListIterator a) Source # | |
| Uniplate a => Focus (UniplateNavigator a) Source # | |
Wrapper type class
liftWrapper :: (Monad m, Wrapper f) => (a -> m a) -> f a -> m (f a) Source #
unliftWrapper :: (Monad m, Wrapper f) => (f a -> m (f a)) -> a -> m a Source #
mapWrapper :: Wrapper f => (a -> a) -> f a -> f a Source #
Mirror
makeMirror :: a -> Mirror a Source #