Ideas.Common.Traversal.Utils

Update type class

class Update f where

Methods

update :: f a -> (a, a -> f a)

Instances

Update ListIterator

Update UniplateNavigator

Update Leafs

Update Horizontal

Update LevelOrder

Update PostOrder

Update PreOrder

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)

Focus type class

class Focus a where

Associated Types

type Unfocus a

Methods

focus :: Unfocus a -> a

focusM :: Unfocus a -> Maybe a

unfocus :: a -> Unfocus a

Instances

Focus (ListIterator a)

Uniplate a => Focus (UniplateNavigator a)

liftFocus :: Focus a => (Unfocus a -> Maybe (Unfocus a)) -> a -> Maybe a

unliftFocus :: Focus a => (a -> Maybe a) -> Unfocus a -> Maybe (Unfocus a)

Wrapper type class

class Wrapper f where

Methods

wrap :: a -> f a

unwrap :: f a -> a

Instances

Wrapper Mirror

Wrapper Leafs

Wrapper Horizontal

Wrapper LevelOrder

Wrapper PostOrder

Wrapper PreOrder

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

Mirror

data Mirror a

Instances

Wrapper Mirror

Eq a => Eq (Mirror a)

Show a => Show (Mirror a)

Iterator a => Iterator (Mirror a)

Navigator a => Navigator (Mirror a)

makeMirror :: a -> Mirror a

Utility functions

(>|<) :: (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

an associative operation

(>=>) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c

Left-to-right Kleisli composition of monads.