Provides history navigation up and down, saving the current line.
A truly-lazy implementation of scala.Stream
Filters for simple operation of a terminal: cursor-navigation (including with all the modifier keys), enter/ctrl-c-exit, etc.
A collection of helpers that to simpify the common case of building filters
Filters have hook into the various {Ctrl,Shift,Fn,Alt}x{Up,Down,Left,Right} combination keys, and make them behave similarly as they would on a normal GUI text editor: alt-{left, right} for word movement, hold-down-shift for text selection, etc.
Filters for injection of readline-specific hotkeys, the sort that are available in bash, python and most other interactive command-lines
One place to assign all the esotic control key input snippets to easy-to-remember names
The core logic around a terminal; it defines the base filters
API
through which anything (including basic cursor-navigation and typing)
interacts with the terminal.
The core logic around a terminal; it defines the base
filters
API through which anything (including basic cursor-navigation and typing) interacts with the terminal.Maintains basic invariants, such as "cursor should always be within the buffer", and "ansi terminal should reflect most up to date TermState"