Digestこのページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。 last mod. 2009-09-10 (木) 16:31:05
module Digest: sig end MD5 メッセージダイジェスト関連です。 このモジュールには、任意長の文字列やファイルの 128-bit ダイジェストを計算する関数があります。ダイジェストには暗号の性質があります。ダイジェストを与えられて、そのダイジェストを持つ文字列を作成することは非常に困難です。使用しているアルゴリズムは 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 : Pervasives.in_channel -> int -> t len が負でない場合、Digest.channel ic len は、チャンネル ic から len 文字読み取り、そのダイジェストを返します。len 読み終える前にファイル終端に到達した場合は例外 End_of_file を発生します。len が負である場合、Digest.channel ic len は、チャンネル ic をファイル終端まで読み取り、そのダイジェストを返します。 val file : string -> t 指定されたファイル名のファイルのダイジェストを返します。 val output : Pervasives.out_channel -> t -> unit 与えられた出力チャンネルにダイジェストを書き出します。 val input : Pervasives.in_channel -> t 与えられた入力チャンネルからダイジェストを読み込みます。 val to_hex : t -> string 与えられたダイジェストを表示可能な 16 進表記にして返します。 |