Module Interpret.Resolver

type t = config -> status -> keyseq -> result
and config = {
  1. mode : Mew_vi.Mode.Name.t React.signal;
  2. set_mode : ?step:React.step -> Mew_vi.Mode.Name.t -> unit;
  3. keyseq : keyseq React.signal;
  4. set_keyseq : ?step:React.step -> keyseq -> unit;
  5. mutable resolver_insert : t;
  6. mutable resolver_normal : t;
  7. mutable resolver_visual : t;
  8. mutable resolver_command : t;
}
and status = {
  1. register : register;
  2. count : count;
}
and result =
  1. | Accept of Edit_action.t * keyseq * Mew_vi.Mode.Name.t
  2. | Continue of t * status * keyseq
  3. | Rejected of keyseq
val resolver_dummy : t
val resolver_insert : t
module Common : sig ... end
module Normal : sig ... end
module Visual : sig ... end
val make_config : ?mode:Mew_vi.Mode.Name.t -> ?keyseq:keyseq -> ?resolver_insert:t -> ?resolver_normal:t -> ?resolver_visual:t -> ?resolver_command:t -> unit -> config
val interpret : ?resolver:t -> ?keyseq:keyseq -> config -> status -> Base.Key.t Lwt_mvar.t -> Edit_action.t Lwt_mvar.t -> unit -> 'a Lwt.t