package quickterface

  1. Overview
  2. Docs

Module Quickterface_web_app_backend.LogSource

Sourcetype t = {
  1. document : Js_of_ocaml.Dom_html.document Js_of_ocaml.Js.t;
  2. container : Js_of_ocaml.Dom_html.divElement Js_of_ocaml.Js.t;
}
Sourceval make : document:Js_of_ocaml.Dom_html.document Js_of_ocaml.Js.t -> main_container:Js_of_ocaml.Dom.node Js_of_ocaml.Js.t -> 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 add_output_text : ?options:Quickterface.Output_text_options.t -> t -> value:string -> unit -> unit Lwt.t
Sourceval add_output_math : ?options:Quickterface.Output_text_options.t -> t -> value:Quickterface.Math.t -> unit -> unit Lwt.t
Sourceval add_output_title : t -> value: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