Annotations.ExploreHints
- data ExploreHints = ExploreHints {
- matchHere :: Bool
- exploreDown :: Bool
- exploreRight :: Bool
Documentation
data ExploreHints Source
Captures hints for the exploration of annotated trees.
Constructors
| ExploreHints | |
Fields
| |
Annotations-0.1.3: Constructing, analyzing and destructing annotated trees
Annotations.ExploreHints
data ExploreHints Source
Captures hints for the exploration of annotated trees.
Constructors
| ExploreHints | |
Fields
| |