package quickterface

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

Module Quickterface_terminal_app.Input_fieldSource

Sourcetype t
Sourceval make_any_key : resolver:unit Lwt.u -> unit -> t
Sourceval make_text : prompt:string -> resolver:string Lwt.u -> unit -> t
Sourceval make_integer : resolver:int Lwt.u -> unit -> t
Sourceval make_single_selection : resolver:'a Lwt.u -> options:'a list -> option_to_string:('a -> string) -> unit -> t
Sourceval make_multi_selection : resolver:'a list Lwt.u -> options:'a list -> option_to_string:('a -> string) -> unit -> t
Sourceval injest_key_event : t -> Notty.Unescape.key -> [ `Updated_to of t | `Ready_to_be_destroyed ]