ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-14 08:34:25 +03:00
Code Issues Packages Projects Releases Wiki Activity

mar: use new-style gate argument syntax in /mar

Browse Source 
Switch a bunch of .hoon files in /mar from using
the old `{}` syntax for specifying argument types, to the
newer `[argname=argtype]` syntax.
This commit is contained in:
ronreg-ribdev 2020-11-02 11:02:53 -08:00
parent 3765a8a767
commit a5d661f2d1
11 changed files with 27 additions and 27 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkg/arvo/mar/css.hoon
View File

@ -14,7 +14,7 @@
--
++ grab
|% :: convert from
++ mime |=({p/mite q/octs} (@t q.q))
++ mime |=([p=mite q=octs] (@t q.q))
++ noun @t :: clam from %noun
--
++ grad %mime

2
pkg/arvo/mar/hoon.hoon
View File

@ -41,7 +41,7 @@
--
++ grab
|% :: convert from
++ mime |=({p/mite q/octs} q.q)
++ mime |=([p=mite q=octs] q.q)
++ noun @t :: clam from %noun
++ txt of-wain:format
--

2
pkg/arvo/mar/html.hoon
View File

@ -17,7 +17,7 @@
++ grab ^?
|% :: convert from
++ noun @t :: clam from %noun
++ mime |=({p/mite q/octs} q.q) :: retrieve form $mime
++ mime |=([p=mite q=octs] q.q) :: retrieve form $mime
--
++ grad %mime
--

2
pkg/arvo/mar/js.hoon
View File

@ -15,7 +15,7 @@
--
++ grab
|% :: convert from
++ mime |=({p/mite q/octs} (@t q.q))
++ mime |=([p=mite q=octs] (@t q.q))
++ noun cord :: clam from %noun
--
++ grad %mime

2
pkg/arvo/mar/json.hoon
View File

@ -17,7 +17,7 @@
--
++ grab
|% :: convert from
++ mime |=({p/mite q/octs} (fall (rush (@t q.q) apex:de-json) *json))
++ mime |=([p=mite q=octs] (fall (rush (@t q.q) apex:de-json) *json))
++ noun json :: clam from %noun
++ numb numb:enjs
++ time time:enjs

2
pkg/arvo/mar/mime.hoon
View File

@ -16,7 +16,7 @@
|%
+$ noun mime :: clam from %noun
++ tape
|=(a/_"" [/application/x-urb-unknown (as-octt:mimes:html a)])
|=(a=^tape [/application/x-urb-unknown (as-octt:mimes:html a)])
--
++ grad
^?

2
pkg/arvo/mar/png.hoon
View File

@ -5,7 +5,7 @@
--
++ grab
|%
++ mime |=({p/mite q/octs} q.q)
++ mime |=([p=mite q=octs] q.q)
++ noun @t
--
++ grad %mime

8
pkg/arvo/mar/snip.hoon
View File

@ -7,7 +7,7 @@
++ words 1
++ hedtal
=| met/marl
|= a/marl ^- {hed/marl tal/marl}
|= a=marl ^- {hed/marl tal/marl}
?~ a [~ ~]
?. ?=($h1 n.g.i.a)
?: ?=($meta n.g.i.a)
@ -18,7 +18,7 @@
[c.i.a (weld (flop met) (limit words t.a))]
::
++ limit
|= {lim/@u mal/marl}
|= [lim=@u mal=marl]
=< res
|- ^- {rem/@u res/marl}
?~ mal [lim ~]
@ -30,7 +30,7 @@
[rem - res]:[hed $(lim lam, mal t.mal)]
::
++ deword
|= {lim/@u tay/tape} ^- {lim/@u tay/tape}
|= [lim=@u tay=tape] ^- {lim/@u tay/tape}
?~ tay [lim tay]
?~ lim [0 ~]
=+ wer=(dot 1^1 tay)
@ -58,5 +58,5 @@
--
++ grab |% :: convert from
++ noun {marl marl} :: clam from $noun
++ elem |=(a/manx (hedtal +.a))
++ elem |=(a=manx (hedtal +.a))
-- --

