urbit/pkg/arvo/lib/group.hoon

/-  *group
/+  store=group-store, resource
::
|_  =bowl:gall
+$  card  card:agent:gall
++  scry-for
  |*  [=mold =path]
  =.  path
    (snoc path %noun)
  .^  mold
    %gx
    (scot %p our.bowl)
    %group-store
    (scot %da now.bowl)
    path
  ==
++  scry-tag
  |=  [rid=resource =tag]
  ^-  (unit (set ship))
  =/  group
    (scry-group rid)
  ?~  group
    ~
  `(~(gut by tags.u.group) tag ~)
::
++  scry-group
  |=  rid=resource
  %+  scry-for  ,(unit group)
  `path`groups+(en-path:resource rid)
::
++  members
  |=  rid=resource
  =;  =group
    members.group
  (fall (scry-group rid) *group)
::
++  is-member
  |=  [=ship group=resource]
  ^-  ?
  =-  (~(has in -) ship)
  (members group)
::
++  is-admin
  |=  [=ship group=resource]
  ^-  ?
  =/  tags  tags:(fall (scry-group group) *^group)
  =/  admins=(set ^ship)  (~(gut by tags) %admin ~)
  (~(has in admins) ship)
::  +role-for-ship: get role for user
::
::    Returns ~ if no such group exists or user is not
::    a member of the group. Returns [~ ~] if the user
::    is a member with no additional role.
++  role-for-ship
  |=  [rid=resource =ship]
  ^-  (unit (unit role-tag))
  =/  grp=(unit group)
    (scry-group rid)
  ?~  grp  ~
  =*  group   u.grp
  =*  policy  policy.group
  =*  tags    tags.group
  =/  admins=(set ^ship)
    (~(gut by tags) %admin ~)
  ?:  (~(has in admins) ship)
    ``%admin
  =/  mods
    (~(gut by tags) %moderator ~)
  ?:  (~(has in mods) ship)
    ``%moderator
  =/  janitors
    (~(gut by tags) %janitor ~)
  ?:  (~(has in janitors) ship)
    ``%janitor
  ?:  (~(has in members.group) ship)
    [~ ~]
  ~
::
++  can-join
  |=  [rid=resource =ship]
  %+  scry-for  ,?
  ^-  path
  :-  %groups
  (weld (en-path:resource rid) /join/(scot %p ship))
::
++  is-managed
  |=  rid=resource
  =/  group=(unit group)
    (scry-group rid)
  ?~  group  %.n
  !hidden.u.group
::
--
metadata: modernize namespacing 2021-01-28 09:13:57 +03:00			`/- *group`
groups: migrate to push-pull hooks and resources 2020-06-08 10:53:16 +03:00			`/+ store=group-store, resource`
groups: finalize state adapters 2020-06-24 03:28:57 +03:00			`::`
groups: finish rewrite 2020-05-21 07:30:02 +03:00			`\|_ =bowl:gall`
groups: fix race condition in joining flow Attempting to sync a group that a ship is not in causes the subscription to fail. Because the %add-members action and the sync used to be sent in one invocation, ames does not guaranteed the order of these remote actions and so we wait for the %add-members poke to be acked before adding the group and associated resources. 2020-05-29 04:53:14 +03:00			`+$ card card:agent:gall`
groups: finish rewrite 2020-05-21 07:30:02 +03:00			`++ scry-for`
			`\|* [=mold =path]`
metadata: modernize namespacing 2021-01-28 09:13:57 +03:00			`=. path`
			`(snoc path %noun)`
groups: finish rewrite 2020-05-21 07:30:02 +03:00			`.^ mold`
			`%gx`
			`(scot %p our.bowl)`
			`%group-store`
			`(scot %da now.bowl)`
metadata: modernize namespacing 2021-01-28 09:13:57 +03:00			`path`
groups: finish rewrite 2020-05-21 07:30:02 +03:00			`==`
groups: fix race condition in joining flow Attempting to sync a group that a ship is not in causes the subscription to fail. Because the %add-members action and the sync used to be sent in one invocation, ames does not guaranteed the order of these remote actions and so we wait for the %add-members poke to be acked before adding the group and associated resources. 2020-05-29 04:53:14 +03:00			`++ scry-tag`
groups: migrate to push-pull hooks and resources 2020-06-08 10:53:16 +03:00			`\|= [rid=resource =tag]`
groups: fix race condition in joining flow Attempting to sync a group that a ship is not in causes the subscription to fail. Because the %add-members action and the sync used to be sent in one invocation, ames does not guaranteed the order of these remote actions and so we wait for the %add-members poke to be acked before adding the group and associated resources. 2020-05-29 04:53:14 +03:00			`^- (unit (set ship))`
			`=/ group`
groups: migrate to push-pull hooks and resources 2020-06-08 10:53:16 +03:00			`(scry-group rid)`
groups: fix race condition in joining flow Attempting to sync a group that a ship is not in causes the subscription to fail. Because the %add-members action and the sync used to be sent in one invocation, ames does not guaranteed the order of these remote actions and so we wait for the %add-members poke to be acked before adding the group and associated resources. 2020-05-29 04:53:14 +03:00			`?~ group`
			`~`
			`(~(gut by tags.u.group) tag ~)
groups: finish rewrite 2020-05-21 07:30:02 +03:00			`::`
			`++ scry-group`
groups: migrate to push-pull hooks and resources 2020-06-08 10:53:16 +03:00			`\|= rid=resource`
metadata: modernize namespacing 2021-01-28 09:13:57 +03:00			`%+ scry-for ,(unit group)`
			`path`groups+(en-path:resource rid)
chat: update to new groups 2020-05-25 08:52:54 +03:00			`::`
			`++ members`
