package lambda-term

You can search for identifiers within the package.

in-package search v0.2.0

package lambda-term

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
    
    KeyTrie
    
    Modes
    
    edit
    
    state
    
    Interpret
    
    Register
    
    RegisterMap
    
    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

Events exposed by scrollbar widgets. These may be applied to other widgets if required.

method mouse_event : LTerm_event.t -> bool

method scroll_key_event : LTerm_event.t -> bool