package lambda-term

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Result
Actions
State
Completion

lambda-term
- LTerm
- LTerm_buttons_impl
  - Make
    
    LiteralIntf
    
    button
    
    checkbutton
    
    radio
    
    radiobutton
    
    radiogroup
    
    t
- LTerm_color_mappings
- LTerm_containers_impl
  - Make
    
    LiteralIntf
    
    abox
    
    box
    
    frame
    
    hbox
    
    modal_frame
    
    t
    
    vbox
- LTerm_dlist
- LTerm_draw
- LTerm_edit
  - edit
- LTerm_editor
- LTerm_event
- LTerm_geom
- LTerm_history
- LTerm_inputrc
- LTerm_key
- LTerm_mouse
- LTerm_read_line
  - abstract
  - engine
  - read_keyword
  - read_line
  - read_password
  - term
- LTerm_read_line_base
- LTerm_resource_lexer
- LTerm_resources
- LTerm_running_impl
  - toplevel
- LTerm_scroll_impl
  - adjustment
  - hscrollbar
  - hslider
  - scrollable_adjustment
  - scrollbar
  - t
  - vscrollbar
  - vslider
- LTerm_style
- LTerm_text
- LTerm_text_impl
  - Make
    
    LiteralIntf
- LTerm_toplevel_impl
  - t
  - toplevel
- LTerm_ui
- LTerm_unix
- LTerm_vi
  - Concurrent
    
    MsgBox
    
    Thread
  - Query
  - Vi
    
    Base
    
    Key
    
    Mode
    
    edit
    
    state
    
    Interpret
    
    Register
    
    Resolver
    
    Common
    
    Normal
    
    Visual
  - edit
  - state
- LTerm_widget
  - adjustment
  - box
  - button
  - checkbutton
  - default_scroll_events
  - frame
  - hbox
  - hline
  - hscrollbar
  - hslider
  - label
  - modal_frame
  - radio
  - radiobutton
  - radiogroup
  - scrollable
  - scrollable_adjustment
  - scrollable_document
  - scrollable_private
  - spacing
  - t
  - vbox
  - vline
  - vscrollbar
  - vslider
- LTerm_widget_base_impl
  - t
- LTerm_widget_callbacks
- LTerm_widget_impl
  - Make
    
    LTerm_buttons
    
    button
    
    checkbutton
    
    radio
    
    radiobutton
    
    radiogroup
    
    t
    
    LTerm_containers
    
    abox
    
    box
    
    frame
    
    hbox
    
    modal_frame
    
    t
    
    vbox
    
    LiteralIntf
    
    adjustment
    
    box
    
    button
    
    checkbutton
    
    default_scroll_events
    
    frame
    
    hbox
    
    hline
    
    hscrollbar
    
    hslider
    
    label
    
    modal_frame
    
    radio
    
    radiobutton
    
    radiogroup
    
    scrollable
    
    scrollable_adjustment
    
    scrollable_document
    
    scrollable_private
    
    spacing
    
    t
    
    vbox
    
    vline
    
    vscrollbar
    
    vslider
- LTerm_windows
- LiteralIntf
  - Type
  - UTF8
  - Zed

Legend:
Library
Module
Module type
Parameter
Class
Class type

The read-line engine. If no clipboard is provided, LTerm_edit.clipboard is used. If no macro recorder is provided, macro is used.

Result

method virtual eval : 'a

Evaluates the contents of the engine.

Actions

method insert : Stdlib.Uchar.t -> unit

Inserts the given character. Note that is it also possible to manipulate directly the edition context.

method send_action : action -> unit

Evolves according to the given action.

State

method edit : unit Zed_edit.t

The edition engine used by this read-line engine.

method context : unit Zed_edit.context

The context for the edition engine.

method clipboard : Zed_edit.clipboard

The clipboard used by the edition engine.

method macro : action Zed_macro.t

The macro recorder.

method input_prev : Zed_rope.t

The input before the cursor.

method input_next : Zed_rope.t

The input after the cursor.

method mode : mode React.signal

The current mode.

method stylise : bool -> LTerm_text.t * int

Returns the stylised input and the position of the cursor. The argument is true if this is for the last drawing or false otherwise.

method history : (Zed_string.t list * Zed_string.t list) React.signal

The history zipper.

method message : LTerm_text.t option React.signal

A message to display in the completion box. When None the completion should be displayed, and when Some msg msg should be displayed.

method interrupt : exn Lwt_mvar.t

To notify an interrupt singal

Completion

method completion_words : (Zed_string.t * Zed_string.t) list React.signal

Current possible completions. Each completion is of the form (word, suffix) where word is the completion itself and suffix is a suffix to add if the completion is choosen.

method completion_index : int React.signal

The position in the completion bar.

method set_completion : ?index:int ->
  int ->
  (Zed_string.t * Zed_string.t) list ->
  unit

set_completion ?index start words sets the current completions. start is the position of the beginning of the word being completed and words is the list of possible completions with their suffixes. index is the position in the completion bar, default to 0. The result is made available through the completion_words signal.

method completion : unit

Ask for computing completion for current input. This method should call set_completion.

method complete : unit

Complete current input. This is the method called when the user presses Tab.

method show_box : bool

Whether to show the box or not. It default to true.