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

graph-push-hook: added more jet hints

Browse Source
This commit is contained in:
Logan Allen 2021-05-07 12:20:01 -05:00
parent 57f5550dbc
commit 9dbade6207
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkg/arvo/app/graph-push-hook.hoon
View File

@ -265,6 +265,7 @@
reader.permissions
::
++ get-roles-writers-variation
~/ %get-roles-writers-variation
|= =resource:res
^- (unit [is-admin=? writers=(set ship) vip=vip-metadata:metadata])
:: TODO: doing three scries in a row on the hot path is slow
@ -289,6 +290,7 @@
[(snag (dec (lent index)) index) p.post.node]
::
++ is-allowed-add
~/ %is-allowed-add
|= [=resource:res nodes=(map index:store node:store)]
^- ?
:: TODO: extremely slow due to scries. This takes about ~30ms per
@ -332,6 +334,7 @@
--
::
++ is-allowed-remove
~/ %is-allowed-remove
|= [=resource:res indices=(set index:store)]
^- ?
|^