750d967 · urbit.org · git.iko.soy

docs/hoon/twig/bar-core/cab-door.md+6

compare with master

unifiedsplit

@@ -18,6 +18,12 @@ with a sample.

18==

19```

20

21+```

22+=| p

23+|% q

24+==

25+```

26+

21## Syntax

27## Syntax

22

28

23Regular: *1-fixed*, then *battery*.

29Regular: *1-fixed*, then *battery*.

docs/hoon/twig/bar-core/dot-trap.md+6−1

@@ -14,7 +14,12 @@ sort: 3

14:core

15++ $ p

16--

17−```

17+```

18+

19+```

20+|% ++ $ p

21+--

22+```

18

23

19## Syntax

24## Syntax

20

25

docs/hoon/twig/bar-core/hep-loop.md+6−4

@@ -12,10 +12,12 @@ sort: 4

12

13```

14:rap $

15−:core

15+:trap p

16−++ $ p

16+```

17−--

17+

18−```

18+```

19+=<($ |.(p))

20+```

19

21

20## Syntax

22## Syntax

21

23

docs/hoon/twig/bar-core/tar-gill.md+7−1

@@ -11,13 +11,19 @@ core with sample.

11## Expands to

12

13```

14−:new p

14+:new p

15:core

16+- $

17 q

18--

19```

20

21+```

22+=| p

23+|% +- $ q

24+--

25+```

26+

21## Syntax

27## Syntax

22

28

23Regular: *2-fixed*.

29Regular: *2-fixed*.

docs/hoon/twig/bar-core/tis-gate.md+7−1

@@ -11,13 +11,19 @@ sort: 2

11## Expands to

12

13```

14−:new p

14+:new p

15:core

16++ $

17 q

18--

19```

20

21+```

22+=| p

23+|% ++ $ q

24+--

25+```

26+

21## Syntax

27## Syntax

22

28

23Regular: *2-fixed*.

29Regular: *2-fixed*.

docs/hoon/twig/buc-mold/base.md+2−2

@@ -11,8 +11,8 @@ sort: 1

11## Produces

12

13A mold for the base in `p`. `$noun` is any noun; `$atom` is any

14−atom; `$cell` is a cell of nouns; `$bean` is a loobean, `?(`@f`0

14+atom; `$cell` is a cell of nouns; `$bean` is a loobean, ``?(`@f`0

15−`@f`1)`. `$null` is zero with aura `@n`.

15+`@f`1)``. `$null` is zero with aura `@n`.

16

17## Syntax

18

docs/hoon/twig/buc-mold/cab-shoe.md+4

@@ -14,6 +14,10 @@ sort: 9

14p

15```

16

17+```

18+|=(* p)

19+```

20+

17## Syntax

21## Syntax

18

22

19Regular: *1-fixed*.

23Regular: *1-fixed*.

docs/hoon/twig/buc-mold/hep-lamb.md+5

@@ -17,6 +17,11 @@ sort: 8

17$:q

18```

19

20+```

21+$_ ^|

22+|=(p $:q)

23+```

24+

20## Syntax

25## Syntax

21

26

22Regular: *2-fixed*.

27Regular: *2-fixed*.

docs/hoon/twig/buc-mold/tis-coat.md+5

@@ -15,6 +15,11 @@ sort: 3

15:name(p :call(q +6))

16```

17

18+```

19+|= *

20+^=(p %-(q +6))

21+```

22+

18## Syntax

23## Syntax

19

24

20Regular: *2-fixed*.

25Regular: *2-fixed*.

docs/hoon/twig/cen-call/cab-keep.md+4

@@ -15,6 +15,10 @@ preserving type.

15:like(p :make(p q))

16```

17

18+```

19+^+(p %=(p q))

20+```

21+

18## Syntax

22## Syntax

19

23

20Regular: *1-fixed*, then *jogging*.

24Regular: *1-fixed*, then *jogging*.

docs/hoon/twig/cen-call/dot-lace.md+7−1

@@ -9,7 +9,13 @@ sort: 5

9

10## Expands to

11

12+```

12−`:call(q p)`.

13+:call(q p)

14+```

15+

16+```

17+%-(q p)

18+```

13

19

14## Syntax

20## Syntax

15

21

docs/hoon/twig/cen-call/hep-call.md+7−1

@@ -9,7 +9,13 @@ sort: 4

9

10## Expands to

11

12+```

12−`:open($ p q)`.

13+:open($ p q)

14+```

15+

16+```

17+%~($ p q)

18+```

