Ideas.Common.Traversal.Utils

Contents

• Update type class
• Focus type class
• Wrapper type class
• Mirror
• Utility functions

Description

Synopsis

• class Update f where
  • update :: f a -> (a, a -> f a)
• 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
  • focus :: Unfocus a -> a
  • focusM :: Unfocus a -> Maybe a
  • unfocus :: a -> 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
  • wrap :: a -> f a
  • unwrap :: f a -> a
• 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

Focus type class

Wrapper type class

Mirror

Utility functions