ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-11-28 19:55:53 +03:00
Code Issues Packages Projects Releases Wiki Activity

Cab cleanup, pass 1.

Browse Source
This commit is contained in:
C. Guy Yarvin 2015-12-14 14:21:10 -08:00
parent 12d0f3f4dc
commit c36210cdce
26 changed files with 289 additions and 289 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
ape/dojo.hoon
View File

@ -409,7 +409,7 @@
(dy-slam /dial u.pro !>(txt))
::
++ dy-cast
|* {typ+$_(*) bun+vase}
|* {typ+_* bun+vase}
|= a+vase ^- typ
?> (~(nest ut p.bun) & p.a)
;;(typ q.a)
@ -511,11 +511,11 @@
|= a+type ^- tank
=- >[-]<
|- ^- $? $% {$atom @tas}
{$cell $_($) $_($)}
{$cube * $_($)}
{$face @tas $_($)}
{$fork $_($) $_($)}
{$hold (list {$_($) twig})}
{$cell _$ _$}
{$cube * _$}
{$face @tas _$}
{$fork _$ _$}
{$hold (list {_$ twig})}
==
wain :: "<|core|>"
$?($noun $void)
@ -532,13 +532,13 @@
|= a+dojo-source ^- tank
=- >[-]<
=+ `{@ bil+dojo-build}`a
|- ^- $^ [$_($) $_($)]
|- ^- $^ [_$ _$]
$? twig
$% {$ur purl}
{$dv path}
{$as mark $_($)}
{$do twig $_($)}
{$ge path (list $_($)) (map term (unit $_($)))}
{$as mark _$}
{$do twig _$}
{$ge path (list _$) (map term (unit _$))}
==
==
?- -.bil
@ -951,8 +951,8 @@
--
::
++ prep
=+ session-1==+(*session $_(-(poy *(unit))))
=+ session-0==+(*session-1 $_([$_(say) syd=desk * $_(|2.-)]))
=+ session-1==+(*session _-(poy *(unit)))
=+ session-0==+(*session-1 _[$_(say) syd=desk * $_(|2.-)])
:: ,_`..prep
=+ ^= hoze
$% {$0 p+(map bone session-0)}
@ -972,8 +972,8 @@
|= {moz+(list move) ses+session}
=> ~(. he moz ses)
=- [wrap=- +]
|* he-arm+$_(he-type)
|= $_(+<.he-arm)
|* he-arm+_he-type
|= _+<.he-arm
^- (quip move ..he)
he-abet:(he-arm +<)
::

14
ape/hood.hoon
View File

@ -18,7 +18,7 @@
$helm ?>(?=($helm -.paw) `helm-part`paw) ::
$kiln ?>(?=($kiln -.paw) `kiln-part`paw) ::
== ::
++ hood-head $_(-:*hood-part) ::
++ hood-head _-:*hood-part ::
++ hood-make ::
|* {our+@p hed+hood-head} ::
?- hed ::
@ -70,17 +70,17 @@
++ coup-helm-hi (wrap coup-hi):from-helm
++ diff-sole-effect-drum-phat (wrap diff-sole-effect-phat):from-drum
++ from-lib
|* $_([%helm ..$ $_(abet)]:(helm))
|* _[%helm ..$ $_(abet)]:(helm)
=> .(+< [identity start finish]=+<)
=- [wrap=- *start] :: usage (wrap handle-arm):from-foo
|* handle+$_(finish)
|= $_(+<.handle)
|* handle+_finish
|= _+<.handle
=. +>.handle (start hid (able identity))
(ably (handle +<))
::
++ from-drum (from-lib %drum [..$ $_(se-abet)]:(drum))
++ from-helm (from-lib %helm [..$ $_(abet)]:(helm))
++ from-kiln (from-lib %kiln [..$ $_(abet)]:(kiln))
++ from-drum (from-lib %drum [..$ _se-abet]:(drum))
++ from-helm (from-lib %helm [..$ _abet]:(helm))
++ from-kiln (from-lib %kiln [..$ _abet]:(kiln))
::
++ init-helm |=({way+wire *} [~ +>])
++ made-kiln (wrap take-made):from-kiln

22
ape/talk.hoon
View File

@ -941,7 +941,7 @@
%_ ..sh-work
..pa
%- (ra-know man.she)
|=($_(pa) pa-abet:(pa-report glyphers %glyph nak))
|=(_pa pa-abet:(pa-report glyphers %glyph nak))
==
::
++ join :: %join
@ -1168,7 +1168,7 @@
==
::
++ sh-uniq
^- {serial $_(.)}
^- {serial _.}
[(shaf %serial eny.hid) .(eny.hid (shax eny.hid))]
--
++ ra-abed :: resolve core
@ -1292,7 +1292,7 @@
::
++ ra-know :: story monad
|= man+span
|* fun+$+($_(pa) $_(+>+>))
|* fun+$+(_pa _+>+>)
^+ +>+>
=+ pur=(~(get by stories) man)
?~ pur
@ -1302,17 +1302,17 @@
::
++ ra-diff-talk-report :: subscription update
|= {man+span cuz+station rad+report}
%- (ra-know man) |= par+$_(pa) =< pa-abet
%- (ra-know man) |= par+_pa =< pa-abet
(pa-diff-talk-report:par cuz rad)
::
++ ra-quit :: subscription quit
|= {man+span cuz+station}
%- (ra-know man) |= par+$_(pa) =< pa-abet
%- (ra-know man) |= par+_pa =< pa-abet
(pa-quit:par %& cuz)
::
++ ra-retry :: subscription resend
|= {man+span cuz+station}
%- (ra-know man) |= par+$_(pa) =< pa-abet
%- (ra-know man) |= par+_pa =< pa-abet
(pa-acquire:par [%& cuz]~)
::
++ ra-coup-repeat ::
@ -1338,12 +1338,12 @@
^+ +>
?. ?=({@ @ *} pax)
+>(general (~(del in general) ost.hid))
%- (ra-know i.t.pax) |= par+$_(pa) =< pa-abet
%- (ra-know i.t.pax) |= par+_pa =< pa-abet
(pa-notify:pa-cancel:par src %gone *human)
::
++ ra-human :: look up person
|= her+ship
^- {human $_(+>)}
^- {human _+>}
=^ who folks
=+ who=(~(get by folks) her)
?^ who [u.who folks]
@ -1433,7 +1433,7 @@
::
++ ra-record :: add to story
|= {man+span gam+telegram}
%- (ra-know man) |= par+$_(pa) =< pa-abet
%- (ra-know man) |= par+_pa =< pa-abet
(pa-learn:par gam)
::
++ ra-transmit :: send to neighbor
@ -2094,12 +2094,12 @@
==
::
++ etch-friend ::
|= {way+wire fun+$+({man+span cuz+station} {(list move) $_(+>)})}
|= {way+wire fun+$+({man+span cuz+station} {(list move) _+>})}
=+ wer=(etch way)
?>(?=($friend -.wer) (fun p.wer q.wer))
::
++ etch-repeat ::
|= {way+wire fun+$+({num+@ud src+@p man+span} {(list move) $_(+>)})}
|= {way+wire fun+$+({num+@ud src+@p man+span} {(list move) _+>})}
=+ wer=(etch way)
?>(?=($repeat -.wer) (fun p.wer q.wer r.wer))
::

46
arvo/ames.hoon
View File

@ -451,7 +451,7 @@
|_ {our+ship saf+sufi} :: per server
++ born :: born:as:go
|= {now+@da her+@p tic+@pG ges+gens pub+pass} :: register user
^- {(unit will) $_(+>)}
^- {(unit will) _+>}
?. =(our (sein her)) [~ +>.$]
=+ nes=sen
=+ ryt=(end 6 1 (shaf %tick (mix her (shax sec:ex:q.nes))))
@ -491,7 +491,7 @@
::
++ griz :: griz:lax:as:go
|= now+@da :: generate key for
^- {p+code q+$_(+>)}
^- {p+code q+_+>}
=+ key=(shas %enty (mix now any.ton))
:- key
%= +>.$
@ -507,7 +507,7 @@
::
++ kuch :: kuch:lax:as:go
|= had+hand :: hear key tag
^- (unit {code $_(+>)})
^- (unit {code _+>})
=+ wey=(~(get by heg.caq.dur) had)
?^ wey
=+ key=u.wey
@ -595,14 +595,14 @@
::
++ zuul :: zuul:lax:as:go
|= {now+@da ham+meal} :: encode message
^- {p+(list rock) q+$_(+>)}
^- {p+(list rock) q+_+>}
=< weft
|%
++ wasp :: null security
^-({p+skin q+@} [%none (jam ham)])
::
++ weft :: fragment message
^- {p+(list rock) q+$_(+>.$)}
^- {p+(list rock) q+_+>.$}
=^ gim ..weft wisp
:_ +>.$
^- (list rock)
@ -624,7 +624,7 @@
$(ruv t.ruv, inx +(inx))
::
++ wisp :: generate message
^- {{p+skin q+@} q+$_(..wisp)}
^- {{p+skin q+@} q+_..wisp}
?: =(%carp -.ham)
[wasp ..wisp]
?: !=(~ yed.caq.dur)
@ -671,7 +671,7 @@
~(. lax [her ?~(fod (gur her) u.fod)])
::
++ nux :: install dore
|= new+$_(lax)
|= new+_lax
^+ +>
+>(hoc.saf (~(put by hoc.saf) her.new dur.new))
::
@ -737,7 +737,7 @@
==
::
++ su :: install safe
|= new+$_(as)
|= new+_as
^- town
ton(urb (~(put by urb.ton) our.new saf.new))
::
@ -748,7 +748,7 @@
::
++ us :: produce safe
|= our+ship
^- (unit $_(as))
^- (unit _as)
=+ goh=(~(get by urb.ton) our)
?~ goh ~
[~ ~(. as [our u.goh])]
@ -779,7 +779,7 @@
::
++ bick :: bick:pu
|= {now+@da fap+flap} :: ack by hash
^- {{p+(unit soup) q+(list rock)} $_(+>)}
^- {{p+(unit soup) q+(list rock)} _+>}
=+ sun=(~(get by diq) fap)
?~ sun
:: ~& [%bick-none `@p`(mug fap)] :: not a real error
@ -828,7 +828,7 @@
::
++ bine :: bine:pu
|= {now+@da num+@ud} :: apply ack
^- {(unit soup) $_(+>)}
^- {(unit soup) _+>}
?~ puq !!
?. =(num p.n.puq)
?: (gth num p.n.puq)
@ -852,7 +852,7 @@
::
++ bock :: bock:pu
|= {now+@da num+@ud} :: ack by sequence
^- {(unit soup) $_(+>)}
^- {(unit soup) _+>}
=^ gym +> (bine now num)
:- gym
?: (gth num nep)
@ -869,7 +869,7 @@
::
++ harv :: harv:pu
|= now+@da :: harvest queue
^- {(list rock) $_(+>)}
^- {(list rock) _+>}
?: =(~ puq) [~ +>(rtn ~)]
?. (gth caw nif) [~ +>]
=+ wid=(sub caw nif)
@ -908,7 +908,7 @@
::
++ wack :: wack:pu
|= now+@da :: wakeup (timeout)
^- {(list rock) $_(+>)}
^- {(list rock) _+>}
?. &(!=(~ rtn) ?>(?=(^ rtn) (gte now u.rtn))) [~ +>]
:: ~& [%slow (div rto (div ~s1 1.000))]
=. +> (wept 0 nus)
@ -947,7 +947,7 @@
::
++ whap :: whap:pu
|= {now+@da gom+soup wyv+(list rock)} :: send a message
^- {(list rock) $_(+>)}
^- {(list rock) _+>}
=. pyz (~(put by pyz) gom (lent wyv))
=. +>
|- ^+ +>.^$
@ -1141,7 +1141,7 @@
::
++ cook :: cook:ho:um:am
|= {cop+coop cha+path ram+(unit {ryn+lane dam+flap})}
^- {gud+? con+$_(+>)} :: acknowledgment
^- {gud+? con+_+>} :: acknowledgment
:: ~& [%cook cop num cha ram]
=+ rum=(need (~(get by raz.bah) cha))
=+ lat=(~(get by mis.rum) did.rum)
@ -1162,7 +1162,7 @@
::
++ done :: done:ho:um:am
|= {cha+path num+@ud} :: complete outgoing
^- {(unit duct) $_(+>)}
^- {(unit duct) _+>}
=+ rol=(need (~(get by ryl.bah) cha))
=+ rix=(~(get by san.rol) num)
?~ rix [~ +>.$]
@ -1573,7 +1573,7 @@
~& [%ames-call-flub (@tas `*`-.q.hic)]
((hard kiss-ames) q.hic)
==
^- {p+(list move) q+$_(..^$)}
^- {p+(list move) q+_..^$}
=^ duy ..knob
(knob hen q.hic)
[duy ..^$]
@ -1625,7 +1625,7 @@
++ stay fox
++ take :: accept response
|= {tea+wire hen+duct hin+(hypo sign)}
^- {p+(list move) q+$_(..^$)}
^- {p+(list move) q+_..^$}
=^ duy ..knap
(knap tea hen q.hin)
[duy ..^$]
@ -1746,7 +1746,7 @@
::
++ knap
|= {tea+wire hen+duct sih+sign}
^- {(list move) $_(+>)}
^- {(list move) _+>}
?- +<.sih
$crud [[[hen [%slip %d %flog +.sih]] ~] +>]
$went [~ +>]
@ -1766,7 +1766,7 @@
?-(+<.sih $mean `p.+.sih, $nice ~)
=> %_(. fox q.fuy)
=| out+(list move)
|- ^- {p+(list move) q+$_(+>.^$)}
|- ^- {p+(list move) q+_+>.^$}
?~ p.fuy
[(flop out) +>.^$]
=^ toe fox (clop now hen i.p.fuy)
@ -1775,7 +1775,7 @@
::
++ knob
|= {hen+duct kyz+kiss-ames}
^- {(list move) $_(+>)}
^- {(list move) _+>}
?: ?=($crud -.kyz)
[[[hen [%slip %d %flog kyz]] ~] +>]
?: ?=($west -.kyz)
@ -1831,7 +1831,7 @@
==
=> %_(. fox q.fuy)
=| out+(list move)
|- ^- {p+(list move) q+$_(+>.^$)}
|- ^- {p+(list move) q+_+>.^$}
?~ p.fuy
[(flop out) +>.^$]
=^ toe fox (clop now hen i.p.fuy)

