Ideas.Common.Traversal.Utils

Update type class

class Update f where

Minimal complete definition

update

Methods

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

Instances

Update ListIterator

Defined in Ideas.Common.Traversal.Iterator

Methods

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

Update UniplateNavigator

Defined in Ideas.Common.Traversal.Navigator

Methods

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

Update Leafs

Defined in Ideas.Common.Traversal.Navigator

Methods

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

Update Horizontal

Defined in Ideas.Common.Traversal.Navigator

Methods

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

Update LevelOrder

Defined in Ideas.Common.Traversal.Navigator

Methods

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

Update PostOrder

Defined in Ideas.Common.Traversal.Navigator

Methods

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

Update PreOrder

Defined in Ideas.Common.Traversal.Navigator

Methods

update :: PreOrder a -> (a, a -> PreOrder 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)

Focus type class

class Focus a where

Minimal complete definition

unfocus

Associated Types

type Unfocus a

Methods

focus :: Unfocus a -> a

focusM :: Unfocus a -> Maybe a

unfocus :: a -> Unfocus a

Instances

Focus (ListIterator a)

Defined in Ideas.Common.Traversal.Iterator

Associated Types

type Unfocus (ListIterator a) :: *

Methods

focus :: Unfocus (ListIterator a) -> ListIterator a

focusM :: Unfocus (ListIterator a) -> Maybe (ListIterator a)

unfocus :: ListIterator a -> Unfocus (ListIterator a)

Uniplate a => Focus (UniplateNavigator a)

Defined in Ideas.Common.Traversal.Navigator

Associated Types

type Unfocus (UniplateNavigator a) :: *

Methods

focus :: Unfocus (UniplateNavigator a) -> UniplateNavigator a

focusM :: Unfocus (UniplateNavigator a) -> Maybe (UniplateNavigator a)

unfocus :: UniplateNavigator a -> Unfocus (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

Minimal complete definition

wrap, unwrap

Methods

wrap :: a -> f a

unwrap :: f a -> a

Instances

Wrapper Mirror

Defined in Ideas.Common.Traversal.Utils

Methods

wrap :: a -> Mirror a

unwrap :: Mirror a -> a

Wrapper Leafs

Defined in Ideas.Common.Traversal.Navigator

Methods

wrap :: a -> Leafs a

unwrap :: Leafs a -> a

Wrapper Horizontal

Defined in Ideas.Common.Traversal.Navigator

Methods

wrap :: a -> Horizontal a

unwrap :: Horizontal a -> a

Wrapper LevelOrder

Defined in Ideas.Common.Traversal.Navigator

Methods

wrap :: a -> LevelOrder a

unwrap :: LevelOrder a -> a

Wrapper PostOrder

Defined in Ideas.Common.Traversal.Navigator

Methods

wrap :: a -> PostOrder a

unwrap :: PostOrder a -> a

Wrapper PreOrder

Defined in Ideas.Common.Traversal.Navigator

Methods

wrap :: a -> PreOrder a

unwrap :: PreOrder 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

Mirror

data Mirror a

Instances

Wrapper Mirror

Defined in Ideas.Common.Traversal.Utils

Methods

wrap :: a -> Mirror a

unwrap :: Mirror a -> a

Eq a => Eq (Mirror a)

Defined in Ideas.Common.Traversal.Utils

Methods

(==) :: Mirror a -> Mirror a -> Bool

(/=) :: Mirror a -> Mirror a -> Bool

Show a => Show (Mirror a)

Defined in Ideas.Common.Traversal.Utils

Methods

showsPrec :: Int -> Mirror a -> ShowS

show :: Mirror a -> String

showList :: [Mirror a] -> ShowS

Iterator a => Iterator (Mirror a)

Defined in Ideas.Common.Traversal.Iterator

Methods

next :: Mirror a -> Maybe (Mirror a)

previous :: Mirror a -> Maybe (Mirror a)

first :: Mirror a -> Mirror a

final :: Mirror a -> Mirror a

position :: Mirror a -> Int

Navigator a => Navigator (Mirror a)

Defined in Ideas.Common.Traversal.Navigator

Methods

up :: Mirror a -> Maybe (Mirror a)

down :: Mirror a -> Maybe (Mirror a)

downLast :: Mirror a -> Maybe (Mirror a)

left :: Mirror a -> Maybe (Mirror a)

right :: Mirror a -> Maybe (Mirror a)

childnr :: Mirror a -> Int

location :: Mirror a -> Location

makeMirror :: a -> Mirror a

Utility functions

(>|<) :: (a -> Maybe a) -> (a -> Maybe a) -> a -> Maybe a infixr 0

safe :: (a -> Maybe a) -> a -> a

fixp :: (a -> Maybe a) -> a -> a

fixpl :: (a -> Maybe a) -> a -> [a]

mplus :: MonadPlus m => m a -> m a -> m a

An associative operation. The default definition is

mplus = (<|>)

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

Left-to-right Kleisli composition of monads.