Module `Mailbox.Domain`Source

A domain can be constructed in several ways. The most common way is:

  let isomorphism = Domain.(v domain [ a "isomorphis"; a "me" ]) ;;
  val isomorphism : domain = `Domain ["isomorphis"; "me"]
  Domain.to_string isomorphism ;;
  - : string = "isomorphis.me"

You can specify an IP (v4 or v6) address like:

  let localhost = Domain.(v ipv4 Ipaddr.V4.localhost) ;;
  val localhost : domain = `Addr (IPv4 127.0.0.1)
  Domain.to_string localhost ;;
  - : string = "[127.0.0.1]"

At the end, and according RFC 5322, it's possible to specify a `Literal domain like this:

  let x25519 = Domain.(v literal "x25519") ;;
  val x25519 : domain = `Literal "x25519"
  Domain.to_string x25519 ;;
  - : string = "[x25519]"

However, this last kind conforms only RFC 5322 - RFC 5321 (SMTP protocol) does not recognize this kind of domain.

Sourcetype atom = [

| `Atom of string

]

Sourcetype literal = [

| `Literal of string

]

Sourcetype 'a domain =

| :: : atom * 'a domain -> 'a Mrmime__.Peano.s domain
| [] : Mrmime__.Peano.z domain

Sourcetype 'a t

Kind of domain. RFC 5322 and RFC 5321 allows several kinds of domain:

An usual domain which is a non-empty list of atom elements
A Literal_domain.t
A `Literal domain which is a string surrounded by brackets.

Sourceval atom : string -> (atom, [> Rresult.R.msg ]) result

atom x returns a safe atom element. If x does not respect RFC 5322, it returns Error. It accepts any characters excepts controls, space and specials characters - for instance, brackets are not allowed.

Sourceval atom_exn : string -> atom

Same as atom but raises an Invalid_argument instead Error.

Sourceval a : string -> atom

Alias of atom_exn.

Sourceval literal : string -> (literal, [> Rresult.R.msg ]) result

literal x returns a literal domain. If x does not respect RFC 5321, it returns Error. It will try to escape control characters (with escape_string).

Sourceval literal_exn : string -> literal

Same as literal but raises an Invalid_argument instead to return Error.

Sourceval domain : 'a domain t

Kind of domain.

Sourceval ipv4 : Ipaddr.V4.t t

Kind of Literal_domain.ipv4.

Sourceval ipv6 : Ipaddr.V6.t t

Kind of Literal_domain.ipv6.

Sourceval extension : (string * string) t

Kind of Literal_domain.extension.

Sourceval default : string t

Kind of literal.

Sourceval make : 'a t -> 'a -> (Emile.domain, [> Rresult.R.msg ]) result

make kind v returns a safe domain. It can fail if an user-defined literal-domain (Literal_domain.extension), a literal domain or a domain don't follow standards:

for a Literal_domain.extension, make returns Error if Literal_domain.make returns Error
for a literal, make returns Error if literal returns Error
for a domain, make returns Error if list of atom is empty

Sourceval of_list : string list -> (Emile.domain, [> Rresult.R.msg ]) result

of_list l returns a domain from a non-empty list of well-formed atom elements. Otherwise, it returns an error.

Sourceval v : 'a t -> 'a -> Emile.domain

Same as make but raises an Invalid_argument instead Error.

Sourceval to_string : Emile.domain -> string

to_string x returns a string which represents x as is it in a e-mails.

package mrmime

Module Mailbox.DomainSource

Module `Mailbox.Domain`Source