如何在ocaml中找到`map`的大小？我正在使用`Map.Make`函数来创建模块？

Question

我在官方文档中找不到任何size或len函数。什么是找到一个地图元素数量的简单方式创建使用：

module M = Map.Make(String)

我在寻找类似M.size M.empty : 0。

Answer 1

你正在寻找的功能叫做cardinal（就像一个集合的基数一样）。

实施例：

module M = Map.Make(String) 

let m = M.singleton "x" "y" 
let() = Printf.printf "%d\n" (M.cardinal m) 

这将打印1，因为恰好有一个结合。

Answer 2

hoogle4ocaml ": 'a t -> int$" | grep -i map 

会告诉你：

~/.opam/4.05.0/lib/ocaml/map.mli: val cardinal: 'a t -> int 

参看https://github.com/UnixJunkie/hoogle_for_ocaml