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 b6b9830..71a5881 100644 (file)
--- a/src/lib/web.sig
+++ b/src/lib/web.sig
@@ -41,6 +41,7 @@ sig
 
     val html : string -> string
     val htmlNl : string -> string
+    val urlEncode : string -> string
 
     exception Format of string
     val stoi : string -> int
@@ -50,4 +51,18 @@ sig
 
     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