2020-10-21 08:54:59 +03:00
|
|
|
/- *resource, graph-store, post, group-store, metadata-store
|
|
|
|
|
^?
|
|
|
|
|
|%
|
|
|
|
|
::
|
|
|
|
|
+$ index
|
|
|
|
|
$% [%graph group=resource graph=resource module=@t description=@t]
|
|
|
|
|
[%group group=resource description=@t]
|
|
|
|
|
==
|
|
|
|
|
::
|
|
|
|
|
+$ group-contents
|
|
|
|
|
$~ [%add-members *resource ~]
|
|
|
|
|
$% $>(?(%add-members %remove-members) update:group-store)
|
|
|
|
|
metadata-action:metadata-store
|
|
|
|
|
==
|
|
|
|
|
::
|
|
|
|
|
+$ notification
|
|
|
|
|
[date=@da read=? =contents]
|
|
|
|
|
::
|
|
|
|
|
+$ contents
|
2020-10-27 08:04:39 +03:00
|
|
|
$% [%graph =(list post:post)]
|
2020-10-21 08:54:59 +03:00
|
|
|
[%group =(list group-contents)]
|
|
|
|
|
==
|
|
|
|
|
::
|
|
|
|
|
+$ timebox
|
|
|
|
|
(map index notification)
|
|
|
|
|
::
|
|
|
|
|
+$ notifications
|
2020-10-27 08:04:39 +03:00
|
|
|
((mop @da timebox) lth)
|
2020-10-21 08:54:59 +03:00
|
|
|
::
|
|
|
|
|
+$ action
|
|
|
|
|
$% [%add =index =notification]
|
|
|
|
|
[%archive time=@da index]
|
|
|
|
|
[%read time=@da index]
|
|
|
|
|
[%unread time=@da index]
|
2020-10-27 08:04:39 +03:00
|
|
|
[%set-dnd dnd=?]
|
2020-10-21 08:54:59 +03:00
|
|
|
[%seen ~]
|
|
|
|
|
==
|
2020-10-27 08:04:39 +03:00
|
|
|
::
|
|
|
|
|
++ indexed-notification
|
|
|
|
|
[index notification]
|
2020-10-21 08:54:59 +03:00
|
|
|
::
|
|
|
|
|
+$ update
|
|
|
|
|
$% action
|
2020-10-27 08:04:39 +03:00
|
|
|
[%more =(list update)]
|
2020-10-28 08:52:59 +03:00
|
|
|
[%added time=@da =index =notification]
|
2020-10-27 08:04:39 +03:00
|
|
|
[%timebox time=@da archived=? =(list [index notification])]
|
|
|
|
|
[%count count=@ud]
|
2020-10-21 08:54:59 +03:00
|
|
|
==
|
|
|
|
|
--
|
