package quickterface

  1. Overview
  2. Docs
package quickterface
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Quickterface_terminal_app.Input_field_containerSource

Sourcetype t
Sourceval make : unit -> t
Sourceval handle_key_event : t -> Notty.Unescape.key -> unit
Sourceval get_input_any_key : t -> refresh_render:(unit -> unit Lwt.t) -> unit -> (unit Lwt.t, Core.Error.t) Core.result
Sourceval get_input_text : prompt:string -> t -> refresh_render:(unit -> unit Lwt.t) -> unit -> (string Lwt.t, Core.Error.t) Core.result
Sourceval get_input_integer : t -> refresh_render:(unit -> unit Lwt.t) -> unit -> (int Lwt.t, Core.Error.t) Core.result
Sourceval 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
Sourceval 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