module Digest: sig end
このモジュールには、任意長の文字列やファイルの 128-bit ダイジェストを計算する関数があります。ダイジェストには暗号の性質があります。ダイジェストを与えられて、そのダイジェストを持つ文字列を作成することは非常に困難です。使用しているアルゴリズムは MD5 です。
type t = string
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