Module `BatDigest`Source

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 Xavier Leroy (Base module)

author David Rajchenbach-Teller

Sourcetype t = string

The type of digests: 16-character strings.

Sourceval string : string -> t

Return the digest of the given string.

Sourceval bytes : Bytes.t -> t

Return the digest of the given byte sequence.

since 2.3.0

Sourceval 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.

Sourceval subbytes : Bytes.t -> int -> int -> t

Digest.subbytes s ofs len returns the digest of the subsequence of s starting at index ofs and containing len bytes.

since 2.3.0

Sourceval file : string -> t

Return the digest of the file whose name is given.

Sourceval to_hex : t -> string

Return the printable hexadecimal representation of the given digest.

Sourceval from_hex : string -> t

Convert a hexadecimal representation back into the corresponding digest.

raises Invalid_argument
if the argument is not exactly 32 hexadecimal characters.

since 4.00.0

Sourceval 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.

Sourceval output : 'a BatIO.output -> t -> unit

Write a digest on the given output.

Sourceval print : 'a BatIO.output -> Digest.t -> unit

Write a digest on the given output in hexadecimal.

Sourceval input : BatIO.input -> Digest.t

Read a digest from the given input.

Sourceval compare : t -> t -> int

The comparison function for 16-character digest, with the same specification as Pervasives.compare and the implementation shared with String.compare. Along with the type t, this function compare allows the module Digest to be passed as argument to the functors Set.Make and Map.Make.

since Batteries 2.0

Sourceval equal : t -> t -> bool

The equal function for digests.

since 2.5.0

Sourceval of_hex : string -> t

Sourcemodule type S = sig ... end

Sourcemodule BLAKE128 : S

Sourcemodule BLAKE256 : S

Sourcemodule BLAKE512 : S

Sourcemodule MD5 : S

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/batteries.unthreaded/BatDigest/index.html

Module `BatDigest`Source

package batteries

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/batteries.unthreaded/BatDigest/index.html

Module BatDigestSource

dune-project
Dependency

Module `BatDigest`Source