adam@0: (** Ur/Web e-mail sending library *)
adam@0: 
adam@0: (* To assemble a message, produce a value in this type standing for header values. *)
adam@0: type headers
adam@0: 
adam@0: val empty : headers
adam@0: 
adam@0: (* Each of the following may be used at most once in constructing a [headers]. *)
adam@0: val from : string -> headers -> headers
adam@0: val subject : string -> headers -> headers
adam@0: 
adam@0: (* The following must be called with single valid e-mail address arguments, and
adam@0:  * all such addresses passed are combined into single header values. *)
adam@0: val to : string -> headers -> headers
adam@0: val cc : string -> headers -> headers
adam@0: val bcc : string -> headers -> headers
adam@0: 
adam@0: (* Send out a message by connecting to an SMTP server on localhost:25. *)
adam@0: val send : headers
adam@0:            -> string       (* Plain text message body *)
adam@0:            -> option xbody (* Optional HTML message body *)
adam@0:            -> transaction unit