urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-13 16:03:36 +03:00
Code Issues Packages Projects Releases Wiki Activity

%batz reasonably healthy on nextbreach.

Browse Source
This commit is contained in:
C. Guy Yarvin 2014-06-05 12:17:25 -07:00
parent 012a0eb34c
commit 90fe034995
7 changed files with 257 additions and 253 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
arvo/ames.hoon
View File

@ -1521,6 +1521,7 @@
?- -.bon ?- -.bon
%beer %beer
:_ fox(zac (~(put by zac.fox) p.bon `corn`[hen ~ ~ ~])) :_ fox(zac (~(put by zac.fox) p.bon `corn`[hen ~ ~ ~]))
:: ~& [%ames-clop p.bon hen]
:* [hen [%slip %c %init p.bon]] :* [hen [%slip %c %init p.bon]]
[hen [%give %init p.bon]] [hen [%give %init p.bon]]
[hen [%slip %a %kick now]] [hen [%slip %a %kick now]]

459
arvo/batz.hoon
View File

@ -8,18 +8,66 @@
:: ::
|% |%
++ ghat :: out result <-$ ++ ghat :: out result <-$
card $% [%crud p=@tas q=(list tank)] :: error with trace
:: [%hail ~] :: refresh
[%helo p=path q=prod] :: trigger prompt
[%init p=@p] :: report install
[%line p=@t] :: source line
[%logo p=@] :: logout
[%note p=@tD q=tank] :: show message
[%save p=path q=@] :: write atomic file
[%send p=lane q=@] :: send packet
[%talk p=tank] :: show on console
[%tell p=(list ,@t)] :: dump lines
[%veer p=@ta q=path r=@t] :: install vane
[%vega p=path] :: reboot by path
[%warn p=tape] :: syslog
== ::
++ kiss :: in request ->$ ++ kiss :: in request ->$
card $% [%crud p=@tas q=(list tank)] :: error with trace
:: [%hail ~] :: refresh
[%init p=@p] :: report install
[%kill p=~] :: kill a task
[%line p=@t] :: source line
[%ling ~] :: rotate interface
[%limn ~] :: rotate ship
[%make p=(unit ,@t) q=@ud r=@ s=?] :: wild license
[%noop ~] :: no operation
[%sith p=@p q=@uw r=?] :: imperial generator
[%wake ~] :: timer activate
[%wart p=sock q=@tas r=path s=*] :: network request
== ::
++ flog :: sent to %dill
$% [%crud p=@tas q=(list tank)] ::
[%text p=tape] ::
== ::
++ move ,[p=duct q=(mold newt ghat)] :: local move ++ move ,[p=duct q=(mold newt ghat)] :: local move
::
++ newt :: out request $-> ++ newt :: out request $->
card $% ::
:: [%band p=ship q=(list rout)] :: to %eyre
[%flog p=flog] :: to %dill
[%hail ~] :: to %batz
[%info p=@p q=@tas r=nori] :: to %clay
[%line p=@t] :: to %batz
[%make p=(unit ,@t) q=@ud r=@ s=?] :: to %ames
[%sith p=@p q=@uw r=?] :: to %ames
[%that p=@ud q=love] :: to %eyre
[%them p=(unit hiss)] :: to %eyre
[%want p=sock q=path r=*] :: to %ames
[%warp p=sock q=riff] :: to %clay
== ::
++ sign :: in result $-< ++ sign :: in result $-<
card $% [%crud p=@tas q=(list tank)] :: by any
[%hail ~] :: refresh
[%init p=@p] :: by %ames
[%note p=@tD q=tank] :: by %clay
[%pipe p=(unit ,[p=tutu q=(list)])] :: by %batz
[%send p=lane q=@] :: by %ames
[%thou p=httr] :: by %eyre
[%waft p=sock q=*] :: by %ames
[%went p=ship q=cape] :: by %ames
[%writ p=riot] :: by %clay
== ::
-- --
|% |%
++ bard :: new session ++ bard :: new session
@ -32,6 +80,23 @@
p.sur 1 p.sur 1
p.god 1 p.god 1
== ==
++ beau ,[p=(unit ,@ud) q=(map wire goal) r=boor] :: next/want/thread
++ beef :: raw product
$: p=(list gilt) :: actions
q=(list slip) :: requests
r=boar :: state
== ::
++ boar :: execution instance
$% [%n p=(unit coal) q=claw r=lath] :: new/ready
[%r p=(unit worm)] :: running/done
[%t p=coal] :: simple filter
== ::
++ boor :: new thread
$: p=(map ,@ud kite) :: dependencies
q=(qeu ,[p=wire q=?(sign kiss)]) :: waiting cards
r=(qeu ,[p=wire q=nose]) :: pending notes
s=boar :: execution
== ::
++ brad :: session/dynamic ++ brad :: session/dynamic
$: fog=(list ,@ud) :: task consoles $: fog=(list ,@ud) :: task consoles
fen=(map ,@tas ,@ud) :: named tasks fen=(map ,@tas ,@ud) :: named tasks
@ -86,6 +151,11 @@
== ==
++ brat ,[[who=ship bran] brad] :: don't ask why ++ brat ,[[who=ship bran] brad] :: don't ask why
++ brim (list ,[p=ship q=brad]) :: session ++ brim (list ,[p=ship q=brad]) :: session
++ gyro ,[p=@ud q=wire r=prod] :: live prompt
++ task ::
$: paq=(qeu gyro) :: prompt queue
wip=[p=@ud q=(map ,@ud beau)] :: processes
== ::
-- :: -- ::
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::: ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 4bB, session engine :: :: section 4bB, session engine ::
@ -162,26 +232,46 @@
[r.fat (past:(fest p.fat hen) q.fat)] [r.fat (past:(fest p.fat hen) q.fat)]
:: ::
++ lean :: lean:be ++ lean :: lean:be
|= [tea=wire hen=duct fav=card] :: deliver card |= [tea=wire hen=duct sin=sign] :: deliver card
^+ *fi ^+ *fi
=+ lay=(lead tea hen) =+ lay=(lead tea hen)
?> ?=([%ma *] p.lay) ?> ?=([%ma *] p.lay)
abet:(glob:q.lay t.p.lay fav) abet:(glob:q.lay t.p.lay sin)
:: ::
++ leap :: leap:be ++ leap :: leap:be
|= [tea=wire hen=duct fav=card] :: handle event |= [tea=wire hen=duct sin=sign] :: accept response
^- [p=(list move) q=brat] ^- [p=(list move) q=brat]
?: ?=([%crud *] fav) ?- -.sin
[[[hen [%slip %d %flog fav]] ~] +<.^^$] %crud [[[hen [%slip %d %flog sin]] ~] +<.^^$]
?+ -.fav %hail [[[hen %give sin] ~] +<.^^$]
[[[hen %give fav] ~] +<.^^$] %init [[[hen %give sin] ~] +<.^^$]
%note [[[hen %give sin] ~] +<.^^$]
%pipe !!
%send [[[hen %give sin] ~] +<.^^$]
%thou ?. (fear tea) :: legit
[~ +<.^^$]
abet:lash:(lean tea hen sin)
%waft :: ~& [%leap-waft sin]
abet:lash:(lean tea hen sin)
%went ?. (fear tea)
~& [%went-fear tea]
[~ +<.^^$]
abet:lash:(lean tea hen sin)
%writ abet:lash:(loam tea hen +.sin)
==
::
++ lear :: lear:be
|= [hen=duct kyz=kiss] :: handle request
^- [p=(list move) q=brat]
?- -.kyz
%crud [[[hen [%slip %d %flog kyz]] ~] +<.^^$]
%hail [[[hen [%give %helo prot]] ~] +<.^^$] %hail [[[hen [%give %helo prot]] ~] +<.^^$]
%line =+ gyp=?>(?=(^ fog) i.fog) %line =+ gyp=?>(?=(^ fog) i.fog)
?: &(=(0 gyp) =(%$ p.fav)) $(fav [%hail ~]) ?: &(=(0 gyp) =(%$ p.kyz)) $(kyz [%hail ~])
=< abet =< abet
?: =(0 gyp) ?: =(0 gyp)
lash:(gill:(fist hen) p.fav) lash:(gill:(fist hen) p.kyz)
lash:(como:(fest gyp hen) p.fav) lash:(como:(fest gyp hen) p.kyz)
%kill =+ gyp=?>(?=(^ fog) i.fog) %kill =+ gyp=?>(?=(^ fog) i.fog)
?: =(0 gyp) [[[hen [%give %logo ~]] ~] +<.^^$] ?: =(0 gyp) [[[hen [%give %logo ~]] ~] +<.^^$]
abet:kill:(fest gyp hen) abet:kill:(fest gyp hen)
@ -189,18 +279,8 @@
=> .(fog (weld t.fog `(list ,@ud)`[i.fog ~])) => .(fog (weld t.fog `(list ,@ud)`[i.fog ~]))
[[[hen [%give %helo prot]] ~] +<.^^$] [[[hen [%give %helo prot]] ~] +<.^^$]
%noop [~ +<.^^$] %noop [~ +<.^^$]
%soft $(fav ((hard card) p.fav)) %wart (lion hen +.kyz)
%thou ?. (fear tea) :: legit ?(%init %limn %make %sith %wake) !! :: handled earlier
[~ +<.^^$]
abet:lash:(lean tea hen fav)
%waft :: ~& [%leap-waft fav]
abet:lash:(lean tea hen fav)
%went ?. (fear tea)
~& [%went-fear tea]
[~ +<.^^$]
abet:lash:(lean tea hen fav)
%writ abet:lash:(loam tea hen +.fav)
%wart (lion hen +.fav)
== ==
:: ::
++ leon :: leon:be ++ leon :: leon:be
@ -269,7 +349,7 @@
:: ::
++ fi :: fi:be ++ fi :: fi:be
|= [gyp=@ud hen=duct gyr=task] :: process task |= [gyp=@ud hen=duct gyr=task] :: process task
=| duv=(list ,[p=duct q=card]) =| duv=(list move)
|% |%
++ abet :: abet:fi:be ++ abet :: abet:fi:be
^- [(list move) brat] :: resolve ^- [(list move) brat] :: resolve
@ -285,8 +365,8 @@
== ==
:_ +<.^^$ :_ +<.^^$
%+ turn %+ turn
(flop `_duv`?:(sam duv [[~ [%helo prot]] duv])) (flop `_duv`?:(sam duv [[~ [%give %helo prot]] duv]))
|=([p=duct q=card] [(weld p hen) [%sick q]]) |=([p=duct q=(mold newt ghat)] [(weld p hen) q])
:: ::
++ bitt |=(lap=path [(scot %ud gyp) lap]) :: bitt:fi:be ++ bitt |=(lap=path [(scot %ud gyp) lap]) :: bitt:fi:be
++ como :: como:fi:be ++ como :: como:fi:be
@ -312,7 +392,7 @@
|= [lap=wire ted=@ud] :: XX ugly |= [lap=wire ted=@ud] :: XX ugly
^+ +> ^+ +>
%= +> %= +>
duv :_(duv [[/b ~] [%hail ~]]) duv :_(duv `move`[~ %toss %b ~ [%hail ~]])
paq.gyr paq.gyr
%- ~(gas to *(qeu gyro)) %- ~(gas to *(qeu gyro))
%+ skip %+ skip
@ -324,7 +404,7 @@
|= [lap=wire ted=@ud pod=prod] :: install prompt |= [lap=wire ted=@ud pod=prod] :: install prompt
^+ +> ^+ +>
%_ +> %_ +>
duv :_(duv [[/b ~] [%hail ~]]) duv :_(duv [~ %toss %b ~ [%hail ~]])
paq.gyr (~(put to paq.gyr) [ted lap pod]) paq.gyr (~(put to paq.gyr) [ted lap pod])
== ==
:: ::
@ -375,7 +455,7 @@
++ warn :: warn:fi:be ++ warn :: warn:fi:be
|= txt=tape :: send warning |= txt=tape :: send warning
^+ +> ^+ +>
+>(duv :_(duv [~ [%warn txt]])) +>(duv :_(duv [~ [%give %warn txt]]))
:: ::
++ ra :: ra:fi:be ++ ra :: ra:fi:be
|_ $: ted=@ud :: thread id |_ $: ted=@ud :: thread id
@ -460,9 +540,9 @@
%_(+> r.orb (~(put to r.orb) [lap nob])) %_(+> r.orb (~(put to r.orb) [lap nob]))
:: ::
++ glob :: extern ++ glob :: extern
|= [lap=wire fav=card] |= [lap=wire sik=?(sign kiss)]
^+ +> ^+ +>
%_(+> q.orb (~(put to q.orb) [lap fav])) %_(+> q.orb (~(put to q.orb) [lap sik]))
:: ::
++ glum :: blocked thread ++ glum :: blocked thread
|= [gez=(list path) hog=boar] |= [gez=(list path) hog=boar]
@ -492,6 +572,7 @@
|= sik=skit |= sik=skit
^+ +> ^+ +>
%+ gram ~ %+ gram ~
:- %give
:+ %note '^' :+ %note '^'
:- %leaf :- %leaf
;: weld ;: weld
@ -523,11 +604,11 @@
[%clsg (turn pax |=(a=@ta [%dtzy %ta a]))] [%clsg (turn pax |=(a=@ta [%dtzy %ta a]))]
:: ::
++ gram :: add action ++ gram :: add action
|= [hom=duct fav=card] |= mov=move
%_(+> duv [[hom fav] duv]) %_(+> duv [mov duv])
:: ::
++ gran :: add actions ++ gran :: add actions
|= vid=(list ,[p=duct q=card]) |= vid=(list move)
^+ +> ^+ +>
?~(vid +> $(vid t.vid, +> (gram i.vid))) ?~(vid +> $(vid t.vid, +> (gram i.vid)))
:: ::
@ -537,7 +618,7 @@
?- -.ton ?- -.ton
%0 [[~ p.ton] +>] %0 [[~ p.ton] +>]
%1 [~ (glum ((list path) p.ton) s.orb)] %1 [~ (glum ((list path) p.ton) s.orb)]
%2 [~ (gram(orb [~ ~ ~ %r ~]) ~ [%crud %exit p.ton])] %2 [~ (gram(orb [~ ~ ~ %r ~]) ~ [%give %crud %exit p.ton])]
== ==
:: ::
++ grid :: process result ++ grid :: process result
@ -546,7 +627,7 @@
?- -.ton ?- -.ton
%0 (fun p.ton) %0 (fun p.ton)
%1 (glum ((list path) p.ton) s.orb) %1 (glum ((list path) p.ton) s.orb)
%2 (gram(orb [~ ~ ~ %r ~]) ~ [%crud %exit p.ton]) %2 (gram(orb [~ ~ ~ %r ~]) ~ [%give %crud %exit p.ton])
== ==
:: ::
++ grin :: process result ++ grin :: process result
@ -555,7 +636,7 @@
?- -.ton ?- -.ton
%0 (haul (fret p.ton)) %0 (haul (fret p.ton))
%1 (glum ((list path) p.ton) hog) %1 (glum ((list path) p.ton) hog)
%2 (gram(orb [~ ~ ~ %r ~]) ~ [%crud %exit p.ton]) %2 (gram(orb [~ ~ ~ %r ~]) ~ [%give %crud %exit p.ton])
== ==
:: ::
++ grip :: step to completion ++ grip :: step to completion
@ -709,7 +790,7 @@
:: ::
++ gull :: request control ++ gull :: request control
|= [tea=wire him=ship ryf=riff] |= [tea=wire him=ship ryf=riff]
(gram ~[/c [%b tea]] [%warp [who him] ryf]) (gram ~ %toss %c tea [%warp [who him] ryf])
:: ::
++ gulf :: stop request ++ gulf :: stop request
|= [tea=wire kit=kite] |= [tea=wire kit=kite]
@ -750,11 +831,11 @@
^+ +> ^+ +>
?~ nex ?~ nex
?~ pun +> ?~ pun +>
(gran (turn q.u.pun |=(a=* [~ (gyve p.u.pun a)]))) (gran (turn q.u.pun |=(a=* [~ %give (gyve p.u.pun a)])))
+>.$(..ra abet:(glob:(past u.nex) ~ [%pipe pun])) +>.$(..ra abet:(glob:(past u.nex) ~ [%pipe pun]))
:: ::
++ gyve :: print vase ++ gyve :: print vase
|= [toy=tutu val=*] ^- card |= [toy=tutu val=*] ^- ghat
=+ caf=((hard calf) (need (mang [felt:zu toy] sky))) =+ caf=((hard calf) (need (mang [felt:zu toy] sky)))
:: ?: =([~ [%atom %t]] caf) :: ?: =([~ [%atom %t]] caf)
:: [%tell ((hard ,@t) val) ~] :: [%tell ((hard ,@t) val) ~]
@ -787,32 +868,42 @@
+>.^$(loq p.gud) +>.^$(loq p.gud)
%ck +>.^$(cwd p.gud) %ck +>.^$(cwd p.gud)
%cs +>.^$(cws p.gud) %cs +>.^$(cws p.gud)
%de (gram ~ %note '#' q.gud) %de (gram ~ %give %note '#' q.gud)
%ex =. +>.^$ guff %ex =. +>.^$ guff
+>.^$(s.orb [%n p.gud *claw q.gud]) +>.^$(s.orb [%n p.gud *claw q.gud])
%ha (gram ~ %crud %soft [p.gud ~]) %ha (gram ~ %give %crud %soft [p.gud ~])
%ho (gram ~ %crud %soft p.gud) %ho (gram ~ %give %crud %soft p.gud)
%la (gram ~ %talk p.gud) %la (gram ~ %give %talk p.gud)
%lo (gran (turn p.gud |=(a=tank [~ %talk a]))) %lo (gran (turn p.gud |=(a=tank [~ %give %talk a])))
%mu !! %mu !!
%mx |- ^+ +>.^^$ %mx |- ^+ +>.^^$
?~ p.gud +>.^^$ ?~ p.gud +>.^^$
$(p.gud t.p.gud, +>.^^$ ^$(gud i.p.gud)) $(p.gud t.p.gud, +>.^^$ ^$(gud i.p.gud))
%ok (gram [/c ~] %info who p.gud q.gud) %ok (gram ~ %toss %c ~ %info who p.gud q.gud)
%sc good:+>.^$(sac ?~(p.gud ?~(sac ~ +.sac) [u.p.gud sac])) %sc good:+>.^$(sac ?~(p.gud ?~(sac ~ +.sac) [u.p.gud sac]))
%sp !! %sp !!
%sq =+ tea=(bist %ma r.gud) %sq =+ tea=(bist %ma r.gud)
%+ gram %+ gram ~
[/a [%b tea] ~] [%toss %a tea [%want [who p.gud] [%q q.gud %b tea] s.gud]]
[%want [who p.gud] [%q q.gud %b tea] s.gud] %sr (gram ~ %toss %a ~ [%want [who p.gud] [%r q.gud] r.gud])
%sr (gram [/a /b ~] [%want [who p.gud] [%r q.gud] r.gud]) %te (gram ~ %give %tell p.gud)
%te (gram ~ %tell p.gud) %th (gram ~ %toss %e ~ %that p.gud q.gud)
%th (gram [/e ~] %that p.gud q.gud)
%tq =+ tea=(bist %ma p.gud) %tq =+ tea=(bist %ma p.gud)
(gram [/e [%b tea] ~] [%them ~ q.gud]) (gram ~ %toss %e tea [%them ~ q.gud])
%va !! %va !!
%xx (gram ~ p.gud) %xx =+ gah=((soft ghat) p.gud)
%xy (gram [p.gud /b ~] q.gud) ?~ gah
~& [%batz-xx (,@tas -.p.gud)]
!!
(gram ~ %give u.gah)
%xy =+ hug=((soft newt) q.gud)
?~ hug
~& [%batz-xy (,@tas -.q.gud)]
!!
?. ?=([@ ~] p.gud)
~& [%batz-xyz p.gud]
!!
(gram ~ %toss i.p.gud ~ u.hug)
== ==
== ==
:: ::
@ -838,7 +929,7 @@
%es :: ~& %es-loss %es :: ~& %es-loss
(gull (bist %ma lap) p.gal q.gal ~) (gull (bist %ma lap) p.gal q.gal ~)
%hp +> %hp +>
%ht (gram [/e [%b (bist [%ma lap])] ~] [%band who ~]) %ht (gram ~ %toss %e (bist [%ma lap]) [%band who ~])
%lq (gump | p.gal gyp ted lap) %lq (gump | p.gal gyp ted lap)
%ow +> %ow +>
%rt +> %rt +>
@ -856,7 +947,7 @@
%es :: ~& %es-moor %es :: ~& %es-moor
(gull (bist %ma lap) p.gal q.gal [~ r.gal]) (gull (bist %ma lap) p.gal q.gal [~ r.gal])
%hp +> %hp +>
%ht (gram [/e [%b (bist [%ma lap])] ~] [%band who p.gal]) %ht (gram ~ %toss %e [%b (bist [%ma lap])] [%band who p.gal])
%lq (gump & p.gal [gyp ted lap]) %lq (gump & p.gal [gyp ted lap])
%ow +> %ow +>
%rt +> %rt +>
@ -883,74 +974,74 @@
++ pane |=(gal=goal %_(. lug [~ gal])) :: set goal ++ pane |=(gal=goal %_(. lug [~ gal])) :: set goal
++ pang %_(. lug ~) :: delete goal ++ pang %_(. lug ~) :: delete goal
++ pong :: accept card ++ pong :: accept card
|= fav=card |= sik=?(sign kiss)
^+ +> ^+ +>
?> ?=(^ lug) ?> ?=(^ lug)
?- -.u.lug ?- -.u.lug
~ ~
?> ?=(%pipe -.fav) ?> ?=(%pipe -.sik)
+>.$(+>.$ (glib lap [%$ p.fav])) +>.$(+>.$ (glib lap [%$ p.sik]))
:: ::
%do !! %do !!
:: ::
%eg %eg
?> ?=(%writ -.fav) ?> ?=(%writ -.sik)
+>.$(lug ~, +>.$ (glib lap [%eg +.fav])) +>.$(lug ~, +>.$ (glib lap [%eg +.sik]))
:: ::
%es %es
?> ?=(%writ -.fav) ?> ?=(%writ -.sik)
=+ ^= goh ^- (unit goal) =+ ^= goh ^- (unit goal)
?~ p.fav `(unit goal)`~ ?~ p.sik `(unit goal)`~
?- -.r.u.lug ?- -.r.u.lug
%& ~ %& ~
%| %|
^- (unit goal) ^- (unit goal)
:- ~ :- ~
?> ?=(%ud -.q.p.u.p.fav) ?> ?=(%ud -.q.p.u.p.sik)
%= u.lug %= u.lug
p.p.r p.p.r
?> ?| !=(%ud -.p.p.r.u.lug) ?> ?| !=(%ud -.p.p.r.u.lug)
=(p.p.p.r.u.lug p.q.p.u.p.fav) =(p.p.p.r.u.lug p.q.p.u.p.sik)
== ==
[%ud +(p.q.p.u.p.fav)] [%ud +(p.q.p.u.p.sik)]
== ==
== ==
=. loz ?~(goh (~(del by loz) lap) (~(put by loz) lap u.goh)) =. loz ?~(goh (~(del by loz) lap) (~(put by loz) lap u.goh))
%= +>.$ %= +>.$
lug goh lug goh
gul goh gul goh
+>.$ (glib lap [%eg +.fav]) +>.$ (glib lap [%eg +.sik])
== ==
:: ::
%hp %hp
?> ?=(%thou -.fav) ?> ?=(%thou -.sik)
+>.$(+>.$ (glib lap [%hp +.fav])) +>.$(+>.$ (glib lap [%hp +.sik]))
:: ::
%ht !! %ht !!
:: ?> ?=(%thee -.fav) :: ?> ?=(%thee -.sik)
:: +>.$(+>.$ (glib lap [%ht +.fav])) :: +>.$(+>.$ (glib lap [%ht +.sik]))
:: ::
%lq %lq
?> ?=(%wart -.fav) ?> ?=(%wart -.sik)
+>.$(+>.$ (glib lap [%lq q.p.fav r.fav s.fav])) +>.$(+>.$ (glib lap [%lq q.p.sik r.sik s.sik]))
:: ::
%rt %rt
?: ?=(%went -.fav) ?: ?=(%went -.sik)
?. ?=(%dead q.fav) +>.$ ?. ?=(%dead q.sik) +>.$
+>.$(+>.$ (glib lap [%rt ~])) +>.$(+>.$ (glib lap [%rt ~]))
?> ?=(%waft -.fav) ?> ?=(%waft -.sik)
+>.$(+>.$ (glib lap [%rt ~ q.fav])) +>.$(+>.$ (glib lap [%rt ~ q.sik]))
:: ::
%up %up
?> ?=(%line -.fav) ?> ?=(%line -.sik)
+>.$(+>.$ (glib lap [%up +.fav])) +>.$(+>.$ (glib lap [%up +.sik]))
:: ::
%ow %ow
?> ?=(%went -.fav) ?> ?=(%went -.sik)
+>.$(+>.$ (glib lap [%ow q.fav])) +>.$(+>.$ (glib lap [%ow q.sik]))
:: ::
%wa %wa
?> ?=(%wake -.fav) ?> ?=(%wake -.sik)
+>.$(+>.$ (glib lap [%wa ~])) +>.$(+>.$ (glib lap [%wa ~]))
== ==
-- --
@ -1166,111 +1257,24 @@
|= [now=@da eny=@ ski=sled] :: current invocation |= [now=@da eny=@ ski=sled] :: current invocation
^? :: opaque core ^? :: opaque core
|% :: poke/peek pattern |% :: poke/peek pattern
++ take :: process move ++ call :: handle request
|= [tea=wire hen=duct hin=(hypo sign)] |= $: hen=duct
hic=(hypo (hobo kiss))
==
:: ~& [%batz-call-a -.q.hic]
=. hic =+ kyt=-:!>(q.hic) :: XX temporary
?: (~(nest ut kyt) | p.hic)
hic
~& [%clay-call-flub -.q.hic]
[kyt ((hard (hobo kiss)) q.hic)]
?: ?=(%soft -.q.hic)
$(q.hic ((hard (hobo kiss)) p.q.hic))
:: ~& [%batz-call-b -.q.hic]
^- [p=(list move) q=_..^$] ^- [p=(list move) q=_..^$]
:: ~& [%batz-take -.q.hin [%tea tea] [%hen hen]]
=+ ska=(slod ski)
=+ sky=|=(* `(unit)`=+(a=(ska +<) ?~(a ~ ?~(u.a ~ [~ u.u.a]))))
?: ?=([%crud *] q.hin)
[[[hen [%slip %d %flog q.hin]] ~] ..^$]
?: ?=([%soft *] q.hin)
$(q.hin ((hard card) p.q.hin))
?: ?=(%wake -.q.hin)
=+ ^= fiy
=| fiy=(list ,[p=duct q=ship r=[p=@ud q=@ud r=wire]])
|- ^+ fiy
?~ dez fiy
=. fiy $(dez l.dez)
=. fiy $(dez r.dez)
|- ^+ fiy
?~ q.n.dez fiy
%= $
q.n.dez t.q.n.dez
fiy
|- ^+ fiy
?~ tem.q.i.q.n.dez fiy
=. fiy $(tem.q.i.q.n.dez l.tem.q.i.q.n.dez)
=. fiy $(tem.q.i.q.n.dez r.tem.q.i.q.n.dez)
?. (lte q.n.tem.q.i.q.n.dez now) fiy
[[p.n.dez p.i.q.n.dez p.n.tem.q.i.q.n.dez] fiy]
==
=| wam=(list move)
|- ^- [p=(list move) q=_..^^$]
?~ fiy [wam ..^^$]
=+ dos=(need (~(get by dez) p.i.fiy))
=+ suy=|-(`brad`?~(dos !! ?.(=(q.i.fiy p.i.dos) $(dos t.dos) q.i.dos)))
=+ geb=((be [[q.i.fiy bred] suy]) now eny sky)
=+ ^= yub ^- [p=(list move) q=brat]
?. (fang:geb r.i.fiy)
~& [%time-lost r.i.fiy]
[~ abet:(flub:geb r.i.fiy)]
(lake:geb p.i.fiy r.i.fiy)
%= $
fiy t.fiy
wam (weld p.yub wam)
dez.^^$ (~(put by dez.^^$) p.i.fiy [[q.i.fiy +.q.yub] +.dos])
==
|- ^- [p=(list move) q=_..^^$]
=+ dus=(~(get by dez) hen)
?~ dus
?+ -.q.hin
~& [%take-none -.q.hin tea hen]
~|([%take-none -.q.hin] !!)
::
%hail
?~ big
~& [%take-hail-soon hen]
[~ ..^^$]
~& [%batz-hack-console hen]
$(dez (~(put by dez) hen [[u.big (bard u.big)] ~]))
::
%init
:: ~& [%take-init p.q.hin hen]
=. big ?~ big
`p.q.hin
`(min p.q.hin u.big)
=+ bos=(sein p.q.hin)
:- :- [hen [%give q.hin]]
?: =(bos p.q.hin) ~
:_ ~
[hen [%slip %b %line (rap 3 ":{(scow %p bos)}/main=/bin/update")]]
..^^$(dez (~(put by dez) hen [[p.q.hin (bard p.q.hin)] ~]))
::
?(%loin %make %sith)
[[[hen [%toss %a tea q.hin]] ~] ..^^$]
==
?> ?=(^ u.dus)
?+ -.q.hin
=+ beg=`brat`[[p.i.u.dus bred] q.i.u.dus]
=+ yub=(leap:((be beg) now eny sky) tea hen q.hin)
:- p.yub
..^^$(dez (~(put by dez) hen [[p.i.u.dus +.q.yub] t.u.dus]))
::
%init
=+ bos=(sein p.q.hin)
:- :* [hen %give q.hin]
[[[%b tea] hen] [%sick %hail ~]]
?: =(bos p.q.hin) ~
:_ ~
[[/b hen] [%sick %line (rap 3 ":{(scow %p bos)}/main=/bin/update")]]
==
..^^$(dez (~(put by dez) hen [[p.q.hin (bard p.q.hin)] u.dus]))
::
%limn
$(q.hin [%hail ~], dez (~(put by dez) hen (weld t.u.dus `brim`[i.u.dus ~])))
==
::
++ call :: process move
|= [hen=duct hic=(hypo kiss)]
^- [p=(list move) q=_..^$]
:: ~& [%batz-take -.q.hic [%tea tea] [%hen hen]]
=+ ska=(slod ski) =+ ska=(slod ski)
=+ sky=|=(* `(unit)`=+(a=(ska +<) ?~(a ~ ?~(u.a ~ [~ u.u.a])))) =+ sky=|=(* `(unit)`=+(a=(ska +<) ?~(a ~ ?~(u.a ~ [~ u.u.a]))))
?: ?=([%crud *] q.hic) ?: ?=([%crud *] q.hic)
[[[hen [%slip %d %flog q.hic]] ~] ..^$] [[[hen [%slip %d %flog q.hic]] ~] ..^$]
?: ?=([%soft *] q.hic)
$(q.hic ((hard card) p.q.hic))
?: ?=(%wake -.q.hic) ?: ?=(%wake -.q.hic)
=+ ^= fiy =+ ^= fiy
=| fiy=(list ,[p=duct q=ship r=[p=@ud q=@ud r=wire]]) =| fiy=(list ,[p=duct q=ship r=[p=@ud q=@ud r=wire]])
@ -1315,9 +1319,9 @@
:: ::
%hail %hail
?~ big ?~ big
~& [%take-hail-soon hen] ~& [%call-hail-soon hen]
[~ ..^^$] [~ ..^^$]
~& [%batz-hack-console hen] ~& [%batz-call-console hen]
$(dez (~(put by dez) hen [[u.big (bard u.big)] ~])) $(dez (~(put by dez) hen [[u.big (bard u.big)] ~]))
:: ::
%init %init
@ -1332,34 +1336,19 @@
[hen [%slip %b %line (rap 3 ":{(scow %p bos)}/main=/bin/update")]] [hen [%slip %b %line (rap 3 ":{(scow %p bos)}/main=/bin/update")]]
..^^$(dez (~(put by dez) hen [[p.q.hic (bard p.q.hic)] ~])) ..^^$(dez (~(put by dez) hen [[p.q.hic (bard p.q.hic)] ~]))
:: ::
?(%loin %make %sith) ?(%make %sith)
[[[hen [%toss %a ~ q.hic]] ~] ..^^$] [[[hen [%toss %a ~ q.hic]] ~] ..^^$]
== ==
?> ?=(^ u.dus) ?> ?=(^ u.dus)
?+ -.q.hic =+ beg=`brat`[[p.i.u.dus bred] q.i.u.dus]
=+ beg=`brat`[[p.i.u.dus bred] q.i.u.dus] =+ yub=(lear:((be beg) now eny sky) hen q.hic)
=+ yub=(leap:((be beg) now eny sky) ~ hen q.hic) :- p.yub
:- p.yub ..^^$(dez (~(put by dez) hen [[p.i.u.dus +.q.yub] t.u.dus]))
..^^$(dez (~(put by dez) hen [[p.i.u.dus +.q.yub] t.u.dus]))
::
%init
=+ bos=(sein p.q.hic)
:- :* [hen %give q.hic]
[[[%b ~] hen] [%sick %hail ~]]
?: =(bos p.q.hic) ~
:_ ~
[[/b hen] [%sick %line (rap 3 ":{(scow %p bos)}/main=/bin/update")]]
==
..^^$(dez (~(put by dez) hen [[p.q.hic (bard p.q.hic)] u.dus]))
::
%limn
$(q.hic [%hail ~], dez (~(put by dez) hen (weld t.u.dus `brim`[i.u.dus ~])))
==
:: ::
++ doze ++ doze
|= [now=@da hen=duct] |= [now=@da hen=duct]
^- (unit ,@da) ^- (unit ,@da)
=| doz=(unit ,@da) =| doz=(unit ,@da)
|- ^+ doz |- ^+ doz
?~ dez doz ?~ dez doz
=. doz $(dez l.dez) =. doz $(dez l.dez)
@ -1387,4 +1376,48 @@
~ ~
:: ::
++ stay [%0 big dez] ++ stay [%0 big dez]
++ take :: accept response
|= [tea=wire hen=duct hin=(hypo sign)]
:: ~& [%batz-take-a -.q.hin]
=. hin =+ kyn=-:!>(q.hin) :: XX temporary
?: (~(nest ut kyn) | p.hin)
hin
~& [%batz-take-flub -.q.hin]
[kyn ((hard sign) q.hin)]
:: ~& [%batz-take-b -.q.hin]
^- [p=(list move) q=_..^$]
:: ~& [%batz-take -.q.hin [%tea tea] [%hen hen]]
=+ ska=(slod ski)
=+ sky=|=(* `(unit)`=+(a=(ska +<) ?~(a ~ ?~(u.a ~ [~ u.u.a]))))
?: ?=([%crud *] q.hin)
[[[hen [%slip %d %flog q.hin]] ~] ..^$]
=+ dus=(~(get by dez) hen)
?~ dus
?+ -.q.hin
~&([%take-none -.q.hin] !!)
::
?(%hail %send)
?~ big
~& [%take-hail-soon hen]
[~ ..^$]
:: ~& [%batz-take-console hen]
$(dez (~(put by dez) hen [[u.big (bard u.big)] ~]))
::
%init
:: ~& [%take-init p.q.hin hen]
=. big ?~ big
`p.q.hin
`(min p.q.hin u.big)
=+ bos=(sein p.q.hin)
:- :- [hen [%give q.hin]]
?: =(bos p.q.hin) ~
:_ ~
[hen [%slip %b %line (rap 3 ":{(scow %p bos)}/main=/bin/update")]]
..^$(dez (~(put by dez) hen [[p.q.hin (bard p.q.hin)] ~]))
==
?> ?=(^ u.dus)
=+ beg=`brat`[[p.i.u.dus bred] q.i.u.dus]
=+ yub=(leap:((be beg) now eny sky) tea hen q.hin)
:- p.yub
..^$(dez (~(put by dez) hen [[p.i.u.dus +.q.yub] t.u.dus]))
-- --

