Digest

このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。

Chapter 20 標準ライブラリ

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 進表記にして返します。