package lambda-term

You can search for identifiers within the package.

in-package search v0.2.0

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

type t = LTerm_widget_base_impl.t

class toplevel : LTerm_toplevel_impl.t ref -> LTerm_widget_base_impl.t -> LTerm_toplevel_impl.toplevel

val find_focusable : 
  < can_focus : bool ; children : 'a list.. > as 'a ->
  'a option

val find_focusable_in_list : 
  < can_focus : bool ; children : 'a.. > as 'b list as 'a ->
  'b option

val pick : 
  LTerm_geom.coord ->
  < allocation : LTerm_geom.rect
    ; can_focus : bool
    ; children : 'a list.. > as 'a ->
  ('a * LTerm_geom.coord) option

type 'a event =

| Value of 'a
| Event of LTerm_event.t

val lambda_termrc : string

val file_exists : string -> bool Lwt.t

val apply_resources : 
  ?cache:LTerm_resources.t ref ->
  bool ->
  string ->
  < set_resources : LTerm_resources.t -> 'a.. > ->
  unit Lwt.t

val ref_focus : < can_focus : bool ; children : 'a list.. > as 'a -> 'a ref

val run_modal : 
  LTerm.t ->
  ?save_state:bool ->
  ?load_resources:bool ->
  ?resources_file:string ->
  LTerm_toplevel_impl.t Lwt_react.event ->
  unit Lwt_react.event ->
  < allocation : LTerm_geom.rect
    ; can_focus : bool
    ; children : LTerm_widget_base_impl.t list
    ; cursor_position : LTerm_geom.coord option
    ; draw : LTerm_draw.context -> LTerm_widget_base_impl.t -> unit
    ; focus : LTerm_widget_base_impl.t option LTerm_geom.directions
    ; on_event : 
      ?switch:LTerm_widget_callbacks.switch ->
      (LTerm_event.t -> bool) ->
      unit
    ; parent : LTerm_widget_base_impl.t option
    ; queue_draw : unit
    ; resource_class : string
    ; resources : LTerm_resources.t
    ; send_event : LTerm_event.t -> unit
    ; set_allocation : LTerm_geom.rect -> unit
    ; set_focus : LTerm_widget_base_impl.t option LTerm_geom.directions -> unit
    ; set_parent : LTerm_widget_base_impl.t option -> unit
    ; set_queue_draw : (unit -> unit) -> unit
    ; set_resource_class : string -> unit
    ; set_resources : LTerm_resources.t -> unit
    ; size_request : LTerm_geom.size
    ; update_resources : unit.. > ->
  'a Lwt.t ->
  'a Lwt.t

val run : 
  LTerm.t ->
  ?save_state:bool ->
  ?load_resources:bool ->
  ?resources_file:string ->
  < allocation : LTerm_geom.rect
    ; can_focus : bool
    ; children : LTerm_widget_base_impl.t list
    ; cursor_position : LTerm_geom.coord option
    ; draw : LTerm_draw.context -> LTerm_widget_base_impl.t -> unit
    ; focus : LTerm_widget_base_impl.t option LTerm_geom.directions
    ; on_event : 
      ?switch:LTerm_widget_callbacks.switch ->
      (LTerm_event.t -> bool) ->
      unit
    ; parent : LTerm_widget_base_impl.t option
    ; queue_draw : unit
    ; resource_class : string
    ; resources : LTerm_resources.t
    ; send_event : LTerm_event.t -> unit
    ; set_allocation : LTerm_geom.rect -> unit
    ; set_focus : LTerm_widget_base_impl.t option LTerm_geom.directions -> unit
    ; set_parent : LTerm_widget_base_impl.t option -> unit
    ; set_queue_draw : (unit -> unit) -> unit
    ; set_resource_class : string -> unit
    ; set_resources : LTerm_resources.t -> unit
    ; size_request : LTerm_geom.size
    ; update_resources : unit.. > ->
  'a Lwt.t ->
  'a Lwt.t

val prepare_simple_run : 
  unit ->
  (< allocation : LTerm_geom.rect
     ; can_focus : bool
     ; children : LTerm_widget_base_impl.t list
     ; cursor_position : LTerm_geom.coord option
     ; draw : LTerm_draw.context -> LTerm_widget_base_impl.t -> unit
     ; focus : LTerm_widget_base_impl.t option LTerm_geom.directions
     ; on_event : 
       ?switch:LTerm_widget_callbacks.switch ->
       (LTerm_event.t -> bool) ->
       unit
     ; parent : LTerm_widget_base_impl.t option
     ; queue_draw : unit
     ; resource_class : string
     ; resources : LTerm_resources.t
     ; send_event : LTerm_event.t -> unit
     ; set_allocation : LTerm_geom.rect -> unit
     ; set_focus : 
       LTerm_widget_base_impl.t option LTerm_geom.directions ->
       unit
     ; set_parent : LTerm_widget_base_impl.t option -> unit
     ; set_queue_draw : (unit -> unit) -> unit
     ; set_resource_class : string -> unit
     ; set_resources : LTerm_resources.t -> unit
     ; size_request : LTerm_geom.size
     ; update_resources : unit.. > ->
  'a Lwt.t)
  * (< allocation : LTerm_geom.rect
       ; can_focus : bool
       ; children : LTerm_widget_base_impl.t list
       ; cursor_position : LTerm_geom.coord option
       ; draw : LTerm_draw.context -> LTerm_widget_base_impl.t -> unit
       ; focus : LTerm_widget_base_impl.t option LTerm_geom.directions
       ; on_event : 
         ?switch:LTerm_widget_callbacks.switch ->
         (LTerm_event.t -> bool) ->
         unit
       ; parent : LTerm_widget_base_impl.t option
       ; queue_draw : unit
       ; resource_class : string
       ; resources : LTerm_resources.t
       ; send_event : LTerm_event.t -> unit
       ; set_allocation : LTerm_geom.rect -> unit
       ; set_focus : 
         LTerm_widget_base_impl.t option LTerm_geom.directions ->
         unit
       ; set_parent : LTerm_widget_base_impl.t option -> unit
       ; set_queue_draw : (unit -> unit) -> unit
       ; set_resource_class : string -> unit
       ; set_resources : LTerm_resources.t -> unit
       ; size_request : LTerm_geom.size
       ; update_resources : unit.. > ->
  unit ->
  unit)
  * (?step:React.step ->
  unit ->
  unit)
  * ('a ->
  unit)