2024-10-08 23:23:34 +03:00
|
|
|
``` ucm :hide
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> builtins.merge
|
2022-02-12 01:42:39 +03:00
|
|
|
```
|
|
|
|
|
2024-10-08 23:23:34 +03:00
|
|
|
``` unison
|
2022-02-12 01:42:39 +03:00
|
|
|
unique type Map k v = Tip | Bin Nat k v (Map k v) (Map k v)
|
|
|
|
|
|
|
|
mapWithKey : (k ->{e} a ->{e} b) -> Map k a ->{e} Map k b
|
|
|
|
mapWithKey f m = Tip
|
|
|
|
```
|
|
|
|
|
2024-10-08 23:23:34 +03:00
|
|
|
``` ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> add
|
2022-02-12 01:42:39 +03:00
|
|
|
```
|
|
|
|
|
2024-10-08 23:23:34 +03:00
|
|
|
``` unison
|
2022-02-12 01:42:39 +03:00
|
|
|
|
2024-10-08 23:23:34 +03:00
|
|
|
naiomi =
|
2022-02-12 03:16:07 +03:00
|
|
|
susan: Nat -> Nat -> ()
|
2022-02-12 01:42:39 +03:00
|
|
|
susan a b = ()
|
2024-10-08 23:23:34 +03:00
|
|
|
|
2022-02-12 01:42:39 +03:00
|
|
|
pam: Map Nat Nat
|
|
|
|
pam = Tip
|
2024-10-08 23:23:34 +03:00
|
|
|
|
2022-02-12 01:42:39 +03:00
|
|
|
mapWithKey susan pam
|
2024-10-08 23:23:34 +03:00
|
|
|
|
2022-02-12 01:42:39 +03:00
|
|
|
```
|