mirror of
https://github.com/urbit/shrub.git
synced 2024-12-30 07:35:19 +03:00
9c0ad13abd
Adds a resource field to the app-tag type, as apps will generally want to use tags to identify a specific resource
40 lines
1.0 KiB
Plaintext
40 lines
1.0 KiB
Plaintext
/- *group, *resource
|
|
^?
|
|
|%
|
|
::
|
|
:: $action: request to change group-store state
|
|
::
|
|
:: %add-group: add a group
|
|
:: %add-members: add members to a group
|
|
:: %remove-members: remove members from a group
|
|
:: %add-tag: add a tag to a set of ships
|
|
:: %remove-tag: remove a tag from a set of ships
|
|
:: %change-policy: change a group's policy
|
|
:: %remove-group: remove a group from the store
|
|
:: %expose: unset .hidden flag
|
|
::
|
|
+$ action
|
|
$% [%add-group =resource =policy hidden=?]
|
|
[%add-members =resource ships=(set ship)]
|
|
[%remove-members =resource ships=(set ship)]
|
|
[%add-tag =resource =tag ships=(set ship)]
|
|
[%remove-tag =resource =tag ships=(set ship)]
|
|
[%change-policy =resource =diff:policy]
|
|
[%remove-group =resource ~]
|
|
[%expose =resource ~]
|
|
==
|
|
:: $update: a description of a processed state change
|
|
::
|
|
:: %initial: describe groups upon new subscription
|
|
::
|
|
+$ update
|
|
$% initial
|
|
action
|
|
==
|
|
+$ initial
|
|
$% [%initial-group =resource =group]
|
|
[%initial =groups]
|
|
==
|
|
--
|
|
|