@@ -3,18 +3,18 @@
33Queue operations
44
55Container arm for queue operation arms. The contained arms inherit its
6−[sample]() `++qeu` `a`.
6+sample `++qeu` `a`.
77
88Accepts
99-------
1010
11−`a` is a queue, [++qeu]().
11+`a` is a queue, ++qeu.
1212
1313Source
1414------
1515
1616 ++ to :: queue engine
17− |/ a=(qeu)
17+ |/ a/(qeu)
1818
1919### `+-bal:to`
2020
@@ -25,12 +25,12 @@ Vertically rebalances queue `a`.
2525Accepts
2626-------
2727
28−`a` is a [queue]().
28+`a` is a queue.
2929
3030Produces
3131--------
3232
33−A [queue]().
33+A queue.
3434
3535Source
3636------
@@ -38,13 +38,14 @@ Source
3838 +- bal
3939 |- ^+ a
4040 ?~ a ~
41− ?. |(?=(~ l.a) (vor n.a n.l.a))
41+ ?. |(?=($~ l.a) (vor n.a n.l.a))
4242 $(a [n.l.a l.l.a $(a [n.a r.l.a r.a])])
43− ?. |(?=(~ r.a) (vor n.a n.r.a))
43+ ?. |(?=($~ r.a) (vor n.a n.r.a))
4444 $(a [n.r.a $(a [n.a l.a l.r.a]) r.r.a])
4545 a
4646 ::
4747
48+
4849Examples
4950--------
5051
@@ -68,7 +69,7 @@ Produces the maximum depth of leaves (r.a and l.a) in queue `a`.
6869Accepts
6970-------
7071
71−`a` is a [queue]().
72+`a` is a queue.
7273
7374Produces
7475--------
@@ -84,16 +85,17 @@ Source
8485 +((max $(a l.a) $(a r.a)))
8586 ::
8687
88+
8789Examples
8890--------
8991
90− ~zod/try=> =a (~(gas to `(qeu ,@)`~) `(list ,@)`[1 2 3 4 5 6 7 ~])
92+ ~zod/try=> =a (~(gas to `(qeu @)`~) `(list @)`[1 2 3 4 5 6 7 ~])
9193 ~zod/try=> ~(dep to a)
9294 4
93− ~zod/try=> =a (~(gas to `(qeu ,@)`~) `(list ,@)`[1 2 3 4 ~])
95+ ~zod/try=> =a (~(gas to `(qeu @)`~) `(list @)`[1 2 3 4 ~])
9496 ~zod/try=> ~(dep to a)
9597 3
96− ~zod/try=> =a (~(gas to `(qeu ,@)`~) `(list ,@)`[1 2 ~])
98+ ~zod/try=> =a (~(gas to `(qeu @)`~) `(list @)`[1 2 ~])
9799 ~zod/try=> ~(dep to a)
98100 2
99101 ~zod/try=> ~(dep to `(qeu tape)`["a" ~ "b" ~ "c" ~ "d" ~ "e" ~ "f" ~ "g" ~ ~])
@@ -107,7 +109,7 @@ Examples
107109
108110Push list
109111
110−Push all elements of [`++list`]() `b` into the [`++queue`]().
112+Push all elements of `++list` `b` into the `++queue`.
111113
112114Accepts
113115-------
@@ -146,7 +148,7 @@ Examples
146148
147149Pop
148150
149−Produces the head and tail [`++queue`]() of `a`.
151+Produces the head and tail `++queue` of `a`.
150152
151153Accepts
152154-------
@@ -162,14 +164,14 @@ Source
162164------
163165
164166 +- get :: head-tail pair
165− |- ^+ [p=?>(?=(^ a) n.a) q=a]
167+ |- ^+ ?>(?=(^ a) [p=n.a q=*(qeu _n.a)])
166168 ?~ a
167169 !!
168170 ?~ r.a
169171 [n.a l.a]
170172 =+ b=$(a r.a)
171173 :- p.b
172− ?: |(?=(~ q.b) (vor n.a n.q.b))
174+ ?: |(?=($~ q.b) (vor n.a n.q.b))
173175 [n.a l.a q.b]
174176 [n.q.b [n.a l.a l.q.b] r.q.b]
175177 ::
@@ -177,7 +179,7 @@ Source
177179Examples
178180--------
179181
180− ~zod/try=> =s (~(gas to *(qeu ,@)) `(list ,@)`~[1 2 3])
182+ ~zod/try=> =s (~(gas to *(qeu @)) `(list @)`~[1 2 3])
181183 ~zod/try=> ~(get to s)
182184 [p=1 q={3 2}]
183185 ~zod/try=> ~(get to ~)
@@ -189,12 +191,12 @@ Examples
189191
190192Remove last element
191193
192−Removes the head of [`++queue`]() `a`, producing the resulting queue.
194+Removes the head of `++queue` `a`, producing the resulting queue.
193195
194196Accepts
195197-------
196198
197−`a` is a [queue]().
199+`a` is a queue.
198200
199201Produces
200202--------
@@ -207,14 +209,14 @@ Source
207209 +- nap :: removes head
208210 ?> ?=(^ a)
209211 ?: =(~ l.a) r.a
210− =+ b=get(+< l.a)
211− bal(+< ^+(a [p.b q.b r.a]))
212+ =+ b=get(a l.a)
213+ bal(a ^+(a [p.b q.b r.a]))
212214 ::
213215
214216Examples
215217--------
216218
217− ~zod/try=> =a (~(gas to `(qeu ,@)`~) `(list ,@)`[1 2 3 4 5 6 ~])
219+ ~zod/try=> =a (~(gas to `(qeu @)`~) `(list @)`[1 2 3 4 5 6 ~])
218220 ~zod/try=> -.a
219221 n=6
220222 ~zod/try=> =b ~(nap to a)
@@ -231,13 +233,13 @@ Examples
231233
232234Insert
233235
234−Accept any [noun]() `b` and adds to [`++queue`]() `a` as the head, producing the
236+Accept any noun `b` and adds to `++queue` `a` as the head, producing the
235237resulting queue.
236238
237239Accepts
238240-------
239241
240−`a` is a [queue]().
242+`a` is a queue.
241243
242244`b` is any noun.
243245
@@ -250,17 +252,18 @@ Source
250252------
251253
252254 +- put :: insert new tail
253− |* b=*
255+ |* b/*
254256 |- ^+ a
255257 ?~ a
256258 [b ~ ~]
257− bal(+< a(l $(a l.a)))
259+ bal(a a(l $(a l.a)))
258260 ::
259261
262+
260263Examples
261264--------
262265
263− ~zod/try=> (~(gas to `(qeu ,@)`~) `(list ,@)`[3 1 2 4 5 6 ~])
266+ ~zod/try=> (~(gas to `(qeu @)`~) `(list @)`[3 1 2 4 5 6 ~])
264267 ~zod/try=> (~(put to a) 7)
265268 {7 6 5 4 2 1 3}
266269
@@ -270,18 +273,19 @@ Examples
270273
271274Queue to list
272275
273−Produces [`++queue`]() `a` as a [`++list`]() from front to back.
276+Produces `++queue` `a` as a `++list` from front to back.
274277
275278Accepts
276279-------
277280
278−`a` is a [queue]().
281+`a` is a queue.
279282
280283Source
281284------
282285
283− +- tap :: queue to list
284− |= b=(list ,_?>(?=(^ a) n.a))
286+ +- tap :: adds list to end
287+ |= b/(list _?>(?=(^ a) n.a))
288+ =+ z=0 :: XX breaks jet match
285289 ^+ b
286290 ?~ a
287291 b
@@ -291,22 +295,22 @@ Source
291295Examples
292296--------
293297
294− ~zod/try=> =a (~(gas to `(qeu ,@)`~) `(list ,@)`[3 1 2 4 5 6 ~])
298+ ~zod/try=> =a (~(gas to `(qeu @)`~) `(list @)`[3 1 2 4 5 6 ~])
295299 ~zod/try=> `*`a
296300 [6 0 2 [4 [5 0 0] 0] 1 0 3 0 0]
297− ~zod/try=> (~(tap to a) `(list ,@)`[99 100 101 ~])
301+ ~zod/try=> (~(tap to a) `(list @)`[99 100 101 ~])
298302 ~[3 1 2 4 5 6 99 100 101]
299303
300304------------------------------------------------------------------------
301305
302306### `+-top:to`
303307
304−Produces the head of [`++queue`]() `a` as a [`++unit`]() (an empty queue has no head).
308+Produces the head of `++queue` `a` as a `++unit` (an empty queue has no head).
305309
306310Accepts
307311-------
308312
309−`a` is a [queue]().
313+`a` is a queue.
310314
311315Produces
312316--------
@@ -317,14 +321,14 @@ Source
317321------
318322
319323 +- top :: produces head
320− |- ^- (unit ,_?>(?=(^ a) n.a))
324+ |- ^- (unit _?>(?=(^ a) n.a))
321325 ?~ a ~
322326 ?~(r.a [~ n.a] $(a r.a))
323327
324328Examples
325329--------
326330
327− ~zod/try=> =a (~(gas to `(qeu ,@)`~) `(list ,@)`[1 2 3 4 5 6 ~])
331+ ~zod/try=> =a (~(gas to `(qeu @)`~) `(list @)`[1 2 3 4 5 6 ~])
328332 ~zod/try=> ~(top to a)
329333 [~ 1]
330334