Types DAML是否有一个与Hoogle相当的名字?

Types DAML是否有一个与Hoogle相当的名字?,types,type-systems,daml,Types,Type Systems,Daml,Hoogle通过键入近似的类型签名在Haskell中方便地找到合适的函数。DAML有类似的支持吗?Hoogle集成在上的搜索中,例如,搜索(a->b)->[a]->[b])将显示地图还有一种更熟悉的外观(尽管我认为它应该被称为Doogle!)

Hoogle通过键入近似的类型签名在Haskell中方便地找到合适的函数。DAML有类似的支持吗?

Hoogle集成在上的搜索中,例如,搜索
(a->b)->[a]->[b])
将显示
地图

还有一种更熟悉的外观(尽管我认为它应该被称为Doogle!)