groups: migrate to push-pull hooks and resources 2020-06-08 10:53:16 +03:00			`\|= rid=resource`
metadata: modernize namespacing 2021-01-28 09:13:57 +03:00			`=; =group`
			`members.group`
			`(fall (scry-group rid) *group)`
groups: finish rewrite 2020-05-21 07:30:02 +03:00			`::`
groups: address review comments 2020-07-02 05:17:28 +03:00			`++ is-member`
metadata-store: exorcise paths 2021-01-12 07:26:19 +03:00			`\|= [=ship group=resource]`
groups: finish rewrite 2020-05-21 07:30:02 +03:00			`^- ?`
			`=- (~(has in -) ship)`
metadata-store: exorcise paths 2021-01-12 07:26:19 +03:00			`(members group)`
graph-push-hook: graph push hook forwarding works 2020-09-18 23:09:06 +03:00			`::`
			`++ is-admin`
metadata-store: exorcise paths 2021-01-12 07:26:19 +03:00			`\|= [=ship group=resource]`
graph-push-hook: graph push hook forwarding works 2020-09-18 23:09:06 +03:00			`^- ?`
metadata-store: exorcise paths 2021-01-12 07:26:19 +03:00			`=/ tags tags:(fall (scry-group group) *^group)`
graph-push-hook: graph push hook forwarding works 2020-09-18 23:09:06 +03:00			`=/ admins=(set ^ship) (~(gut by tags) %admin ~)`
			`(~(has in admins) ship)`
groups: add .hidden flag on group 2020-05-27 07:32:43 +03:00			`:: +role-for-ship: get role for user`
groups: finish rewrite 2020-05-21 07:30:02 +03:00			`::`
groups: add .hidden flag on group 2020-05-27 07:32:43 +03:00			`:: Returns ~ if no such group exists or user is not`
			`:: a member of the group. Returns [~ ~] if the user`
			`:: is a member with no additional role.`
groups: finish rewrite 2020-05-21 07:30:02 +03:00			`++ role-for-ship`
groups: migrate to push-pull hooks and resources 2020-06-08 10:53:16 +03:00			`\|= [rid=resource =ship]`
groups: add .hidden flag on group 2020-05-27 07:32:43 +03:00			`^- (unit (unit role-tag))`
groups: finish rewrite 2020-05-21 07:30:02 +03:00			`=/ grp=(unit group)`
groups: migrate to push-pull hooks and resources 2020-06-08 10:53:16 +03:00			`(scry-group rid)`
groups: finish rewrite 2020-05-21 07:30:02 +03:00			`?~ grp ~`
			`=* group u.grp`
			`=* policy policy.group`
groups: namespace tags 2020-05-27 09:19:29 +03:00			`=* tags tags.group`
groups: finish rewrite 2020-05-21 07:30:02 +03:00			`=/ admins=(set ^ship)`
groups: namespace tags 2020-05-27 09:19:29 +03:00			`(~(gut by tags) %admin ~)`
groups: finish rewrite 2020-05-21 07:30:02 +03:00			`?: (~(has in admins) ship)`
groups: add .hidden flag on group 2020-05-27 07:32:43 +03:00			``%admin
groups: finish rewrite 2020-05-21 07:30:02 +03:00			`=/ mods`
groups: namespace tags 2020-05-27 09:19:29 +03:00			`(~(gut by tags) %moderator ~)`
groups: finish rewrite 2020-05-21 07:30:02 +03:00			`?: (~(has in mods) ship)`
groups: add .hidden flag on group 2020-05-27 07:32:43 +03:00			``%moderator
groups: finish rewrite 2020-05-21 07:30:02 +03:00			`=/ janitors`
groups: namespace tags 2020-05-27 09:19:29 +03:00			`(~(gut by tags) %janitor ~)`
groups: finish rewrite 2020-05-21 07:30:02 +03:00			`?: (~(has in janitors) ship)`
groups: add .hidden flag on group 2020-05-27 07:32:43 +03:00			``%janitor
groups: finish rewrite 2020-05-21 07:30:02 +03:00			`?: (~(has in members.group) ship)`
groups: add .hidden flag on group 2020-05-27 07:32:43 +03:00			`[~ ~]`
groups: finish rewrite 2020-05-21 07:30:02 +03:00			`~`
graph-push-hook: graph push hook forwarding works 2020-09-18 23:09:06 +03:00			`::`
chat: update to new groups 2020-05-25 08:52:54 +03:00			`++ can-join`
groups: migrate to push-pull hooks and resources 2020-06-08 10:53:16 +03:00			`\|= [rid=resource =ship]`
metadata: modernize namespacing 2021-01-28 09:13:57 +03:00			`%+ scry-for ,?`
			`^- path`
			`:- %groups`
			`(weld (en-path:resource rid) /join/(scot %p ship))`
groups: fix race condition in joining flow Attempting to sync a group that a ship is not in causes the subscription to fail. Because the %add-members action and the sync used to be sent in one invocation, ames does not guaranteed the order of these remote actions and so we wait for the %add-members poke to be acked before adding the group and associated resources. 2020-05-29 04:53:14 +03:00			`::`
metadata: modernize namespacing 2021-01-28 09:13:57 +03:00			`++ is-managed`
			`\|= rid=resource`
groups: add .hidden flag on group 2020-05-27 07:32:43 +03:00			`=/ group=(unit group)`
metadata: modernize namespacing 2021-01-28 09:13:57 +03:00			`(scry-group rid)`
groups: add .hidden flag on group 2020-05-27 07:32:43 +03:00			`?~ group %.n`
			`!hidden.u.group`
			`::`
groups: finish rewrite 2020-05-21 07:30:02 +03:00			`--`