Module `Nottui_widgets`Source

Sourceval empty_lwd : Nottui.ui Lwd.t

Sourceval string : ?attr:Notty.attr -> string -> Nottui.ui

Sourceval int : ?attr:Notty.attr -> int -> Nottui.ui

Sourceval bool : ?attr:Notty.attr -> bool -> Nottui.ui

Sourceval float_ : ?attr:Notty.attr -> float -> Nottui.ui

Sourceval printf : ?attr:Notty.attr -> ('a, unit, string, Nottui.ui) format4 -> 'a

val kprintf : 
  (Nottui.ui -> 'a) ->
  ?attr:Notty.attr ->
  ('b, unit, string, 'a) format4 ->
  'b

Source

val fmt : 
  ?attr:Notty.attr ->
  ('a, Format.formatter, unit, Nottui.ui) format4 ->
  'a

Source

val kfmt : 
  (Nottui.ui -> 'a) ->
  ?attr:Notty.attr ->
  ('b, Format.formatter, unit, 'a) format4 ->
  'b

Sourcetype window_manager

Sourceval window_manager : Nottui.ui Lwd.t -> window_manager

Sourceval window_manager_view : window_manager -> Nottui.ui Lwd.t

Sourceval window_manager_overlays : window_manager -> Nottui.ui Lwd.t Lwd_table.t

Source

val menu_overlay : 
  window_manager ->
  Nottui.gravity ->
  ?dx:int ->
  ?dy:int ->
  Nottui.ui Lwd.t ->
  Nottui.ui ->
  Nottui.ui

Source

val main_menu_item : 
  window_manager ->
  string ->
  (unit -> Nottui.ui Lwd.t) ->
  Nottui.ui Lwd.t

Source

val sub_menu_item : 
  window_manager ->
  string ->
  (unit -> Nottui.ui Lwd.t) ->
  Nottui.ui Lwd.t

Sourceval sub_entry : string -> (unit -> unit) -> Nottui.ui

Sourceval scroll_step : int

Sourcetype scroll_state = {

position : int;
bound : int;
visible : int;
total : int;

}

Sourceval default_scroll_state : scroll_state

Source

val vscroll_area : 
  state:scroll_state Lwd.t ->
  change:([> `Action | `Content ] -> scroll_state -> unit) ->
  Nottui.ui Lwd.t ->
  Nottui.ui Lwd.t

Sourceval scroll_area : ?offset:(int * int) -> Nottui.ui Lwd.t -> Nottui.ui Lwd.t

Sourceval scrollbox : Nottui.ui Lwd.t -> Nottui.ui Lwd.t

Sourceval v_pane : Nottui.ui Lwd.t -> Nottui.ui Lwd.t -> Nottui.ui Lwd.t

Sourceval h_pane : Nottui.ui Lwd.t -> Nottui.ui Lwd.t -> Nottui.ui Lwd.t

Source

val edit_field : 
  ?focus:Nottui.Focus.handle ->
  (string * int) Lwd.t ->
  on_change:((string * int) -> unit) ->
  on_submit:((string * int) -> unit) ->
  Nottui.ui Lwd.t

Sourceval tabs : (string * (unit -> Nottui.ui Lwd.t)) list -> Nottui.ui Lwd.t

Sourceval flex_box : ?w:int Lwd.t -> Nottui.ui Lwd.t list -> Nottui.ui Lwd.t

Source

val unfoldable : 
  ?folded_by_default:bool ->
  Nottui.ui Lwd.t ->
  (unit -> Nottui.ui Lwd.t) ->
  Nottui.ui Lwd.t

Sourceval hbox : Nottui.ui Lwd.t list -> Nottui.ui Lwd.t

Sourceval vbox : Nottui.ui Lwd.t list -> Nottui.ui Lwd.t

Sourceval zbox : Nottui.ui Lwd.t list -> Nottui.ui Lwd.t

Sourceval vlist : ?bullet:string -> Nottui.ui Lwd.t list -> Nottui.ui Lwd.t

Source

val vlist_with : 
  ?bullet:string ->
  ?filter:('a -> bool) Lwd.t ->
  ('a -> Nottui.ui Lwd.t) ->
  'a list Lwd.t ->
  Nottui.ui Lwd.t

Sourceval iterate : int -> ('a -> 'a) -> 'a -> 'a

Source

val grid : 
  ?max_h:int ->
  ?max_w:int ->
  ?pad:Nottui.gravity ->
  ?crop:Nottui.gravity ->
  ?bg:Notty.attr ->
  ?h_space:int ->
  ?v_space:int ->
  ?headers:Nottui.ui Lwd.t list ->
  Nottui.ui Lwd.t list list ->
  Nottui.ui Lwd.t

Sourceval button : ?attr:Notty.attr -> string -> (unit -> unit) -> Nottui.ui

Source

val file_select : 
  ?abs:bool ->
  ?filter:(String.t -> bool) ->
  on_select:(string -> unit) ->
  unit ->
  Nottui.ui Lwd.t

Sourceval toggle : ?init:bool -> string Lwd.t -> (bool -> unit) -> Nottui.ui Lwd.t

Sourceval toggle' : string Lwd.t -> bool Lwd.var -> Nottui.ui Lwd.t

package nottui

Module Nottui_widgetsSource

Module `Nottui_widgets`Source