Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
core.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47
(* * core.ml * ----------- * Copyright : (c) 2019 - 2020, ZAN DoYe <zandoye@gmail.com> * Licence : MIT * * This file is a part of mew_vi. *) module Make (Concurrent:Mew.Concurrent.S) = struct module Base = Mew.Make(Modal)(Concurrent) module Interpret = Interpret.Make(Concurrent) module Edit_action = Edit_action module Vi_action = Vi_action class edit state =object inherit Base.edit state val action_output : Edit_action.t Concurrent.MsgBox.t = Concurrent.MsgBox.create () method action_output= action_output val status= Interpret.Resolver.make_status () initializer Concurrent.Thread.async (Interpret.Resolver.interpret status o action_output) end class state= let modes= let open Mode in Modes.singleton Name.Normal { name= Name.Normal; timeout= None; bindings= Mode.KeyTrie.create None} in object(self) inherit Base.state modes method vi_edit= new edit self end end