ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-02 07:06:41 +03:00
Code Issues Packages Projects Releases Wiki Activity

More %eyre fixes.

Browse Source
This commit is contained in:
C. Guy Yarvin 2014-06-09 13:09:14 -07:00
parent e84c4e258d
commit df8ae2368d
4 changed files with 302 additions and 120 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

406
arvo/eyre.hoon
View File

@ -10,7 +10,6 @@
[%thus p=@ud q=(unit hiss)] :: http request/cancel [%thus p=@ud q=(unit hiss)] :: http request/cancel
== :: == ::
++ hasp ,[p=ship q=term] :: see %gall ++ hasp ,[p=ship q=term] :: see %gall
++ hope (pair ,? path) :: see %gall
++ kiss :: in request ->$ ++ kiss :: in request ->$
$% [%born ~] :: new unix process $% [%born ~] :: new unix process
[%crud p=@tas q=(list tank)] :: XX rethink [%crud p=@tas q=(list tank)] :: XX rethink
@ -28,7 +27,7 @@
[%flog p=[%crud p=@tas q=(list tank)]] :: to %dill [%flog p=[%crud p=@tas q=(list tank)]] :: to %dill
[%line p=@t] :: to %batz [%line p=@t] :: to %batz
[%ling ~] :: to %batz [%ling ~] :: to %batz
[%show p=hasp q=(unit hope)] :: to %gall [%show p=hasp q=(unit path)] :: to %gall
[%this p=? q=clip r=httq] :: to %eyre [%this p=? q=clip r=httq] :: to %eyre
[%thud ~] :: to %eyre [%thud ~] :: to %eyre
[%wait p=hasp q=@ud] :: to %gall [%wait p=hasp q=@ud] :: to %gall
@ -55,7 +54,7 @@
++ bolo :: eyre state ++ bolo :: eyre state
$: %0 :: version $: %0 :: version
gub=@t :: random identity gub=@t :: random identity
hov=(unit ,@p) :: master for remote hov=(unit ship) :: master for remote
ged=duct :: client interface ged=duct :: client interface
ney=@uvI :: rolling entropy ney=@uvI :: rolling entropy
dop=(map host ship) :: host aliasing dop=(map host ship) :: host aliasing
@ -76,6 +75,8 @@
cow=(map ,@ud clue) :: consoles cow=(map ,@ud clue) :: consoles
cug=(list ,@t) :: unacked cookies cug=(list ,@t) :: unacked cookies
lax=@da :: last used lax=@da :: last used
sok=(map ,@ud (trel term ship sink)) :: live apps by reqno
kog=(map (pair term ship) ,@ud) :: live apps by name
rey=[p=@ud q=(map ,@ud pimp)] :: live requests rey=[p=@ud q=(map ,@ud pimp)] :: live requests
== :: == ::
++ dual ,[p=@ud q=(each ,[p=ship q=hole] ship)] :: request handle ++ dual ,[p=@ud q=(each ,[p=ship q=hole] ship)] :: request handle
@ -105,12 +106,12 @@
rem=[p=@ud q=(map ,@ud duct)] :: active requests rem=[p=@ud q=(map ,@ud duct)] :: active requests
== :: == ::
++ seam :: logical request ++ seam :: logical request
$% [%ape p=term q=@ud] :: await update $% [%ape p=term q=ship r=@ud s=term t=@ud] :: subscribe pull
[%apg p=term q=logo r=path] :: app get [%apg p=term q=ship r=logo s=path] :: app get/start
[%apl p=term q=@ud r=term] :: app poll [%apm p=term q=ship r=@ud s=@ud t=json] :: message send
[%apm p=term q=json] :: app message [%apr p=term q=ship r=@ud s=@ud] :: response pull
[%aps p=term q=term r=(unit path)] :: app subscribe [%aps p=term q=ship r=@ud s=term t=path] :: subscribe
[%apu p=term q=logo r=octs] :: app upload [%apu p=term q=ship r=@ud s=term] :: unsubscribe
[%cog p=@ud q=@ud] :: console get [%cog p=@ud q=@ud] :: console get
[%con p=@ud] :: console face [%con p=@ud] :: console face
[%cop p=@ud q=@ud r=json] :: console put [%cop p=@ud q=@ud r=json] :: console put
@ -118,12 +119,22 @@
[%fun p=term q=tube r=(list manx)] :: functional [%fun p=term q=tube r=(list manx)] :: functional
[%lon p=seal] :: authentication flow [%lon p=seal] :: authentication flow
[%red p=purl] :: redirect [%red p=purl] :: redirect
[%sil p=@ud q=silk] :: status and silk
== :: == ::
++ serf :: local server ++ serf :: local server
$: pef=@t :: server prefix $: pef=@t :: server prefix
wup=(map hole cyst) :: secure sessions wup=(map hole cyst) :: secure sessions
cah=(map cash vase) :: compilation cache cah=(map cash vase) :: compilation cache
== :: == ::
++ sink :: page push system
$: haw=(map term swig) :: subscriptions
== ::
++ swig :: update channel
$: cnt=@ud :: updates produced
toy=@ud :: updates shipped
wan=(jug ,@ud ,@ud) :: requesters
red=(map ,@ud (each cage cage)) :: ready for pickup
== ::
-- :: -- ::
|% |%
++ coss :: cookie search ++ coss :: cookie search
@ -140,6 +151,13 @@
?~ u.mar ^$(cok t.cok) ?~ u.mar ^$(cok t.cok)
?:(=(nam p.i.u.mar) [~ q.i.u.mar] $(u.mar t.u.mar)) ?:(=(nam p.i.u.mar) [~ q.i.u.mar] $(u.mar t.u.mar))
:: ::
++ ecce :: JS from moth
|= moh=moth
^- (unit json)
?. =([~ 'text/json' ~] (~(get by q.moh) 'content-type')) ~
?~ r.moh ~
`(unit json)`(rush q.u.r.moh apex:poja)
::
++ ecco :: eat headers ++ ecco :: eat headers
|= hed=(list ,[p=@t q=@t]) |= hed=(list ,[p=@t q=@t])
=+ mah=*math =+ mah=*math
@ -232,9 +250,7 @@
^+ +> ^+ +>
?- -.sin ?- -.sin
%boot %boot
?> ?=([%hova @ @ @ ~] tea) !!
%- goja
[(need (slaw %p i.t.tea)) i.t.t.tea (need (slaw %ud i.t.t.t.tea)) +.sin]
:: ::
%crud %crud
+>.$(mow [[hen %slip %d %flog sin] mow]) +>.$(mow [[hen %slip %d %flog sin] mow])
@ -246,9 +262,7 @@
[(need (slaw %p i.t.tea)) i.t.t.tea (need (slaw %ud i.t.t.t.tea)) p.sin] [(need (slaw %p i.t.tea)) i.t.t.tea (need (slaw %ud i.t.t.t.tea)) p.sin]
:: ::
%rust %rust
?> ?=([%hove @ @ @ ~] tea) ?>
%- gojo
[(need (slaw %p i.t.tea)) i.t.t.tea (need (slaw %ud i.t.t.t.tea)) +.sin]
:: ::
%thou :: remote return %thou :: remote return
?> ?=([@ @ *] tea) ?> ?=([@ @ *] tea)
@ -385,22 +399,6 @@
?~ cuz +>.$ ?~ cuz +>.$
abet:work:(~(dodo ya [our ses] u.suf u.cuz) num sin) abet:work:(~(dodo ya [our ses] u.suf u.cuz) num sin)
:: ::
++ goja :: app result
|= [our=ship ses=hole num=@ud tik=@ud]
=+ suf=(~(get by own) our)
?~ suf +>.$
=+ cuz=(~(get by wup.u.suf) ses)
?~ cuz +>.$
abet:work:(~(doja ya [our ses] u.suf u.cuz) num tik)
::
++ gojo :: app result
|= [our=ship ses=hole num=@ud cup=chop cay=cage]
=+ suf=(~(get by own) our)
?~ suf +>.$
=+ cuz=(~(get by wup.u.suf) ses)
?~ cuz +>.$
abet:work:(~(dojo ya [our ses] u.suf u.cuz) num cup cay)
::
++ gosh :: receive %pr response ++ gosh :: receive %pr response
|= [him=ship num=@ud har=httr] |= [him=ship num=@ud har=httr]
^+ +> ^+ +>
@ -514,26 +512,6 @@
[%want [sor.rot him] [%q %pr %e %hork mun ~] ~] [%want [sor.rot him] [%q %pr %e %hork mun ~] ~]
== ==
:: ::
++ hova :: app wait
|= [our=ship num=@ud ses=hole app=term tik=@ud]
%_ +>
mow
:_ mow
:^ hen %toss %g
:- [%hova (scot %p our) ses (scot %ud num) ~]
[%wait [our app] tik]
==
::
++ hove :: app peek
|= [our=ship num=@ud ses=hole app=term pax=path]
%_ +>
mow
:_ mow
:^ hen %toss %g
:- [%hove (scot %p our) ses (scot %ud num) ~]
[%show [our app] `[%| pax]]
==
::
++ hork :: remote request ++ hork :: remote request
|= [him=ship hyx=httx] |= [him=ship hyx=httx]
^+ +> ^+ +>
@ -692,6 +670,8 @@
'; Path=/; HttpOnly' '; Path=/; HttpOnly'
:: ::
now now
~
~
[1 ~] [1 ~]
== ==
abet:work:(~(into ya [our p.saw] sef q.saw) pul moh) abet:work:(~(into ya [our p.saw] sef q.saw) pul moh)
@ -921,41 +901,6 @@
=. cow (~(put by cow) con cal) =. cow (~(put by cow) con cal)
?~(yov +>.$ (dove ~[%a (jone ono.cal) (jone ino.cal) jon] yov)) ?~(yov +>.$ (dove ~[%a (jone ono.cal) (jone ino.cal) jon] yov))
:: ::
++ dojo :: app view
|= [num=@ud cup=chop cay=cage]
^+ +>
=+ pup=(~(get by q.rey) num)
?~ pup ~&([%dojo-lost ses num] +>.$)
?> ?=(%way pez.u.pup)
?> ?=(%apg -.som.u.pup)
=. q.rey
%+ ~(put by q.rey)
num
%= u.pup
sip
:_ sip.u.pup
%- dute
^- path
:~ (rsh 3 1 (scot %p our))
%gez
p.som.u.pup
(scot %ud +(p.cup))
==
==
=+ bek=`beak`[our %main [%da now]]
=+ kas=`silk`[%cast %mime bek [%cast q.som.u.pup bek [%done ~ cay]]]
+>.$(..ya (honk our num ses kas))
::
++ doja :: app reboot
|= [num=@ud tik=@ud]
^+ +>
=+ pup=(~(get by q.rey) num)
?~ pup
~& [%doja-lost ses num tik]
+>.$
?> ?=(%way pez.u.pup)
+>.$(q.rey (~(put by q.rey) num u.pup(pez [%fin %mid /text/plain *octs])))
::
++ iota :: fun change response ++ iota :: fun change response
|= [num=@ud rot=riot] |= [num=@ud rot=riot]
^+ +> ^+ +>
@ -977,7 +922,7 @@
?> ?=(%way pez.u.pup) ?> ?=(%way pez.u.pup)
$(yov t.yov, q.rey (~(put by q.rey) i.yov u.pup(pez noz))) $(yov t.yov, q.rey (~(put by q.rey) i.yov u.pup(pez noz)))
:: ::
++ dute :: reload script ++ duty :: reload script
|= pax=path |= pax=path
=- =+ cal=:/("path=\"{<pax>}\"") =- =+ cal=:/("path=\"{<pax>}\"")
[-.sac [cal +.sac]] [-.sac [cal +.sac]]
@ -1005,19 +950,86 @@
; call(); ; call();
== ==
:: ::
++ fape ++ fape :: dispatch %ape
|= [fur=(unit term) paw=path] |= [fur=(unit term) you=@p paw=path]
^- (unit seam) ^- (unit seam)
?> ?=(~ fur) ?> ?=(~ fur)
?> ?=([@ @ ~] paw) ?> ?=([@ @ @ @ ~] paw)
`[%ape i.paw (need (slaw %ud i.t.paw))] :- ~
:* %ape
(need ((sand %tas) i.paw))
you
(need (slaw %ui i.t.paw))
(need ((sand %tas) i.t.t.paw))
(need (slaw %ui i.t.t.t.paw))
==
:: ::
++ fapp :: dispatch app ++ fapg :: dispatch %apg
|= [fur=(unit term) paw=path] |= [fur=(unit term) you=@p paw=path]
^- (unit seam) ^- (unit seam)
?> ?=(^ fur) ?> ?=(^ fur)
?> ?=(^ paw) ?> ?=(^ paw)
`[%apg i.paw u.fur t.paw] :- ~
:* %apg
(need ((sand %tas) i.paw))
you
u.fur
(turn t.paw |=(a=@ `@ta`(need ((sand %ta) a))))
==
::
++ fapm :: dispatch %apm
|= [fur=(unit term) you=@p paw=path moh=moth]
^- (unit seam)
?> ?=(~ fur)
?> ?=([@ @ @ ~] paw)
:- ~
:* %apm
(need ((sand %tas) i.paw))
you
(need (slaw %ui i.t.paw))
(need (slaw %ui i.t.t.paw))
(need (ecce moh))
==
::
++ fapr :: dispatch %apr
|= [fur=(unit term) you=@p paw=path]
^- (unit seam)
?> ?=(~ fur)
?> ?=([@ @ @ ~] paw)
:- ~
:* %apr
(need ((sand %tas) i.paw))
you
(need (slaw %ui i.t.paw))
(need (slaw %ui i.t.t.paw))
==
::
++ faps :: dispatch %aps
|= [fur=(unit term) you=@p paw=path moh=moth]
^- (unit seam)
?> ?=(~ fur)
?> ?=([@ @ @ *] paw)
:- ~
:* %aps
(need ((sand %tas) i.paw))
you
(need (slaw %ud i.t.paw))
(need ((sand %tas) i.t.t.paw))
(turn t.t.t.paw |=(a=@ `@ta`(need ((sand %ta) a))))
==
::
++ fapu :: dispatch %apu
|= [fur=(unit term) you=@p paw=path]
^- (unit seam)
?> ?=(~ fur)
?> ?=([@ @ @ ~] paw)
:- ~
:* %apu
(need ((sand %tas) i.paw))
you
(need (slaw %ud i.t.paw))
(need ((sand %tas) i.t.t.paw))
==
:: ::
++ flea :: permissive decimal ++ flea :: permissive decimal
|= txt=@t |= txt=@t
@ -1204,7 +1216,7 @@
^- (unit seam) ^- (unit seam)
?~ q.q.pul ~ ?~ q.q.pul ~
=* nep i.q.q.pul =* nep i.q.q.pul
=* paw t.q.q.pul =+ paw=t.q.q.pul
=+ [one=(end 3 1 nep) two=(cut 3 [1 1] nep) tri=(cut 3 [2 1] nep)] =+ [one=(end 3 1 nep) two=(cut 3 [1 1] nep) tri=(cut 3 [2 1] nep)]
?. ?& ?- p.moh ?. ?& ?- p.moh
%conn | :: connect %conn | :: connect
@ -1224,13 +1236,17 @@
%o p.p.pul :: identified %o p.p.pul :: identified
== ==
:: ::
?= $? %p :: application ?= $? %g :: app get
%c :: console %c :: console
%e :: app update
%f :: functional %f :: functional
%v :: functional version %v :: functional version
%l :: local login %l :: local login
%m :: remote login %m :: app message
%r :: app response
%s :: app subscribe
%n :: now %n :: now
%u :: app unsubscribe
%z :: app version %z :: app version
== ==
tri tri
@ -1239,10 +1255,17 @@
=(3 (met 3 nep)) =(3 (met 3 nep))
== ==
~ ~
?: &(=(%i two) =(~ aut.ced)) =^ yun paw
(holt ~ pul) ?+ two ~
?: &(=(%o two) !(~(has ju aut.ced) %$ (scot %p our))) ?(%e %u) [`@`(shaf %fake ses) paw]
(holt [~ our] pul) %i ?~ paw ~
[(need (slaw %p i.paw)) t.paw]
%o [our paw]
==
:: ?: &(=(%i two) =(~ aut.ced))
:: (holt ~ pul)
:: ?: &(=(%o two) !(~(has ju aut.ced) %$ (scot %p our)))
:: (holt [~ our] pul)
?+ one ~ ?+ one ~
%g %g
?+ tri ~ ?+ tri ~
@ -1250,13 +1273,17 @@
%v (foin p.q.pul paw r.pul) %v (foin p.q.pul paw r.pul)
%c (flub paw ~) %c (flub paw ~)
%l (fool r.pul) %l (fool r.pul)
%p (fapp p.q.pul paw) %g (fapg p.q.pul yun paw)
%z (fape p.q.pul paw) %r (fapr p.q.pul yun paw)
%e (fape p.q.pul yun paw)
== ==
:: ::
%p %p
?+ tri ~ ?+ tri ~
%l (foom moh) %l (foom moh)
%m (fapm p.q.pul yun paw moh)
%s (faps p.q.pul yun paw moh)
%u (fapu p.q.pul yun paw)
== ==
:: ::
%t %t
@ -1278,6 +1305,57 @@
+>.$(..ya (hone our num ses)) +>.$(..ya (hone our num ses))
+>.$ +>.$
:: ::
++ busc :: seam result code
|= som=seam
^- @ud
?.(?=(%sil -.som) 200 p.som) :: 203 means a diff
::
++ bush :: seam logo
|= som=seam
^- (unit logo)
?+ -.som ~
%ape `%json
%apg `r.som
%apr `%json
%fun `p.som
==
::
++ busk :: seam result
|= [num=@ud heq=(each cage cage)]
~& [%busk num]
=+ pip=(need (~(get by q.rey) num))
?> ?=(%way pez.pip)
%= +>.$
q.rey
%+ ~(put by q.rey) num
^- pimp
%= pip
pez %new
som
^- seam
:+ %sil
?:(-.heq 200 203)
=+ lug=(bush som.pip)
=+ bek=`beak`[our %main [%da now]]
=+ don=`silk`[%done ~ `cage`p.heq]
^- silk
:^ %cast %mime bek
?~ lug don
`silk`[%cast u.lug bek don]
==
==
::
++ bust
|= num=@ud
=+ pip=(need (~(get by q.rey) num))
?> ?=(%way pez.pip)
%= +>.$
q.rey
%+ ~(put by q.rey) num
pip(pez [%fin %raw 204 *mess `*octs])
==
::
++ inch :: function built ++ inch :: function built
|= [num=@ud mez=(each bead (list tank))] |= [num=@ud mez=(each bead (list tank))]
^+ +> ^+ +>
@ -1341,18 +1419,35 @@
%way [[~ pip] +>.$] %way [[~ pip] +>.$]
%new %new
?- -.som.pip ?- -.som.pip
%ape %ape :: stream update
~& [%wink-ape +.som.pip]
:- [~ pip(pez %way)] :- [~ pip(pez %way)]
+>.$(..ya (hova our num ses p.som.pip q.som.pip)) (yoke num +.som.pip)
:: ::
%apg :: simple get %apg :: simple get
~& [%wink-apg +.som.pip]
:- [~ pip(pez %way)] :- [~ pip(pez %way)]
+>.$(..ya (hove our num ses p.som.pip r.som.pip)) (yokg num p.som.pip q.som.pip s.som.pip)
:: ::
%apl !! %apm :: message
%apm !! ~& [%wink-apm +.som.pip]
%aps !! :- [~ pip(pez %way)]
%apu !! (yokm num +.som.pip)
::
%apr :: response
~& [%wink-apr +.som.pip]
:- [~ pip(pez %way)]
(yokr num +.som.pip)
::
%aps :: subscribe
~& [%wink-aps +.som.pip]
:- [~ pip(pez %way)]
(yoks num +.som.pip)
::
%apu :: unsubscribe
~& [%wink-apu +.som.pip]
:- [~ pip(pez %way)]
(yoku num +.som.pip)
:: ::
%con %con
:_ +>.$ :_ +>.$
@ -1677,6 +1772,10 @@
[%location (crip (earn p.som.pip))]~ [%location (crip (earn p.som.pip))]~
~ ~
== ==
::
%sil
:- [~ pip(pez %way)]
+>.$(..ya (honk our num ses q.som.pip))
== ==
:: ::
[%err *] [%err *]
@ -1732,6 +1831,93 @@
=+ sez=step =+ sez=step
?: =(rey.sez rey) sez ?: =(rey.sez rey) sez
$(+ sez) $(+ sez)
::
++ yoke :: long poll
|= [num=@ud app=term you=ship nap=@ud suc=term cnt=@ud]
^+ +>
=+ yon=(yolk app you nap)
?~ yon (bust num)
abet:abet:(hire:(yule:u.yon suc) cnt num)
::
++ yokg :: main call
|= [num=@ud app=term you=ship pax=path]
^+ +>
=+ nup=(~(get by kog) [app you])
=. +>.$ ?~(nup +>.$ abet:burn:(need (yolk app you u.nup)))
abet:(~(self yo num app you *sink) pax)
::
++ yokm :: message
|= [num=@ud app=term you=ship nap=@ud cnt=@ud jon=json]
!!
::
++ yokr :: response pull
|= [num=@ud app=term you=ship nap=@ud cnt=@ud]
!!
::
++ yoks :: subscribe
|= [num=@ud app=term you=ship nap=@ud suc=term pax=path]
!!
::
++ yoku :: unsubscribe
|= [num=@ud app=term you=ship nap=@ud suc=term]
!!
::
++ yolk :: yo by instance
|= [app=term you=ship nap=@ud]
=+ suy=(~(get by sok) nap)
?~ suy ~
?> &(=(app p.u.suy) =(you q.u.suy))
(some ~(. yo nap u.suy))
::
++ yo :: app instance
|_ $: nap=@ud :: instance number
app=term :: application name
you=ship :: client identity
siq=sink :: instance state
==
++ abet :: resolve
%_ ..yo
kog (~(put by kog) [app you] nap)
sok (~(put by sok) nap [app you siq])
==
::
++ burn :: cancel all subs
^+ .
~& [%eyre-yo-burn our app you nap]
. :: XX
::
++ hoop :: request path
|= suc=term
^- path
[(scot %p our) ses (scot %di nap) suc ~]
::
++ self :: request main
|= pax=path
^+ +>
abet:(hire:(yule:(toss %self [%show [our app] `pax]) %self) 0 nap)
::
++ toss :: toss to gall
|= [suc=term noh=note]
^+ +>
+>(mow [[hen %toss %g (hoop suc) noh] mow])
::
++ yule :: swig state
|= suc=term
~(. yu suc =+(wig=(~(get by haw.siq) suc) ?~(wig *swig u.wig)))
::
++ yu :: swig state
|_ [suc=term wig=swig]
++ abet :: resolve
%_(..yu haw.siq (~(put by haw.siq) suc wig))
++ hire :: request
|= [cnt=@ud num=@ud]
^+ +>
?. (lth cnt cnt.wig)
%_(+> wan.wig (~(put ju wan.wig) cnt num))
=+ rud=(~(get by red.wig) cnt)
%_(+>.$ ..yo ?~(rud (bust num) (busk num u.rud)))
--
--
-- --
-- --
-- --

9
arvo/gall.hoon
View File

@ -21,13 +21,12 @@
[%meta p=vase] :: meta-gift [%meta p=vase] :: meta-gift
== :: == ::
++ hasp ,[p=ship q=term] :: app identity ++ hasp ,[p=ship q=term] :: app identity
++ hope (pair ,? path) :: view/subscribe
++ kiss :: in request ->$ ++ kiss :: in request ->$
$% [%show p=hasp q=(unit hope)] :: urb subscribe/cancel $% [%show p=hasp q=(unit path)] :: urb subscribe/cancel
[%cuff p=(unit cuff) q=kiss] :: controlled kiss [%cuff p=(unit cuff) q=kiss] :: controlled kiss
[%mess p=hasp q=cage] :: message [%mess p=hasp q=cage] :: message
[%nuke p=hasp] :: reset this duct [%nuke p=hasp] :: reset this duct
[%show p=hasp q=(unit hope)] :: web subscribe/cancel [%show p=hasp q=(unit path)] :: web subscribe/cancel
[%wait p=hasp q=@ud] :: await tick [%wait p=hasp q=@ud] :: await tick
== :: == ::
++ knob :: pending action ++ knob :: pending action
@ -35,7 +34,7 @@
[%crud p=@tas q=(list tank)] :: error [%crud p=@tas q=(list tank)] :: error
[%mess p=cage] :: message [%mess p=cage] :: message
[%nuke ~] :: destroy duct [%nuke ~] :: destroy duct
[%show p=(unit hope)] :: subscribe/cancel [%show p=(unit path)] :: subscribe/cancel
[%take p=path q=vase] :: user result [%take p=path q=vase] :: user result
[%wait p=@ud] :: await tick [%wait p=@ud] :: await tick
== :: == ::
@ -507,7 +506,7 @@
[(sump (slot 2 vud)) $(vud (slot 3 vud))] [(sump (slot 2 vud)) $(vud (slot 3 vud))]
:: ::
++ show :: subscribe ++ show :: subscribe
|= hup=(unit hope) :: subscription |= hup=(unit path) :: subscription
^+ +> ^+ +>
%_(+> vey.sat (~(put to vey.sat) hen %show hup)) %_(+> vey.sat (~(put to vey.sat) hen %show hup))
:: ::

4
arvo/hoon.hoon
View File

@ -1722,7 +1722,7 @@
^- ? ^- ?
(~(has in (get(+< a) b)) c) (~(has in (get(+< a) b)) c)
:: ::
+- put :: adds key-set pair +- put :: add key-set pair
|* [b=* c=*] |* [b=* c=*]
^+ a ^+ a
=+ d=(get(+< a) b) =+ d=(get(+< a) b)
@ -9125,7 +9125,7 @@
++ hide :: computation state ++ hide :: computation state
$: own=[p=ship q=@tas] :: static identity $: own=[p=ship q=@tas] :: static identity
$= seq :: dynamic sequence $= seq :: dynamic sequence
$: but=@ud :: boot number $: tik=@ud :: boot number
num=@ud :: action number num=@ud :: action number
eny=@ :: entropy eny=@ :: entropy
lat=@da :: date of last tick lat=@da :: date of last tick

3
arvo/zuse.hoon
View File

@ -2487,9 +2487,6 @@
[%3 p=silk] :: build a %hoot [%3 p=silk] :: build a %hoot
== :: == ::
++ skit ,[p=(unit ,@ta) q=(list ,@ta) r=(list ,@ta)] :: tracking path ++ skit ,[p=(unit ,@ta) q=(list ,@ta) r=(list ,@ta)] :: tracking path
++ sink :: incoming per server
$: nes=(map flap ,[p=@da q=bait]) :: fragment actions
== ::
++ skin ?(%none %open %fast %full) :: encoding stem ++ skin ?(%none %open %fast %full) :: encoding stem
++ slip ,[p=path q=goal] :: traceable request ++ slip ,[p=path q=goal] :: traceable request
++ snow ,[p=@ud q=@ud r=(set ,@ud)] :: window exceptions ++ snow ,[p=@ud q=@ud r=(set ,@ud)] :: window exceptions