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 lens の部分文字列で ofs 文字目から始まり len 文字を含む部分文字列のダイジェストを返します。
val channel : in_channel -> int -> t
len が非負の場合、 Digest.channel ic len は入力チャネルから len 個の文字を読み込み、そのダイジェストを返します。 len 文字読み込む前にファイル終端に達した場合には End_of_file 例外が発生します。 len が負の場合には、 Digest.channel ic lenic からファイル終端に達するまで文字を読み込み、その文字列のダイジェストを返します。
val file : string -> t
与えられたファイル名のファイルのダイジェストを計算します。
val output : out_channel -> t -> unit
与えられた出力チャネルにダイジェストを書き込みます。
val input : in_channel -> t
与えられた入力チャネルからダイジェストを読み込みます。
val to_hex : t -> string
与えられたダイジェストの、表示可能な十六進表現を返します。