git.iko.soy/urbit.org
on master help sign in
Replace $-(* *) with gate. This matches PR #618 in the arvo repository.
228464dJohn Franklin
docs/hoon/library/2b.md+1−1
compare with master
unifiedsplit
@@ -899,7 +899,7 @@ Source
899
899
900 ++ turn :: transform
900 ++ turn :: transform
901 ~/ %turn
901 ~/ %turn
902− |* {a/(list) b/$-(* *)}
902+ |* {a/(list) b/gate}
903 |-
903 |-
904 ?~ a ~
904 ?~ a ~
905 [i=(b i.a) t=$(a t.a)]
905 [i=(b i.a) t=$(a t.a)]
docs/hoon/library/2i.md+2−2
@@ -410,7 +410,7 @@ XX interface changing.
410### `+-rib:by`
410### `+-rib:by`
411
411
412 +- rib :: transform + product
412 +- rib :: transform + product
413− |* {b/* c/$-(* *)}
413+ |* {b/* c/gate}
414 |- ^+ [b a]
414 |- ^+ [b a]
415 ?~ a [b ~]
415 ?~ a [b ~]
416 =+ d=(c n.a b)
416 =+ d=(c n.a b)
@@ -431,7 +431,7 @@ XX interface changing, possibly disappearing
431Transform values
431Transform values
432
432
433 +- run :: apply gate to values
433 +- run :: apply gate to values
434− |* b/$-(* *)
434+ |* b/gate
435 |-
435 |-
436 ?~ a a
436 ?~ a a
437 [n=[p=p.n.a q=(b q.n.a)] l=$(a l.a) r=$(a r.a)]
437 [n=[p=p.n.a q=(b q.n.a)] l=$(a l.a) r=$(a r.a)]
docs/hoon/library/2n.md+6−6
@@ -139,16 +139,16 @@ Examples
139***
139***
140### `++hard`
140### `++hard`
141
141
142−Demands that a specific type be produced, crashing the program is it is
142+Demands that a specific type be produced, crashing the program if it is
143not.
143not.
144
144
145Source
145Source
146------
146------
147
147
148− ++ hard :: force coerce to span
148+ ++ hard :: force remold
149− |* han/mold
149+ |* han/gate
150 |= fud/* ^- han
150 |= fud/* ^- han
151− ~| %hard
151+ ~_ leaf+"hard"
152 =+ gol=(han fud)
152 =+ gol=(han fud)
153 ?>(=(gol fud) gol)
153 ?>(=(gol fud) gol)
154 ::
154 ::
@@ -177,8 +177,8 @@ is not.
177Source
177Source
178------
178------
179
179
180− ++ soft :: maybe coerce to span
180+ ++ soft :: maybe remold
181− |* han/$-(* *)
181+ |* han/gate
182 |= fud/* ^- (unit han)
182 |= fud/* ^- (unit han)
183 =+ gol=(han fud)
183 =+ gol=(han fud)
184 ?.(=(gol fud) ~ [~ gol])
184 ?.(=(gol fud) ~ [~ gol])
docs/hoon/library/3g.md+1−1
@@ -128,7 +128,7 @@ Mold generator for an edge
128Source
128Source
129------
129------
130
130
131− ++ like |* a/$-(* *) :: generic edge
131+ ++ like |* a/gate :: generic edge
132 |= b/_`*`[(hair) ~] ::
132 |= b/_`*`[(hair) ~] ::
133 :- p=(hair -.b) ::
133 :- p=(hair -.b) ::
134 ^= q ::
134 ^= q ::
docs/hoon/library/4f.md+1−1
@@ -159,7 +159,7 @@ Source
159
159
160 ++ cook :: apply gate
160 ++ cook :: apply gate
161 ~/ %cook
161 ~/ %cook
162− |* {poq/$-(* *) sef/rule}
162+ |* {poq/gate sef/rule}
163 ~/ %fun
163 ~/ %fun
164 |= tub/nail
164 |= tub/nail
165 =+ vex=(sef tub)
165 =+ vex=(sef tub)