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

gall: store scry paths in a +mop, not +map

Browse Source
This commit is contained in:
Ted Blackman 2023-03-11 17:25:11 -06:00 committed by ~wicrum-wicrun
parent b798ba2320
commit fc14b21815
1 changed files with 16 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
pkg/arvo/sys/vane/gall.hoon
View File

@ -69,8 +69,10 @@
:: ::
+$ path-state +$ path-state
$: bob=(unit @ud) $: bob=(unit @ud)
fan=(map @ud (each noun @uvI)) :: TODO +mop? fan=((mop @ud (each noun @uvI)) lte)
== ==
::
++ on-path ((on @ud (each noun @uvI)) lte)
:: $routes: new cuff; TODO: document :: $routes: new cuff; TODO: document
:: ::
+$ routes +$ routes
@ -267,24 +269,30 @@
++ mo-grow ++ mo-grow
|= [=path =noun] |= [=path =noun]
^+ mo-core ^+ mo-core
:: TODO check if path makes any sense
:: - from our ship (or signed by other ship?)
:: - not claiming to be another vane (or agent?)
:: - has a numeric case
:: - up only?
:: - enforce no skipped aeons?
=/ pit (scrub-case path) =/ pit (scrub-case path)
=/ yon (snag-case path) =/ yon (snag-case path)
=/ old (~(get by sky.state) pit) =/ old (~(get by sky.state) pit)
?~ old :: insert binding at new path ?~ old :: insert binding at new path
=. sky.state =. sky.state
%+ ~(put by sky.state) pit %+ ~(put by sky.state) pit
`(~(put by fan:*path-state) yon [%& noun]) `(put:on-path fan:*path-state yon [%& noun])
mo-core mo-core
=> ?~ bob.u.old => ?~ bob.u.old
. .
~| gall-grow-bob+[path actual=yon max=u.bob.u.old] ~| gall-grow-bob+[path actual=yon max=u.bob.u.old]
?> (gth yon u.bob.u.old) ?> (gth yon u.bob.u.old)
. .
=/ val (~(get by fan.u.old) yon) =/ val (get:on-path fan.u.old yon)
?~ val :: insert binding at new case ?~ val :: insert binding at new case
=. sky.state =. sky.state
%+ ~(put by sky.state) pit %+ ~(put by sky.state) pit
u.old(fan (~(put by fan.u.old) yon [%& noun])) u.old(fan (put:on-path fan.u.old yon [%& noun]))
mo-core mo-core
?- -.u.val ?- -.u.val
%& ?> =(p.u.val noun) :: re-bind same value or die %& ?> =(p.u.val noun) :: re-bind same value or die
@ -292,7 +300,7 @@
%| ?> =(p.u.val (shax (jam noun))) :: reinflate tombstoned case %| ?> =(p.u.val (shax (jam noun))) :: reinflate tombstoned case
=. sky.state =. sky.state
%+ ~(put by sky.state) pit %+ ~(put by sky.state) pit
u.old(fan (~(put by fan.u.old) yon [%& noun])) u.old(fan (put:on-path fan.u.old yon [%& noun]))
mo-core mo-core
== ==
:: ::
@ -304,7 +312,7 @@
=/ old (~(get by sky.state) pit) =/ old (~(get by sky.state) pit)
?~ old :: no-op if nonexistent ?~ old :: no-op if nonexistent
mo-core :: TODO trace mo-core :: TODO trace
=/ val (~(get by fan.u.old) yon) =/ val (get:on-path fan.u.old yon)
?~ val :: no-op if nonexistent ?~ val :: no-op if nonexistent
mo-core :: TODO trace mo-core :: TODO trace
?- -.u.val ?- -.u.val
@ -312,7 +320,7 @@
%& %&
=. sky.state :: replace with hash =. sky.state :: replace with hash
%+ ~(put by sky.state) pit %+ ~(put by sky.state) pit
u.old(fan (~(put by fan.u.old) yon [%| (shax (jam p.u.val))])) u.old(fan (put:on-path fan.u.old yon [%| (shax (jam p.u.val))]))
mo-core mo-core
== ==
:: ::
@ -326,11 +334,7 @@
mo-core :: TODO trace mo-core :: TODO trace
=. sky.state :: delete all older paths =. sky.state :: delete all older paths
%+ ~(put by sky.state) pit %+ ~(put by sky.state) pit
:- bob=`yon [`yon (lot:on-path fan.u.old `+(yon) ~)]
%- ~(gas by fan:*path-state)
%+ skim ~(tap by fan.u.old)
|= [yin=@ud val=(each noun @uvI)]
(gth yin yon)
mo-core mo-core
:: +mo-receive-core: receives an app core built by %ford. :: +mo-receive-core: receives an app core built by %ford.
:: ::