Zipper functions specialised to work on fixpoints of pattern functors.
Documentation
type Nav = forall phi f ix. Zipper phi f => FixZipper phi f ix -> Maybe (FixZipper phi f ix)Source
A navigation step in a fixpoint.
Move to the right sibling. Returns Nothing
if the current
focus is the rightmost sibling.
Move to the left sibling. Returns Nothing
if the current
focus is the leftmost sibling.