Ideas.Common.Traversal.Navigator

Location information

data Location

Instances

Eq Location

Ord Location

Show Location

Monoid Location

Typed a Location

toLocation :: [Int] -> Location

fromLocation :: Location -> [Int]

Navigator type class

class Navigator a where

For a minimal complete definition, provide an implemention for downs or allDowns. All other functions need an implementation as well, except for change. Note that a constructor (a -> f a) is not included in the type class to allow additional type class constraints on type a.

Methods

up :: a -> Maybe a

down :: a -> Maybe a

downLast :: a -> Maybe a

left :: a -> Maybe a

right :: a -> Maybe a

childnr :: a -> Int

location :: a -> Location

Instances

Navigator a => Navigator (Mirror a)

Uniplate a => Navigator (UniplateNavigator a)

Navigator (Context a)

isTop :: Navigator a => a -> Bool

isLeaf :: Navigator a => a -> Bool

hasLeft :: Navigator a => a -> Bool

hasRight :: Navigator a => a -> Bool

hasUp :: Navigator a => a -> Bool

hasDown :: Navigator a => a -> Bool

top :: Navigator a => a -> a

leftMost :: Navigator a => a -> a

rightMost :: Navigator a => a -> a

leftMostLeaf :: Navigator a => a -> a

rightMostLeaf :: Navigator a => a -> a

depth :: Navigator a => a -> Int

level :: Navigator a => a -> Int

levelNext :: Navigator a => a -> Maybe a

levelPrevious :: Navigator a => a -> Maybe a

leftMostAt :: Navigator a => Int -> a -> Maybe a

rightMostAt :: Navigator a => Int -> a -> Maybe a

downs :: Navigator a => a -> [a]

downTo :: Navigator a => Int -> a -> Maybe a

arity :: Navigator a => a -> Int

navigateTo :: Navigator a => Location -> a -> Maybe a

navigateTowards :: Navigator a => Location -> a -> a

Tree walks

data PreOrder a

Instances

Wrapper PreOrder

Update PreOrder

Eq a => Eq (PreOrder a)

Show a => Show (PreOrder a)

Navigator a => Iterator (PreOrder a)

makePreOrder :: a -> PreOrder a

data PostOrder a

Instances

Wrapper PostOrder

Update PostOrder

Eq a => Eq (PostOrder a)

Show a => Show (PostOrder a)

Navigator a => Iterator (PostOrder a)

makePostOrder :: a -> PostOrder a

data LevelOrder a

Instances

Wrapper LevelOrder

Update LevelOrder

Eq a => Eq (LevelOrder a)

Show a => Show (LevelOrder a)

Navigator a => Iterator (LevelOrder a)

makeLevelOrder :: a -> LevelOrder a

data Horizontal a

Instances

Wrapper Horizontal

Update Horizontal

Eq a => Eq (Horizontal a)

Show a => Show (Horizontal a)

Navigator a => Iterator (Horizontal a)

makeHorizontal :: a -> Horizontal a

data Leafs a

Instances

Wrapper Leafs

Update Leafs

Eq a => Eq (Leafs a)

Show a => Show (Leafs a)

Navigator a => Iterator (Leafs a)

makeLeafs :: Navigator a => a -> Leafs a

Uniplate navigator

data UniplateNavigator a

Instances

Update UniplateNavigator

(Eq a, Uniplate a) => Eq (UniplateNavigator a)

(Show a, Uniplate a) => Show (UniplateNavigator a)

(Arbitrary a, Uniplate a) => Arbitrary (UniplateNavigator a)

Uniplate a => Focus (UniplateNavigator a)

Uniplate a => Navigator (UniplateNavigator a)