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