Module MD5

module MD5: Extlib.ExtDigest.Digest

MD5 message digest.

This module provides functions to compute 128-bit ``digests'' of arbitrary-length strings or files. The digests are of cryptographic quality: it is very hard, given a digest, to forge a string having that digest. The algorithm used is MD5.
Author(s): Xavier Leroy (Base module), David Rajchenbach-Teller

type t = string

The type of digests: 16-character strings.

val string : string -> t

Return the digest of the given string.

val substring : string -> int -> int -> t

Digest.substring s ofs len returns the digest of the substring of s starting at character number ofs and containing len characters.

val channel : IO.input -> int -> t

If len is nonnegative, Digest.channel ic len reads len characters from channel ic and returns their digest, or raises End_of_file if end-of-file is reached before len characters are read. If len is negative, Digest.channel ic len reads all characters from ic until end-of-file is reached and return their digest.

Note This version of channel is currently very inefficient if len < 0 and requires copying the whole input to a temporary file.

val file : string -> t

Return the digest of the file whose name is given.

val output : 'a IO.output -> t -> unit

Write a digest on the given output.

val input : IO.input -> t

Read a digest from the given input.

val to_hex : t -> string

Return the printable hexadecimal representation of the given digest.

Boilerplate code

S-Expressions

val t_of_sexp : Sexplib.Sexp.t -> t

val sexp_of_t : t -> Sexplib.Sexp.t