Previous  Up  

Module MrMime_maildir (.ml)

module MrMime_maildir: sig .. end
module Map: Map.Make(String)
type safe 
type unsafe 
type 'a t = {
   sequence : int option;
   boot : int option;
   crypto_random : int option;
   inode : int option;
   device : int option;
   microsecond : int option;
   pid : int option;
   deliveries : int option;
} 
val make : ?sequence:int ->
       ?boot:int ->
       ?crypto_random:int ->
       ?inode:int ->
       ?device:int ->
       ?microsecond:int ->
       ?pid:int -> ?deliveries:int -> unit -> unsafe t
val to_safe : unsafe t ->
       safe t option
type id =
| Modern of safe t
| Old0 of int
| Old1 of int * int 
type flag =
| Passed
| Replied
| Seen
| Trashed
| Draft
| Flagged 
type 'a info =
| Exp of 'a
| Info of flag list 
type 'a filename = {
   time : int;
   id : id;
   host : string;
   parameters : string Map.t;
   info : 'a info;
} 
val pp : Format.formatter -> ('a, Format.formatter, unit) Pervasives.format -> 'a
val pp_lst : sep:(Format.formatter -> unit -> unit) ->
       (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
val pp_flag : Format.formatter -> flag -> unit
val pp_info : (Format.formatter -> 'a -> unit) ->
       Format.formatter -> 'a info -> unit
val pp_option : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a option -> unit
val pp_t : Format.formatter -> 'a t -> unit
val pp_id : Format.formatter -> id -> unit
val pp_map : Format.formatter -> string Map.t -> unit
val pp_filename : (Format.formatter -> 'a -> unit) ->
       Format.formatter -> 'a filename -> unit
type Parser.err +=
| Invalid_filename 
val implode : char list -> string
val avoid : unit Parser.t
val parse : 'a Parser.t -> 'a filename Parser.t
val of_filename : 'a Parser.t -> string -> 'a filename option