summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-07 13:40:47 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:43:33 +0100
commit6f1b152a6927171b0c0bfed207307ed1bac1900d (patch)
treed67502e8cf75d2d45d9b4a24b04c0894937229f0
parent6639625c1e24e764692ec9d65939ff9ef50d76df (diff)
Reflect API change in editor
-rw-r--r--editor/app/editor_app.ml13
-rw-r--r--editor/app/editor_app.mli18
2 files changed, 2 insertions, 29 deletions
diff --git a/editor/app/editor_app.ml b/editor/app/editor_app.ml
index 6bcfc4a..2d23cfb 100644
--- a/editor/app/editor_app.ml
+++ b/editor/app/editor_app.ml
@@ -1,12 +1 @@
-module App = Application.Make(struct type t = State.t end)
-
-(*
-let dispatch
- : (module App.Event with type t = 's) -> 's -> App.event
- = fun (type s) (module M: App.Event with type t = s) v ->
- App.E
- ( v
- , (module M : App.Event with type t = M.t ))
- *)
-
-include App
+include Application.Make(struct type t = State.t end)
diff --git a/editor/app/editor_app.mli b/editor/app/editor_app.mli
index aaa4d65..d612dca 100644
--- a/editor/app/editor_app.mli
+++ b/editor/app/editor_app.mli
@@ -1,17 +1 @@
-module type Event = sig
-
- type t
-
- val process: t -> State.t -> State.t
-
-end
-
-type event = E : 'a * (module Event with type t = 'a) -> event
-
-(** Simple helper for the main event loop *)
-val run
- : ?eq:(State.t -> State.t -> bool) -> State.t -> event Note.E.t -> State.t Note.S.t
-
-val dispatch
- : (module Event with type t = 's) -> 's -> event
-
+include module type of (Application.Make(struct type t = State.t end))