Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data Zipper k a = Zipper {
- zipper_path :: [Cursor k a]
- zipper_curr :: TreeMap k a
- zipper :: TreeMap k a -> Zipper k a
- root :: Ord k => Zipper k a -> TreeMap k a
- zipath :: Zipper k a -> [k]
- current :: Zipper k a -> TreeMap k a
- data Cursor k a = Cursor {
- cursor_precedings :: TreeMap k a
- cursor_self :: (k, Node k a)
- cursor_followings :: TreeMap k a
- type Axis k a = Zipper k a -> [Zipper k a]
- type AxisAlt f k a = Zipper k a -> f (Zipper k a)
- axis_collect :: (z -> Maybe z) -> z -> [z]
- axis_collect_without_self :: (z -> Maybe z) -> z -> [z]
- axis_self :: Zipper k a -> Node k a
- axis_child :: Ord k => Axis k a
- axis_child_lookup :: (Ord k, Alternative f) => k -> AxisAlt f k a
- axis_child_lookups :: (Ord k, Alternative f, Monad f) => Path k -> AxisAlt f k a
- axis_child_first :: Alternative f => AxisAlt f k a
- axis_child_last :: Alternative f => AxisAlt f k a
- axis_ancestor :: Ord k => Axis k a
- axis_ancestor_or_self :: Ord k => Axis k a
- axis_descendant_or_self :: Ord k => Axis k a
- axis_descendant_or_self_reverse :: Ord k => Axis k a
- axis_descendant :: Ord k => Axis k a
- axis_preceding_sibling_nearest :: (Ord k, Alternative f) => AxisAlt f k a
- axis_preceding_sibling :: Ord k => Axis k a
- axis_preceding :: Ord k => Axis k a
- axis_following_sibling_nearest :: (Ord k, Alternative f) => AxisAlt f k a
- axis_following_sibling :: Ord k => Axis k a
- axis_following :: Ord k => Axis k a
- axis_parent :: (Ord k, Alternative f) => AxisAlt f k a
- axis_filter :: Axis k a -> (Zipper k a -> Bool) -> Axis k a
- axis_at :: Alternative f => Axis k a -> Int -> AxisAlt f k a
- zipper_null :: Axis k a -> Zipper k a -> Bool
Type Zipper
Zipper | |
|
Type Cursor
Cursor | |
|
Axis
axis_collect :: (z -> Maybe z) -> z -> [z] Source #
axis_collect_without_self :: (z -> Maybe z) -> z -> [z] Source #
Axis self
Axis child
axis_child :: Ord k => Axis k a Source #
axis_child_lookup :: (Ord k, Alternative f) => k -> AxisAlt f k a Source #
axis_child_lookups :: (Ord k, Alternative f, Monad f) => Path k -> AxisAlt f k a Source #
axis_child_first :: Alternative f => AxisAlt f k a Source #
axis_child_last :: Alternative f => AxisAlt f k a Source #
Axis ancestor
axis_ancestor :: Ord k => Axis k a Source #
axis_ancestor_or_self :: Ord k => Axis k a Source #
Axis descendant
axis_descendant_or_self :: Ord k => Axis k a Source #
axis_descendant_or_self_reverse :: Ord k => Axis k a Source #
axis_descendant :: Ord k => Axis k a Source #
Axis preceding
axis_preceding_sibling_nearest :: (Ord k, Alternative f) => AxisAlt f k a Source #
axis_preceding_sibling :: Ord k => Axis k a Source #
axis_preceding :: Ord k => Axis k a Source #
Axis following
axis_following_sibling_nearest :: (Ord k, Alternative f) => AxisAlt f k a Source #
axis_following_sibling :: Ord k => Axis k a Source #
axis_following :: Ord k => Axis k a Source #
Axis parent
axis_parent :: (Ord k, Alternative f) => AxisAlt f k a Source #