src/utilities/webify.mli

   1 (** This module turns a function into a web application. *)
   2
   3 (** An input is characterized by a title and a function that
   4     returns the input contents if called. *)
   5 type input =
   6   | Direct of string * (unit -> string)
   7   | Url of string
   8
   9 (** An output is a title and some contents. *)
  10 type output = (string * string)
  11
  12 (** Given a list of input choices and a function that turns these
  13     inputs into output, [from_function] produces an interactive
  14     web application. *)
  15 type processor_function =
  16     (int -> int -> unit) ->      (** Step n over m. *)
  17     (string * string) ->
  18     output list
  19
  20 val from_function : input list -> processor_function -> unit
  21
  22