mirror of
https://github.com/urbit/shrub.git
synced 2024-12-30 15:44:03 +03:00
54b3982b42
This commit changes the type of update:graph-store and as such, a new mark has been created. graph-store now consumes and produces %graph-update-1. This new mark type is backwards incompatible with the previous mark.
335 lines
7.6 KiB
Plaintext
335 lines
7.6 KiB
Plaintext
:: chat-store [landscape]:
|
|
::
|
|
:: data store that holds linear sequences of chat messages
|
|
::
|
|
/- *group, store=chat-store
|
|
/+ default-agent, verb, dbug, group-store,
|
|
graph-store, resource, *migrate, grpl=group, mdl=metadata
|
|
~% %chat-store-top ..part ~
|
|
|%
|
|
+$ card card:agent:gall
|
|
+$ versioned-state
|
|
$% state-0
|
|
state-1
|
|
state-2
|
|
state-3
|
|
state-4
|
|
==
|
|
::
|
|
+$ state-0 [%0 =inbox:store]
|
|
+$ state-1 [%1 =inbox:store]
|
|
+$ state-2 [%2 =inbox:store]
|
|
+$ state-3 [%3 =inbox:store]
|
|
+$ state-4 [%4 =inbox:store]
|
|
+$ admin-action
|
|
$% [%trim ~]
|
|
[%migrate-graph ~]
|
|
==
|
|
--
|
|
::
|
|
=| state-4
|
|
=* state -
|
|
::
|
|
%- agent:dbug
|
|
%+ verb |
|
|
^- agent:gall
|
|
=<
|
|
~% %chat-store-agent-core ..peek-x-envelopes ~
|
|
|_ =bowl:gall
|
|
+* this .
|
|
chat-core +>
|
|
cc ~(. chat-core bowl)
|
|
def ~(. (default-agent this %|) bowl)
|
|
::
|
|
++ on-init on-init:def
|
|
++ on-save !>(state)
|
|
++ on-load
|
|
|= old-vase=vase
|
|
^- (quip card _this)
|
|
|^
|
|
=/ old !<(versioned-state old-vase)
|
|
=| cards=(list card)
|
|
|-
|
|
^- (quip card _this)
|
|
?- -.old
|
|
%4 [cards this(state old)]
|
|
::
|
|
%3
|
|
=. cards :_(cards (poke-admin %migrate-graph ~))
|
|
$(old [%4 inbox.old])
|
|
::
|
|
%2
|
|
=/ =inbox:store
|
|
(migrate-path-map:group-store inbox.old)
|
|
=/ kick-paths
|
|
%~ tap in
|
|
%+ roll
|
|
~(val by sup.bowl)
|
|
|= [[=ship sub=path] subs=(set path)]
|
|
^- (set path)
|
|
?. ?=([@ @ *] sub)
|
|
subs
|
|
?. &(=(%mailbox i.sub) =('~' i.t.sub))
|
|
subs
|
|
(~(put in subs) sub)
|
|
=? cards ?=(^ kick-paths)
|
|
:_ cards
|
|
[%give %kick kick-paths ~]
|
|
$(old [%3 inbox])
|
|
::
|
|
?(%0 %1) $(old (old-to-2 inbox.old))
|
|
::
|
|
==
|
|
++ poke-admin
|
|
|= =admin-action
|
|
^- card
|
|
[%pass / %agent [our dap]:bowl %poke noun+!>(admin-action)]
|
|
::
|
|
++ old-to-2
|
|
|= =inbox:store
|
|
^- state-2
|
|
:- %2
|
|
%- ~(run by inbox)
|
|
|= =mailbox:store
|
|
^- mailbox:store
|
|
[config.mailbox (flop envelopes.mailbox)]
|
|
--
|
|
::
|
|
++ on-poke
|
|
~/ %chat-store-poke
|
|
|= [=mark =vase]
|
|
^- (quip card _this)
|
|
?> (team:title our.bowl src.bowl)
|
|
=^ cards state
|
|
?+ mark (on-poke:def mark vase)
|
|
%noun (poke-noun:cc !<(admin-action vase))
|
|
%import (poke-import:cc q.vase)
|
|
==
|
|
[cards this]
|
|
::
|
|
++ on-watch on-watch:def
|
|
++ on-leave on-leave:def
|
|
++ on-peek
|
|
~/ %chat-store-peek
|
|
|= =path
|
|
^- (unit (unit cage))
|
|
?+ path (on-peek:def path)
|
|
[%x %all ~] ``noun+!>(inbox)
|
|
[%x %keys ~] ``noun+!>(~(key by inbox))
|
|
[%x %envelopes *] (peek-x-envelopes:cc t.t.path)
|
|
[%x %mailbox *]
|
|
?~ t.t.path
|
|
~
|
|
``noun+!>((~(get by inbox) t.t.path))
|
|
::
|
|
[%x %config *]
|
|
?~ t.t.path
|
|
~
|
|
=/ mailbox (~(get by inbox) t.t.path)
|
|
?~ mailbox
|
|
~
|
|
``noun+!>(config.u.mailbox)
|
|
::
|
|
[%x %export ~]
|
|
``noun+!>(state)
|
|
==
|
|
::
|
|
++ on-agent on-agent:def
|
|
++ on-arvo on-arvo:def
|
|
++ on-fail on-fail:def
|
|
--
|
|
::
|
|
~% %chat-store-library ..card ~
|
|
|_ bol=bowl:gall
|
|
++ met ~(. mdl bol)
|
|
++ grp ~(. grpl bol)
|
|
::
|
|
++ peek-x-envelopes
|
|
|= pax=path
|
|
^- (unit (unit [%noun vase]))
|
|
?+ pax ~
|
|
[@ @ *]
|
|
=/ mail-path t.t.pax
|
|
=/ mailbox (~(get by inbox) mail-path)
|
|
?~ mailbox
|
|
[~ ~ %noun !>(~)]
|
|
=* envelopes envelopes.u.mailbox
|
|
=/ sign-test=[?(%neg %pos) @]
|
|
%- need
|
|
%+ rush i.pax
|
|
;~ pose
|
|
%+ cook
|
|
|= n=@
|
|
[%neg n]
|
|
;~(pfix hep dem:ag)
|
|
::
|
|
%+ cook
|
|
|= n=@
|
|
[%pos n]
|
|
dem:ag
|
|
==
|
|
=* length length.config.u.mailbox
|
|
=* start +.sign-test
|
|
?: =(-.sign-test %neg)
|
|
?: (gth start length)
|
|
[~ ~ %noun !>(envelopes)]
|
|
[~ ~ %noun !>((swag [(sub length start) start] envelopes))]
|
|
::
|
|
=/ end (slav %ud i.t.pax)
|
|
?. (lte start end)
|
|
~
|
|
=. end ?:((lth end length) end length)
|
|
[~ ~ %noun !>((swag [start (sub end start)] envelopes))]
|
|
==
|
|
::
|
|
++ poke-noun
|
|
|= nou=admin-action
|
|
^- (quip card _state)
|
|
?: ?=([%migrate-graph ~] nou)
|
|
:_ state
|
|
(migrate-inbox inbox)
|
|
~& %trimming-chat-store
|
|
:- ~
|
|
%_ state
|
|
inbox
|
|
%- ~(urn by inbox)
|
|
|= [=path mailbox:store]
|
|
^- mailbox:store
|
|
=/ [a=* out=(list envelope:store)]
|
|
%+ roll envelopes
|
|
|= $: =envelope:store
|
|
o=[[hav=(set serial:store) curr=@] out=(list envelope:store)]
|
|
==
|
|
?: (~(has in hav.o) uid.envelope)
|
|
[[hav.o curr.o] out.o]
|
|
:-
|
|
^- [(set serial:store) @]
|
|
[(~(put in hav.o) uid.envelope) +(curr.o)]
|
|
^- (list envelope:store)
|
|
[envelope(number curr.o) out.o]
|
|
=/ len (lent out)
|
|
~? !=(len (lent envelopes)) [path [%old (lent envelopes)] [%new len]]
|
|
[[len len] (flop out)]
|
|
==
|
|
::
|
|
++ poke-import
|
|
|= arc=*
|
|
^- (quip card _state)
|
|
=/ sty=state-4 [%4 (remake-map ;;((tree [path mailbox:store]) +.arc))]
|
|
:_ sty
|
|
(migrate-inbox inbox.sty)
|
|
::
|
|
++ update-subscribers
|
|
|= [pax=path =update:store]
|
|
^- (list card)
|
|
[%give %fact ~[pax] %chat-update !>(update)]~
|
|
::
|
|
++ send-diff
|
|
|= [pax=path upd=update:store]
|
|
^- (list card)
|
|
%- zing
|
|
:~ (update-subscribers /all upd)
|
|
(update-subscribers /updates upd)
|
|
(update-subscribers [%mailbox pax] upd)
|
|
?. |(|(=(%read -.upd) =(%message -.upd)) =(%messages -.upd))
|
|
~
|
|
?. |(=(%create -.upd) =(%delete -.upd))
|
|
~
|
|
(update-subscribers /keys upd)
|
|
==
|
|
::
|
|
++ migrate-inbox
|
|
|= =inbox:store
|
|
^- (list card)
|
|
%- zing
|
|
(turn ~(tap by inbox) mailbox-to-updates)
|
|
::
|
|
++ add-graph
|
|
|= [rid=resource =mailbox:store]
|
|
%- poke-graph-store
|
|
:- now.bol
|
|
:+ %add-graph rid
|
|
:- (mailbox-to-graph mailbox)
|
|
[`%graph-validator-chat %.y]
|
|
::
|
|
++ archive-graph
|
|
|= rid=resource
|
|
%- poke-graph-store
|
|
[now.bol %archive-graph rid]
|
|
::
|
|
++ nobody
|
|
^- @p
|
|
(bex 128)
|
|
::
|
|
++ path-to-resource
|
|
|= =path
|
|
^- resource
|
|
?. ?=([@ @ ~] path)
|
|
nobody^(spat path)
|
|
=/ m-ship=(unit ship)
|
|
(slaw %p i.path)
|
|
?~ m-ship
|
|
nobody^(spat path)
|
|
[u.m-ship i.t.path]
|
|
::
|
|
++ mailbox-to-updates
|
|
|= [=path =mailbox:store]
|
|
^- (list card)
|
|
=/ app-rid=resource
|
|
(path-to-resource path)
|
|
=/ group-rid=resource
|
|
(fall (peek-group:met %graph app-rid) [nobody %bad-group])
|
|
=/ group=(unit group)
|
|
(scry-group:grp group-rid)
|
|
:- (add-graph app-rid mailbox)
|
|
?~ group (archive-graph app-rid)^~
|
|
?. &(=(~ members.u.group) hidden.u.group) ~
|
|
~& >>> "archiving {<app-rid>}"
|
|
:~ (archive-graph app-rid)
|
|
(remove-group group-rid)
|
|
==
|
|
::
|
|
++ remove-group
|
|
|= group=resource
|
|
^- card
|
|
=- [%pass / %agent [our.bol %group-store] %poke -]
|
|
group-update-0+!>([%remove-group group ~])
|
|
::
|
|
++ poke-graph-store
|
|
|= =update:graph-store
|
|
^- card
|
|
[%pass / %agent [our.bol %graph-store] %poke %graph-update-1 !>(update)]
|
|
::
|
|
++ letter-to-contents
|
|
|= =letter:store
|
|
^- (list content:graph-store)
|
|
:_ ~
|
|
?. ?=(%me -.letter)
|
|
letter
|
|
[%text narrative.letter]
|
|
::
|
|
++ envelope-to-node
|
|
|= =envelope:store
|
|
^- [atom:graph-store node:graph-store]
|
|
=/ contents=(list content:graph-store)
|
|
(letter-to-contents letter.envelope)
|
|
=/ =index:graph-store
|
|
[when.envelope ~]
|
|
=, envelope
|
|
:- when.envelope
|
|
:_ [%empty ~]
|
|
^- post:graph-store
|
|
:* author
|
|
index
|
|
when
|
|
contents
|
|
~ ~
|
|
==
|
|
::
|
|
++ mailbox-to-graph
|
|
|= =mailbox:store
|
|
^- graph:graph-store
|
|
%+ gas:orm:graph-store *graph:graph-store
|
|
(turn envelopes.mailbox envelope-to-node)
|
|
--
|