git.iko.soy/urbit.org
on master help sign in
expands
2fe50dbJONATHAN PAPROCKI
reference/hoon-expressions/rune/buc.md+9−21
compare with master
unifiedsplit
@@ -58,27 +58,16 @@ Irregular: `*` makes `%noun`, `^` makes `%cell`, `?` makes
58
58
59##### Expands to
59##### Expands to
60
60
61−Still need help with this. From hoon.hoon:
62```hoon
61```hoon
63− :: verify, $|
62+$|(a b)
64− ::
63+```
65− {$bsbr *}
64+expands to
66− ^- hoon
65+```hoon
67− :: push the raw product
66+|= x=*
68− ::
67+=/ foo ;;(a x)
69− :+ %tsls relative(mod p.mod)
68+?> (b foo)
70− ^- hoon
69+b
71− :: assert
72− ::
73− :+ %wtbn
74− :: run the verifier
75− ::
76− [%cnhp [%tsbn $/3 q.mod] $/2]
77− :: produce verified product
78− ::
79− $/2
80```
70```
81−
82
71
83##### Syntax
72##### Syntax
84
73
@@ -86,8 +75,7 @@ Regular: **2-fixed**
86
75
87##### Discussion
76##### Discussion
88
77
89−`$|` takes two arguments, a mold and a Hoon expression that is typically a gate
90−that is used to validate the structure produced by the mold to ensure that the noun
78+`$|` takes two arguments, a mold and a gate that produces a `flag` or loobean that is used to validate the structure produced by the mold to ensure that the noun
91has a certain shape. It crashes if the input fails the validation test.
79has a certain shape. It crashes if the input fails the validation test.
92
80
93For example, the elements of a `set` are treated as being
81For example, the elements of a `set` are treated as being