Module BatDigest


module BatDigest: sig .. end
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.

This module extends Stdlib's Digest module, go there for documentation on the rest of the functions and types.
Author(s): Xavier Leroy (Base module), David Rajchenbach-Teller


val channel : BatIO.input -> int -> Digest.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 output : 'a BatIO.output -> Digest.t -> unit
Write a digest on the given output.
val input : BatIO.input -> Digest.t
Read a digest from the given input.

Boilerplate code