Annotations.ExploreHints

Documentation

data ExploreHints

Captures hints for the exploration of annotated trees.

Constructors

ExploreHints

Fields

• matchHere :: Bool

  Whether the current focus matches.

• exploreDown :: Bool

  Whether to explore the children.

• exploreRight :: Bool

  Whether to explore further to the right.