|
|
|
Description |
This module defines the Region ADT
|
|
Synopsis |
|
|
|
Documentation |
|
|
The region data type.
The region is semi open: it includes the start but not the end bound. This allows simpler region-manipulation algorithms.
Invariant : regionStart r <= regionEnd r
| Instances | |
|
|
|
The empty region
|
|
|
|
|
Construct a region from its bounds, emacs style:
the right bound is excluded
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
True if the given point is inside the given region.
|
|
|
True if the given point is inside the given region or at the end of it.
|
|
|
Returns if a region (1st arg) is included in another (2nd arg)
|
|
|
|
|
Take the intersection of two regions
|
|
|
Take the union of two regions (including what is between them)
|
|
|
|
|
|
|
|
Produced by Haddock version 2.6.1 |