package lambda-term

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
class t : string -> LTerm_widget_base_impl.t
val get_focus : 'a option LTerm_geom.directions -> [< `down | `left | `right | `up ] -> [> `none | `set_focus of 'b ]
val make_widget_matrix : < allocation : LTerm_geom.rect ; can_focus : bool ; children : 'b list ; focus : 'c option LTerm_geom.directions.. > as 'a -> [< `down | `left | `right | `up ] -> [> `can_focus of 'd | `none | `set_focus of 'c ] array array
val focus_to : ([< `down | `left | `right | `up ] * (LTerm_geom.coord -> LTerm_geom.coord)) -> (LTerm_geom.rect -> LTerm_geom.coord -> LTerm_geom.coord) -> < allocation : LTerm_geom.rect ; can_focus : bool ; children : 'b list ; focus : 'c option LTerm_geom.directions.. > as 'a -> 'd -> LTerm_geom.coord -> ('e * LTerm_geom.coord) option
val focus_left : < allocation : LTerm_geom.rect ; can_focus : bool ; children : 'a list ; cursor_position : LTerm_geom.coord option ; draw : LTerm_draw.context -> LTerm_widget_base_impl.t -> unit ; focus : 'a 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 > as 'a -> 'a -> LTerm_geom.coord -> ('a * LTerm_geom.coord) option
val focus_right : < allocation : LTerm_geom.rect ; can_focus : bool ; children : 'a list ; cursor_position : LTerm_geom.coord option ; draw : LTerm_draw.context -> LTerm_widget_base_impl.t -> unit ; focus : 'a 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 > as 'a -> 'a -> LTerm_geom.coord -> ('a * LTerm_geom.coord) option
val focus_up : < allocation : LTerm_geom.rect ; can_focus : bool ; children : 'a list ; cursor_position : LTerm_geom.coord option ; draw : LTerm_draw.context -> LTerm_widget_base_impl.t -> unit ; focus : 'a 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 > as 'a -> 'a -> LTerm_geom.coord -> ('a * LTerm_geom.coord) option
val focus_down : < allocation : LTerm_geom.rect ; can_focus : bool ; children : 'a list ; cursor_position : LTerm_geom.coord option ; draw : LTerm_draw.context -> LTerm_widget_base_impl.t -> unit ; focus : 'a 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 > as 'a -> 'a -> LTerm_geom.coord -> ('a * LTerm_geom.coord) option
class toplevel : t Stdlib.ref -> LTerm_widget_base_impl.t -> object ... end