9
arvo/clay.hoon
View File

@ -1,4 +1,4 @@
:: !:
:: clay (4c), revision control :: clay (4c), revision control
:: ::
|= pit=vase |= pit=vase
@ -6,6 +6,7 @@
++ gift :: out result <-$ ++ gift :: out result <-$
$% [%ergo p=@p q=@tas r=@ud] :: version update $% [%ergo p=@p q=@tas r=@ud] :: version update
[%note p=@tD q=tank] :: debug message [%note p=@tD q=tank] :: debug message
[%send p=lane q=@] :: send packet
[%writ p=riot] :: response [%writ p=riot] :: response
== :: == ::
++ kiss :: in request ->$ ++ kiss :: in request ->$
@ -26,6 +27,7 @@
== :: == ::
++ sign :: in result $-< ++ sign :: in result $-<
$% [%crud p=@tas q=(list tank)] :: by any $% [%crud p=@tas q=(list tank)] :: by any
[%send p=lane q=@] :: send packet
[%waft p=sock q=*] :: by %ames [%waft p=sock q=*] :: by %ames
[%went p=ship q=cape] :: by %ames [%went p=ship q=cape] :: by %ames
[%writ p=riot] :: by %clay [%writ p=riot] :: by %clay
@ -473,12 +475,15 @@
=. hin =+ kyn=-:!>(q.hin) :: XX temporary =. hin =+ kyn=-:!>(q.hin) :: XX temporary
?: (~(nest ut kyn) | p.hin) ?: (~(nest ut kyn) | p.hin)
hin hin
~& [%eyre-take-flub -.q.hin] ~& [%clay-take-flub -.q.hin]
[kyn ((hard sign) q.hin)] [kyn ((hard sign) q.hin)]
^- [p=(list move) q=_..^$] ^- [p=(list move) q=_..^$]
?- -.q.hin ?- -.q.hin
%crud %crud
[[[hen %slip %d %flog q.hin] ~] ..^$] [[[hen %slip %d %flog q.hin] ~] ..^$]
::
%send
[[hen %give q.hin]~ ..^$]
:: ::
%waft %waft
?> ?=([@ @ ~] tea) ?> ?=([@ @ ~] tea)