13

19

14## Syntax

20## Syntax

15

21

docs/hoon/twig/cen-call/ket-calq.md+7−1

@@ -9,7 +9,13 @@ sort: 7

9

10## Expands to

11

12+```

12−`:call(p [q r s])`.

13+:call(p [q r s])

14+```

15+

16+```

17+%-(p [q r s])

18+```

13

19

14## Syntax

20## Syntax

15

21

docs/hoon/twig/cen-call/lus-calt.md+7−1

@@ -9,7 +9,13 @@ sort: 6

9

10## Expands to

11

12+```

12−`:call(p [q r])`.

13+:call(p [q r])

14+```

15+

16+```

17+%-(p [q r])

18+```

13

19

14## Syntax

20## Syntax

15

21

docs/hoon/twig/cen-call/sig-open.md+12−2

@@ -10,9 +10,18 @@ sort: 3

10## Expands to

11

12```

13+:pin :name(a q)

13−:rap(p :make(q +6 r))

14+:rap(p :make(a +6 r))

14```

15```

15

16

17+```

18+=+ a=q

19+=<(p %=(a +6 r))

20+```

21+

22+> Note: the expansion implementation is hygienic -- it doesn't actually add the

23+> `a` face to the subject. It's shown here because `:make` requires a `wing`.

24+

16## Syntax

25## Syntax

17

26

18Regular: *3-fixed*.

27Regular: *3-fixed*.

@@ -24,7 +33,8 @@ Irregular: `~(a b c)` is `%~(a b c)`; `~(a b c d e)` is `%~(a b

24

33

25`:open` is the general case of a function call, `:call`. In

34`:open` is the general case of a function call, `:call`. In

26both, we replace the sample (`+6`) of a core. In `:call` the

35both, we replace the sample (`+6`) of a core. In `:call` the

27−core is a gate and we

36+core is a gate and we pull the `$` arm, in `:open` the

37+core is a door and we can pull any of its arms.

28

38

29Most languages do not have cores, doors, or `:open`. "Just

39Most languages do not have cores, doors, or `:open`. "Just

30learn to step outside your linear, Western way of thinking."

40learn to step outside your linear, Western way of thinking."

docs/hoon/twig/col-cell/cab-scon.md+4

@@ -13,6 +13,10 @@ sort: 6

13:cons(q p)

14```

15

16+```

17+:-(q p)

18+```

19+

16### Syntax

20### Syntax

17

21

18Regular: *2-fixed*.

22Regular: *2-fixed*.

docs/hoon/twig/col-cell/ket-conq.md+4

@@ -13,6 +13,10 @@ sort: 3

13:cons(p :cons(q :cons(r s)))

14```

15

16+```

17+:-(p :-(q :-(r s)))

18+```

19+

16## Syntax

20## Syntax

17

21

18Regular: *4-fixed*.

22Regular: *4-fixed*.

docs/hoon/twig/col-cell/lus-cont.md+4

@@ -13,6 +13,10 @@ sort: 2

13:cons(p :cons(q r))

14```

15

16+```

17+:-(p :-(q r))

18+```

19+

16## Syntax

20## Syntax

17

21

18Regular: *3-fixed*.

22Regular: *3-fixed*.

docs/hoon/twig/col-cell/sig-conl.md+21−1

@@ -9,8 +9,28 @@ sort: 5

9

10## Expands to

11

12+*Pseudocode*, `a`, `b`, `c`, ... as elements of `p`

13+

14+```

15+:cons(a :cons(b :cons(c :cons(... :cons(z ~)))))

16+```

17+

18+### Compiler macro

19+

20+```

21+:loop

22+:ifno p

23+ ~

24+:cons i.p

25+:moar(p t.p)

26+```

27+

12```

28```

29+|-

30+?~ p

31+ ~

32+:- i.p

13−|-(?~(p ~ :cons(i.p $(p t.p))))

33+$(p t.p)

14```

34```

15

35

16## Syntax

36## Syntax

docs/hoon/twig/col-cell/tar-conp.md+25−1

@@ -9,8 +9,32 @@ sort: 4

9

10## Expands to

11

12+*Pseudocode*, `a`, `b`, `c`, ... as elements of `p`

13+

14+```

15+:cons(a :cons(b :cons(c :cons(... z)))))

16+```

17+

18+### Compiler macro

19+

20+```

21+:loop

22+:ifno p

23+ !!

24+:ifno t.p

25+ i.p

26+:cons i.p

