on master help sign in
Fixed 2h examples
3613db6rmariani
docs/hoon/library/2h.md+22−21
@@ -137,6 +137,7 @@ A flag.
137 %.y
137 %.y
138
138
139 > =a (sy [1 2 3 4 5 6 ~])
139 > =a (sy [1 2 3 4 5 6 ~])
140+ > a
140 [n=6 l={5 4} r={1 3 2}]
141 [n=6 l={5 4} r={1 3 2}]
141 > ~(apt in a)
142 > ~(apt in a)
142 %.y
143 %.y
@@ -244,14 +245,14 @@ A set.
244
245
245 > =b (sy `(list @t)`['a' 'b' 'c' ~])
246 > =b (sy `(list @t)`['a' 'b' 'c' ~])
246 > (~(del in b) 'a')
247 > (~(del in b) 'a')
247− {'c' 'b'}
248+ [n='b' l=[n='c' l={} r={}] r=~]
248
249
249 > =b (sy `(list @t)`['john' 'bonita' 'daniel' 'madeleine' ~])
250 > =b (sy `(list @t)`['john' 'bonita' 'daniel' 'madeleine' ~])
250 > (~(del in b) 'john')
251 > (~(del in b) 'john')
251− {'bonita' 'madeleine' 'daniel'}
252+ [n='madeleine' l=[n='daniel' l={} r={'bonita'}] r=~]
252
253
253 > (~(del in b) 'susan')
254 > (~(del in b) 'susan')
254− {'bonita' 'madeleine' 'daniel' 'john'}
255+ [n='madeleine' l=[n='daniel' l={} r={'bonita'}] r=[n='john' l={} r={}]]
255
256
256
257
257***
258***
@@ -293,16 +294,19 @@ A set.
293
294
294#### Examples
295#### Examples
295
296
297+
298+ > =c (sy 1 2 3 ~)
299+ > =d (sy 2 3 4 ~)
296− > ((~(dif in (sy 1 2 3 ~)) (sy 2 3 4 ~))
300+ > (~(dif in c) d)
297 [n=1 l=~ r=~]
301 [n=1 l=~ r=~]
298
302
299− > (~(dif in (sy 2 3 4 ~)) (sy 1 2 3 ~))
303+ > (~(dif in d) c)
300 [n=4 l=~ r=~]
304 [n=4 l=~ r=~]
301
305
302− > `(set @ud)`((~(dif in (sy 1 2 3 ~)) (sy 2 3 4 ~))
306+ > `(set @ud)`(~(dif in c) d)
303 {1}
307 {1}
304
308
305− > `(set @ud)`(~(dif in (sy 2 3 4 ~)) (sy 1 2 3 ~))
309+ > `(set @ud)`(~(dif in d) c)
306 {4}
310 {4}
307
311
308***
312***
@@ -338,21 +342,21 @@ The `unit` of an atom.
338
342
339#### Examples
343#### Examples
340
344
341− > =a (sy `(list @)`[1 2 3 4 5 6 7 ~])
345+ > =a (sy `(list @)`[1 2 3 4 5 6 7 ~])
342− > a
346+ > `(set @)`a
343 {5 4 7 6 1 3 2}
347 {5 4 7 6 1 3 2}
344
348
345 > -.a
349 > -.a
346 n=6
350 n=6
347
351
348 > (~(dig in a) 7)
352 > (~(dig in a) 7)
349− [~ 12]
353+ [~ u=12]
350
354
351 > (~(dig in a) 2)
355 > (~(dig in a) 2)
352− [~ 14]
356+ [~ u=14]
353
357
354 > (~(dig in a) 6)
358 > (~(dig in a) 6)
355− [~ 2]
359+ [~ u=2]
356
360
357#### Discussion
361#### Discussion
358
362
@@ -388,17 +392,18 @@ A `set`.
388
392
389#### Examples
393#### Examples
390
394
395+ > =b `(set @t)`(sy `(list @t)`['bonita' 'madeleine' 'rudolf' 'john' ~])
391 > b
396 > b
392 {'bonita' 'madeleine' 'rudolf' 'john'}
397 {'bonita' 'madeleine' 'rudolf' 'john'}
393
398
394 > (~(gas in b) `(list @t)`['14' 'things' 'number' '1.337' ~])
399 > (~(gas in b) `(list @t)`['14' 'things' 'number' '1.337' ~])
395− {'1.337' '14' 'number' 'things' 'bonita' 'madeleine' 'rudolf' 'john'}
400+ [n='number' l={'1.337' '14'} r={'things' 'bonita' 'madeleine' 'rudolf' 'john'}]
396
401
402+ > =s (sy `(list @t)`['a' 'b' 'c' 'd' 'e' ~])
397− > (~(gas in s) `(list ,@t)`['1' '2' '3' ~])
403+ > (~(gas in s) `(list @t)`['1' '2' '3' ~])
398− {'1' '3' '2' 'e' 'd' 'a' 'c' 'b'}
404+ [n='e' l=[n='1' l={} r={'3' '2'}] r=[n='b' l={'d' 'a' 'c'} r={}]]
399
405
400***
406***
401−
402### `+-has:in`
407### `+-has:in`
403
408
404b in a?
409b in a?
@@ -490,9 +495,6 @@ A `set`.
490 > (~(int in `(set @t)`(sy "ac")) `(set @t)`(sy "ha"))
495 > (~(int in `(set @t)`(sy "ac")) `(set @t)`(sy "ha"))
491 [n='a' l={} r={}]
496 [n='a' l={} r={}]
492
497
493− > (~(int in (sy "acmo")) (sy "lep"))
494− {}
495−
496***
498***
497### `+-put:in`
499### `+-put:in`
498
500
@@ -568,8 +570,6 @@ A noun.
568 ?~ a +<+.b
570 ?~ a +<+.b
569 $(a r.a, +<+.b $(a l.a, +<+.b (b n.a +<+.b)))
571 $(a r.a, +<+.b $(a l.a, +<+.b (b n.a +<+.b)))
570
572
571−
572−
573#### Examples
573#### Examples
574
574
575 > =a (~(gas in *(set @)) [1 2 3 ~])
575 > =a (~(gas in *(set @)) [1 2 3 ~])
@@ -748,3 +748,4 @@ An atom.
748
748
749
749
750***
750***
751+