aboutsummaryrefslogtreecommitdiff
path: root/sheet.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 /sheet.mli
parentecb6fd62c275af03a07d892313ab3914d81cd40e (diff)
Moved all the code to src directory
Diffstat (limited to 'sheet.mli')
-rwxr-xr-xsheet.mli75
1 files changed, 0 insertions, 75 deletions
diff --git a/sheet.mli b/sheet.mli
deleted file mode 100755
index 11881cc..0000000
--- a/sheet.mli
+++ /dev/null
@@ -1,75 +0,0 @@
-(** This module represent a sheet *)
-
-type cell = int * int
-
-module Raw: sig
-
- type t
-
- (** An empty sheet *)
- val empty: t
-
- (** Add a new value in the sheet. The previous value is replaced
- @return All the successors to update and the new sheet.
- *)
- val add: cell -> Expression.t -> t -> Cell.Set.t * t
-
- val remove: cell -> t -> Cell.Set.t * t
-
- (** Get the value content.
- @return None if the cell is not defined
- *)
- val get_value: cell -> t -> ScTypes.result option
-
- val get_expr: cell -> t -> Expression.t
-
- val get_sink: cell -> t -> Cell.Set.t
-
- (** Fold over all the defined values *)
- val fold: ('a -> cell -> (Expression.t * ScTypes.result ) -> 'a) -> 'a -> t -> 'a
-
-end
-
-type yank
-
-type t = {
- selected: Selection.t; (* The selected cell *)
- data: Raw.t;
- history: t list; (* Unlimited history *)
- yank: yank list (* All the selected cells *)
-}
-
-type search = [
- | `Pattern of ScTypes.result option
- | `Next
- | `Previous
-]
-
-(** Undo the last action and return the previous state, if any *)
-val undo: t -> t option
-
-(** Move the cursor in one direction, return the state updated if the move is
- allowed *)
-val move: Actions.direction -> t -> t option
-
-(** Delete the content of selected cells.
- @return The sheet and the number of cells deleted
-*)
-val delete: t -> t * int
-
-(** Copy the selected cells
- @return The sheet and the number of cells deleted
-*)
-val yank: t -> t * int
-
-(** Search for a pattern on the sheet
- @return The state updated if the pattern has been found. *)
-val search: search -> t -> t option
-
-val paste: t -> t * int
-
-val add: Expression.t -> t -> Cell.Set.t * t
-
-(** Create an empty sheet *)
-val create: Raw.t -> t
-