Various improvements made while working on relwiki

[bpt/mlt.git] / src / lib / web.sig

diff --git a/src/lib/web.sig b/src/lib/web.sig
index c22603e..71a5881 100644 (file)
--- a/src/lib/web.sig
+++ b/src/lib/web.sig
@@ -21,13 +21,48 @@
 
 signature WEB =
 sig
+    val for : (int -> unit) -> int * int -> unit
+
     val print : string -> unit
+    val clear : unit -> unit
+    val noOutput : unit -> bool
     val output : unit -> unit
 
-    val setParam : string * string -> unit
+    val setParam : string * string list -> unit
+    val setSingleParam : string * string -> unit
     val getParam : string -> string
+    val getMultiParam : string -> string list
 
-    val pushParams : (string * string) list -> unit
+    val pushParams : (string * string list) list -> unit
     val popParams : unit -> unit
-    val withParams : (unit -> 'a) -> (string * string) list -> 'a
+    val withParams : (unit -> 'a) -> (string * string list) list -> 'a
+
+    val getCgi : string -> string option
+
+    val html : string -> string
+    val htmlNl : string -> string
+    val urlEncode : string -> string
+
+    exception Format of string
+    val stoi : string -> int
+    val stor : string -> real
+
+    val summary : unit -> string
+
+    val getExn : unit -> exn
+    val setExn : exn -> unit
+
+    val setHeader : string * string -> unit
+    val getHeader : string -> string option
+
+    type cookie = {name : string, value : string, expires : Date.date option,
+                  domain : string option, path : string option, secure : bool}
+    val setCookie : cookie -> unit
+    val getCookie : string -> string option
+
+    val remoteHost : unit -> string option
+
+    val minusSeconds : Time.time * int -> Time.time
+
+    val replaceUrlVar : string * string * string -> string
 end
\ No newline at end of file