package quickterface

  1. Overview
  2. Docs

Module Quickterface_web_app_backend.AppSource

Sourcetype t
Sourceval make : unit -> t Lwt.t
Sourceval 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
Sourceval input_multi_selection : t -> 'a list -> ('a -> string) -> unit -> 'a list Lwt.t
Sourceval input_multi_selection_string : t -> string list -> unit -> string list Lwt.t
Sourceval output : ?options:'options -> t -> ('options, 'a) Quickterface.Io.Output.t -> 'a -> unit -> unit Lwt.t
Sourceval output_text : ?options:Quickterface.Output_text_options.t -> t -> string -> unit -> unit Lwt.t
Sourceval 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
Sourceval 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 console_log_error : string -> unit -> unit Lwt.t