27+:moar(p t.p)

28+```

29+

12```

30```

13−|-(?~(p !! ?~(t.p i.p :cons(i.p $(p t.p)))))

31+|-

32+?~ p

33+ !!

34+?~ t.p

35+ i.p

36+:- i.p

37+$(p t.p)

14```

38```

15

39

16## Syntax

40## Syntax

docs/hoon/twig/ket-cast/hep-cast.md+4

@@ -13,6 +13,10 @@ sort: 2

13:like(:bunt(p) q)

14```

15

16+```

17+^+(*p q)

18+```

19+

16## Syntax

20## Syntax

17

21

18Regular: *2-fixed*.

22Regular: *2-fixed*.

docs/hoon/twig/sem-make/col-wad.md+23−1

@@ -9,8 +9,30 @@ sort: 3

9

10## Expands to

11

12+*Pseudocode*, `a`, `b`, `c`, ... as elements of `q`

13+

14+```

15+:call(p a :call(p b :call(p c ...)))

16+```

17+

18+### Compiler macro

19+

20+```

21+:loop

22+:ifno q !!

23+:ifno t.q !!

24+:ifno t.t.q

25+ :call(p i.q i.t.q)

26+:call(p i.q :moar(q t.q))

27+```

28+

12```

29```

13−|-(?~(q !! ?~(t.q !! ?~(t.t.q :call(p i.q i.t.q) :call(p i.q $(q t.q))))))

30+|-

31+?~ q !!

32+?~ t.q !!

33+?~ t.t.q

34+ (p i.q i.t.q)

35+(p i.q $(q t.q))

14```

36```

15

37

16## Syntax

38## Syntax

docs/hoon/twig/sem-make/fas-nub.md+7−3

@@ -10,11 +10,15 @@ sort: 4

10## Expands to

11

12```

13−[%$ [%$ p ~] ~]

13+:conl(%$ :conl(%$ p))

14+```

15+

16+```

17+~[%$ ~[%$ 'p']]

14```

18```

15

19

16## Examples

20## Examples

17```

21```

18−~zod/try=> :/("foo"

22+~zod/try=> :/"foo"

19−[[%$ [%$ "foo] ~] ~]

23+[[%~. [%~. "foo] ~] ~]

20```

24```

docs/hoon/twig/sem-make/sem-fry.md+12−1

@@ -10,9 +10,20 @@ sort: 1

10## Expands to

11

12```

13−:pin(:name(a (p q)) :sure(=(a (p a)) a))

13+:pin :name(a (p q))

14+:sure =(a (p a))

15+a

14```

16```

15

17

18+```

19+=+ a=(p q)

20+?> =(a (p a))

21+a

22+```

23+

24+> Note: the expansion implementation is hygienic -- it doesn't actually add the

25+> `a` face to the subject.

26+

16## Syntax

27## Syntax

17

28

18Regular: *2-fixed*.

29Regular: *2-fixed*.

docs/hoon/twig/sig-hint/fas-funk.md+4

@@ -14,6 +14,10 @@ registered context.

14:fast(p +7 ~ q)

15```

16

17+```

18+~%(p +7 ~ q)

19+```

20+

17## Syntax

21## Syntax

18

22

19Regular: *2-fixed*.

23Regular: *2-fixed*.

docs/hoon/twig/tis-flow/bar-new.md+4

@@ -13,6 +13,10 @@ sort: 5

13:pin(:bunt(p) q)

14```

15

16+```

17+=+(*p q)

18+```

19+

16## Syntax

20## Syntax

17

21

18Regular: *2-fixed*.

22Regular: *2-fixed*.

docs/hoon/twig/tis-flow/col-fix.md+5−1

@@ -10,7 +10,11 @@ sort: 9

10## Expands to

11

12```

13−:per(:keep(. p q) r)

13+:per(:keep(. p) q)

14+```

15+

16+```

17+=>(%_(. p) q)

14```

18```

15

19

16## Syntax

20## Syntax

docs/hoon/twig/tis-flow/dot-set.md+4

@@ -13,6 +13,10 @@ sort: 8

13:per(:keep(. p q) r)

14```

15

16+```

17+=>(%_(. p q) r)

18+```

19+

16## Syntax

20## Syntax

17

21

18Regular: *3-fixed*.

22Regular: *3-fixed*.

docs/hoon/twig/tis-flow/fas-var.md+35−1

@@ -10,8 +10,42 @@ noun with the subject.

10

11## Expands to

12

13+*if `p` is a symbol*:

