module type S =sig
..end
用于哈希函数的签名,该函数从字符字符串、字节数组和文件生成长度为 hash_length
的摘要。
typet =
string
摘要类型。
val hash_length : int
摘要的长度(以字节为单位)。
val compare : t -> t -> int
比较两个摘要,与 compare
的规范相同。
val equal : t -> t -> bool
测试两个摘要是否相等。
val string : string -> t
返回给定字符串的摘要。
val bytes : bytes -> t
返回给定字节序列的摘要。
val substring : string -> int -> int -> t
substring s ofs len
返回从索引 ofs
开始且包含 len
个字符的 s
的子字符串的摘要。
val subbytes : bytes -> int -> int -> t
subbytes s ofs len
返回从索引 ofs
开始且包含 len
个字节的 s
的子序列的摘要。
val channel : in_channel -> int -> t
从通道读取字符并返回其摘要。有关完整规范,请参阅 Digest.channel
。
val file : string -> t
返回指定名称文件的摘要。
val output : out_channel -> t -> unit
在给定的输出通道上写入摘要。
val input : in_channel -> t
从给定的输入通道读取摘要。
val to_hex : t -> string
返回给定摘要的可打印十六进制表示。
Invalid_argument
,如果参数的长度不是 hash_length
,val of_hex : string -> t
将十六进制表示转换为相应的摘要。
Invalid_argument
,如果参数的长度不是 2 * hash_length
,或者如果参数包含非十六进制字符。