module Digest:MD5 メッセージダイジェストsig
..end
このモジュールは任意の長さの文字列やファイルの 128 ビットの「ダイジェスト」を計算する関数を提供します。
このダイジェストは暗号に利用できる品質です。
すなわち、ダイジェストからそのダイジェストを持つ文字列を逆算することが非常に困難です。
アルゴリズムとしては MD5 を使っています。
typet =
string
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