mrmime 0.1.0 · OCaml Package

type discrete = [

| `Text
| `Image
| `Audio
| `Video
| `Application

]

type composite = [

| `Message
| `Multipart

]

type extension = [

| `Ietf_token of string
| `X_token of string

]

type ty = [

| discrete
| composite
| extension

]

type subty = [

| `Ietf_token of string
| `Iana_token of string
| `X_token of string

]

type mechanism = [

| `Bit7
| `Bit8
| `Binary
| `Quoted_printable
| `Base64
| `Ietf_token of string
| `X_token of string

]

type value = [

| `String of string
| `Token of string

]

type content = {

ty : ty;
subty : subty;
parameters : (string * value) list;

}

type version = int * int

type field = [

| `ContentType of content
| `ContentEncoding of mechanism
| `ContentID of Rfc822.nonsense Rfc822.msg_id
| `ContentDescription of Rfc5322.unstructured
| `Content of Field_name.t * Rfc5322.unstructured

]

type unsafe = [

| `Unsafe of Field_name.t * Rfc5322.unstructured

]

type lines = [

| `Lines of (string * Location.t) list

]

type field_version = [

| `MIMEVersion of version

]

val of_string : string -> 'a Angstrom.t -> 'a option

val is_tspecials : char -> bool

val invalid_token : string -> 'a Angstrom.t

val nothing_to_do : 'a Angstrom.t

val is_ctl : char -> bool

val is_space : char -> bool

val is_ascii : char -> bool

val is_token : char -> bool

val token : string Angstrom.t

val is_digit : char -> bool

val attribute : string Angstrom.t

val ietf_token : string Angstrom.t

val iana_token : string Angstrom.t

val x_token : string Angstrom.t

val extension_token : 
  [> `Ietf_token of string | `X_token of string ] Angstrom.t

val composite_ty : 
  [> `Ietf_token of string | `Message | `Multipart | `X_token of string ]
    Angstrom.t

val ty : 
  [> `Application
  | `Audio
  | `Ietf_token of string
  | `Image
  | `Message
  | `Multipart
  | `Text
  | `Video
  | `X_token of string ]
    Angstrom.t

