lambda-term 3.3.2 · OCaml Package

Parameters

module LiteralIntf : LiteralIntf.Type

Signature

class t : string -> LTerm_widget_base_impl.t

val newline : Zed_char.t

val text_size : Zed_string.t -> LTerm_geom.size

class label : LiteralIntf.string_intf -> object ... end

module LTerm_containers : sig ... end

exception Out_of_range

class type box = LTerm_containers.box

class hbox : LTerm_containers.hbox

class vbox : LTerm_containers.vbox

class frame : LTerm_containers.frame

class modal_frame : LTerm_containers.modal_frame

class spacing : ?rows:int option -> ?cols:int option -> unit -> object ... end

class hline : object ... end

class vline : object ... end

module LTerm_buttons : sig ... end

class button : ?brackets:(LiteralIntf.string_intf * LiteralIntf.string_intf) -> LiteralIntf.string_intf -> 
  LTerm_buttons.button

class checkbutton : LiteralIntf.string_intf -> bool -> LTerm_buttons.checkbutton

class type 'a radio = 'a LTerm_buttons.radio

class +'b radiogroup : object ... end

class +'b radiobutton : 'a LTerm_buttons.radiogroup -> LiteralIntf.string_intf -> 'a -> object ... end

class adjustment : LTerm_scroll_impl.adjustment

class type scrollable_adjustment = object ... end

Interface between an adjustment and a scrollbar widget.

class type scrollable_document = object ... end

class type scrollable_private = object ... end

class type default_scroll_events = object ... end

class scrollable : LTerm_scroll_impl.scrollable_adjustment

class vscrollbar : ?rc:string -> ?default_event_handler:bool -> ?width:int -> LTerm_scroll_impl.scrollable_adjustment -> 
  LTerm_scroll_impl.vscrollbar

class hscrollbar : ?rc:string -> ?default_event_handler:bool -> ?height:int -> LTerm_scroll_impl.scrollable_adjustment -> 
  LTerm_scroll_impl.hscrollbar

class vslider : int -> LTerm_scroll_impl.vslider

class hslider : int -> LTerm_scroll_impl.hslider

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 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 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)

package lambda-term

Parameters

Signature