quickterface.terminal_app
Quickterface_terminal_app.Window
quickterface
quickterface.web_app
quickterface_web_app_backend
type t
val make : ?title:string -> unit -> t
val input_any_key : t -> refresh_render:(unit -> unit Lwt.t) -> unit -> unit Lwt.t
val input_text : prompt:string -> t -> refresh_render:(unit -> unit Lwt.t) -> unit -> string Lwt.t
val input_integer : t -> refresh_render:(unit -> unit Lwt.t) -> unit -> int Lwt.t
val input_single_selection : t -> refresh_render:(unit -> unit Lwt.t) -> options:'a list -> option_to_string:('a -> string) -> unit -> 'a Lwt.t
val input_multi_selection : t -> refresh_render:(unit -> unit Lwt.t) -> options:'a list -> option_to_string:('a -> string) -> unit -> 'a list Lwt.t
val add_log_item : t -> Log_item.t -> unit Lwt.t
val set_title : t -> string -> unit Lwt.t
val render : t Render_function.t
val handle_event : t -> [ Notty.Unescape.event | `Resize of int * int ] -> [ `Done | `Terminate_program ]
val with_progress_bar : t -> config:Progress_bar_config.t -> refresh_render:(unit -> unit Lwt.t) -> f:(increment_progress_bar:(unit -> unit Lwt.t) -> unit -> 'a Lwt.t) -> 'a Lwt.t