Manatee.Toolkit.Data.ListZipper

Documentation

data ListZipper a

Constructors

ListZipper ![a] ![a]

Instances

Functor ListZipper

Show a => Show (ListZipper a)

empty :: ListZipper a

Create an empty ListZipper.

singleton :: a -> ListZipper a

Create a ListZipper with a single element.

fromList :: [a] -> ListZipper a

Create a ListZipper from list, and focus focus to first element in list.

fromListEnd :: [a] -> ListZipper a

Create a ListZipper from list end, and focus focus to end element in list.

toList :: ListZipper a -> [a]

Convert ListZipper to List.

atStart :: ListZipper a -> Bool

Whether is first element.

atEnd :: ListZipper a -> Bool

Whether is last element.

isEmpty :: ListZipper a -> Bool

Whether is empty.

getCurrent :: ListZipper a -> Maybe a

Get current node, return Nothing if haven't found anything at current node. This function won't change current focus node.

getLeft :: ListZipper a -> Maybe a

Get left node, return Nothing if haven't found anything at left node. This function won't change current focus node.

getRight :: ListZipper a -> Maybe a

Get right node, return Nothing if haven't found anything at right node. This function won't change current focus node.

getFirst :: ListZipper a -> Maybe a

Get first node, return Nothing if haven't found anything at first node. This function won't change current focus node.

getLast :: ListZipper a -> Maybe a

Get last node, return Nothing if haven't found anything at last node. This function won't change current focus node.

getLeftCircular :: ListZipper a -> Maybe a

Get left node, return Nothing if haven't found anything at left node. If reach first node, circular to end node. This function won't change current focus node.

getRightCircular :: ListZipper a -> Maybe a

Get right node, return Nothing if haven't found anything at right node. If reach last node, circular to first node. This function won't change current focus node.

get :: ListZipper a -> Int -> Maybe a

Get node with given index. This function won't change current focus node.

focusLeft :: ListZipper a -> Maybe (ListZipper a)

Focus left node.

focusRight :: ListZipper a -> Maybe (ListZipper a)

Focus right node.

focusFirst :: ListZipper a -> Maybe (ListZipper a)

Focus first node.

focusLast :: ListZipper a -> Maybe (ListZipper a)

Focus last node.

focus :: Int -> ListZipper a -> Maybe (ListZipper a)

Focus node with given index.

focusNode :: Eq a => a -> ListZipper a -> Maybe (ListZipper a)

Focus node.

insertLeft :: a -> ListZipper a -> ListZipper a

Insert node to right side and keep current focus.

insertRight :: a -> ListZipper a -> ListZipper a

Insert node to left side and keep current focus. Except it will focus first element when list is empty.

insertFirst :: a -> ListZipper a -> ListZipper a

Insert node to first and keep current focus.

insertLast :: a -> ListZipper a -> ListZipper a

Insert node to last end and keep current focus.

delete :: ListZipper a -> Maybe (ListZipper a)

Delete current node and focus focus right node.

deleteLeft :: ListZipper a -> Maybe (ListZipper a)

Delete left node and keep current focus.

deleteRight :: ListZipper a -> Maybe (ListZipper a)

Delete right node and keep current focus.

deleteFirst :: ListZipper a -> Maybe (ListZipper a)

Delete first node and keep current focus.

deleteLast :: ListZipper a -> Maybe (ListZipper a)

Delete last node and keep current focus.

deleteOthers :: ListZipper a -> Maybe (ListZipper a)

Delete other node except current node.

deleteNode :: Eq a => a -> ListZipper a -> Maybe (ListZipper a)

Delete specify node.

swapLeft :: ListZipper a -> Maybe (ListZipper a)

Swap with left node, and focus swap node.

swapRight :: ListZipper a -> Maybe (ListZipper a)

Swap with right node, and focus swap node.

replace :: a -> ListZipper a -> Maybe (ListZipper a)

Replace current node.

length :: ListZipper a -> Int

Get length.

currentIndex :: ListZipper a -> Int

Get current index.

leftIndex :: ListZipper a -> Int

Get left index.

rightIndex :: ListZipper a -> Int

Get right index.

firstIndex :: ListZipper a -> Int

Get first index.

lastIndex :: ListZipper a -> Int

Get last index.