aboutsummaryrefslogtreecommitdiff
path: root/src/selection.mli
diff options
context:
space:
mode:
Diffstat (limited to 'src/selection.mli')
-rwxr-xr-xsrc/selection.mli20
1 files changed, 20 insertions, 0 deletions
diff --git a/src/selection.mli b/src/selection.mli
new file mode 100755
index 0000000..fb207e4
--- /dev/null
+++ b/src/selection.mli
@@ -0,0 +1,20 @@
+type t
+
+type axe =
+ | Horizontal of int
+ | Vertical of int
+ | Cell of (int * int)
+
+(** Create a new selection from a cell *)
+val create: (int * int) -> t
+
+val is_selected: axe -> t -> bool
+
+(** Get the selection origin *)
+val extract: t -> (int * int)
+
+val shift: t -> (int * int) -> (int * int)
+
+val fold: ('a -> int * int -> 'a) -> 'a -> t -> 'a
+
+val extends: Actions.direction -> t -> t