Nottui_widgets (nottui.Nottui

val empty_lwd : Nottui.ui Lwd.t

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

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

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

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

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

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

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

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

type window_manager

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

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

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

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

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

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

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

val scroll_step : int

type scroll_state = {

position : int;

bound : int;

visible : int;

total : int;

}

val default_scroll_state : scroll_state

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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