module MrMime_date:sig..end
typeday =Rfc5322.day=
| |
Mon |
| |
Tue |
| |
Wed |
| |
Thu |
| |
Fri |
| |
Sat |
| |
Sun |
typemonth =Rfc5322.month=
| |
Jan |
| |
Feb |
| |
Mar |
| |
Apr |
| |
May |
| |
Jun |
| |
Jul |
| |
Aug |
| |
Sep |
| |
Oct |
| |
Nov |
| |
Dec |
typezone =Rfc5322.zone=
| |
UT |
(* |
Universal time (identical to
+0000) | *) |
| |
GMT |
(* |
Greenwich Mean time (identical to
+0000) | *) |
| |
EST |
(* |
Eastern Standard time (identical to
-0500) | *) |
| |
EDT |
(* |
Eastern Daylight Savings time (identical to
-0400) | *) |
| |
CST |
(* |
Central Standard time (identical to
-0600) | *) |
| |
CDT |
(* |
Central Daylight Savings time (identical to
-0500) | *) |
| |
MST |
(* |
Mountain Standard time (identical to
-0700) | *) |
| |
MDT |
(* |
Mountain Daylight Savings time (identical to
-0600) | *) |
| |
PST |
(* |
Pacific Standard time (identical to
-0800) | *) |
| |
PDT |
(* |
Pacific Daylight Savings time (identical to
-0700) | *) |
| |
Military_zone of |
(* |
The character military zones were defined in a
non-standard way in
RFC822 and
are therefore unpredictable in their meaning.
The original definitions of the military zones | *) |
| |
TZ of |
(* | TZ +hhmm means +(hh * 60 + mm) minutes, and
TZ -hhmm means -(hh * 60 + mm) minutes.
Accoding to the standard
RFC5322,
| *) |
typedate =Rfc5322.date= {
|
day : |
(* |
Accoding to the standard
RFC5322,
the
day (if included) must be the day
implied by the date. MrMime does not check
that. | *) |
|
date : |
(* | (day, month, year):
| *) |
|
time : |
(* | *) |
|
|
zone : |
val pp_zone : Format.formatter -> zone -> unitpp_zone prints an human readable representation of zone.val pp_month : Format.formatter -> month -> unitpp_month prints an human readable representation of month.val pp_day : Format.formatter -> day -> unitpp_day prints an human readable representation of day.val pp : Format.formatter -> date -> unitpp date prints an human readable representatation of date.module Encoder:sig..end
module Decoder:sig..end
val to_string : date -> string
val of_string : ?chunk:int -> string -> date optionof_string ~chunk:1024 buf parses an
RFC5322 date starting at
0 in buf.
This function allocates a internal buffer with chunk size (default to
1024).
val of_string_raw : ?chunk:int -> string -> int -> int -> (date * int) optionof_string_raw ~chunk:1024 buf off len parses an
RFC5322 date starting at
off in buf to a tuple (date, count) with:date the datecount the number of bytes read starting at off to parse the date.chunk size (default to
1024).val equal : date -> date -> boolequal a b is true iff a and b are the same date.