Update Dict docs

This commit is contained in:
Richard Feldman 2021-08-08 20:03:57 -04:00
parent 528840acd7
commit a5929ada4c
2 changed files with 17 additions and 3 deletions

View file

@ -1,5 +1,21 @@
interface Dict interface Dict
exposes [ isEmpty, map ] exposes
[
Dict,
empty,
single,
get,
walk,
insert,
len,
remove,
contains,
keys,
values,
union,
intersection,
difference
]
imports [] imports []
size : Dict * * -> Nat size : Dict * * -> Nat

View file

@ -988,8 +988,6 @@ define_builtins! {
14 DICT_UNION: "union" 14 DICT_UNION: "union"
15 DICT_INTERSECTION: "intersection" 15 DICT_INTERSECTION: "intersection"
16 DICT_DIFFERENCE: "difference" 16 DICT_DIFFERENCE: "difference"
} }
7 SET: "Set" => { 7 SET: "Set" => {
0 SET_SET: "Set" imported // the Set.Set type alias 0 SET_SET: "Set" imported // the Set.Set type alias