@@ -4,12 +4,13 @@ Map operations
5 ++ by :: map engine
5 ++ by :: map engine
7− |/ a=(map)
7+ |_ a/(map)
9Container arm for map operation arms. A map is a set of key, value
10Container arm for map operation arms. A map is a set of key, value
10−pairs. The contained arms inherit it's [sample]() [map](), `a`.
11+pairs. The contained arms inherit it's sample map, `a`.
12−`a` is a [map]().
13+`a` is a map.
14 ~zod/try=> ~(. by (mo (limo [%a 1] [%b 2] ~)))
15 ~zod/try=> ~(. by (mo (limo [%a 1] [%b 2] ~)))
15 <19.irb [nlr([p={%a %b} q=@ud]) <414.rvm 101.jzo 1.ypj %164>]>
16 <19.irb [nlr([p={%a %b} q=@ud]) <414.rvm 101.jzo 1.ypj %164>]>
@@ -22,26 +23,28 @@ Logical AND
23 +- all :: logical AND
24 +- all :: logical AND
25− |* b=$+(* ?)
26+ |* b/$-(* ?)
29 ?&((b q.n.a) $(a l.a) $(a r.a))
30 ?&((b q.n.a) $(a l.a) $(a r.a))
31Computes the logical AND on the results of slamming every element in map
34Computes the logical AND on the results of slamming every element in map
32`a` with gate `b`. Produces a loobean.
35`a` with gate `b`. Produces a loobean.
34−`a` is a [map]().
37+`a` is a map.
36−`b` is a [wet gate]().
39+`b` is a wet gate.
38− ~zod/try=> =b (mo `(list ,[@t *])`[['a' 1] ['b' [2 3]] ~])
41+ ~zod/try=> =b (mo `(list {@t *})`[['a' 1] ['b' [2 3]] ~])
39− ~zod/try=> (~(all by b) |=(a=* ?@(a & |)))
42+ ~zod/try=> (~(all by b) |=(a/* ?@(a & |)))
41− ~zod/try=> =a (mo `(list ,[@t @u])`[['a' 1] ['b' 2] ['c' 3] ['d' 4] ['e' 5] ~])
44+ ~zod/try=> =a (mo `(list {@t @u})`[['a' 1] ['b' 2] ['c' 3] ['d' 4] ['e' 5] ~])
42− ~zod/try=> (~(all by a) |=(a=@ (lte a 6)))
45+ ~zod/try=> (~(all by a) |=(a/@ (lte a 6)))
44− ~zod/try=> (~(all by a) |=(a=@ (lte a 4)))
47+ ~zod/try=> (~(all by a) |=(a/@ (lte a 4)))
47------------------------------------------------------------------------
50------------------------------------------------------------------------
@@ -61,14 +64,14 @@ Logical OR
61Computes the logical OR on the results of slamming every element with
64Computes the logical OR on the results of slamming every element with
62gate `b`. Produces a loobean.
65gate `b`. Produces a loobean.
64−`a` is a [map]().
67+`a` is a map.
66−`b` is a [wet gate]().
69+`b` is a wet gate.
68− ~zod/try=> =b (mo `(list ,[@t *])`[['a' 1] ['b' [2 3]] ~])
71+ ~zod/try=> =b (mo `(list {@t *})`[['a' 1] ['b' [2 3]] ~])
69− ~zod/try=> (~(all by b) |=(a=* ?@(a & |)))
72+ ~zod/try=> (~(all by b) |=(a/* ?@(a & |)))
71− ~zod/try=> =a (mo `(list ,[@t @u])`[['a' 1] ['b' 2] ['c' 3] ['d' 4] ['e' 5] ~])
74+ ~zod/try=> =a (mo `(list {@t @u})`[['a' 1] ['b' 2] ['c' 3] ['d' 4] ['e' 5] ~])
72 ~zod/try=> (~(any by a) |=(a=@ (lte a 4)))
75 ~zod/try=> (~(any by a) |=(a=@ (lte a 4)))
@@ -80,7 +83,7 @@ Delete
81 +- del :: delete at key b
84 +- del :: delete at key b
@@ -88,20 +91,21 @@ Delete
88 ?: (gor b p.n.a)
91 ?: (gor b p.n.a)
89 [n.a $(a l.a) r.a]
92 [n.a $(a l.a) r.a]
90 [n.a l.a $(a r.a)]
93 [n.a l.a $(a r.a)]
91− |- ^- ?(~ _a)
94+ |- ^- {$?($~ _a)}
92 ?~ l.a r.a
95 ?~ l.a r.a
93 ?~ r.a l.a
96 ?~ r.a l.a
94 ?: (vor p.n.l.a p.n.r.a)
97 ?: (vor p.n.l.a p.n.r.a)
95 [n.l.a l.l.a $(l.a r.l.a)]
98 [n.l.a l.l.a $(l.a r.l.a)]
96 [n.r.a $(r.a l.r.a) r.r.a]
99 [n.r.a $(r.a l.r.a) r.r.a]
98Produces map `a` with the element located at key `b` removed.
102Produces map `a` with the element located at key `b` removed.
100−`a` is a [map]().
104+`a` is a map.
102−`b` is a key as a [noun]().
106+`b` is a key as a noun.
104− ~zod/try=> =b (mo `(list ,[@t *])`[['a' 1] ['b' [2 3]] ~])
108+ ~zod/try=> =b (mo `(list {@t *})`[['a' 1] ['b' [2 3]] ~])
105 ~zod/try=> (~(del by b) `a`)
109 ~zod/try=> (~(del by b) `a`)
106 {[p=`b` q=[2 3]]}
110 {[p=`b` q=[2 3]]}
@@ -111,23 +115,25 @@ Produces map `a` with the element located at key `b` removed.
112Axis of key
116Axis of key
114− +- dig :: axis of key
118+ +- dig :: axis of b key
117− |- ^- (unit ,@)
121+ |- ^- (unit @)
119 ?: =(b p.n.a) [~ u=(peg c 2)]
123 ?: =(b p.n.a) [~ u=(peg c 2)]
120 ?: (gor b p.n.a)
124 ?: (gor b p.n.a)
121 $(a l.a, c (peg c 6))
125 $(a l.a, c (peg c 6))
122 $(a r.a, c (peg c 7))
126 $(a r.a, c (peg c 7))
124Produce the axis of key `b` within map `a`.
130Produce the axis of key `b` within map `a`.
126−`a` is a [map]().
132+`a` is a map.
128−`b` is a key as a [noun]().
134+`b` is a key as a noun.
130− ~zod/try=> =b (mo `(list ,[@t *])`[['a' 1] ['b' [2 3]] ~])
136+ ~zod/try=> =b (mo `(list {@t *})`[['a' 1] ['b' [2 3]] ~])
131 ~zod/try=> (~(dig by b) `b`)
137 ~zod/try=> (~(dig by b) `b`)
@@ -139,21 +145,22 @@ Concatenate
140 +- gas :: concatenate
146 +- gas :: concatenate
142− |* b=(list ,[p=* q=*])
143− => .(b `(list ,_?>(?=(^ a) n.a))`b)
148+ |= b/(list _?>(?=(^ a) n.a))
147− $(b t.b, a (put(+< a) p.i.b q.i.b))
152+ $(b t.b, a (put i.b))
149Insert a list of key-value pairs `b` into map `a`.
156Insert a list of key-value pairs `b` into map `a`.
151−`a` is a [map]().
158+`a` is a map.
153−`b` is a [list]() of [cells]() of key-value nouns `p` and `q`.
160+`b` is a list of cells of key-value nouns `p` and `q`.
155− ~zod/try=> =a (mo `(list ,[@t *])`[[`a` 1] [`b` 2] ~])
162+ ~zod/try=> =a (mo `(list {@t *})`[[`a` 1] [`b` 2] ~])
156− ~zod/try=> =b `(list ,[@t *])`[[`c` 3] [`d` 4] ~]
163+ ~zod/try=> =b `(list {@t *})`[[`c` 3] [`d` 4] ~]
157 ~zod/try=> (~(gas by a) b)
164 ~zod/try=> (~(gas by a) b)
158 {[p=`d` q=4] [p=`a` q=1] [p=`c` q=3] [p=`b` q=2]}
165 {[p=`d` q=4] [p=`a` q=1] [p=`c` q=3] [p=`b` q=2]}
@@ -177,11 +184,11 @@ Grab unit value
178Produce the unit value of the value located at key `b` within map `a`.
185Produce the unit value of the value located at key `b` within map `a`.
180−`a` is a [map]()
187+`a` is a map
182−`b` is a [key]() as a [noun]()
189+`b` is a key as a noun
184− ~zod/try=> =b (mo `(list ,[@t *])`[['a' 1] ['b' [2 3]] ~])
191+ ~zod/try=> =b (mo `(list {@t *})`[['a' 1] ['b' [2 3]] ~])
185 ~zod/try=> (~(get by b) `b`)
192 ~zod/try=> (~(get by b) `b`)
186 [~ [2 3]]
193 [~ [2 3]]
@@ -192,18 +199,17 @@ Produce the unit value of the value located at key `b` within map `a`.
196− %- need
203+ (need (get b))
199Produce the value located at key `b` within map `a`. Crash if key `b`
205Produce the value located at key `b` within map `a`. Crash if key `b`
200does not exist.
206does not exist.
202−`a` is a [map]().
208+`a` is a map.
204−`b` is a [key]().
210+`b` is a key.
206− ~zod/try=> =m (mo `(list ,[@t *])`[['a' 1] ['b' 2] ~])
212+ ~zod/try=> =m (mo `(list {@t *})`[['a' 1] ['b' 2] ~])
207 ~zod/try=> m
213 ~zod/try=> m
208 {[p='a' q=1] [p='b' q=2]}
214 {[p='a' q=1] [p='b' q=2]}
209 ~zod/try=> (~(get by m) 'a')
215 ~zod/try=> (~(get by m) 'a')
@@ -221,17 +227,18 @@ Key existence check
222 +- has :: key existence check
228 +- has :: key existence check
225− !=(~ (get(+< a) b))
231+ !=(~ (get b))
227Checks whether map `a` contains an element with key `b`, producing a
234Checks whether map `a` contains an element with key `b`, producing a
230−`a` is a [map]().
237+`a` is a map.
232−`b` is a key as a [noun]().
239+`b` is a key as a noun.
234− ~zod/try=> =b (mo `(list ,[@t *])`[['a' 1] ['b' [2 3]] ~])
241+ ~zod/try=> =b (mo `(list {@t *})`[['a' 1] ['b' [2 3]] ~])
235 ~zod/try=> (~(has by b) `b`)
242 ~zod/try=> (~(has by b) `b`)
237 ~zod/try=> (~(has by b) `c`)
244 ~zod/try=> (~(has by b) `c`)
@@ -245,7 +252,7 @@ Intersection
246 +- int :: intersection
253 +- int :: intersection
@@ -254,41 +261,42 @@ Intersection
254 ?: (vor p.n.a p.n.b)
261 ?: (vor p.n.a p.n.b)
255 ?: =(p.n.b p.n.a)
262 ?: =(p.n.b p.n.a)
256 [n.b $(a l.a, b l.b) $(a r.a, b r.b)]
263 [n.b $(a l.a, b l.b) $(a r.a, b r.b)]
257− ?: (hor p.n.b p.n.a)
264+ ?: (gor p.n.b p.n.a)
258− %- uni(+< $(a l.a, b [n.b l.b ~])) $(b r.b)
265+ %- uni(a $(a l.a, b [n.b l.b ~])) $(b r.b)
259− %- uni(+< $(a r.a, b [n.b ~ r.b])) $(b l.b)
266+ %- uni(a $(a r.a, b [n.b ~ r.b])) $(b l.b)
260 ?: =(p.n.a p.n.b)
267 ?: =(p.n.a p.n.b)
261 [n.b $(b l.b, a l.a) $(b r.b, a r.a)]
268 [n.b $(b l.b, a l.a) $(b r.b, a r.a)]
262− ?: (hor p.n.a p.n.b)
269+ ?: (gor p.n.a p.n.b)
263− %- uni(+< $(b l.b, a [n.a l.a ~])) $(a r.a)
270+ %- uni(a $(b l.b, a [n.a l.a ~])) $(a r.a)
264− %- uni(+< $(b r.b, a [n.a ~ r.a])) $(a l.a)
271+ %- uni(a $(b r.b, a [n.a ~ r.a])) $(a l.a)
266Produces a map of the (key) intersection between two maps of the same
274Produces a map of the (key) intersection between two maps of the same
267type, `a` and `b`. If both maps have an identical key that point to
275type, `a` and `b`. If both maps have an identical key that point to
268different values, the element from map `b` is used.
276different values, the element from map `b` is used.
270−`a` is a [map]().
278+`a` is a map.
272−`b` is a [map]().
280+`b` is a map.
274− ~zod/try=> =n (mo `(list ,[@t *])`[['a' 1] ['c' 3] ~])
282+ ~zod/try=> =n (mo `(list {@t *})`[['a' 1] ['c' 3] ~])
275 ~zod/try=> n
283 ~zod/try=> n
276 {[p='a' q=1] [p='c' q=3]}
284 {[p='a' q=1] [p='c' q=3]}
277 ~zod/try=> m
285 ~zod/try=> m
278 {[p='a' q=1] [p='b' q=2]}
286 {[p='a' q=1] [p='b' q=2]}
279 ~zod/try=> (~(int by m) n)
287 ~zod/try=> (~(int by m) n)
280 {[p='a' q=1]}
288 {[p='a' q=1]}
281− ~ravpel-holber/try=> =p (mo `(list ,[@t *])`[['a' 2] ['b' 2] ~])
289+ ~ravpel-holber/try=> =p (mo `(list {@t *})`[['a' 2] ['b' 2] ~])
282 ~zod/try=> p
290 ~zod/try=> p
283 {[p='a' q=2] [p='b' q=2]}
291 {[p='a' q=2] [p='b' q=2]}
284 ~zod/try=> (~(int by p) n)
292 ~zod/try=> (~(int by p) n)
285 {[p='a' q=2]}
293 {[p='a' q=2]}
286− ~zod/try=> =q (mo `(list ,[@t *])`[['a' 2] ['c' 2] ~])
294+ ~zod/try=> =q (mo `(list {@t *})`[['a' 2] ['c' 2] ~])
287 ~zod/try=> q
295 ~zod/try=> q
288 {[p='a' q=2] [p='b' q=2]}
296 {[p='a' q=2] [p='b' q=2]}
289 ~zod/try=> (~(int by p) q)
297 ~zod/try=> (~(int by p) q)
290 {[p='a' q=2] [p='b' q=2]}
298 {[p='a' q=2] [p='b' q=2]}
291− ~zod/try=> =o (mo `(list ,[@t *])`[['c' 3] ['d' 4] ~])
299+ ~zod/try=> =o (mo `(list {@t *})`[['c' 3] ['d' 4] ~])
292 ~zod/try=> (~(int by m) o)
300 ~zod/try=> (~(int by m) o)
@@ -337,7 +345,7 @@ Add key-value pair
338 +- put :: adds key-value pair
346 +- put :: adds key-value pair
340− |* [b=* c=*]
348+ |* {b/* c/*}
343 [[b c] ~ ~]
351 [[b c] ~ ~]
@@ -356,10 +364,11 @@ Add key-value pair
356 ?: (vor p.n.a p.n.d)
364 ?: (vor p.n.a p.n.d)
357 [n.a l.a d]
365 [n.a l.a d]
358 [n.d [n.a l.a l.d] r.d]
366 [n.d [n.a l.a l.d] r.d]
360Produces `a` with the addition of the key-value pair of `b` and `c`.
369Produces `a` with the addition of the key-value pair of `b` and `c`.
362−`a` is a [map]().
371+`a` is a map.
364`b` is a key of the same type as the keys in `a`.
373`b` is a key of the same type as the keys in `a`.
@@ -380,10 +389,11 @@ Produces `a` with the addition of the key-value pair of `b` and `c`.
380### `+-rep:by`
389### `+-rep:by`
382 +- rep :: replace by product
391 +- rep :: replace by product
383− |* [b=* c=_,*]
392+ |* b/_|=({* *} +<+)
385− ?~ a b
394+ ?~ a +<+.b
386− $(a r.a, b $(a l.a, b (c q.n.a b)))
395+ $(a r.a, +<+.b $(a l.a, +<+.b (b n.a +<+.b)))
388Accumulate using gate from values in map
398Accumulate using gate from values in map
@@ -394,7 +404,7 @@ XX interface changing.
394### `+-rib:by`
404### `+-rib:by`
396 +- rib :: transform + product
406 +- rib :: transform + product
397− |* [b=* c=_,*]
407+ |* {b/* c/$-(* *)}
398 |- ^+ [b a]
408 |- ^+ [b a]
399 ?~ a [b ~]
409 ?~ a [b ~]
400 =+ d=(c n.a b)
410 =+ d=(c n.a b)
@@ -402,6 +412,7 @@ XX interface changing.
402 =+ e=$(a l.a, b -.d)
412 =+ e=$(a l.a, b -.d)
403 =+ f=$(a r.a, b -.e)
413 =+ f=$(a r.a, b -.e)
404 [-.f [n.a +.e +.f]]
414 [-.f [n.a +.e +.f]]
406Replace values with accumulator
417Replace values with accumulator
@@ -413,23 +424,23 @@ XX interface changing, possibly disappearing
414Transform values
425Transform values
416− +- run :: turns to tuples
427+ +- run :: apply gate to values
417− |* b=_,*
428+ |* b/$-(* *)
420− a(n (b q.n.a), l $(a l.a), r $(a r.a))
431+ [n=[p=p.n.a q=(b q.n.a)] l=$(a l.a) r=$(a r.a)]
422Iterates over every value in set `a` using gate `b`. Produces a map.
433Iterates over every value in set `a` using gate `b`. Produces a map.
424−`a` is a [map]().
435+`a` is a map.
426−`b` is a [wet gate]().
437+`b` is a wet gate.
428 ~zod/try=> m
439 ~zod/try=> m
429 {[p='a' q=1] [p='b' q=2]}
440 {[p='a' q=1] [p='b' q=2]}
430 ~zod/try=> ^+(m (~(run by m) dec))
441 ~zod/try=> ^+(m (~(run by m) dec))
431 {[p='a' q=0] [p='b' q=1]}
442 {[p='a' q=0] [p='b' q=1]}
432− ~zod/try=> `(map ,@tas ,@t)`(~(run by m) (cury scot %ux))
443+ ~zod/try=> `(map @tas @t)`(~(run by m) (cury scot %ux))
433 {[p=%a q='0x1'] [p=%b q='0x2']}
444 {[p=%a q='0x1'] [p=%b q='0x2']}
435------------------------------------------------------------------------
446------------------------------------------------------------------------
@@ -440,18 +451,19 @@ Listify pairs
441 +- tap :: listify pairs
452 +- tap :: listify pairs
443− |= b=(list ,_?>(?=(^ a) n.a))
454+ |= b/(list _?>(?=(^ a) n.a))
447 $(a r.a, b [n.a $(a l.a)])
458 $(a r.a, b [n.a $(a l.a)])
449Produces the list of all elements in map `a` that is prepended to list
461Produces the list of all elements in map `a` that is prepended to list
450`b`, which is empty by default.
462`b`, which is empty by default.
452−`a` is a [map]().
464+`a` is a map.
454−`b` is a [list]().
466+`b` is a list.
456 {[p='a' q=1] [p='b' q=2]}
468 {[p='a' q=1] [p='b' q=2]}
457 ~zod/try=> `*`m
469 ~zod/try=> `*`m
@@ -469,7 +481,7 @@ Union
470 +- uni :: union, merge
482 +- uni :: union, merge
@@ -478,21 +490,21 @@ Union
478 ?: (vor p.n.a p.n.b)
490 ?: (vor p.n.a p.n.b)
479 ?: =(p.n.b p.n.a)
491 ?: =(p.n.b p.n.a)
480 [n.b $(a l.a, b l.b) $(a r.a, b r.b)]
492 [n.b $(a l.a, b l.b) $(a r.a, b r.b)]
481− ?: (hor p.n.b p.n.a)
493+ ?: (gor p.n.b p.n.a)
482 $(a [n.a $(a l.a, b [n.b l.b ~]) r.a], b r.b)
494 $(a [n.a $(a l.a, b [n.b l.b ~]) r.a], b r.b)
483 $(a [n.a l.a $(a r.a, b [n.b ~ r.b])], b l.b)
495 $(a [n.a l.a $(a r.a, b [n.b ~ r.b])], b l.b)
484 ?: =(p.n.a p.n.b)
496 ?: =(p.n.a p.n.b)
485 [n.b $(b l.b, a l.a) $(b r.b, a r.a)]
497 [n.b $(b l.b, a l.a) $(b r.b, a r.a)]
486− ?: (hor p.n.a p.n.b)
498+ ?: (gor p.n.a p.n.b)
487 $(b [n.b $(b l.b, a [n.a l.a ~]) r.b], a r.a)
499 $(b [n.b $(b l.b, a [n.a l.a ~]) r.b], a r.a)
488 $(b [n.b l.b $(b r.b, a [n.a ~ r.a])], a l.a)
500 $(b [n.b l.b $(b r.b, a [n.a ~ r.a])], a l.a)
490Produces a map of the union between the keys of `a` and `b`. If `b`
502Produces a map of the union between the keys of `a` and `b`. If `b`
491shares a key with `a`, the tuple from `a` is preserved.
503shares a key with `a`, the tuple from `a` is preserved.
493−`a` is a [map]().
505+`a` is a map.
495−`b` is a [map]().
507+`b` is a map.
497 ~zod/try=> m
509 ~zod/try=> m
498 {[p='a' q=1] [p='b' q=2]}
510 {[p='a' q=1] [p='b' q=2]}
@@ -518,8 +530,8 @@ shares a key with `a`, the tuple from `a` is preserved.
519Turn (with key)
531Turn (with key)
521− +- urn :: turn
533+ +- urn :: apply gate to nodes
522− |* b=$+([* *] *)
534+ |* b/$-({* *} *)
525 [n=[p=p.n.a q=(b p.n.a q.n.a)] l=$(a l.a) r=$(a r.a)]
537 [n=[p=p.n.a q=(b p.n.a q.n.a)] l=$(a l.a) r=$(a r.a)]
@@ -527,9 +539,9 @@ Turn (with key)
527Iterates over every value in map `a` using gate `b`, which accepts both
539Iterates over every value in map `a` using gate `b`, which accepts both
528the key and the value of each element as its sample.
540the key and the value of each element as its sample.
530−`a` is a [map]().
542+`a` is a map.
532−`b` is a [wet gate]() that accepts two nouns (a key and a value) and
544+`b` is a wet gate that accepts two nouns (a key and a value) and
533produces a noun (the new value).
545produces a noun (the new value).
535 ~zod/try=> m
547 ~zod/try=> m
@@ -553,7 +565,7 @@ Depth
554Produce the depth of the tree map `a`.
566Produce the depth of the tree map `a`.
556−`a` is a [map]().
568+`a` is a map.
558 ~zod/try=> m
570 ~zod/try=> m
559 {[p='a' q=1] [p='b' q=2]}
571 {[p='a' q=1] [p='b' q=2]}