Mercurial > email
annotate mail.urs @ 0:33bf7ee17644
Initial import from some old code
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sat, 03 Mar 2012 14:59:04 -0500 |
| parents | |
| 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 |