Structure Mosmlcookie


Identifier index Structure index

(* Mosmlcookie -- getting and setting cookies in CGI scripts *)

exception CookieError of string

val allCookies     : string list
val getCookieValue : string -> string option 
val getCookie      : string -> string option 

type cookiedata = 
    { name   : string, 
      value  : string, 
      expiry : Date.date option, 
      domain : string option, 
      path   : string option, 
      secure : bool }

val setCookie    : cookiedata -> string
val setCookies   : cookiedata list -> string

val deleteCookie : { name : string, path : string option } -> string

(* 
   These functions may be used in CGI scripts to get and set cookies.
   (c) Hans Molin, Computing Science Dept., Uppsala University, 1999.

   [getCookieValue ck] returns SOME(v) where v is the value associated
   with the cookie ck, if any; otherwise returns NONE.

   [getCookie ck] returns SOME(nv) where nv is the ck=value string
   for the cookie ck, if any; otherwise returns NONE.

   [allCookies] is a list [nv1, nv2, ..., nvm] of all the ck=value
   pairs of defined cookies.

   [setCookie { name, value, expiry, domain, path, secure }] returns a
   string which (when transmitted to a browser as part of the HTTP
   response header) sets a cookie with the given name, value, expiry
   date, domain, path, and security.

   [setCookies ckds] returns a string which (when transmitted to a
   browser as part of the HTTP response header) sets the specified cookies.

   [deleteCookie { name, path }] returns a string which (when
   transmitted to a browser as part of the HTTP response header)
   deletes the specified cookie by setting its expiry to some time in
   the past.
*)


Identifier index Structure index


Moscow ML 2.10