检查Poly / ML中结构中的值

时间:2016-05-30 04:15:32

标签: sml polyml

在Poly / ML中,全局值的名称可以通过以下方式获得:

map #1 ((#allVal PolyML.globalNameSpace) ());
使用#allStruct可以类似地获得

和顶级结构。

现在,如何列出结构中的所有值? 也就是说,有没有办法在下面实现???

> ??? "String";
["implode", "explode", "concatWith", ...]

1 个答案:

答案 0 :(得分:0)

这是我目前的解决方法。 您可以从PolyML.globalNameSpace(forgetValue)中删除所有值,然后打开结构并重复(#allVal PolyML.globalNameSpace)()