Tui_terminal_io (p.quickterface.0.1.0.doc.quickterface.terminal_app.Quickterface_terminal_app.Tui_terminal

include Quickterface.Io.S

Sourcetype t

Sourcemodule Http_client : Cohttp_lwt.S.Client

val input : 
  t ->
  ('settings, 'a) Quickterface.Io.Input.t ->
  'settings ->
  unit ->
  'a Lwt.t

Sourceval input_text : ?prompt:string -> t -> unit -> string Lwt.t

Sourceval input_integer : t -> unit -> int Lwt.t

Sourceval input_single_selection : t -> 'a list -> ('a -> string) -> unit -> 'a Lwt.t

Sourceval input_single_selection_string : t -> string list -> unit -> string Lwt.t

Source

val input_multi_selection : 
  t ->
  'a list ->
  ('a -> string) ->
  unit ->
  'a list Lwt.t

Source

val input_multi_selection_string : 
  t ->
  string list ->
  unit ->
  string list Lwt.t

Source

val output : 
  ?options:'options ->
  t ->
  ('options, 'a) Quickterface.Io.Output.t ->
  'a ->
  unit ->
  unit Lwt.t

Source

val output_text : 
  ?options:Quickterface.Output_text_options.t ->
  t ->
  string ->
  unit ->
  unit Lwt.t

Source

val output_math : 
  ?options:Quickterface.Output_text_options.t ->
  t ->
  Quickterface.Math.t ->
  unit ->
  unit Lwt.t

Sourceval output_title : t -> string -> unit -> unit Lwt.t

Source

val with_progress_bar : 
  ?label:string ->
  t ->
  maximum:int ->
  f:(increment_progress_bar:(unit -> unit Lwt.t) -> unit -> 'a Lwt.t) ->
  unit ->
  'a Lwt.t

Sourceval input_any_key : t -> unit -> unit Lwt.t

Sourceval make : unit -> t