aboutsummaryrefslogtreecommitdiff
path: root/sheet.mli
blob: 11881cc9ddda9b2b954cfa065d68204507d956d5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
(** 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