aboutsummaryrefslogtreecommitdiff
path: root/src/selection.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2017-11-24 09:22:24 +0100
committerSébastien Dailly <sebastien@chimrod.com>2017-11-24 09:23:38 +0100
commita6b5a6bdd138a5ccc6827bcc73580df1e9218820 (patch)
treeff577395c1a5951a61a7234322f927f6ead5ee29 /src/selection.mli
parentecb6fd62c275af03a07d892313ab3914d81cd40e (diff)
Moved all the code to src directory
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