Module Digest

module Digest: sig .. end

MD5 メッセージダイジェスト

このモジュールは任意の長さの文字列やファイルの 128 ビットの「ダイジェスト」を計算する関数を提供します。このダイジェストは暗号に利用できる品質です。すなわち、ダイジェストからそのダイジェストを持つ文字列を逆算することが非常に困難です。アルゴリズムとしては MD5 を使っています。

type t = string

ダイジェストの型。 16 文字の文字列です。

val string : string -> t

与えられた文字列のダイジェストを返します。

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

Digest.substring s ofs len は s の部分文字列で ofs 文字目から始まり len 文字を含む部分文字列のダイジェストを返します。

val channel : in_channel -> int -> t

len が非負の場合、 Digest.channel ic len は入力チャネルから len 個の文字を読み込み、そのダイジェストを返します。 len 文字読み込む前にファイル終端に達した場合には End_of_file 例外が発生します。 len が負の場合には、 Digest.channel ic len は ic からファイル終端に達するまで文字を読み込み、その文字列のダイジェストを返します。

val file : string -> t

与えられたファイル名のファイルのダイジェストを計算します。

val output : out_channel -> t -> unit

与えられた出力チャネルにダイジェストを書き込みます。

val input : in_channel -> t

与えられた入力チャネルからダイジェストを読み込みます。

val to_hex : t -> string

与えられたダイジェストの、表示可能な十六進表現を返します。