git.iko.soy/urbit.org
on master help sign in
Merge pull request #233 from jfranklin9000/gate

Replace $-(* *) with gate. This matches PR #618 in the arvo repository.

commit4d8645c791a6313ed9ad4b946b686e479af475a2 authorFang <Fang-@users.noreply.github.com> dateFri 9 Mar 2018, 20:22 (9 years ago) parente9a05e0228464d
5 files changed+11−11
compare with master
unifiedsplit
docs/hoon/library/2b.md+1−1 docs/hoon/library/2i.md+2−2 docs/hoon/library/2n.md+6−6 docs/hoon/library/3g.md+1−1 docs/hoon/library/4f.md+1−1
docs/hoon/library/2b.md+1−1
@@ -899,7 +899,7 @@ Source
899899
900900 ++ turn :: transform
901901 ~/ %turn
902− |* {a/(list) b/$-(* *)}
902+ |* {a/(list) b/gate}
903903 |-
904904 ?~ a ~
905905 [i=(b i.a) t=$(a t.a)]
docs/hoon/library/2i.md+2−2
@@ -410,7 +410,7 @@ XX interface changing.
410410### `+-rib:by`
411411
412412 +- rib :: transform + product
413− |* {b/* c/$-(* *)}
413+ |* {b/* c/gate}
414414 |- ^+ [b a]
415415 ?~ a [b ~]
416416 =+ d=(c n.a b)
@@ -431,7 +431,7 @@ XX interface changing, possibly disappearing
431431Transform values
432432
433433 +- run :: apply gate to values
434− |* b/$-(* *)
434+ |* b/gate
435435 |-
436436 ?~ a a
437437 [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
139139***
140140### `++hard`
141141
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
143143not.
144144
145145Source
146146------
147147
148− ++ hard :: force coerce to span
149− |* han/mold
148+ ++ hard :: force remold
149+ |* han/gate
150150 |= fud/* ^- han
151− ~| %hard
151+ ~_ leaf+"hard"
152152 =+ gol=(han fud)
153153 ?>(=(gol fud) gol)
154154 ::
@@ -177,8 +177,8 @@ is not.
177177Source
178178------
179179
180− ++ soft :: maybe coerce to span
181− |* han/$-(* *)
180+ ++ soft :: maybe remold
181+ |* han/gate
182182 |= fud/* ^- (unit han)
183183 =+ gol=(han fud)
184184 ?.(=(gol fud) ~ [~ gol])
docs/hoon/library/3g.md+1−1
@@ -128,7 +128,7 @@ Mold generator for an edge
128128Source
129129------
130130
131− ++ like |* a/$-(* *) :: generic edge
131+ ++ like |* a/gate :: generic edge
132132 |= b/_`*`[(hair) ~] ::
133133 :- p=(hair -.b) ::
134134 ^= q ::
docs/hoon/library/4f.md+1−1
@@ -159,7 +159,7 @@ Source
159159
160160 ++ cook :: apply gate
161161 ~/ %cook
162− |* {poq/$-(* *) sef/rule}
162+ |* {poq/gate sef/rule}
163163 ~/ %fun
164164 |= tub/nail
165165 =+ vex=(sef tub)