package nottui

  1. Overview
  2. Docs
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 = {
  1. position : int;
  2. bound : int;
  3. visible : int;
  4. 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 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