package quickterface

  1. Overview
  2. Docs

Module Quickterface_terminal_app.WindowSource

Sourcetype t
Sourceval make : ?title:string -> unit -> t
Sourceval input_any_key : t -> refresh_render:(unit -> unit Lwt.t) -> unit -> unit Lwt.t
Sourceval input_text : prompt:string -> t -> refresh_render:(unit -> unit Lwt.t) -> unit -> string Lwt.t
Sourceval input_integer : t -> refresh_render:(unit -> unit Lwt.t) -> unit -> int Lwt.t
Sourceval input_single_selection : t -> refresh_render:(unit -> unit Lwt.t) -> options:'a list -> option_to_string:('a -> string) -> unit -> 'a Lwt.t
Sourceval input_multi_selection : t -> refresh_render:(unit -> unit Lwt.t) -> options:'a list -> option_to_string:('a -> string) -> unit -> 'a list Lwt.t
Sourceval add_log_item : t -> Log_item.t -> unit Lwt.t
Sourceval set_title : t -> string -> unit Lwt.t
Sourceval handle_event : t -> [ Notty.Unescape.event | `Resize of int * int ] -> [ `Done | `Terminate_program ]
Sourceval 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