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
|
