aboutsummaryrefslogtreecommitdiff
path: root/script.it/state
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-07 15:48:26 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:22:43 +0100
commit52cbf99e0db1c0fb7b44f4101c6a673d9ec1fbbe (patch)
tree5f128dec73514dc62ab425c40d585a45bc9f6f3f /script.it/state
parent6a75fb043ed30389fff1ce97fe20ee56b1c95066 (diff)
Update application workflow
Diffstat (limited to 'script.it/state')
-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