sig
type word = [ `Atom of string | `String of string ]
type local = word list
type raw =
Rfc2047.raw =
QuotedPrintable of string
| Base64 of MrMime_base64.Decoder.result
type literal_domain = Rfc5321.literal_domain = ..
type literal_domain += IPv4 of Ipaddr.V4.t
type literal_domain += IPv6 of Ipaddr.V6.t
type phrase = [ `Dot | `Encoded of string * raw | `Word of word ] list
type domain = [ `Domain of string list | `Literal of literal_domain ]
type mailbox =
Rfc5322.mailbox = {
name : phrase option;
local : local;
domain : domain * domain list;
}
type group = Rfc5322.group = { name : phrase; mailbox : mailbox list; }
type address = [ `Group of group | `Mailbox of mailbox ]
val pp_word : Format.formatter -> word -> unit
val pp_domain : Format.formatter -> domain -> unit
val pp_phrase : Format.formatter -> phrase -> unit
val pp_local : Format.formatter -> local -> unit
val pp_mailbox' :
Format.formatter -> local * (domain * domain list) -> unit
val pp_mailbox : Format.formatter -> mailbox -> unit
val pp_group : Format.formatter -> group -> unit
val pp : Format.formatter -> address -> unit
module Encoder :
sig
val w_word :
(word,
([> `Partial of Bytes.t * int * int * (int -> 'a) ] as 'a)
Encoder.partial)
Wrap.k1
val w_domain :
(domain,
([> `Partial of Bytes.t * int * int * (int -> 'a) ] as 'a)
Encoder.partial)
Wrap.k1
val w_safe_string :
(string,
([> `Partial of Bytes.t * int * int * (int -> 'a) ] as 'a)
Encoder.partial)
Wrap.k1
val w_raw :
(raw,
([> `Partial of Bytes.t * int * int * (int -> 'a) ] as 'a)
Encoder.partial)
Wrap.k1
val w_phrase :
(phrase,
([> `Partial of Bytes.t * int * int * (int -> 'a) ] as 'a)
Encoder.partial)
Wrap.k1
val w_local :
(local,
([> `Partial of Bytes.t * int * int * (int -> 'a) ] as 'a)
Encoder.partial)
Wrap.k1
val w_mailbox' :
(local * (domain * domain list),
([> `Partial of Bytes.t * int * int * (int -> 'a) ] as 'a)
Encoder.partial)
Wrap.k1
val w_mailbox :
(mailbox,
([> `Partial of Bytes.t * int * int * (int -> 'a) ] as 'a)
Encoder.partial)
Wrap.k1
val w_group :
(group,
([> `Partial of Bytes.t * int * int * (int -> 'a) ] as 'a)
Encoder.partial)
Wrap.k1
val w_address :
(address,
([> `Partial of Bytes.t * int * int * (int -> 'a) ] as 'a)
Encoder.partial)
Wrap.k1
val w_addresses :
(address list,
([> `Partial of Bytes.t * int * int * (int -> 'a) ] as 'a)
Encoder.partial)
Wrap.k1
end
module Decoder :
sig
val p_address : address MrMime_parser.t
val p_addresses : address list MrMime_parser.t
val p_local : local MrMime_parser.t
val p_domain : domain MrMime_parser.t
end
val to_string : address -> string
val of_string : ?chunk:int -> string -> address option
val of_string_raw :
?chunk:int -> string -> int -> int -> (address * int) option
val equal : address -> address -> bool
module List :
sig
val pp : Format.formatter -> address list -> unit
val to_string : address list -> string
val of_string : ?chunk:int -> string -> address list option
val of_string_raw :
?chunk:int -> string -> int -> int -> (address list * int) option
val equal : address list -> address list -> bool
end
module Make :
sig
type z = Z
type 'a s = S
type 'a word
type ('data, 'peano) llist
val word : string -> [ `Atom | `String ] word
val atom : string -> [> `Atom ] word
val e : ([> `Atom ] word, z) llist
val ( & ) : 'a word -> ('a word, 'x) llist -> ('a word, 'x s) llist
val ( @ ) :
([ `Atom | `String ] word, 'a s) llist ->
([ `Atom ] word, 'b s) llist -> mailbox
end
module Extension :
sig
val add_literal_domain :
string -> literal_domain MrMime_parser.t -> unit
end
end