2
arvo/eyre.hoon
View File

@ -1,4 +1,4 @@
!: :: %eyre, http servant :: :: %eyre, http servant
!? 164 !? 164
:::: ::::
|= pit=vase |= pit=vase

2
arvo/ford.hoon
View File

@ -1,4 +1,4 @@
!: :: %ford, new execution control :: :: %ford, new execution control
!? 164 !? 164
:::: ::::
|= pit=vase |= pit=vase

3
arvo/gall.hoon
View File

@ -1,4 +1,4 @@
!: :: %gall, user-level applications :: :: %gall, user-level applications
!? 164 !? 164
:::: ::::
|= pit=vase |= pit=vase
@ -21,7 +21,6 @@
== :: == ::
++ kiss :: in request ->$ ++ kiss :: in request ->$
$% [%cuff p=(unit cuff) q=kiss] :: controlled kiss $% [%cuff p=(unit cuff) q=kiss] :: controlled kiss
[%crud p=@tas q=(list tank)] :: XX rethink
[%mesh p=hasp q=path r=json] :: web message (json) [%mesh p=hasp q=path r=json] :: web message (json)
[%mess p=hasp q=cage] :: urbit message [%mess p=hasp q=cage] :: urbit message
[%mush p=hasp q=path r=cage] :: web message (mime) [%mush p=hasp q=path r=cage] :: web message (mime)

