aboutsummaryrefslogtreecommitdiff
path: root/editor
diff options
context:
space:
mode:
Diffstat (limited to '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))