我如何定义一个?我在文档中没有找到有关此事的任何信息。仅关于 List 和 Vector。
最佳答案
Data.SortedMap
在 contrib
包为具有 Ord
的类型实现有限映射例如,使用通常的界面:
data SortedMap : Type -> Type -> Type
empty : Ord k => SortedMap k v
lookup : k -> SortedMap k v -> Maybe v
insert : k -> v -> SortedMap k v -> SortedMap k v
delete : k -> SortedMap k v -> SortedMap k v
fromList : Ord k => List (k, v) -> SortedMap k v
toList : SortedMap k v -> List (k, v)
implementation Functor (SortedMap k)
关于dictionary - Idris 中字典/ map 的类型是什么,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/44224299/