34
arvo/zuse.hoon
View File

@ -2022,14 +2022,7 @@
pot=tape :: prompt text pot=tape :: prompt text
== :: == ::
== :: == ::
++ beau ,[p=(unit ,@ud) q=(map wire goal) r=boor] :: next/want/thread
++ beak ,[p=ship q=desk r=case] :: garnish with beak ++ beak ,[p=ship q=desk r=case] :: garnish with beak
++ bear ,[p=(map path goal) q=boar] :: thread with slips
++ beef :: raw product
$: p=(list gilt) :: actions
q=(list slip) :: requests
r=boar :: state
== ::
++ beet ,[p=(set bead) q=cage] :: computed result ++ beet ,[p=(set bead) q=cage] :: computed result
++ bird :: packet in travel ++ bird :: packet in travel
$: gom=soap :: message identity $: gom=soap :: message identity
@ -2062,17 +2055,6 @@
r=(list (list ,@c)) :: kills r=(list (list ,@c)) :: kills
== :: == ::
++ blur ,[p=@ud q=(unit bein) r=blot] :: columns, prompt ++ blur ,[p=@ud q=(unit bein) r=blot] :: columns, prompt
++ boar :: execution instance
$% [%n p=(unit coal) q=claw r=lath] :: new/ready
[%r p=(unit worm)] :: running/done
[%t p=coal] :: simple filter
== ::
++ boor :: new thread
$: p=(map ,@ud kite) :: dependencies
q=(qeu ,[p=wire q=card]) :: incoming cards
r=(qeu ,[p=wire q=nose]) :: pending notes
s=boar :: execution
== ::
++ boat ,[(list slip) tart] :: user stage ++ boat ,[(list slip) tart] :: user stage
++ boon :: fort output ++ boon :: fort output
$% [%beer p=ship q=@uvG] :: gained ownership $% [%beer p=ship q=@uvG] :: gained ownership
@ -2083,17 +2065,6 @@
[%wine p=sock q=tape] :: notify user [%wine p=sock q=tape] :: notify user
== :: == ::
++ bowl ,[p=(list gift) q=(unit boat)] :: app product ++ bowl ,[p=(list gift) q=(unit boat)] :: app product
++ brad :: shell state
$: who=ship :: identity
fog=(list ,@ud) :: virtual consoles
hox=@ta :: identity text
cwd=@tas :: working desk
cws=path :: working spur
way=(map ,@tas vase) :: variables
hit=[p=@ud q=(list ,@t)] :: command history
sur=[p=@ud q=(qeu vase)] :: result history
god=[p=@ud q=(map ,@ud task)] :: tasks
== ::
++ bray ,[p=life q=(unit life) r=ship s=@da] :: our parent us now ++ bray ,[p=life q=(unit life) r=ship s=@da] :: our parent us now
++ brow ,[p=@da q=@tas] :: browser version ++ brow ,[p=@da q=@tas] :: browser version
++ buck ,[p=mace q=will] :: all security data ++ buck ,[p=mace q=will] :: all security data
@ -2343,7 +2314,6 @@
== :: == ::
++ govt path :: country/postcode ++ govt path :: country/postcode
++ gram ,@uw :: physical datagram ++ gram ,@uw :: physical datagram
++ gyro ,[p=@ud q=wire r=prod] :: live prompt
++ hand ,@uvH :: hash of code ++ hand ,@uvH :: hash of code
++ hart ,[p=? q=(unit ,@ud) r=host] :: http sec/port/host ++ hart ,[p=? q=(unit ,@ud) r=host] :: http sec/port/host
++ hasp ,[p=ship q=term] :: app identity ++ hasp ,[p=ship q=term] :: app identity
@ -2636,10 +2606,6 @@
++ step ,[p=bray q=gens r=pass] :: identity stage ++ step ,[p=bray q=gens r=pass] :: identity stage
++ tako ,[p=path q=miso] :: change detail ++ tako ,[p=path q=miso] :: change detail
++ tart $+([@da path note] bowl) :: process core ++ tart $+([@da path note] bowl) :: process core
++ task ::
$: paq=(qeu gyro) :: prompt queue
wip=[p=@ud q=(map ,@ud beau)] :: processes
== ::
++ taxi ,[p=lane q=rock] :: routed packet ++ taxi ,[p=lane q=rock] :: routed packet
++ tick ,@ud :: process id ++ tick ,@ud :: process id
++ toro ,[p=@ta q=nori] :: general change ++ toro ,[p=@ta q=nori] :: general change