2020-06-08 10:53:16 +03:00
|
|
|
/- *resource
|
2020-06-24 03:28:57 +03:00
|
|
|
::
|
2020-05-21 07:30:02 +03:00
|
|
|
^?
|
2020-05-15 01:50:04 +03:00
|
|
|
|%
|
|
|
|
|
:: $groups: a mapping from group-ids to groups
|
|
|
|
|
::
|
2020-06-08 10:53:16 +03:00
|
|
|
+$ groups (map resource group)
|
2020-05-27 09:19:29 +03:00
|
|
|
:: $group-tag: an identifier used by groups
|
|
|
|
|
::
|
|
|
|
|
:: These tags should have precise semantics, as they are shared across all
|
|
|
|
|
:: apps.
|
|
|
|
|
::
|
|
|
|
|
+$ group-tag ?(role-tag)
|
2020-05-15 01:50:04 +03:00
|
|
|
:: $tag: an identifier used to identify a subset of members
|
|
|
|
|
::
|
|
|
|
|
:: Tags may be used and recognised differently across apps.
|
2020-05-27 06:04:16 +03:00
|
|
|
:: for example, you could use tags like `%author`, `%bot`, `%flagged`...
|
2020-05-15 01:50:04 +03:00
|
|
|
::
|
2020-05-27 09:19:29 +03:00
|
|
|
+$ tag $@(group-tag [app=term tag=term])
|
|
|
|
|
:: $role-tag: a kind of $group-tag that identifies a privileged user
|
2020-05-15 01:50:04 +03:00
|
|
|
::
|
|
|
|
|
:: These roles are
|
|
|
|
|
:: %admin: Administrator, can do everything except delete the group
|
|
|
|
|
:: %moderator: Moderator, can add/remove/ban users
|
|
|
|
|
:: %janitor: Has no special meaning inside group-store,
|
|
|
|
|
:: but may be given additional privileges in other apps.
|
2020-05-27 07:32:43 +03:00
|
|
|
::
|
2020-05-21 07:30:02 +03:00
|
|
|
+$ role-tag
|
2020-05-27 07:32:43 +03:00
|
|
|
?(%admin %moderator %janitor)
|
2020-05-27 09:19:29 +03:00
|
|
|
:: $tags: a mapping from a $tag to the members it identifies
|
2020-05-15 01:50:04 +03:00
|
|
|
::
|
2020-05-27 09:19:29 +03:00
|
|
|
+$ tags (jug tag ship)
|
2020-05-15 01:50:04 +03:00
|
|
|
:: $group: description of a group of users
|
|
|
|
|
::
|
2020-05-27 07:32:43 +03:00
|
|
|
:: .members: members of the group
|
2020-06-03 05:21:00 +03:00
|
|
|
:: .tag-queries: a map of tags to subsets of members
|
2020-05-27 07:32:43 +03:00
|
|
|
:: .policy: permissions for the group
|
|
|
|
|
:: .hidden: is group unmanaged
|
2020-05-15 01:50:04 +03:00
|
|
|
+$ group
|
|
|
|
|
$: members=(set ship)
|
2020-05-27 09:19:29 +03:00
|
|
|
=tags
|
2020-05-15 01:50:04 +03:00
|
|
|
=policy
|
2020-06-15 11:09:03 +03:00
|
|
|
hidden=?
|
2020-05-15 01:50:04 +03:00
|
|
|
==
|
|
|
|
|
:: $policy: access control for a group
|
|
|
|
|
::
|
|
|
|
|
++ policy
|
|
|
|
|
=< policy
|
|
|
|
|
|%
|
|
|
|
|
::
|
|
|
|
|
+$ policy
|
|
|
|
|
$% invite
|
|
|
|
|
open
|
|
|
|
|
==
|
|
|
|
|
:: $diff: change group policy
|
|
|
|
|
+$ diff
|
2020-06-03 05:21:00 +03:00
|
|
|
$% [%invite diff:invite]
|
|
|
|
|
[%open diff:open]
|
2020-05-15 01:50:04 +03:00
|
|
|
[%replace =policy]
|
|
|
|
|
==
|
|
|
|
|
:: $invite: allow only invited ships
|
|
|
|
|
++ invite
|
|
|
|
|
=< invite-policy
|
|
|
|
|
|%
|
|
|
|
|
::
|
|
|
|
|
+$ invite-policy
|
|
|
|
|
[%invite pending=(set ship)]
|
|
|
|
|
:: $diff: add or remove invites
|
|
|
|
|
::
|
|
|
|
|
+$ diff
|
|
|
|
|
$% [%add-invites invitees=(set ship)]
|
|
|
|
|
[%remove-invites invitees=(set ship)]
|
|
|
|
|
==
|
|
|
|
|
--
|
|
|
|
|
:: $open: allow all unbanned ships of approriate rank
|
|
|
|
|
::
|
|
|
|
|
++ open
|
|
|
|
|
=< open-policy
|
|
|
|
|
|%
|
|
|
|
|
::
|
|
|
|
|
+$ open-policy
|
2020-05-27 06:04:16 +03:00
|
|
|
[%open ban-ranks=(set rank:title) banned=(set ship)]
|
2020-05-15 01:50:04 +03:00
|
|
|
:: $diff: ban or allow ranks and ships
|
|
|
|
|
::
|
|
|
|
|
+$ diff
|
2020-05-27 06:04:16 +03:00
|
|
|
$% [%allow-ranks ranks=(set rank:title)]
|
|
|
|
|
[%ban-ranks ranks=(set rank:title)]
|
2020-05-15 01:50:04 +03:00
|
|
|
[%ban-ships ships=(set ship)]
|
|
|
|
|
[%allow-ships ships=(set ship)]
|
|
|
|
|
==
|
|
|
|
|
--
|
|
|
|
|
--
|
|
|
|
|
--
|
