|
|
|
| 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 |