module Command:sig
..end
type
t =
| |
Nop |
(* |
Command which do nothing. Unknown keys maps to this commands.
| *) |
| |
Char of |
(* |
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 |
val to_string : t -> string
to_string cmd
returns a string representation of a commandval of_string : string -> t
of_string cld
tries to convert a command name to a
command.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.