8
arvo/behn.hoon
View File

@ -4,13 +4,13 @@
|= pit+vase
=> =~
|%
++ sqeu |* {a+$_(*) b+$_(*)} :: binary skew queno
++ sqeu |* {a+_* b+_*} :: binary skew queno
$: r+@u :: rank/depth
k+a :: priority
n+b :: value
c+(broq a b) :: children
== ::
++ broq |* {a+$_(*) b+$_(*)} :: brodal skew qeu
++ broq |* {a+_* b+_*} :: brodal skew qeu
(list (sqeu a b)) ::
++ gift gift-behn :: out result <-$
++ kiss :: in request ->$
@ -125,7 +125,7 @@
++ gas
|= b+(list {k+key n+val})
^+ a
q:(roll b |=({{k+key n+val} q+$_(a)} (put(a q) k n)))
q:(roll b |=({{k+key n+val} q+_a} (put(a q) k n)))
::
++ tap
^- (list {k+key n+val})
@ -156,7 +156,7 @@
|= $: hen+duct
hic+(hypo (hobo kiss))
==
^- {p+(list move) q+$_(..^$)}
^- {p+(list move) q+_..^$}
=> %= . :: XX temporary
q.hic
^- kiss

8
arvo/clay.hoon
View File

@ -1128,7 +1128,7 @@
(sa lat)
::
++ mabe :: maybe fire function
|* {rov+rove fun+$+(@da $_(+>.^$))}
|* {rov+rove fun+$+(@da _+>.^$)}
^+ +>.$
%- fall :_ +>.$
%- bind :_ fun
@ -1430,7 +1430,7 @@
::
++ edit :: edit:ze
|= {wen+@da lem+nuri} :: edit
^- {(unit (map path lobe)) $_(..ze)}
^- {(unit (map path lobe)) _..ze}
?- -.lem
{$&}
=^ yak lat.ran :: merge objects
@ -1689,7 +1689,7 @@
(bind (read-y yon r.mun) (curr bind (cury same %&)))
%+ bind
(rewind yon)
|= a+(unit $_(+>.$))
|= a+(unit _+>.$)
^- (unit (each cage lobe))
?~ a
~
@ -1697,7 +1697,7 @@
::
++ rewind :: rewind:ze
|= yon+aeon :: rewind to aeon
^- (unit (unit $_(+>)))
^- (unit (unit _+>))
?: =(let.dom yon) ``+>
?: (gth yon let.dom) !! :: don't have version
=+ hat=q:(aeon-to-yaki yon)

2
arvo/dill.hoon
View File

@ -30,7 +30,7 @@
++ axon :: dill per duct
$: ram+term :: console program
tem+(unit (list dill-belt)) :: pending, reverse
wid+$_(80) :: terminal width
wid+_80 :: terminal width
pos+@ud :: cursor position
see+(list @c) :: current line
== ::

18
arvo/eyre.hoon
View File

@ -741,7 +741,7 @@
~&(e/lost/[tee hen] +>.$)
%+ roll (~(tap in (~(get ju liz) p.sih)))
=< .(con ..axon(liz (~(del by liz) p.sih)))
|= {sus+(each duct ixor) con+$_(..axon)}
|= {sus+(each duct ixor) con+_..axon}
=. ..axon con
?- -.sus
{$&} (give-json(hen p.sus) 205 ~ %b &)
@ -823,7 +823,7 @@
::
++ root-beak `beak`[our %home da/now] :: XX
++ emule
|= a+$_(|?(..emule)) ^+ ..emule
|= a+_|?(..emule) ^+ ..emule
=+ mul=(mule a)
?~ -.mul p.mul
(fail 500 0v0 >%exit< p.mul)
@ -1145,14 +1145,14 @@
--
::
++ process
^- (each pest $_(done))
^- (each pest _done)
=+ pet=parse
?: ?=($| -.pet)
[%& ~ p.pet]
(process-parsed p.pet)
::
++ process-parsed
|= hem+perk ^- (each pest $_(done))
|= hem+perk ^- (each pest _done)
?- -.hem
$auth (process-auth p.hem)
$away [%& %html logout-page:xml]
@ -1209,7 +1209,7 @@
==
::
++ process-auth
|= ham+perk-auth ^- (each pest $_(done))
|= ham+perk-auth ^- (each pest _done)
=+ yac=for-client
?- -.ham
$js [%& %js auth:js]
@ -1265,7 +1265,7 @@
==
::
++ show-login-page
|= ses+(unit hole) ^- (each pest $_(done))
|= ses+(unit hole) ^- (each pest _done)
%- (slog leaf/"login code for {(scow %p our)}: {(trip load-secret)}" ~)
?. ?=($@($~ {$~ $html}) p.pok)
[%& %red ~]
@ -1602,9 +1602,9 @@
++ load :: take previous state
=+ even-2=?(even {$mean p+{dock path} *}) :: old %quit
=+ ^= stem-2 :: no die, sus
$_(=+(*stem -(|3 |5.-, q.eve *(map @u even-2))))
=+ bolo-2=$_([%2 %*(+ *bolo wix *(map ixor stem-2))])
=+ bolo-1=$_([%1 +(|4 |5.+)]:*bolo-2) :: no lyv
_=+(*stem -(|3 |5.-, q.eve *(map @u even-2)))
=+ bolo-2=_[%2 %*(+ *bolo wix *(map ixor stem-2))]
=+ bolo-1=_[%1 +(|4 |5.+)]:*bolo-2 :: no lyv
|= old+?(bolo bolo-1 bolo-2)
^+ ..^$
?- -.old

76
arvo/ford.hoon
View File

