annotate mail.urs @ 3:9ab026c81a22

Make sure 'm4' directory exists
author Adam Chlipala <adam@chlipala.net>
date Wed, 31 Dec 2014 08:00:42 -0500
parents 33bf7ee17644
children
rev   line source
adam@0 1 (** Ur/Web e-mail sending library *)
adam@0 2
adam@0 3 (* To assemble a message, produce a value in this type standing for header values. *)
adam@0 4 type headers
adam@0 5
adam@0 6 val empty : headers
adam@0 7
adam@0 8 (* Each of the following may be used at most once in constructing a [headers]. *)
adam@0 9 val from : string -> headers -> headers
adam@0 10 val subject : string -> headers -> headers
adam@0 11
adam@0 12 (* The following must be called with single valid e-mail address arguments, and
adam@0 13 * all such addresses passed are combined into single header values. *)
adam@0 14 val to : string -> headers -> headers
adam@0 15 val cc : string -> headers -> headers
adam@0 16 val bcc : string -> headers -> headers
adam@0 17
adam@0 18 (* Send out a message by connecting to an SMTP server on localhost:25. *)
adam@0 19 val send : headers
adam@0 20 -> string (* Plain text message body *)
adam@0 21 -> option xbody (* Optional HTML message body *)
adam@0 22 -> transaction unit