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 -> unit
pp_zone
prints an human readable representation of zone
.val pp_month : Format.formatter -> month -> unit
pp_month
prints an human readable representation of month
.val pp_day : Format.formatter -> day -> unit
pp_day
prints an human readable representation of day
.val pp : Format.formatter -> date -> unit
pp 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 option
of_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) option
of_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 -> bool
equal a b
is true
iff a
and b
are the same date.