@ -133,8 +133,8 @@
b
:: ::
++ flue |=(a+cafe (fine a ~)) :: cafe to empty
++ flux |* a+$_(*) :: bolt lift (fmap)
|*({b+cafe c+$_(+<.a)} (fine b (a c))) ::
++ flux |* a+_* :: bolt lift (fmap)
|*({b+cafe c+_+<.a} (fine b (a c))) ::
++ grom :: merge sets
|* {one+(set) two+(set)}
^+ one
@ -231,7 +231,7 @@
:: ~& writ/tea
=+ dap=(~(got by deh.bay) dep)
=- +>.$(mow mow, deh.bay ?~(dop deh.bay (~(put by deh.bay) dep dop)))
^- {dop+$@($~ $_(dap)) mow+$_(mow)}
^- {dop+$@($~ _dap) mow+_mow}
?- -.dap
$done `mow :: writ redundant
$init ~|(never-subscribed/dep !!)
@ -401,8 +401,8 @@
^= q
?- -.q.nuf
$1 q.nuf
$2 [%2 p=(grom `$_(p.q.nuf)`p.q.hoc p.q.nuf) q=q.q.nuf]
$0 [%0 p=(grom `$_(p.q.nuf)`p.q.hoc p.q.nuf) q=q.q.nuf]
$2 [%2 p=(grom `_p.q.nuf`p.q.hoc p.q.nuf) q=q.q.nuf]
$0 [%0 p=(grom `_p.q.nuf`p.q.hoc p.q.nuf) q=q.q.nuf]
== ==
::
++ coop :: bolt alter
@ -415,9 +415,9 @@
^= q
?- -.q.nuf
$1 q.nuf
$0 [%0 p=(grom `$_(p.q.nuf)`p.q.hoc p.q.nuf) q=q.q.nuf]
$0 [%0 p=(grom `_p.q.nuf`p.q.hoc p.q.nuf) q=q.q.nuf]
$2 =. q.q.nuf (welp q.q.nuf q.q.hoc)
[%2 p=(grom `$_(p.q.nuf)`p.q.hoc p.q.nuf) q=q.q.nuf]
[%2 p=(grom `_p.q.nuf`p.q.hoc p.q.nuf) q=q.q.nuf]
== ==
::
++ coup :: toon to bolt
@ -488,15 +488,15 @@
::
++ some-in-map
|* fun+(burg span (unit))
=+ res=$_((need [?+(-.q !! $0 q.q)]:*fun))
=+ res=_(need [?+(-.q !! $0 q.q)]:*fun)
=+ marv=(map span res)
|= {cof+cafe sud+(map span $~)} ^- (bolt marv)
?~ sud (flue cof)
%. [cof sud]
;~ cope
;~ coax
|=({cof+cafe $_(sud)} ^$(cof cof, sud l))
|=({cof+cafe $_(sud)} ^$(cof cof, sud r))
|=({cof+cafe _sud} ^$(cof cof, sud l))
|=({cof+cafe _sud} ^$(cof cof, sud r))
|= {cof+cafe {dir+@ta $~} ^}
%+ cope (fun cof dir)
(flux (lift |*(* [dir +<])))
@ -595,7 +595,7 @@
=< abet
|- ^+ ..exec
?~ zuk ..exec
$(zuk t.zuk, ..exec `$_(..exec)`(camp p.i.zuk q.i.zuk))
$(zuk t.zuk, ..exec `_..exec`(camp p.i.zuk q.i.zuk))
==
::
++ expo :: return gift
@ -918,19 +918,19 @@
=| {res+(map span $~) new+(qeu beam)}
=+ all=`(set beam)`[bem `~]
|^ %+ with (cope ?^(arg (flue cof) kids) return)
|=($_(.) (with (cope marks look) next))
|=(_. (with (cope marks look) next))
::
++ done .
++ with
|* {a+(bolt $_(done)) b+$+($_(done) (bolt))} ^+ *b
(cope a |=({cof+cafe c+$_(done)} (b c(cof cof))))
|* {a+(bolt _done) b+$+(_done (bolt))} ^+ *b
(cope a |=({cof+cafe c+_done} (b c(cof cof))))
::
++ return
%- flux
|=(a+(map span $~) done(res (~(uni by res) a)))
::
++ next
|= $_(.) => +<
|= _. => +<
^- (bolt (map span $~))
?^ s.bem
$(s.bem t.s.bem, arg [i.s.bem arg])
@ -952,10 +952,10 @@
(turn :_(head (skip :_(tail (~(tap by a)))))) :: | = %hook
::
++ look
|= {cof+cafe hok+(list mark)} ^- (bolt $_(done))
|= {cof+cafe hok+(list mark)} ^- (bolt _done)
?~ hok (fine cof done)
%+ with $(hok t.hok)
|= $_(done) ^- (bolt $_(done))
|= _done ^- (bolt _done)
=+ bim=bem(s [i.hok s.bem])
=+ hid=(fade cof %hook bim)
?: ?=($2 -.q.hid)
@ -1412,9 +1412,9 @@
%. [cof p.kas]
;~ cope
;~ coax
|=({cof+cafe $_(p.kas)} (fret ^^$(cof cof, kas p.i)))
|=({cof+cafe $_(p.kas)} (fret ^^$(cof cof, kas q.i)))
|=({cof+cafe $_(p.kas)} ^$(cof cof, p.kas t))
|=({cof+cafe _p.kas} (fret ^^$(cof cof, kas p.i)))
|=({cof+cafe _p.kas} (fret ^^$(cof cof, kas q.i)))
|=({cof+cafe _p.kas} ^$(cof cof, p.kas t))
==
(flux |=({k+gage v+gage t+(list {gage gage})} [[k v] t]))
==
@ -1485,7 +1485,7 @@
|= {cof+cafe hyd+hood}
^- (bolt vase)
%+ cope (apex cof hyd)
|= {cof+cafe sel+$_(..abut)}
|= {cof+cafe sel+_..abut}
=. ..abut sel
%+ cope (maim cof pit able)
|= {cof+cafe bax+vase}
@ -1498,23 +1498,23 @@
::
++ apex :: build to body
|= {cof+cafe hyd+hood}
^- (bolt $_(..apex))
^- (bolt _..apex)
%+ cope (body cof src.hyd)
|= {cof+cafe sel+$_(..apex)}
|= {cof+cafe sel+_..apex}
=. ..apex sel
%+ cope (neck cof lib.hyd)
|= {cof+cafe sel+$_(..apex)}
|= {cof+cafe sel+_..apex}
=. ..apex sel(boy boy)
%+ cope (head cof sur.hyd)
|= {cof+cafe sel+$_(..apex)}
|= {cof+cafe sel+_..apex}
(fine cof sel)
::
++ body :: produce functions
|= {cof+cafe src+(list hoop)}
^- (bolt $_(..body))
^- (bolt _..body)
?~ src (fine cof ..body)
%+ cope (wilt cof i.src)
|= {cof+cafe sel+$_(..body)}
|= {cof+cafe sel+_..body}
^$(src t.src, ..body sel, cof cof)
::
++ chad :: atomic list
@ -1664,7 +1664,7 @@
::
++ head :: consume structures
|= {cof+cafe bir+(list hoof)}
^- (bolt $_(..head))
^- (bolt _..head)
?~ bir
(fine cof ..head)
=+ byf=(~(get by rop) p.i.bir)
@ -1677,7 +1677,7 @@
%+ cope (fade cof %hoon bem)
|= {cof+cafe hyd+hood}
%+ cope (apex(how bem, boy ~) cof hyd)
|= {cof+cafe sel+$_(..head)}
|= {cof+cafe sel+_..head}
=. ..head
%= sel
boy boy
@ -1697,7 +1697,7 @@
::
++ neck :: consume libraries
|= {cof+cafe bir+(list hoof)}
^- (bolt $_(..neck))
^- (bolt _..neck)
?~ bir (fine cof ..neck)
=+ byf=(~(get by bil) p.i.bir)
?^ byf
@ -1709,7 +1709,7 @@
%+ cope (fade cof %hoon bem)
|= {cof+cafe hyd+hood}
%+ cope (apex(how bem, boy ~) cof hyd)
|= {cof+cafe sel+$_(..neck)}
|= {cof+cafe sel+_..neck}
=. ..neck
%= sel
how how
@ -1719,7 +1719,7 @@
::
++ wilt :: process body entry
|= {cof+cafe hop+hoop}
^- (bolt $_(..wilt))
^- (bolt _..wilt)
?- -.hop
{$&} (fine cof ..wilt(boy [p.hop boy]))
{$|}
@ -1731,25 +1731,25 @@
%+ cope (fade cof %hoon p.hop)
|= {cof+cafe hyd+hood}
%+ cope (apex(boy ~) cof hyd)
(flux |=(sel+$_(..wilt) sel(boy [[%tssg boy.sel] boy])))
(flux |=(sel+_..wilt sel(boy [[%tssg boy.sel] boy])))
=+ [all=(lark (slat %tas) arc) sel=..wilt]
%+ cope
|- ^- (bolt (pair (map term foot) $_(..wilt)))
|- ^- (bolt (pair (map term foot) _..wilt))
?~ all (fine cof ~ ..wilt)
%+ cope $(all l.all)
|= {cof+cafe lef+(map term foot) sel+$_(..wilt)}
|= {cof+cafe lef+(map term foot) sel+_..wilt}
%+ cope ^$(all r.all, cof cof, sel sel)
|= {cof+cafe rig+(map term foot) sel+$_(..wilt)}
|= {cof+cafe rig+(map term foot) sel+_..wilt}
%+ cope
%= ^^^^$
cof cof
..wilt sel(boy ~)
s.p.hop [p.n.all s.p.hop]
==
|= {cof+cafe sel+$_(..wilt)}
|= {cof+cafe sel+_..wilt}
%+ fine cof
[`(map term foot)`[[p.n.all [%ash [%tssg boy.sel]]] lef rig] sel]
|= {cof+cafe mav+(map term foot) sel+$_(..wilt)}
|= {cof+cafe mav+(map term foot) sel+_..wilt}
?~ mav
(flaw cof [%leaf "source missing: {<(tope p.hop)>}"]~)
(fine cof sel(boy [[%brcn mav] boy]))

38
arvo/gall.hoon
View File