14+

15+```

16+:pin(:name(p q) r)

17+```

18+

19+```

20+=+(^=(p q) r)

21+```

22+

23+*if `p` is a symbol with a mold*:

24+

25+```

26+:pin(:cast(p q) r)

27+```

28+

29+```

30+=+(^-(p q) r)

31+```

32+

33+### Compiler macro

34+

35+```

36+:ifat p

37+ :pin :name(p q)

38+ r

39+:pin :cast(:coat(p.p q.p) q)

40+r

41+```

42+

13```

43```

14−?@(p :pin(:name(p q) r) :pin(:cast(:coat(p q) r)

44+?@ p

45+ =+ p=q

46+ r

47+=+ ^-($=(p.p q.p) q)

48+r

15```

49```

16

50

17## Syntax

51## Syntax

docs/hoon/twig/tis-flow/gal-rap.md+4

@@ -13,6 +13,10 @@ sort: 2

13:per(q p)

14```

15

16+```

17+=>(q p)

18+```

19+

16## Syntax

20## Syntax

17

21

18Regular: *2-fixed*.

22Regular: *2-fixed*.

docs/hoon/twig/tis-flow/hep-nip.md+4

@@ -13,6 +13,10 @@ sort: 4

13:per(:cons(q .) p)

14```

15

16+```

17+=>([q .] p)

18+```

19+

16## Syntax

20## Syntax

17

21

18Regular: *2-fixed*.

22Regular: *2-fixed*.

docs/hoon/twig/tis-flow/ket-sip.md+4

@@ -14,6 +14,10 @@ a leg with the tail.

14:var(p -.r :set(q +.r s))

15```

16

17+```

18+=/(p -.r =.(q +.r s))

19+```

20+

17## Syntax

21## Syntax

18

22

19Regular: *4-fixed*.

23Regular: *4-fixed*.

docs/hoon/twig/tis-flow/lus-pin.md+4

@@ -13,6 +13,10 @@ sort: 3

13:per(:cons(p .) q)

14```

15

16+```

17+=>([p .] q)

18+```

19+

16## Syntax

20## Syntax

17

21

18Regular: *2-fixed*.

22Regular: *2-fixed*.

docs/hoon/twig/tis-flow/sem-rev.md+5−1

@@ -11,7 +11,11 @@ subject, inverted.

11## Expands to

12

13```

14−?@(p :pin(:name(p r) q) :pin(:cast(:coat(p r) q)

14+:var(p r q)

15+```

16+

17+```

18+=/(p r q)

15```

19```

16

20

17## Syntax

21## Syntax

docs/hoon/twig/wut-test/bar-or.md+18

@@ -9,7 +9,16 @@ sort: 9

9

10## Expands to

11

12+*Pseudocode*, `a`, `b`, `c`, ... as elements of `p`

13+

14+```

15+:if(a & :if(b & :if(c & :if(... :if(z & |)))))

16+```

17+

18+### Compiler macro

19+

12```

20```

21+:loop

13:ifno p

22:ifno p

14 |

23 |

15:if i.p

24:if i.p

@@ -17,6 +26,15 @@ sort: 9

17:moar(p t.p)

26:moar(p t.p)

18```

27```

19

28

29+```

30+|-

31+?~ p

32+ |

33+?: i.p

34+ &

35+$(p t.p)

36+```

37+

20## Syntax

38## Syntax

21

39

22Regular: *running*.

40Regular: *running*.

docs/hoon/twig/wut-test/dot-lest.md+4

@@ -15,6 +15,10 @@ sort: 2

15q

16```

17

18+```

19+?:(p r q)

20+```

21+

18## Syntax

22## Syntax

19

23

20Regular: *3-fixed*.

24Regular: *3-fixed*.

docs/hoon/twig/wut-test/gal-deny.md+5−1

@@ -11,10 +11,14 @@ sort: 10

11

12```

13:if p

14− :zpzp

14+ !!

15q

16```

17

18+```

19+?:(p !! q)

20+```

21+

18## Syntax

22## Syntax

19

23

20Regular: *2-fixed*.

24Regular: *2-fixed*.

docs/hoon/twig/wut-test/gar-sure.md+5−1

@@ -11,10 +11,14 @@ sort: 11

11

12```

13:lest p

14− :zpzp

14+ !!

15q

16```

17

18+```

19+?.(p !! q)

20+```

21+

18## Syntax

22## Syntax

19

23

20Regular: *2-fixed*.

24Regular: *2-fixed*.

docs/hoon/twig/wut-test/hep-case.md+23−1

@@ -10,14 +10,36 @@ union, with no default.

10

11## Expands to

12

13+*Pseudocode*, `a`, `b`, `c`, ... as elements of `q`

14+

15+```

16+:if :fits(p.a) q.a

17+:if :fits(p.b) q.b

18+:if :fits(p.c) q.c

19+...

20+:show(%mint-lost !!)

21+```

22+

23+### Compiler macro

24+

13```

25```

26+:loop

14:ifno q

27:ifno q

15− :lost

28+ :show(%mint-lost !!)

16:if :fits(p.i.q p)

29:if :fits(p.i.q p)

17 q.i.q

30 q.i.q

18:moar(q t.q)

31:moar(q t.q)

19```

32```

20

33

34+```

35+|-

36+?. q

37+ ~|(%mint-lost !!)

38+?: ?=(p.i.q p)

39+ q.i.q

40+$(q t.q)

41+```

42+

21## Syntax

43## Syntax

22

44

23Regular: *1-fixed*, then *jogging*.

45Regular: *1-fixed*, then *jogging*.

docs/hoon/twig/wut-test/ket-ifcl.md+4

@@ -16,6 +16,10 @@ of the subject is null.

16r

17```

18

19+```

20+?:(?=(^ p) q r)

21+```

22+

19## Syntax

23## Syntax

20

24

21Regular: *3-fixed*.

25Regular: *3-fixed*.

docs/hoon/twig/wut-test/lus-deft.md+22

@@ -10,7 +10,20 @@ a union, with a default.

10

11## Expands to

12

13+*Pseudocode*, `a`, `b`, `c`, ... as elements of `r`

14+

15+```

16+:if :fits(p.a) q.a

17+:if :fits(p.b) q.b

18+:if :fits(p.c) q.c

19+...

20+q

21+```

22+

23+### Compiler macro

24+

13```

25```

26+:loop

14:ifno r

27:ifno r

15 q

28 q

16:if :fits(p.i.r p)

29:if :fits(p.i.r p)

@@ -18,6 +31,15 @@ a union, with a default.

18:moar(r t.r)

31:moar(r t.r)

19```

32```

20

33

34+```

35+|-

36+?. r

37+ q

38+?: ?=(p.i.r p)

39+ q.i.r

40+$(r t.r)

41+```

42+

21## Syntax

43## Syntax

22

44

23Regular: *2-fixed*, then *jogging*.

45Regular: *2-fixed*, then *jogging*.

docs/hoon/twig/wut-test/pam-and.md+18

@@ -9,7 +9,16 @@ sort: 8

9

10## Expands to

11

12+*Pseudocode*, `a`, `b`, `c`, ... as elements of `p`

13+

14+```

15+:lest(a | :lest(b | :lest(c | :lest(... :lest(z | &)))))

16+```

17+

18+### Compiler macro

19+

12```

20```

21+:loop

13:ifno p

22:ifno p

14 &

23 &

15:lest i.p

24:lest i.p

@@ -17,6 +26,15 @@ sort: 8

17:moar(p t.p)

26:moar(p t.p)

18```

27```

19

28

29+```

30+|-

31+?~ p

32+ &

33+?. i.p

34+ |

35+$(p t.p)

36+```

37+

20## Syntax

38## Syntax

21

39

22Regular: *running*.

40Regular: *running*.

docs/hoon/twig/wut-test/pat-ifat.md+5−1

@@ -11,11 +11,15 @@ of the subject is an atom.

11## Expands to

12

13```

14−:if :fits($~ p)

14+:if :fits(@ p)

15 q

16r

17```

18

19+```

20+?:(?=(@ p) q r)

21+```

22+

19## Syntax

23## Syntax

20

24

21Regular: *3-fixed*.

25Regular: *3-fixed*.

docs/hoon/twig/wut-test/sig-ifno.md+4

@@ -16,6 +16,10 @@ of the subject is null.

16r

17```

18

19+```

20+?:(?=($~ p) q r)

21+```

22+

19## Syntax

23## Syntax

20

24

21Regular: *3-fixed*.

25Regular: *3-fixed*.

docs/hoon/twig/wut-test/zap-not.md+4

@@ -13,6 +13,10 @@ sort: 7

13:same(%.n p)

14```

15

16+```

17+.=(| p)

18+```

19+

16Produces the logical "not" of `p`.

20Produces the logical "not" of `p`.

17

21

18## Syntax

22## Syntax