Data.Generics.Fixplate.Zipper

The Zipper.

Types

type Node f = Either (Mu f) (Path f)

data Path f

Constructors

Top

Path

Fields

unPath :: f (Node f)

Instances

EqF f => Eq (Path f)

ReadF f => Read (Path f)

ShowF f => Show (Path f)

data Loc f

Constructors

Loc

Fields

focus :: Mu f

path :: Path f

Instances

EqF f => Eq (Loc f)

ReadF f => Read (Loc f)

ShowF f => Show (Loc f)

Converting to and from zippers

root :: Mu f -> Loc f

Creates a zipper from a tree, with the focus at the root.

defocus :: Traversable f => Loc f -> Mu f

Restores a tree from a zipper.

locForget :: Functor f => Loc (Ann f a) -> Loc f

The zipper version of forget.

Manipulating the subtree at focus

extract :: Loc f -> Mu f

replace :: Mu f -> Loc f -> Loc f

modify :: (Mu f -> Mu f) -> Loc f -> Loc f

Safe movements

moveDown :: Traversable f => Int -> Loc f -> Maybe (Loc f)

Moves down the child with the given index. The leftmost children has index 0.

moveDownL :: Traversable f => Loc f -> Maybe (Loc f)

Moves down the leftmost child.

moveDownR :: Traversable f => Loc f -> Maybe (Loc f)

Moves down the rightmost child.

moveUp :: Traversable f => Loc f -> Maybe (Loc f)

moveRight :: Traversable f => Loc f -> Maybe (Loc f)

moveLeft :: Traversable f => Loc f -> Maybe (Loc f)

Testing for borders

isTop :: Loc f -> Bool

Checks whether we are the top.

isBottom :: Traversable f => Loc f -> Bool

Checks whether we cannot move down.

isLeftmost :: Traversable f => Loc f -> Bool

isRightmost :: Traversable f => Loc f -> Bool

Compound movements

moveTop :: Traversable f => Loc f -> Loc f

Moves to the top, by repeatedly moving up.

leftmost :: Traversable f => Loc f -> Loc f

Moves left until it can.

rightmost :: Traversable f => Loc f -> Loc f

Moves right until it can.

Unsafe movements

unsafeMoveDown :: Traversable f => Int -> Loc f -> Loc f

unsafeMoveDownL :: Traversable f => Loc f -> Loc f

unsafeMoveDownR :: Traversable f => Loc f -> Loc f

unsafeMoveUp :: Traversable f => Loc f -> Loc f

unsafeMoveLeft, unsafeMoveRight :: Traversable f => Loc f -> Loc f