@ -263,7 +263,7 @@
::
++ mo-bale :: assign outbone
|= him+ship
^- {@ud $_(+>)}
^- {@ud _+>}
=+ sad=(fall (~(get by sap) him) `scad`[1 ~ ~])
=+ nom=(~(get by q.sad) hen)
?^ nom [u.nom +>.$]
@ -620,7 +620,7 @@
++ ap-call :: call into server
~/ %ap-call
|= {cog+term arg+vase}
^- {(unit tang) $_(+>)}
^- {(unit tang) _+>}
=. +> ap-bowl
=^ arm +>.$ (ap-farm cog)
?: ?=($| -.arm) [`p.arm +>.$]
@ -681,7 +681,7 @@
++ ap-farm :: produce arm
~/ %ap-farm
|= cog+term
^- {(each vase tang) $_(+>)}
^- {(each vase tang) _+>}
=+ pyz=(mule |.((~(mint wa vel) p.hav [%cnzy cog])))
?: ?=($| -.pyz)
:_(+>.$ [%| +.pyz])
@ -694,7 +694,7 @@
==
::
++ ap-fill :: add to queue
^- {? $_(.)}
^- {? _.}
=+ suy=(fall (~(get by qel.ged) ost) 0)
?: =(20 suy)
:: ~& [%ap-fill-full [our dap] q.q.pry ost]
@ -747,7 +747,7 @@
++ ap-move :: process each move
~/ %ap-move
|= vax+vase
^- {(each cove tang) $_(+>)}
^- {(each cove tang) _+>}
?@ q.vax :_(+>.$ [%| (ap-suck "move: invalid move (atom)")])
?^ -.q.vax :_(+>.$ [%| (ap-suck "move: invalid move (bone)")])
?@ +.q.vax :_(+>.$ [%| (ap-suck "move: invalid move (card)")])
@ -769,14 +769,14 @@
::
++ ap-move-quit :: give quit move
|= {sto+bone vax+vase}
^- {(each cove tang) $_(+>)}
^- {(each cove tang) _+>}
:_ +>
?^ q.vax [%| (ap-suck "quit: improper give")]
[%& `cove`[sto %give `cuft`[%quit ~]]]
::
++ ap-move-diff :: give diff move
|= {sto+bone vax+vase}
^- {(each cove tang) $_(+>)}
^- {(each cove tang) _+>}
=^ pec vel (~(spec wa vel) vax)
?. &(?=(^ q.pec) ?=(@ -.q.pec) ((sane %tas) -.q.pec))
:_(+>.$ [%| (ap-suck "diff: improper give")])
@ -785,7 +785,7 @@
::
++ ap-move-hiss :: pass %hiss
|= {sto+bone vax+vase}
^- {(each cove tang) $_(+>)}
^- {(each cove tang) _+>}
?. &(?=({p+* q+@ q+^} q.vax) ((sane %tas) q.q.vax))
:_(+>.$ [%| (ap-suck "hiss: bad hiss ask.[%hiss wire mark cage]")])
=^ gaw vel (~(slot wa vel) 7 vax)
@ -802,7 +802,7 @@
::
++ ap-move-mess :: extract path, target
|= vax+vase
^- {(each (trel path ship term) tang) $_(+>)}
^- {(each (trel path ship term) tang) _+>}
:_ +>.$
?. ?& ?=({p+* {q+@ r+@} s+*} q.vax)
(gte 1 (met 7 q.q.vax))
@ -815,7 +815,7 @@
::
++ ap-move-pass :: pass general move
|= {sto+bone wut+* vax+vase}
^- {(each cove tang) $_(+>)}
^- {(each cove tang) _+>}
?. &(?=(@ wut) ((sane %tas) wut))
:_(+>.$ [%| (ap-suck "pass: malformed card")])
=+ pux=((soft path) -.q.vax)
@ -831,7 +831,7 @@
::
++ ap-move-poke :: pass %poke
|= {sto+bone vax+vase}
^- {(each cove tang) $_(+>)}
^- {(each cove tang) _+>}
=^ yep +>.$ (ap-move-mess vax)
?: ?=($| -.yep) :_(+>.$ yep)
=^ gaw vel (~(slot wa vel) 7 vax)
@ -845,7 +845,7 @@
::
++ ap-move-peer :: pass %peer
|= {sto+bone vax+vase}
^- {(each cove tang) $_(+>)}
^- {(each cove tang) _+>}
=^ yep +>.$ (ap-move-mess vax)
:_ +>.$
?: ?=($| -.yep) yep
@ -858,7 +858,7 @@
::
++ ap-move-pull :: pass %pull
|= {sto+bone vax+vase}
^- {(each cove tang) $_(+>)}
^- {(each cove tang) _+>}
=^ yep +>.$ (ap-move-mess vax)
:_ +>.$
?: ?=($| -.yep) yep
@ -870,7 +870,7 @@
::
++ ap-move-send :: pass gall action
|= {sto+bone vax+vase}
^- {(each cove tang) $_(+>)}
^- {(each cove tang) _+>}
?. ?& ?=({p+* {q+@ r+@} {s+@ t+*}} q.vax)
(gte 1 (met 7 q.q.vax))
((sane %tas) r.q.vax)
@ -1025,7 +1025,7 @@
::
++ ap-prop :: install
|= vux+(unit vase)
^- {(unit tang) $_(+>)}
^- {(unit tang) _+>}
?. (ap-fond %prep)
?~ vux
`+>.$
@ -1080,7 +1080,7 @@
::
++ ap-safe :: process move list
|= vax+vase
^- {(each (list cove) tang) $_(+>)}
^- {(each (list cove) tang) _+>}
?~ q.vax :_(+>.$ [%& ~])
?@ q.vax :_(+>.$ [%| (ap-suck "move: malformed list")])
=^ hed vel (~(slot wa vel) 2 vax)
@ -1094,7 +1094,7 @@
::
++ ap-sake :: handle result
|= vax+vase
^- {(unit tang) $_(+>)}
^- {(unit tang) _+>}
?: ?=(@ q.vax)
[`(ap-suck "sake: invalid product (atom)") +>.$]
=^ hed vel (~(slot wa vel) 2 vax)
@ -1111,7 +1111,7 @@
::
++ ap-save :: verify core
|= vax+vase
^- {(each vase tang) $_(+>)}
^- {(each vase tang) _+>}
=^ gud vel (~(nest wa vel) p.hav p.vax)
:_ +>.$
?. gud
@ -1127,7 +1127,7 @@
++ ap-slam :: virtual slam
~/ %ap-slam
|= {cog+term gat+vase arg+vase}
^- {(each vase tang) $_(+>)}
^- {(each vase tang) _+>}
=+ wyz=(mule |.((~(play wa vel) [%cell p.gat p.arg] [%cncl `2 `3])))
?: ?=($| -.wyz)
%- =+ sam=(~(peek ut p.gat) %free 6)

166
arvo/hoon.hoon
View File

@ -83,7 +83,7 @@
++ gate $+(* *) :: general gate
++ hair {p+@ud q+@ud} :: parsing trace
++ like |* a+$+(* *) :: generic edge
|= b+$_(`*`[(hair) ~]) ::
|= b+_`*`[(hair) ~] ::
:- p=(hair -.b) ::
^= q ::
?@ +.b ~ ::
@ -111,8 +111,8 @@
++ nail {p+hair q+tape} :: parsing input
++ numb @ :: just a number
++ pair |*({a+$+(* *) b+$+(* *)} {p+a q+b}) :: just a pair
++ quid |*({a+$+(* *) b+*} {a $_(b)}) :: for =^
++ quip |*({a+$+(* *) b+*} {(list a) $_(b)}) :: for =^
++ quid |*({a+$+(* *) b+*} {a _b}) :: for =^
++ quip |*({a+$+(* *) b+*} {(list a) _b}) :: for =^
++ wand |* a+(pole $+(* *)) :: hetero list
|= b+* ::
?~ a ~ ::
@ -143,7 +143,7 @@
++ qual |* {a+$+(* *) b+$+(* *) c+$+(* *) d+$+(* *)} :: just a quadruple
{p+a q+b r+c s+d} ::
++ ring @ :: private key
++ rule $_(|=(nail *edge)) :: parsing rule
++ rule _|=(nail *edge) :: parsing rule
++ span @ta :: text-atom (ASCII)
++ spot {p+path q+pint} :: range in file
++ tang (list tank) :: bottom-first error
@ -185,7 +185,7 @@
{$1 p+term q+toga} :: deep toga
{$2 p+toga q+toga} :: cell toga
== ::
++ trap |*(a+$_(*) $_(|?(*a))) :: makes perfect sense
++ trap |*(a+_* _|?(*a)) :: makes perfect sense
++ trel |* {a+$+(* *) b+$+(* *) c+$+(* *)} :: just a triple
{p+a q+b r+c} ::
++ tuna :: tagflow
@ -617,7 +617,7 @@
[~ u=[u.a u.b]]
::
++ clap :: combine
|* {a+(unit) b+(unit) c+$_(|=(^ +<-))}
|* {a+(unit) b+(unit) c+_|=(^ +<-)}
?~ a b
?~ b a
[~ u=(c u.a u.b)]
@ -663,7 +663,7 @@
|* a+(list)
=> .(a (homo a))
^+ a
=+ b=`$_(a)`~
=+ b=`_a`~
|-
?~ a b
$(a t.a, b [i.a b])
@ -720,13 +720,13 @@
++ reap :: replicate
~/ %reap
|* {a+@ b+*}
|- ^- (list $_(b))
|- ^- (list _b)
?~ a ~
[b $(a (dec a))]
::
++ reel :: right fold
~/ %reel
|* {a+(list) b+$_(|=({* *} +<+))}
|* {a+(list) b+_|=({* *} +<+)}
|- ^+ +<+.b
?~ a
+<+.b
@ -734,7 +734,7 @@
::
++ roll :: left fold
~/ %roll
|* {a+(list) b+$_(|=({* *} +<+))}
|* {a+(list) b+_|=({* *} +<+)}
|- ^+ +<+.b
?~ a
+<+.b
@ -795,9 +795,9 @@
|- ^+ a
?~ a ~
%+ weld
$(a (skim t.a |=(c+$_(i.a) (b c i.a))))
$(a (skim t.a |=(c+_i.a (b c i.a))))
^+ t.a
[i.a $(a (skim t.a |=(c+$_(i.a) !(b c i.a))))]
[i.a $(a (skim t.a |=(c+_i.a !(b c i.a))))]
::
++ swag :: infix
|* {{a+@ b+@} c+(list)}
@ -2238,21 +2238,21 @@
++ head |*(^ +<-) :: get head
++ tail |*(^ +<+) :: get head
++ test |=(^ =(+<- +<+)) :: equality
++ cork |*({a+$_(|=(* **)) b+gate} (corl b a)) :: compose forward
++ cork |*({a+_|=(* **) b+gate} (corl b a)) :: compose forward
++ corl :: compose backwards
|* {a+gate b+$_(|=(* **))}
|* {a+gate b+_|=(* **)}
=< +:|.((a (b))) :: type check
|* c+$_(+<.b)
|* c+_+<.b
(a (b c))
::
++ cury :: curry left
|* {a+$_(|=(^ **)) b+*}
|* c+$_(+<+.a)
|* {a+_|=(^ **) b+*}
|* c+_+<+.a
(a b c)
::
++ curr :: curry right
|* {a+$_(|=(^ **)) c+*}
|* b+$_(+<+.a)
|* {a+_|=(^ **) c+*}
|* b+_+<+.a
(a b c)
::
++ gulf :: range list
@ -2278,7 +2278,7 @@
::
++ mean |=(a+tang (fear (flop a) |.(!!))) :: deify stack trace
++ fear :: insert user mean
|* {a+tang $_(|?(**))}
|* {a+tang _|?(**)}
^+ (+<+)
=> .(a `tang`a)
?~ a (+<+)
@ -2373,7 +2373,7 @@
?: (hor b n.a)
[n.a $(a l.a) r.a]
[n.a l.a $(a r.a)]
|- ^- {$?($~ $_(a))}
|- ^- {$?($~ _a)}
?~ l.a r.a
?~ r.a l.a
?: (vor n.l.a n.r.a)
@ -2382,7 +2382,7 @@
::
+- dif :: difference
~/ %dif
|* b+$_(a)
|* b+_a
|- ^+ a
?~ b
a
@ -2390,7 +2390,7 @@
?> ?=(^ c)
=+ d=$(a l.c, b l.b)
=+ e=$(a r.c, b r.b)
|- ^- {$?($~ $_(a))}
|- ^- {$?($~ _a)}
?~ d e
?~ e d
?: (vor n.d n.e)
@ -2409,7 +2409,7 @@
::
+- gas :: concatenate
~/ %gas
|= b+(list $_(?>(?=(^ a) n.a)))
|= b+(list _?>(?=(^ a) n.a))
|- ^+ a
?~ b
a
@ -2429,7 +2429,7 @@
::
+- int :: intersection
~/ %int
|* b+$_(a)
|* b+_a
|- ^+ a
?~ b
~
@ -2464,14 +2464,14 @@
[n.c [n.a l.a l.c] r.c]
::
+- rep :: replace by product
|* b+$_(|=({* *} +<+))
|* b+_|=({* *} +<+)
|-
?~ a +<+.b
$(a r.a, +<+.b $(a l.a, +<+.b (b n.a +<+.b)))
::
+- tap :: list tiles a set
~/ %tap
|= b+(list $_(?>(?=(^ a) n.a)))
|= b+(list _?>(?=(^ a) n.a))
^+ b
?~ a
b
@ -2479,7 +2479,7 @@
::
+- uni :: union
~/ %uni
|* b+$_(a)
|* b+_a
?: =(a b) a
|- ^+ a
?~ b
@ -2539,7 +2539,7 @@
::
+- gas :: concatenate
|* b+(list {p+* q+*})
=> .(b `(list $_(?>(?=({{* ^} ^} a) [p=p q=n.q]:n.a)))`b)
=> .(b `(list _?>(?=({{* ^} ^} a) [p=p q=n.q]:n.a))`b)
|- ^+ a
?~ b
a
@ -2611,7 +2611,7 @@
?: (gor b p.n.a)
[n.a $(a l.a) r.a]
[n.a l.a $(a r.a)]
|- ^- {$?($~ $_(a))}
|- ^- {$?($~ _a)}
?~ l.a r.a
?~ r.a l.a
?: (vor p.n.l.a p.n.r.a)
@ -2620,7 +2620,7 @@
::
+- dif :: difference
~/ %dif
|* b+$_(a)
|* b+_a
|- ^+ a
?~ b
a
@ -2628,7 +2628,7 @@
?> ?=(^ c)
=+ d=$(a l.c, b l.b)
=+ e=$(a r.c, b r.b)
|- ^- {$?($~ $_(a))}
|- ^- {$?($~ _a)}
?~ d e
?~ e d
?: (vor p.n.d p.n.e)
@ -2648,7 +2648,7 @@
+- gas :: concatenate
~/ %gas
|* b+(list {p+* q+*})
=> .(b `(list $_(?>(?=(^ a) n.a)))`b)
=> .(b `(list _?>(?=(^ a) n.a))`b)
|- ^+ a
?~ b
a
@ -2657,7 +2657,7 @@
+- get :: grab value by key
~/ %get
|= b+*
^- {$@($~ {$~ u+$_(?>(?=(^ a) q.n.a))})}
^- {$@($~ {$~ u+_?>(?=(^ a) q.n.a)})}
?~ a
~
?: =(b p.n.a)
@ -2678,7 +2678,7 @@
::
+- int :: intersection
~/ %int
|* b+$_(a)
|* b+_a
|- ^+ a
?~ b
~
@ -2697,7 +2697,7 @@
%- uni(+< $(b r.b, a [n.a ~ r.a])) $(a l.a)
::
+- mar :: add with validation
|* {b+$_(?>(?=(^ a) p.n.a)) c+(unit $_(?>(?=(^ a) q.n.a)))}
|* {b+_?>(?=(^ a) p.n.a) c+(unit _?>(?=(^ a) q.n.a))}
?~ c
(del b)
(put b u.c)
@ -2725,7 +2725,7 @@
[n.d [n.a l.a l.d] r.d]
::
+- rep :: replace by product
|* b+$_(|=({* *} +<+))
|* b+_|=({* *} +<+)
|-
?~ a +<+.b
$(a r.a, +<+.b $(a l.a, +<+.b (b n.a +<+.b)))
@ -2748,7 +2748,7 @@
::
+- tap :: listify pairs
~/ %tap
|= b+(list $_(?>(?=(^ a) n.a)))
|= b+(list _?>(?=(^ a) n.a))
^+ b
?~ a
b
@ -2756,7 +2756,7 @@
::
+- uni :: union, merge
~/ %uni
|* b+$_(a)
|* b+_a
|- ^+ a
?~ b
a
@ -2804,12 +2804,12 @@
+((max $(a l.a) $(a r.a)))
::
+- gas :: insert list to que
|= b+(list $_(?>(?=(^ a) n.a)))
|= b+(list _?>(?=(^ a) n.a))
|- ^+ a
?~(b a $(b t.b, a (put(+< a) i.b)))
::
+- get :: head-tail pair
|- ^+ ?>(?=(^ a) [p=n.a q=*(qeu $_(n.a))])
|- ^+ ?>(?=(^ a) [p=n.a q=*(qeu _n.a)])
?~ a
!!
?~ r.a
@ -2834,7 +2834,7 @@
bal(+< a(l $(a l.a)))
::
+- tap :: adds list to end
|= b+(list $_(?>(?=(^ a) n.a)))
|= b+(list _?>(?=(^ a) n.a))
=+ z=0 :: XX breaks jet match
^+ b
?~ a
@ -2842,7 +2842,7 @@
$(a r.a, b [n.a $(a l.a)])
::
+- top :: produces head
|- ^- (unit $_(?>(?=(^ a) n.a)))
|- ^- (unit _?>(?=(^ a) n.a))
?~ a ~
?~(r.a [~ n.a] $(a r.a))
--
@ -2853,20 +2853,20 @@
|* a+(pole ^)
=> .(a ^.(|*(a+$@($~ ^) ?~(a ~ [i=-.a t=$(a +.a)])) a))
=> .(a ^.(homo a))
=> .(a `(list {p+$_(-<.a) q+$_(->.a)})`a)
=+ b=*(map $_(?>(?=(^ a) p.i.a)) $_(?>(?=(^ a) q.i.a)))
=> .(a `(list {p+_-<.a q+_->.a})`a)
=+ b=*(map _?>(?=(^ a) p.i.a) _?>(?=(^ a) q.i.a))
(~(gas by b) a)
::
++ sa :: make a set
|* a+(list)
=> .(a `$_((homo a))`a)
=+ b=*(set $_(?>(?=(^ a) i.a)))
=> .(a `_(homo a)`a)
=+ b=*(set _?>(?=(^ a) i.a))
(~(gas in b) a)
::
++ qu :: qeu from list
|* a+(list)
=> .(a `$_((homo a))`a)
=+ b=*(qeu $_(?>(?=(^ a) i.a)))
=> .(a `_(homo a)`a)
=+ b=*(qeu _?>(?=(^ a) i.a))
(~(gas to b) a)
:::::::::::::::::::::::::::::::::::::::::::::::::::::: ::
:::: chapter 2e, miscellaneous libs ::::
@ -2983,7 +2983,7 @@
|* huf+*
~/ %fun
|= tub+nail
^- (like $_(huf))
^- (like _huf)
[p=p.tub q=[~ u=[p=huf q=tub]]]
::
++ fail |=(tub+nail [p=p.tub q=~]) :: never parse
@ -3000,7 +3000,7 @@
::
++ here :: place-based apply
~/ %here
|* {hez+$_(|=({a+pint b+*} [a b])) sef+rule}
|* {hez+_|=({a+pint b+*} [a b]) sef+rule}
~/ %fun
|= tub+nail
=+ vex=(sef tub)
@ -3051,9 +3051,9 @@
(next tub)
::
++ knee :: callbacks
|* {gar+* sef+$_(|.(*rule))}
|* {gar+* sef+_|.(*rule)}
|= tub+nail
^- (like $_(gar))
^- (like _gar)
((sef) tub)
::
++ mask :: match char in set
@ -3125,7 +3125,7 @@
?@(wan (lth ort wan) (lth ort -.wan))
?@(wan (lth +.ort wan) (lth +.ort -.wan))
=+ ^= hel :: build parser map
=+ hel=`(tree $_(?>(?=(^ leh) i.leh)))`~
=+ hel=`(tree _?>(?=(^ leh) i.leh))`~
|- ^+ hel
?~ leh
~
@ -3162,10 +3162,10 @@
::
++ stir
~/ %stir
|* {rud+* raq+$_(|*({a+* b+*} [a b])) fel+rule}
|* {rud+* raq+_|*({a+* b+*} [a b]) fel+rule}
~/ %fun
|= tub+nail
^- (like $_(rud))
^- (like _rud)
=+ vex=(fel tub)
?~ q.vex
[p.vex [~ rud tub]]
@ -3176,7 +3176,7 @@
++ stun :: parse several times
|* {{les+@ mos+@} fel+rule}
|= tub+nail
^- (like (list $_((wonk (fel)))))
^- (like (list _(wonk (fel))))
?: =(0 mos)
[p.tub [~ ~ tub]]
=+ vex=(fel tub)
@ -3197,7 +3197,7 @@
::
++ bend :: conditional comp
~/ %bend
|* raq+$_(|*({a+* b+*} [~ u=[a b]]))
|* raq+_|*({a+* b+*} [~ u=[a b]])
~/ %fun
|* {vex+edge sab+rule}
?~ q.vex
@ -3213,7 +3213,7 @@
::
++ comp
~/ %comp
|* raq+$_(|*({a+* b+*} [a b])) :: arbitrary compose
|* raq+_|*({a+* b+*} [a b]) :: arbitrary compose
~/ %fun
|* {vex+edge sab+rule}
?~ q.vex
@ -3318,13 +3318,13 @@
++ plus |*(fel+rule ;~(plug fel (star fel)))
++ punt |*({a+rule} ;~(pose (stag ~ a) (easy ~)))
++ slug
|* raq+$_(|*({a+* b+*} [a b]))
|* raq+_|*({a+* b+*} [a b])
|* {bus+rule fel+rule}
;~((comp raq) fel (stir +<+.raq raq ;~(pfix bus fel)))
::
++ star :: 0 or more times
|* fel+rule
(stir `(list $_((wonk *fel)))`~ |*({a+* b+*} [a b]) fel)
(stir `(list _(wonk *fel))`~ |*({a+* b+*} [a b]) fel)
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 2eF, parsing (ascii) ::
::
@ -3795,7 +3795,7 @@
[(runt [tab ' '] hom) lug]
=> .(tab (add tab 2), edg (sub edg 2))
=+ mut=(trim (sub edg tab) hom)
:- (runt [(sub tab 2) ' '] ['\\' '/' (weld p.mut `$_(hom)`['\\' '/' ~])])
:- (runt [(sub tab 2) ' '] ['\\' '/' (weld p.mut `_hom`['\\' '/' ~])])
=> .(hom q.mut)
|-
?~ hom
@ -4698,7 +4698,7 @@
::
++ mule :: typed virtual
~/ %mule
|* taq+$_(|.(**))
|* taq+_|.(**)
=+ mud=(mute taq)
?- -.mud
{$&} [%& p=$:taq] :: XX transition
@ -4706,7 +4706,7 @@
==
::
++ mute :: untyped virtual
|= taq+$_(^?(|.(**)))
|= taq+_^?(|.(**))
^- (each * (list tank))
=+ ton=(mock [taq 9 2 0 1] |=(* ~))
?- -.ton
@ -4745,12 +4745,12 @@
|* {hel+(list) hev+(list)}
|- ^+ hev
=+ ^= sev
=+ [inx=0 sev=*(map $_(i.-.hev) (list @ud))]
=+ [inx=0 sev=*(map _i.-.hev (list @ud))]
|- ^+ sev
?~ hev sev
=+ guy=(~(get by sev) i.hev)
$(hev t.hev, inx +(inx), sev (~(put by sev) i.hev [inx ?~(guy ~ u.guy)]))
=| gox+{p+@ud q+(map @ud {p+@ud q+$_(hev)})}
=| gox+{p+@ud q+(map @ud {p+@ud q+_hev})}
=< abet
=< main
|%
@ -4875,7 +4875,7 @@
++ lurk :: apply list patch
|* {hel+(list) rug+(urge)}
^+ hel
=+ war=`$_(hel)`~
=+ war=`_hel`~
|- ^+ hel
?~ rug (flop war)
?- -.i.rug
@ -4900,14 +4900,14 @@
++ lusk :: lcs to list patch
|* {hel+(list) hev+(list) lcs+(list)}
=+ ^= rag
^- {$%({$& p+@ud} {$| p+$_(lcs) q+$_(lcs)})} :: XX translation
^- {$%({$& p+@ud} {$| p+_lcs q+_lcs})} :: XX translation
[%& 0]
=> .(rag [p=rag q=*(list $_(rag))])
=> .(rag [p=rag q=*(list _rag)])
=< abet =< main
|%
++ abet =.(q.rag ?:(=([& 0] p.rag) q.rag [p.rag q.rag]) (flop q.rag))
++ done
|= new+$_(p.rag)
|= new+_p.rag
^+ rag
?- -.p.rag
$| ?- -.new
@ -7288,7 +7288,7 @@
$(q.gen t.q.gen)
::
{$wtls *}
[%wthp p.gen (weld r.gen `$_(r.gen)`[[[%cbzz %noun] q.gen] ~])]
[%wthp p.gen (weld r.gen `_r.gen`[[[%cbzz %noun] q.gen] ~])]
::
{$wtpm *}
|-
@ -8888,7 +8888,7 @@
==
::
++ reco
|* fuy+$_(|=(p+type p))
|* fuy+_|=(p+type p)
=+ por=repo
=+ yot=(fuy por)
?: =(yot por)
@ -9006,7 +9006,7 @@
[*(unit axis) ~]
=+ geq=(tack(sut p.i.men) peh mur)
=+ mox=$(men t.men)
[(mate p.mox `$_(p.mox)`[~ p.geq]) [[q.geq q.i.men] q.mox]]
[(mate p.mox `_p.mox`[~ p.geq]) [[q.geq q.i.men] q.mox]]
::
++ wrap
~/ %wrap
@ -9062,7 +9062,7 @@
$(gen q.gen)
?. ?=({$clsg *} gen) ~
%+ reel p.gen
|= {a+twig b+$_(`(unit path)`[~ u=/])}
|= {a+twig b+_`(unit path)`[~ u=/]}
?~ b ~
?. ?=($dtzy -.a) ~
`[q.a u.b]
@ -9608,12 +9608,12 @@
==
|%
++ toad
|* har+$_(exqa)
|* har+_exqa
=+ dur=(ifix [pel per] $:har(tol |))
?:(tol ;~(pose ;~(pfix gap $:har(tol &)) dur) dur)
::
++ rung
|* {dif+rule tuq+* har+$_(exqa)}
|* {dif+rule tuq+* har+_exqa}
;~(pfix dif (stag tuq (toad har)))
::
++ gunk ~+((glue muck))
@ -9830,12 +9830,12 @@
(most muck boog)
::
++ toad :: untrap parser exp
|* har+$_(expa)
|* har+_expa
=+ dur=(ifix [pel per] $:har(tol |))
?:(tol ;~(pose ;~(pfix gap $:har(tol &)) dur) dur)
::
++ rune :: build rune
|* {dif+rule tuq+* har+$_(expa)}
|* {dif+rule tuq+* har+_expa}
;~(pfix dif (stag tuq (toad har)))
::
++ glop ~+((glue mash)) :: separated by space
@ -10675,7 +10675,7 @@
?: &(?=(^ pux) ?=($~ hen))
[[[[lal u.pux] (curd +>.hil)]~ ~] niz]
=+ naf=q.niz
|- ^- {{p+(list ovum) q+(list muse)} $_(niz)}
|- ^- {{p+(list ovum) q+(list muse)} _niz}
?~ naf [[~ ~] [p.niz ~]]
?. =(lal p.i.naf)
=+ tuh=$(naf t.naf)
@ -10685,7 +10685,7 @@
::
++ jack :: dispatch card
|= {lac+? gum+muse}
^- {{p+(list ovum) q+(list muse)} $_(niz)}
^- {{p+(list ovum) q+(list muse)} _niz}
:: =. lac |(lac ?=(?(%g %f) p.gum))
:: =. lac &(lac !?=($b p.gum))
%+ fire
@ -10740,13 +10740,13 @@
== ::
=< |%
++ come |= {@ (list ovum) pone} :: 11
^- {(list ovum) $_(+>)}
^- {(list ovum) _+>}
~& %hoon-come
=^ rey +>+ (^come +<)
[rey +>.$]
++ keep |=(* (^keep ((hard {@da path}) +<))) :: 4
++ load |= {@ (list ovum) pane} :: 86
^- {(list ovum) $_(+>)}
^- {(list ovum) _+>}
~& %hoon-load
=^ rey +>+ (^load +<)
[rey +>.$]
@ -10825,7 +10825,7 @@
|= {now+@da ovo+ovum}
=. eny (mix eny (shax now))
:: ~& [%poke -.q.ovo]
^- {(list ovum) $_(+>)}
^- {(list ovum) _+>}
=^ zef niz
(~(hurl (is vil eny bud niz) now) lac ovo)
[zef +>.$]

24
arvo/zuse.hoon
View File

@ -51,7 +51,7 @@
::
++ crua !: :: cryptosuite A (RSA)
^- acru
=| {mos+@ pon+(unit {p+@ q+@ r+{p+@ q+@} s+$_(*fu)})}
=| {mos+@ pon+(unit {p+@ q+@ r+{p+@ q+@} s+_*fu})}
=> |%
++ mx (dec (met 0 mos)) :: bit length
++ dap :: OEAP decode
@ -426,10 +426,10 @@
++ stud !: :: parse UTC format
=< |= a+cord :: expose parsers
%+ biff (rush a (more sepa elem))
|= b+(list $_((wonk *elem))) ^- (unit date)
|= b+(list _(wonk *elem)) ^- (unit date)
=- ?.((za:jo -) ~ (some (zp:jo -)))
^+ =+ [*date u=unit]
*{(u $_([a y])) (u $_(m)) (u $_(d.t)) (u $_(+.t)) $~}
*{(u _[a y]) (u _m) (u _d.t) (u _+.t) $~}
:~ :: XX types
|-(?~(b ~ ?.(?=($y -.i.b) $(b t.b) `+.i.b)))
|-(?~(b ~ ?.(?=($m -.i.b) $(b t.b) `+.i.b)))
@ -630,7 +630,7 @@
::
++ poxo :: node to tape
=< |=(a+manx `tape`(apex a ~))
|_ $_([unq=`?`| cot=`?`|]) :: self-close all tags
|_ _[unq=`?`| cot=`?`|] :: self-close all tags
++ apex :: top level
|= {mex+manx rez+tape}
^- tape
@ -701,7 +701,7 @@
::
++ poxa :: xml parser
=< |=(a+cord (rush a apex))
|_ ent+$_(`(map term @t)`[[%apos '\''] ~ ~])
|_ ent+_`(map term @t)`[[%apos '\''] ~ ~]
++ apex
=+ spa=;~(pose comt whit)
%+ knee *manx |. ~+
@ -880,8 +880,8 @@
|* {fel+rule wit+fist}
%+ cu mo
%- ci :_ (om wit)
|= a+(map cord $_((need *wit)))
^- (unit (list $_([(wonk *fel) (need *wit)])))
|= a+(map cord _(need *wit))
^- (unit (list _[(wonk *fel) (need *wit)]))
=- (zl (turn (~(tap by a)) -))
|* {a+cord b+*}
=+ nit=(rush a fel)
@ -932,7 +932,7 @@
::
++ zm :: collapse unit map
|* lum+(map term (unit))
?: (~(rep by lum) |=({{@ a+(unit)} b+$_(|)} |(b ?=($~ a))))
?: (~(rep by lum) |=({{@ a+(unit)} b+_|} |(b ?=($~ a))))
~
(some (~(run by lum) need))
--
@ -974,11 +974,11 @@
==
::
++ scanf :: formatted scan
|* {tape (pole $_(:/(*{$^(rule tape)})))}
|* {tape (pole _:/(*{$^(rule tape)}))}
=> .(+< [a b]=+<)
(scan a (parsf b))
++ parsf :: make parser from:
|^ |* a+(pole $_(:/(*{$^(rule tape)}))) :: ;"chars{rule}chars"
|^ |* a+(pole _:/(*{$^(rule tape)})) :: ;"chars{rule}chars"
%- cook :_ (bill (norm a))
|* (list)
?~ +< ~
@ -987,7 +987,7 @@
::
:: .= (norm [;"{n}, {n}"]:n=dim:ag) ~[[& dim] [| ", "] [& dim]]:ag
++ norm
|* (pole $_(:/(*{$^(rule tape)})))
|* (pole _:/(*{$^(rule tape)}))
?~ +< ~
=> .(+< [i=+<- t=+<+])
:_ t=$(+< t)
@ -1206,7 +1206,7 @@
?~ +.b
^- (unit (odo:raid -.b))
?^(+.a ~ hed)
^- (unit {(odo:raid -.b) $_((need *(..^$ +.b)))})
^- (unit {(odo:raid -.b) _(need *(..^$ +.b))})
(both hed ((..^$ +.b) +.a))
::
++ urle :: URL encode

36
lib/down-jet/parse.hoon
View File

@ -4,7 +4,7 @@
::
=+ =~
|%
++ loca |*(a+$_(*) {p+@u q+a})
++ loca |*(a+_* {p+@u q+a})
++ stack (list (loca tops))
--
|%
@ -68,7 +68,7 @@
++ pech
|* a+{rule rule}
|= tub+nail
^- (like (each $_((wonk (-.a))) $_((wonk (+.a)))))
^- (like (each _(wonk (-.a)) _(wonk (+.a))))
%. tub
;~(pose (stag %& -.a) (stag %| +.a))
::
@ -222,7 +222,7 @@
|=({a+kids b+{tape (unit tape)}} [[%blot b] a])
::
++ mail
%+ cook |=($_([a="" b='' c="" d=*wall]) :(welp a b^c (zing d)))
%+ cook |=(_[a="" b='' c="" d=*wall] :(welp a b^c (zing d)))
;~ plug
(plus ;~(less (mask "\"\\ (),:;<>@[]") prn))
pat
@ -237,7 +237,7 @@
::
=+ cha=;~(pose htm-enty ;~(less (mask "<> ") prn))
%+ cook
|= a+$_(["" ""])
|= a+_["" ""]
[link/[(weld a) ~] ~[`(weld a)]]
;~(plug uri-skem col (star cha))
==
@ -294,7 +294,7 @@
?+ -.i.a [i.a $(a t.a)]
$$
?~ t.a a
?: ?=($_(-.i.a) -.i.t.a)
?: ?=(_-.i.a -.i.t.a)
$(a t.a(p.i (weld p.i.a p.i.t.a)))
[i.a $(a t.a)]
==
@ -310,7 +310,7 @@
[[%$ -.a] +.a]
::
++ veld
|= {a+$@(char inline) $_([b c]=*nuft)}
|= {a+$@(char inline) _[b c]=*nuft}
^- nuft
:_ c
?@ a
@ -386,7 +386,7 @@
$(+<+ t)
::
++ flome
|= a+$_(+:*nuft)
|= a+_+:*nuft
^- {(unit ?($| fens)) tape}
?. ?=({* ?($| fens)} a)
[~ a]
@ -422,7 +422,7 @@
?. (ends [p]~ t)
next
=+ [a tak]=pull
=> .(t `$_("")`t) :: XX do type stuff
=> .(t `_""`t) :: XX do type stuff
=^ b t (flome tak)
?~ b
(push (empa a))
@ -447,7 +447,7 @@
++ accepting ?($para $code)
++ list-nest :: can add list item?
=+ sam=[?>(?=($list -.p..) p..)]:(tops [%list ~]~) :: XX do type stuff
|= {a+$_(sam) b+$_(sam)} ^- ?
|= {a+_sam b+_sam} ^- ?
.= ?@(q.a q.a q.q.a) :: by checking delimiter characters
?@(q.b q.b q.q.b)
::
@ -458,7 +458,7 @@
::
++ closes-code
=+ sam=[?>(?=($code -) p..)]:(node [%code ~]) :: XX do type stuff
|= {a+$_(sam) b+$_(sam)}
|= {a+_sam b+_sam}
?~ a ?=($~ b)
?~ b |
?^ r.u.b |
@ -590,10 +590,10 @@
{sap+@u nod+node} :: spacing currrent leaf block
cur+stack :: stack of nested current blocks
==
{bun+$_(|) hat+$_(|)} :: prev blank? halt?
{bun+_| hat+_|} :: prev blank? halt?
ref+(map cord {p+tape q+(unit tape)}) :: link references
==
|^ ^- (like $_(top))
|^ ^- (like _top)
?. hat
$:eat-line
?^ cur
@ -609,7 +609,7 @@
++ debu [&2 &2.-]:&2
::
++ proc-inline :: parse inline kids
|= pac+$_(pars:inli) :: cache
|= pac+_pars:inli :: cache
|= a+elem
?^ -.a a(q (flop (turn q.a ..$)))
?+ -.a a
@ -627,7 +627,7 @@
::
++ snack :: advance by parser
|* a+rule
^- {(unit $_((wonk (a)))) nail}
^- {(unit _(wonk (a))) nail}
=+ vex=(a tub)
?~ q.vex [~ tub]
[`p q]:u.q.vex
@ -721,7 +721,7 @@
==
::
++ push :: open block
|= nit+(loca $_(p:*tops)) ^+ +>
|= nit+(loca _p:*tops) ^+ +>
=. self cull
=+ toz=[q.nit ~]
?. ?=({$list ^} q.nit)
@ -769,7 +769,7 @@
::
++ delist (pop-til top-list):bye
++ debloq
|= ruc+$_((flop cur))
|= ruc+_(flop cur)
^+ self
?~ ruc self
?. ?=($bloq -.p.q.i.ruc)
@ -786,7 +786,7 @@
?. ?=($item -.p.q.i.cur)
(. cur)
[i.cur (. t.cur)]
|= a+$_(cur) ^+ a
|= a+_cur ^+ a
~? > bug naro/[debu nil-li a cur]
?~ a a
?: ?=({{$item $~} $~} q.i.a)
@ -832,7 +832,7 @@
++ eat
|%
++ sepa :: consume blank line
|= ruc+$_((flop cur)) ^+ self
|= ruc+_(flop cur) ^+ self
?: ?=({$code ^ *} nod) :: ignore in blocks
self
=^ buf tub (snack ;~(sfix (star ace) nal))

10
lib/down-jet/rend.hoon
View File

@ -15,7 +15,7 @@
%- weld :_ $(a t.a)
^- tape
?~ n.g.i.a
?>(?=($_(:/(**)) i.a) v.i.a.g.i.a)
?>(?=(_:/(**) i.a) v.i.a.g.i.a)
?+ n.g.i.a $(a c.i.a)
$img
%- zing ^- wall
@ -60,7 +60,7 @@
(weld p.a $(lum q.a))
::
++ apex
^- {p+marl q+$_(lum)}
^- {p+marl q+_lum}
?~ lum
?~ had [~ ~]
(lose "unclosed {<u.had>}")
@ -93,7 +93,7 @@
++ lose |=(a+tape [[;lost:"{a}"]~ lum])
++ chomp
|* {tap+tape fel+rule}
^- {(unit $_((wonk *fel))) $_(lum)}
^- {(unit _(wonk *fel)) _lum}
=+ vex=(fel 1^1 tap)
?~ q.vex [~ lum]
:- [~ (wonk vex)]
@ -157,7 +157,7 @@
(weld p.a $(lim q.a))
::
++ apex
^- {p+marl q+$_(lim)}
^- {p+marl q+_lim}
?~ lim
?~ had [~ ~]
(lose "unclosed {<u.had>}")
@ -188,7 +188,7 @@
++ lose |=(a+tape [[;lost:"{a}"]~ lim])
++ chomp
|* {tap+tape fel+rule}
^- {(unit $_((wonk *fel))) $_(lim)}
^- {(unit _(wonk *fel)) _lim}
=+ vex=(fel 1^1 tap)
?~ q.vex [~ lim]
:- [~ (wonk vex)]

10
lib/drum.hoon
View File

@ -25,7 +25,7 @@
cas+case :: boot case
== ::
++ source :: input device
$: edg+$_(80) :: terminal columns
$: edg+_80 :: terminal columns
off+@ud :: window offset
kil+(unit (list @c)) :: kill buffer
inx+@ud :: ring index
@ -243,7 +243,7 @@
^+ .
%+ roll (~(tap in ray))
=< .(con +>)
|= {wel+well con+$_(..se-adit)} ^+ con
|= {wel+well con+_..se-adit} ^+ con
=. +>.$ con
=+ hig=(~(get by fur) q.wel)
?: &(?=(^ hig) |(?=($~ u.hig) =(p.wel syd.u.u.hig))) +>.$
@ -255,7 +255,7 @@
^+ .
%+ roll (~(tap in eel))
=< .(con +>)
|= {gil+gill con+$_(.)} ^+ con
|= {gil+gill con+_.} ^+ con
=. +>.$ con
?: (~(has by fug) gil)
+>.$
@ -267,7 +267,7 @@
^+ .
%- ~(rep by bin)
=< .(con +>)
|= {{ost+bone dev+source} con+$_(.)} ^+ con
|= {{ost+bone dev+source} con+_.} ^+ con
=+ xeno=se-subze-local:%_(con ost ost, dev dev)
xeno(ost ost.con, dev dev.con, bin (~(put by bin) ost dev.xeno))
::
@ -275,7 +275,7 @@
^+ .
%- ~(rep by fug)
=< .(con +>)
|= {{gil+gill *} con+$_(.)} ^+ con
|= {{gil+gill *} con+_.} ^+ con
=. +>.$ con
?: (~(has in eel) gil)
+>.$

12
lib/react.hoon
View File

@ -41,14 +41,14 @@
::
++ react-to-json
|= src+manx ^- json
?: ?=($_(:/(**)) src)
?: ?=(_:/(**) src)
(jape v.i.a.g.src)
=+ atr=(mo a.g.src)
?: (~(has by atr) [%urb %codemirror])
?> ?=({{$pre *} $_(:/(**)) $~} src)
?> ?=({{$pre *} _:/(**) $~} src)
$(src ;codemirror(value "{v.i.a.g.i.c.src}");)
?: (~(has by atr) [%urb %exec]) :: runnable code attribute tag
?> ?=({{$pre *} $_(:/(**)) $~} src) :: verify its only a text node
?> ?=({{$pre *} _:/(**) $~} src) :: verify its only a text node
=* code v.i.a.g.i.c.src
%_ $
src
@ -82,10 +82,10 @@
++ react-to-tape
|= src+manx ^- tape
?: (~(has by (mo a.g.src)) [%urb %codemirror])
?> ?=({{$pre *} $_(:/(**)) $~} src)
?> ?=({{$pre *} _:/(**) $~} src)
$(src ;codemirror(value "{v.i.a.g.i.c.src}");)
?: (~(has by (mo a.g.src)) [%urb %exec]) :: runnable code attribute tag
?> ?=({{$pre *} $_(:/(**)) $~} src) :: verify its only a text node
?> ?=({{$pre *} _:/(**) $~} src) :: verify its only a text node
=* code v.i.a.g.i.c.src
=+ ^= result
(mule |.((slap !>(.) (ream (crip code))))) :: compile and run safely
@ -124,7 +124,7 @@
", "
=< ~(ram re %rose [", " "[" "]"] (turn c.src .))
|= a+manx
?: ?=($_(:/(**)) a)
?: ?=(_:/(**) a)
leaf/(pojo (jape v.i.a.g.a))
leaf/^$(src a)
")"

2
lib/sole.hoon
View File

@ -14,7 +14,7 @@
^+ +>
?- -.ted
$del +>.$(buf (weld (scag p.ted buf) (slag +(p.ted) buf)))
$ins +>.$(buf (weld (scag p.ted buf) `$_(buf)`[q.ted (slag p.ted buf)]))
$ins +>.$(buf (weld (scag p.ted buf) `_buf`[q.ted (slag p.ted buf)]))
$mor |- ^+ +>.^$
?~ p.ted
+>.^$

2
lib/tree.hoon
View File

@ -5,7 +5,7 @@
|= a+marl ^- tape
?~ a ~
%- weld :_ $(a t.a)
?. ?=($_(:/(**)) i.a)
?. ?=(_:/(**) i.a)
$(a c.i.a)
v.i.a.g.i.a
::

2
mar/mime.hoon
View File

@ -7,7 +7,7 @@
++ grab :: convert from
|%
++ noun mime :: clam from %noun
++ tape |=(a+$_("") [/application/x-urb-unknown (tact a)])
++ tape |=(a+_"" [/application/x-urb-unknown (tact a)])
--
++ grad
|%

2
mar/snip.hoon
View File

@ -24,7 +24,7 @@
?~ mal [lim ~]
?~ lim [0 ~]
=+ ^- {lam+@u hed+manx}
?: ?=($_(:/(**)) i.mal)
?: ?=(_:/(**) i.mal)
[lim :/(tay)]:(deword lim v.i.a.g.i.mal)
[rem ele(c res)]:[ele=i.mal $(mal c.i.mal)]
[rem - res]:[hed $(lim lam, mal t.mal)]

14
mar/talk/command.hoon
View File

@ -23,14 +23,14 @@
|* {fel+rule wit+fist}
%+ cu mo
%- ci :_ (om wit)
|= a+(map cord $_((need *wit)))
^- (unit (list $_([(wonk *fel) (need *wit)])))
|= a+(map cord _(need *wit))
^- (unit (list _[(wonk *fel) (need *wit)]))
(zl (turn (~(tap by a)) (head-rush fel)))
::
++ ke :: callbacks
|* {gar+* sef+$_(|.(fist))}
|* {gar+* sef+_|.(fist)}
|= jon+json
^- (unit $_(gar))
^- (unit _gar)
=- ~! gar ~! (need -) -
((sef) jon)
::
@ -38,13 +38,13 @@
:: |*(a=fist (cu sa (ar a))) :: XX types
|* a+fist
%- cu :_ (ar a)
~(gas in *(set $_((need *a))))
~(gas in *(set _(need *a)))
::
++ lake |*(a+$_(*) $+(json (unit a)))
++ lake |*(a+_* $+(json (unit a)))
++ peach
|* a+{rule rule}
|= tub+nail
^- (like (each $_((wonk (-.a))) $_((wonk (+.a)))))
^- (like (each _(wonk (-.a)) _(wonk (+.a))))
%. tub
;~(pose (stag %& -.a) (stag %| +.a))
::

8
mar/talk/report.hoon
View File

@ -46,13 +46,13 @@
:: [%a (turn (~(tap in b)) a)]
::
++ jome :: stringify keys
|* {a+$_(cord) b+$_(json)}
|= c+(map $_(+<.a) $_(+<.b))
|* {a+_cord b+_json}
|= c+(map _+<.a _+<.b)
(jobe (turn (~(tap by c)) (both a b)))
::
++ both :: cons two gates
|* {a+$_(*) b+$_(*)}
|=(c+$_([+<.a +<.b]) [(a -.c) (b +.c)])
|* {a+_* b+_*}
|=(c+_[+<.a +<.b] [(a -.c) (b +.c)])
::
::
++ nack |=(a+(set (set partner)) [%a (turn (~(tap in a)) sorc)])

22
mar/talk/telegrams.hoon
View File

@ -14,7 +14,7 @@
:: |*(a+fist (cu sa (ar a))) :: XX types
|* a+fist
%- cu :_ (ar a)
~(gas in *(set $_((need *a))))
~(gas in *(set _(need *a)))
++ ot
|* a+(pole {@tas fist})
|= b+json
@ -154,24 +154,24 @@
|* {fel+rule wit+fist}
%+ cu mo
%- ci :_ (om wit)
|= a+(map cord $_((need *wit)))
^- (unit (list $_([(wonk *fel) (need *wit)])))
|= a+(map cord _(need *wit))
^- (unit (list _[(wonk *fel) (need *wit)]))
(zl (turn (~(tap by a)) (head-rush fel)))
::
++ as :: array as set
:: |*(a+fist (cu sa (ar a))) :: XX types
|* a+fist
%- cu :_ (ar a)
~(gas in *(set $_((need *a))))
~(gas in *(set _(need *a)))
::
++ ke :: callbacks
|* {gar+* sef+$_(|.(fist))}
|* {gar+* sef+_|.(fist)}
|= jon+json
^- (unit $_(gar))
^- (unit _gar)
=- ~! gar ~! (need -) -
((sef) jon)
::
++ lake |*(a+$_(*) $+(json (unit a)))
++ lake |*(a+_* $+(json (unit a)))
++ head-rush
|* a+rule
|* {b+cord c+*}
@ -248,13 +248,13 @@
++ joke |=(a+tank [%s (role (turn (wash 0^80 a) crip))])
++ jode |=(a+time (jone (div (mul (sub a ~1970.1.1) 1.000) ~s1)))
++ jome :: stringify keys
|* {a+$_(cord) b+$_(json)}
|= c+(map $_(+<.a) $_(+<.b))
|* {a+_cord b+_json}
|= c+(map _+<.a _+<.b)
(jobe (turn (~(tap by c)) (both a b)))
::
++ both :: cons two gates
|* {a+$_(*) b+$_(*)}
|=(c+$_([+<.a +<.b]) [(a -.c) (b +.c)])
|* {a+_* b+_*}
|=(c+_[+<.a +<.b] [(a -.c) (b +.c)])
::
++ thot
|= thought

2
mar/work/command.hoon
View File

@ -17,7 +17,7 @@
:: |*(a+fist (cu sa (ar a))) :: XX types
|* a+fist
%- cu :_ (ar a)
~(gas in *(set $_((need *a))))
~(gas in *(set _(need *a)))
++ ot
|* a+(pole {@tas fist})
|= b+json

4
sur/sole.hoon
View File

@ -81,7 +81,7 @@
{$get $+((sole-args) (sole-request (cask)))} :: scraper
== ::
++ sole-args :: generator arguments
|* $_([* *]) ::
|* _[* *] ::
{{now+@da eny+@uvI bek+beak} {+<- +<+}} ::
:: ::
:: ::
@ -99,7 +99,7 @@
[p=*(list tank) q=[%| p=pom q=mor]] ::
:: ::
++ sole-at :: fetch url
|* {pul+$_(purl) fun+$+(httr *)} ::
|* {pul+_purl fun+$+(httr *)} ::
[p=*(list tank) q=[%| p=[pul %get ~ ~] q=fun]] ::
:: ::
++ sole-no :: empty result

2
sur/work.hoon
View File

@ -10,7 +10,7 @@
sort+(list @uvH)
==
++ client-task
$: archived+$_(|)
$: archived+_|
audience+(set station:talk)
tax+task
==