package lambda-term
-
lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Class for read-line instances running in a terminal.
inherit 'a abstractmethod run : 'a Lwt.tRun this read-line instance.
Executes a list of actions. Rememver to call Zed_macro.add
self#macro action if you overload this method.
method bind : LTerm_key.t list -> action list -> unitmethod draw_update : unit Lwt.tUpdates current display and put the cursor at current edition position.
method draw_success : unit Lwt.tDraws after accepting current input.
method draw_failure : unit Lwt.tDraws after an exception has been raised.
method prompt : prompt React.signalThe signal holding the prompt.
method set_prompt : prompt React.signal -> unitSets the prompt signal.
method size : LTerm_geom.size React.signalThe size of the terminal. This can be used for computing the prompt.
method key_sequence : LTerm_key.t list React.signalThe currently typed key sequence.
method completion_start : int React.signalIndex of the first displayed word in the completion bar.
method hide : unit Lwt.tHide this read-line instance. It remains invisible until show is called.
method show : unit Lwt.tShow this read-line instance if it has been previously hidden.