on master help sign in
thru col
45b9c41Henry Ault
docs/system/hoon/runes/cl/clcb.md+5−26
@@ -1,33 +1,12 @@
1−`:_ colcab`
1+# `:scon`, `:_`, "colcab", `{$scon p/twig q/twig}`
2−===========
3
2
4Inverted tuple of `p` `q`.
3Inverted tuple of `p` `q`.
5
4
6−Exists for code readability and organization. See the [backstep]() convention.
5+Produces: a cell of `[q p]`. Exists for code readability and organization. See the backstep convention.
7
6
8−Produces
7+Regular form: *2-fixed*
9−--------
10
8
11−Twig: `[%clcb p=twig q=twig]`
12−
13−Accepts
14−-------
15−
16−`p` is a [++twig](). `q` is a twig.
17−
18−Tall form
19−---------
20−
21− :_ p
22− q
23−
24−Wide form
25−---------
26−
27− :_(p q)
28−
29−Examples
9+Examples:
30−--------
31
10
32 ~zod/try=> :_(1 2)
11 ~zod/try=> :_(1 2)
33 [2 1]
12 [2 1]
@@ -38,7 +17,7 @@ reverse order.
38 ~zod/try=> `tape`:_(~ 'a')
17 ~zod/try=> `tape`:_(~ 'a')
39 "a"
18 "a"
40
19
41−Since a [`++tape`]() is a null-terminated list of characters, casting
20+Since a `++tape` is a null-terminated list of characters, casting
42the result of `:_(~ 'a')` to a `tape` produces `"a"`.
21the result of `:_(~ 'a')` to a `tape` produces `"a"`.
43
22
44 /~zod/try=>
23 /~zod/try=>
docs/system/hoon/runes/cl/clfs.md+2−23
@@ -1,33 +1,12 @@
1`:/ colfas`
1`:/ colfas`
2===========
2===========
3
3
4−String to XML XX.
4+String to XML XX
5
5
6`:/`, `colfas`, is a synthetic rune that produces `[%$ [%$ p ~] ~]`,
6`:/`, `colfas`, is a synthetic rune that produces `[%$ [%$ p ~] ~]`,
7i.e., `[0 [0 p 0] 0]`.
7i.e., `[0 [0 p 0] 0]`.
8
8
9−Produces
10−--------
11−
12−Twig: `[%clfs p=twig]`
13−
14−Accepts
15−-------
16−
17−`p` is a [`++twig`]()
18−
19−Tall form
20−---------
21−
22− :/ p
23−
24−Wide form
25−---------
26−
27− :/(p)
28−
29−Examples
9+Examples:
30−--------
31
10
32 ~zod/try=> :/(20)
11 ~zod/try=> :/(20)
33 [[%~. [%~. 20] ~] ~]
12 [[%~. [%~. 20] ~] ~]
docs/system/hoon/runes/cl/clhp.md+15−29
@@ -1,36 +1,22 @@
1−`:- colhep`
1+# `:cons`, `:-`, "colhep", `{$cons p/twig q/twig}`
2−===========
3
2
4Tuple of two.
3Tuple of two.
5
4
6−Produces
5+Produces: a cell of `p` and `q`.
7−--------
8
6
9−Twig: `[%clhp p=twig q=twig]`
7+Regular form: *2-fixed*
10
8
11−Accepts
9+Irregular forms:
12−-------
13
10
14−`p` is a [++twig](). `q` is a twig.
11+```
12+[a b] :-(a b)
13+1^2^3 [1 2 3]
14+a+1 [%a 1]
15+`1 [~ 1]
16+[1 2]~ [[1 2] ~]
17+```
15
18
16−Tall form
17−---------
18−
19− :- p
20− q
21−
22−Wide form
23−---------
24−
25− :-(p q)
26−
27−Irregular form
28−--------------
29−
30− [p q]
31−
32−Examples
19+Examples:
33−--------
34
20
35 ~zod/try=> :-(1 2)
21 ~zod/try=> :-(1 2)
36 [1 2]
22 [1 2]
@@ -66,7 +52,7 @@ Some obscure `:-` irregular forms
66 ~zod/main=/app> a/'twig'
52 ~zod/main=/app> a/'twig'
67 [%a 'twig']
53 [%a 'twig']
68
54
69−Like `^`, but first item must be a [`++term`](), and is [cube]()d. Used to construct [`path`]()s and [frond]().
55+Like `^`, but first item must be a `++term`, and is cubed. Used to construct `path`s and frond.
70
56
71### Prefix `` ` ``, postfix `~`
57### Prefix `` ` ``, postfix `~`
72
58
@@ -75,5 +61,5 @@ Like `^`, but first item must be a [`++term`](), and is [cube]()d. Used to const
75 ~zod/main=/app> [42 30]~
61 ~zod/main=/app> [42 30]~
76 [[42 30] ~]
62 [[42 30] ~]
77
63
78−Complimenting each other, these construct pairs with `~` in the [head]() and
64+Complimenting each other, these construct pairs with `~` in the head and
79−[`tail`]() respectively. Multiple postfix `~` do not work for unknown reasons.
65+`tail` respectively. Multiple postfix `~` do not work for unknown reasons.
docs/system/hoon/runes/cl/clkt.md+3−36
@@ -1,45 +1,12 @@
1−`:^ colket`
1+# `:conq`, `:^`, "colket", `{$conq p/twig q/twig r/twig s/twig}`
2−===========
3
2
4Tuple of four.
3Tuple of four.
5
4
6−Produces
5+Produces: the tuple of `[p q r s]`.
7−--------
8
6
9−Twig: `[%clkt p=twig q=twig r=twig s=twig]`
7+Regular form: *4-fixed*
10−
11−Accepts
12−-------
13−
14−`p` is a [++twig](). `q` is a twig. `r` is a twig. `s` is a
15−twig.
16−
17−Tall form
18−---------
19−
20−Kingside:
21−
22− :^ p
23− q
24− r
25− s
26−
27−Queenside:
28−
29− :^ p q
30− r
31− s
32−
33− :^ p q r
34− s
35−
36−Wide form
37−---------
38−
39− :^(p q r s)
40
8
41Examples
9Examples
42−--------
43
10
44 /~zod/try=> :^(1 2 3 4)
11 /~zod/try=> :^(1 2 3 4)
45 [1 2 3 4]
12 [1 2 3 4]
docs/system/hoon/runes/cl/clls.md+5−29
@@ -1,39 +1,15 @@
1−`:+ collus`
1+# `:cont`, `:+`, "collus", `{$cont p/twig q/twig r/twig}`
2===========
2===========
3
3
4Tuple of 3.
4Tuple of 3.
5
5
6−Produces
6+Produces: the tuple of `p`, `q`, and `r`.
7−--------
8
7
9−Twig: `[%clls p=twig q=twig r=twig]`
8+Regular form:
10
9
11−Accepts
10+*3-fixed*
12−-------
13
11
14−`p` is a [++twig](). `q` is a twig. `r` is a twig.
15−
16−Tall form
17−---------
18−
19−Kingside:
20−
21− :+ p
22− q
23− r
24−
25−Queenside:
26−
27− :+ p q
28− r
29−
30−Wide form
31−---------
32−
33− :+(p q r)
34−
35−Examples
12+Examples:
36−--------
37
13
38 /~zod/try=> :+ 1
14 /~zod/try=> :+ 1
39 2
15 2
docs/system/hoon/runes/cl/clsg.md+5−32
@@ -1,40 +1,13 @@
1−`:~ colsig`
1+# `:conl`, `:~`, "colsig", `{$conl p/(list twig)}`
2===========
2===========
3
3
4Null-terminated tuple of n elements.
4Null-terminated tuple of n elements.
5
5
6−Closed with `==`.
6+Produces: tuple of input elements. Closed with `==` in tall form.
7
7
8−Produces
8+Regular form: *running*
9−--------
10
9
11−Twig: `[%clsg p=tusk]`
10+Examples:
12−
13−Accepts
14−-------
15−
16−`p` is a [`++tusk`](), a list of [`++twig`]()s.
17−
18−Tall form
19−---------
20−
21− :~ i.p
22− i.t.p
23− i.t.t.p
24− ==
25−
26−Wide form
27−---------
28−
29− :~(i.p i.t.p i.t.t.p)
30−
31−Irregular form
32−--------------
33−
34− ~[i.p i.t.p i.t.t.p]
35−
36−Examples
37−--------
38
11
39 /~zod/try=> :~(5 3 4 2 1)
12 /~zod/try=> :~(5 3 4 2 1)
40 [5 3 4 2 1 ~]
13 [5 3 4 2 1 ~]
@@ -61,7 +34,7 @@ This is the most straightforward case of `:~`, producing a tuple in wide, irregu
61 ~[1 2 4 3 5]
34 ~[1 2 4 3 5]
62
35
63In this example we use `%-` to pass the results of our previous example
36In this example we use `%-` to pass the results of our previous example
64−to [`++limo`](), which creates a [`++list`](), and [`++flop`](), which
37+to `++limo`, which creates a `++list`, and `++flop`, which
65reverses its order. This example shows how `:~` is commonly useful.
38reverses its order. This example shows how `:~` is commonly useful.
66Null-terminated tuples are easily converted to lists, which are
39Null-terminated tuples are easily converted to lists, which are
67frequently encountered in hoon.
40frequently encountered in hoon.
docs/system/hoon/runes/cl/cltr.md+3−30
@@ -1,37 +1,10 @@
1−`:* coltar`
1+# `:conp`, `:*`, "coltar", {$conp p/(list twig)}
2−===========
3
2
4Tuple of n elements.
3Tuple of n elements.
5
4
6−Closed with `==`.
5+Produces: tuple of input elements. Closed with `==`.
7
6
8−Produces
7+Regular form: *running*
9−--------
10−
11−Twig: `[%cltr p=tusk]`
12−
13−Accepts
14−-------
15−
16−`p` is a [`++tusk`](), a list of [++twig]()s.
17−
18−Tall form
19−---------
20−
21− :~ i.p
22− i.t.p
23− i.t.t.p
24− ==
25−
26−Wide form
27−---------
28−
29− :*(i.p i.t.p i.t.t.p)
30−
31−Irregular form
32−--------------
33−
34− [i.p i.t.p i.t.t.p]
35
8
36Examples
9Examples
37--------
10--------