aboutsummaryrefslogtreecommitdiff
path: root/script.it/state/state.ml
diff options
context:
space:
mode:
Diffstat (limited to 'script.it/state/state.ml')
-rwxr-xr-xscript.it/state/state.ml18
1 files changed, 1 insertions, 17 deletions
diff --git a/script.it/state/state.ml b/script.it/state/state.ml
index e8cd87e..f3be91d 100755
--- a/script.it/state/state.ml
+++ b/script.it/state/state.ml
@@ -19,17 +19,7 @@ type state =
; mouse_down_position : Gg.v2
}
-module type Handler = sig
-
- type t
-
- val update: t -> state -> state
-
-end
-
-type t = E : 'a * (module Handler with type t = 'a) -> t
-
-type events = t
+include Application.Make(struct type t = state end)
let post
: Brr_webworkers.Worker.t -> Worker_messages.to_worker -> unit
@@ -73,12 +63,6 @@ let select_segment _ (_, selected, p0, p1) state dist =
; width }
-let do_action
- : (events, state) Application.t
- = fun (E (t, (module Handler))) state ->
- Handler.update t state
-
-
let init =
{ paths = []
; current = Path.Path_Builder.empty