val ty_to_string : 
  [< `Application
  | `Audio
  | `Ietf_token of string
  | `Image
  | `Message
  | `Multipart
  | `Text
  | `Video
  | `X_token of string ] ->
  string

val subty : 
  [< `Application
  | `Audio
  | `Ietf_token of Iana.Map.key
  | `Image
  | `Message
  | `Multipart
  | `Text
  | `Video
  | `X_token of Iana.Map.key ] as 'a ->
  ('a
   * [> `Iana_token of Iana.Set.elt
     | `Ietf_token of string
     | `X_token of string ])
    Angstrom.t

val value : [> `String of string | `Token of string ] Angstrom.t

val parameter : (string * [> `String of string | `Token of string ]) Angstrom.t

val content : content Angstrom.t

val version : (int * int) Angstrom.t

val mechanism : 
  [> `Base64
  | `Binary
  | `Bit7
  | `Bit8
  | `Ietf_token of string
  | `Quoted_printable
  | `X_token of string ]
    Angstrom.t

val encoding : 
  [> `Base64
  | `Binary
  | `Bit7
  | `Bit8
  | `Ietf_token of string
  | `Quoted_printable
  | `X_token of string ]
    Angstrom.t

val id : 
  ([ `Atom of string | `String of string ] list
   * [> `Addr of 'a | `Domain of string list | `Literal of string ])
    Angstrom.t

val with_location : 'a Angstrom.t -> ('a * Location.t) Angstrom.t

val field : 
  (string ->
    [> `Content of Field_name.t * Rfc5322.unstructured
    | `ContentDescription of Rfc5322.unstructured
    | `ContentEncoding of
      [> `Base64
      | `Binary
      | `Bit7
      | `Bit8
      | `Ietf_token of string
      | `Quoted_printable
      | `X_token of string ]
    | `ContentID of
      [ `Atom of string | `String of string ] list
      * [> `Addr of 'b | `Domain of string list | `Literal of string ]
    | `ContentType of content ] as 'a
      Angstrom.t) ->
  (string -> 'a Angstrom.t) ->
  string ->
  'a Angstrom.t

val sp : ('a, Format.formatter, unit, string) format4 -> 'a

val part_field : 
  (string ->
    [> `Content of Field_name.t * Rfc5322.unstructured
    | `ContentDescription of Rfc5322.unstructured
    | `ContentEncoding of
      [> `Base64
      | `Binary
      | `Bit7
      | `Bit8
      | `Ietf_token of string
      | `Quoted_printable
      | `X_token of string ]
    | `ContentID of
      [ `Atom of string | `String of string ] list
      * [> `Addr of 'b | `Domain of string list | `Literal of string ]
    | `ContentType of content
    | `Unsafe of Field_name.t * Rfc5322.unstructured ] as 'a
      Angstrom.t) ->
  (string -> 'a Angstrom.t) ->
  string ->
  'a Angstrom.t

val message_field : 
  (string ->
    [> `Content of Field_name.t * Rfc5322.unstructured
    | `ContentDescription of Rfc5322.unstructured
    | `ContentEncoding of
      [> `Base64
      | `Binary
      | `Bit7
      | `Bit8
      | `Ietf_token of string
      | `Quoted_printable
      | `X_token of string ]
    | `ContentID of
      [ `Atom of string | `String of string ] list
      * [> `Addr of 'b | `Domain of string list | `Literal of string ]
    | `ContentType of content
    | `MIMEVersion of int * int ] as 'a
      Angstrom.t) ->
  (string -> 'a Angstrom.t) ->
  string ->
  'a Angstrom.t

val entity_part_headers : 
  (string ->
    [> `Content of Field_name.t * Rfc5322.unstructured
    | `ContentDescription of Rfc5322.unstructured
    | `ContentEncoding of
      [> `Base64
      | `Binary
      | `Bit7
      | `Bit8
      | `Ietf_token of string
      | `Quoted_printable
      | `X_token of string ]
    | `ContentID of
      [ `Atom of string | `String of string ] list
      * [> `Addr of 'b | `Domain of string list | `Literal of string ]
    | `ContentType of content
    | `Lines of (string * Location.t) list
    | `Unsafe of Field_name.t * Rfc5322.unstructured ] as 'a
      Angstrom.t) ->
  (string -> 'a Angstrom.t) ->
  ('a * Location.t) list Angstrom.t

val entity_message_headers : 
  (string ->
    [> `Content of Field_name.t * Rfc5322.unstructured
    | `ContentDescription of Rfc5322.unstructured
    | `ContentEncoding of
      [> `Base64
      | `Binary
      | `Bit7
      | `Bit8
      | `Ietf_token of string
      | `Quoted_printable
      | `X_token of string ]
    | `ContentID of
      [ `Atom of string | `String of string ] list
      * [> `Addr of 'b | `Domain of string list | `Literal of string ]
    | `ContentType of content
    | `MIMEVersion of int * int ] as 'a
      Angstrom.t) ->
  (string -> 'a Angstrom.t) ->
  ('a * Location.t) list Angstrom.t

val mime_message_headers : 
  (string ->
    [> `Content of Field_name.t * Rfc5322.unstructured
    | `ContentDescription of Rfc5322.unstructured
    | `ContentEncoding of
      [> `Base64
      | `Binary
      | `Bit7
      | `Bit8
      | `Ietf_token of string
      | `Quoted_printable
      | `X_token of string ]
    | `ContentID of
      [ `Atom of string | `String of string ] list
      * [> `Addr of 'b | `Domain of string list | `Literal of string ]
    | `ContentType of content
    | `MIMEVersion of int * int ] as 'a
      Angstrom.t) ->
  (string -> 'a Angstrom.t) ->
  ('a * Location.t) list Angstrom.t

val mime_part_headers : 
  (string ->
    [> `Content of Field_name.t * Rfc5322.unstructured
    | `ContentDescription of Rfc5322.unstructured
    | `ContentEncoding of
      [> `Base64
      | `Binary
      | `Bit7
      | `Bit8
      | `Ietf_token of string
      | `Quoted_printable
      | `X_token of string ]
    | `ContentID of
      [ `Atom of string | `String of string ] list
      * [> `Addr of 'b | `Domain of string list | `Literal of string ]
    | `ContentType of content
    | `Lines of (string * Location.t) list
    | `Unsafe of Field_name.t * Rfc5322.unstructured ] as 'a
      Angstrom.t) ->
  ('a * Location.t) list Angstrom.t

package mrmime