Module Lwt_read_line.​Command

module Command : sig..end

Readline commands


type t =  | Nop(* Command which do nothing. Unknown keys maps to this commands. *) | Char of Text.t(* Any printable character. *) | Backward_delete_char | Forward_delete_char | Beginning_of_line | End_of_line | Complete | Meta_complete | Kill_line | Backward_kill_line | Accept_line | Backward_delete_word | Forward_delete_word | History_next | History_previous | Break | Clear_screen | Insert | Refresh | Backward_char | Forward_char | Set_mark | Paste | Copy | Cut | Uppercase | Lowercase | Capitalize | Backward_word | Forward_word | Backward_search | Complete_left | Complete_right | Complete_up | Complete_down | Complete_first | Complete_last | Undo | Delete_char_or_list

Type of all read-line function:

val to_string : t -> string

to_string cmd returns a string representation of a command

val of_string : string -> t

of_string cld tries to convert a command name to a command. Raises Failure if it fails.

val names : (t * string) list

names is the list of all commands (except Char ch) with their name.

val of_key : Lwt_term.key -> t

of_key key returns the command to which a key is mapped.