Input_field_container (p.quickterface.0.1.0.doc.quickterface.terminal_app.Quickterface_terminal_app.Input_field

Sourcetype t

Sourceval make : unit -> t

Sourceval render : t Render_function.t

Sourceval handle_key_event : t -> Notty.Unescape.key -> unit

val get_input_any_key : 
  t ->
  refresh_render:(unit -> unit Lwt.t) ->
  unit ->
  (unit Lwt.t, Core.Error.t) Core.result

Source

val get_input_text : 
  prompt:string ->
  t ->
  refresh_render:(unit -> unit Lwt.t) ->
  unit ->
  (string Lwt.t, Core.Error.t) Core.result

Source

val get_input_integer : 
  t ->
  refresh_render:(unit -> unit Lwt.t) ->
  unit ->
  (int Lwt.t, Core.Error.t) Core.result

Source

val get_input_single_selection : 
  t ->
  refresh_render:(unit -> unit Lwt.t) ->
  options:'a list ->
  option_to_string:('a -> string) ->
  unit ->
  ('a Lwt.t, Core.Error.t) Core.result

Source

val get_input_multi_selection : 
  t ->
  refresh_render:(unit -> unit Lwt.t) ->
  options:'a list ->
  option_to_string:('a -> string) ->
  unit ->
  ('a list Lwt.t, Core.Error.t) Core.result