Annotations.F.Positional

Queries on trees annotated with position information.

Documentation

selectByRange :: Foldable f => Range -> AnnFix Bounds f -> Maybe (Zipper (AnnFix Bounds f))

Find the deepest node whose bounds match the given range. See rangeInBounds.

selectByPos :: Foldable f => Int -> AnnFix Bounds f -> Maybe (Zipper (AnnFix Bounds f))

Find the deepest node whose bounds contain the given position.

validBounds :: Foldable f => AnnFix Bounds f -> [Bounds]

Find all selections in the tree and return their bounds. The tree is traversed in preorder. Consequently, the bounds are returned in lexicographical order.

repairBy :: (Foldable f, Ord dist) => (Range -> Range -> dist) -> AnnFix Bounds f -> Range -> Bounds

repairBy cost tree range finds the the closest valid text selection to range, where ''closest'' is determined by the specified cost function.

repair :: Foldable f => AnnFix Bounds f -> Range -> Bounds

Defined as repairBy distRange.

moveSelection :: Foldable f => AnnFix Bounds f -> Nav -> Range -> Maybe Bounds

Move around in a tree according to the Nav, expressed in tree selections. Although a Range is required as input, a Bounds is returned, providing information about all the valid text selections that would select the particular tree node.