diff options
author | Sébastien Dailly <sebastien@dailly.me> | 2021-12-03 04:19:53 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 16:43:33 +0100 |
commit | c6265278f05aa4d3af60e420f2d4d13e4bce8ad7 (patch) | |
tree | dece2b116d79a052a00e20c1ee2f7677c64190f9 /editor/state/state.mli | |
parent | e78c236a8d28784370f192a3410693c456dc628f (diff) |
Removed the application mecanism from the state module
Diffstat (limited to 'editor/state/state.mli')
-rwxr-xr-x | editor/state/state.mli | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/editor/state/state.mli b/editor/state/state.mli index 4376723..57b45fa 100755 --- a/editor/state/state.mli +++ b/editor/state/state.mli @@ -31,18 +31,3 @@ val new_page (** Initialise a new state *) val init : Prosemirror.t -> Prosemirror.View.editor_view Js.t -> float -> Jstr.t option -> t - -type state = t -module type Event = sig - - type t - - val update: t -> state -> state - -end - -type event = E : 'a * (module Event with type t = 'a) -> event - -(** Simple helper for the main event loop *) -val run - : ?eq:(t -> t -> bool) -> t -> event Note.E.t -> state Note.S.t |