4
pkg/arvo/mar/tang.hoon
View File

@ -12,11 +12,11 @@
++ elem
=- ;pre:code:"{(of-wall -)}"
^- wall %- zing ^- (list wall)
(turn (flop tan) |=(a/tank (wash 0^160 a)))
(turn (flop tan) |=(a=tank (wash 0^160 a)))
--
++ grab :: convert from
|%
++ noun (list ^tank) :: clam from %noun
++ tank |=(a/^tank [a]~)
++ tank |=(a=^tank [a]~)
--
--

26
pkg/arvo/mar/txt.hoon
View File

@ -24,18 +24,18 @@
|%
++ form %txt-diff
++ diff
|= tyt/wain
|= tyt=wain
^- (urge cord)
(lusk txt tyt (loss txt tyt))
::
++ pact
|= dif/(urge cord)
|= dif=(urge cord)
~| [%pacting dif]
^- wain
(lurk txt dif)
::
++ join
|= {ali/(urge cord) bob/(urge cord)}
|= [ali=(urge cord) bob=(urge cord)]
^- (unit (urge cord))
|^
=. ali (clean ali)
@ -49,20 +49,20 @@
%&
?: =(p.i.ali p.i.bob)
%+ bind $(ali t.ali, bob t.bob)
|=(cud/(urge cord) [i.ali cud])
|=(cud=(urge cord) [i.ali cud])
?: (gth p.i.ali p.i.bob)
%+ bind $(p.i.ali (sub p.i.ali p.i.bob), bob t.bob)
|=(cud/(urge cord) [i.bob cud])
|=(cud=(urge cord) [i.bob cud])
%+ bind $(ali t.ali, p.i.bob (sub p.i.bob p.i.ali))
|=(cud/(urge cord) [i.ali cud])
|=(cud=(urge cord) [i.ali cud])
::
%|
?: =(p.i.ali (lent p.i.bob))
%+ bind $(ali t.ali, bob t.bob)
|=(cud/(urge cord) [i.bob cud])
|=(cud=(urge cord) [i.bob cud])
?: (gth p.i.ali (lent p.i.bob))
%+ bind $(p.i.ali (sub p.i.ali (lent p.i.bob)), bob t.bob)
|=(cud/(urge cord) [i.bob cud])
|=(cud=(urge cord) [i.bob cud])
~
==
::
@ -77,15 +77,15 @@
%&
?: =(p.i.bob (lent p.i.ali))
%+ bind $(ali t.ali, bob t.bob)
|=(cud/(urge cord) [i.ali cud])
|=(cud=(urge cord) [i.ali cud])
?: (gth p.i.bob (lent p.i.ali))
%+ bind $(ali t.ali, p.i.bob (sub p.i.bob (lent p.i.ali)))
|=(cud/(urge cord) [i.ali cud])
|=(cud=(urge cord) [i.ali cud])
~
==
==
++ clean :: clean
|= wig/(urge cord)
|= wig=(urge cord)
^- (urge cord)
?~ wig ~
?~ t.wig wig
@ -179,7 +179,7 @@
~
::
++ clean :: clean
|= wig/(urge cord)
|= wig=(urge cord)
^- (urge cord)
?~ wig ~
?~ t.wig wig
@ -192,7 +192,7 @@
[i.wig $(wig t.wig)]
::
++ resolve
|= {ali/(urge cord) bob/(urge cord)}
|= [ali=(urge cord) bob=(urge cord)]
^- {fic/{%| p/(list cord) q/(list cord)} ali/(urge cord) bob/(urge cord)}
=- [[%| bac (annotate alc boc bac)] ali bob]
|- ^- $: $: bac/(list cord)

2
pkg/arvo/mar/xml.hoon
View File

@ -17,5 +17,5 @@
-- ::
++ grab |% :: convert from
++ noun @t :: clam from %noun
++ mime |=({p/mite q/octs} q.q) :: retrieve form $mime
++ mime |=([p=mite q=octs] q.q) :: retrieve form $mime
-- --