shrub/pkg/arvo/app/chat-store.hoon

271 lines
6.8 KiB
Plaintext
Raw Normal View History

2019-11-05 22:30:58 +03:00
:: chat-store: data store that holds linear sequences of chat messages
::
/+ *chat-json, *chat-eval, default-agent, verb, dbug
2019-11-05 22:30:58 +03:00
|%
+$ card card:agent:gall
2019-11-06 02:50:56 +03:00
+$ versioned-state
$% state-zero
2019-11-05 22:30:58 +03:00
==
::
+$ state-zero
2019-11-06 02:50:56 +03:00
$: %0
=inbox
2019-11-05 22:30:58 +03:00
==
::
+$ diff
$% [%chat-initial inbox]
[%chat-configs chat-configs]
[%chat-update chat-update]
==
--
::
2019-11-07 09:19:32 +03:00
=| state-zero
=* state -
::
%- agent:dbug
%+ verb |
2019-11-19 07:36:21 +03:00
^- agent:gall
2019-11-06 05:52:27 +03:00
=<
2019-11-19 07:36:21 +03:00
|_ =bowl:gall
2019-11-07 09:19:32 +03:00
+* this .
2019-11-06 05:52:27 +03:00
chat-core +>
2019-11-07 09:19:32 +03:00
cc ~(. chat-core bowl)
def ~(. (default-agent this %|) bowl)
2019-11-05 22:30:58 +03:00
::
2019-11-07 09:19:32 +03:00
++ on-init on-init:def
++ on-save !>(state)
++ on-load
2019-11-05 22:30:58 +03:00
|= old=vase
2019-11-06 02:50:56 +03:00
`this(state !<(state-zero old))
2019-11-05 22:30:58 +03:00
::
2019-11-07 09:19:32 +03:00
++ on-poke
2019-11-05 22:30:58 +03:00
|= [=mark =vase]
^- (quip card _this)
2019-11-06 02:50:56 +03:00
?> (team:title our.bowl src.bowl)
2019-11-05 22:30:58 +03:00
=^ cards state
2019-11-07 09:19:32 +03:00
?+ mark (on-poke:def mark vase)
2019-11-06 05:52:27 +03:00
%json (poke-json:cc !<(json vase))
%chat-action (poke-chat-action:cc !<(chat-action vase))
2019-11-05 22:30:58 +03:00
==
[cards this]
::
2019-11-07 09:19:32 +03:00
++ on-watch
2019-11-05 22:30:58 +03:00
|= =path
^- (quip card _this)
?> (team:title our.bowl src.bowl)
|^
=/ cards=(list card)
2019-11-07 09:19:32 +03:00
?+ path (on-watch:def path)
2019-11-06 05:52:27 +03:00
[%keys ~] (give %chat-update !>([%keys ~(key by inbox)]))
[%all ~] (give %chat-initial !>(inbox))
[%configs ~] (give %chat-configs !>((inbox-to-configs inbox)))
2019-11-05 22:30:58 +03:00
[%updates ~] ~
[%mailbox @ *]
2019-11-06 05:52:27 +03:00
?> (~(has by inbox) t.path)
(give %chat-update !>([%create t.path]))
2019-11-05 22:30:58 +03:00
==
[cards this]
::
++ give
|= =cage
^- (list card)
2019-11-07 09:19:32 +03:00
[%give %fact ~ cage]~
2019-11-05 22:30:58 +03:00
--
::
2019-11-07 09:19:32 +03:00
++ on-leave on-leave:def
++ on-peek
2019-11-05 22:30:58 +03:00
|= =path
^- (unit (unit cage))
2019-11-07 09:19:32 +03:00
?+ path (on-peek:def path)
2019-11-06 05:52:27 +03:00
[%x %all ~] ``noun+!>(inbox)
[%x %configs ~] ``noun+!>((inbox-to-configs inbox))
[%x %keys ~] ``noun+!>(~(key by inbox))
[%x %envelopes *] (peek-x-envelopes:cc t.t.path)
2019-11-05 22:30:58 +03:00
[%x %mailbox *]
?~ t.t.path
~
2019-11-06 05:52:27 +03:00
``noun+!>((~(get by inbox) t.t.path))
2019-11-05 22:30:58 +03:00
::
[%x %config *]
?~ t.t.path
~
2019-11-06 05:52:27 +03:00
=/ mailbox (~(get by inbox) t.t.path)
2019-11-05 22:30:58 +03:00
?~ mailbox
~
``noun+!>(config.u.mailbox)
==
::
2019-11-07 09:19:32 +03:00
++ on-agent on-agent:def
++ on-arvo on-arvo:def
++ on-fail on-fail:def
2019-11-05 22:30:58 +03:00
--
::
::
2019-11-19 07:36:21 +03:00
|_ bol=bowl:gall
2019-11-05 22:30:58 +03:00
::
++ 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-json
|= jon=json
2019-11-06 02:50:56 +03:00
^- (quip card _state)
2019-11-05 22:30:58 +03:00
(poke-chat-action (json-to-action jon))
::
++ poke-chat-action
|= action=chat-action
2019-11-06 02:50:56 +03:00
^- (quip card _state)
2019-11-05 22:30:58 +03:00
?- -.action
%create (handle-create action)
%delete (handle-delete action)
%read (handle-read action)
%messages (handle-messages action)
%message
?. =(our.bol author.envelope.action)
(handle-message action)
=^ message-moves state (handle-message action)
=^ read-moves state (handle-read [%read path.action])
[(weld message-moves read-moves) state]
2019-11-05 22:30:58 +03:00
==
::
++ handle-create
|= act=chat-action
2019-11-06 02:50:56 +03:00
^- (quip card _state)
2019-11-05 22:30:58 +03:00
?> ?=(%create -.act)
2020-01-30 23:54:35 +03:00
?: (~(has by inbox) path.act)
2019-11-06 02:50:56 +03:00
[~ state]
2020-01-30 23:54:35 +03:00
:- (send-diff path.act act)
state(inbox (~(put by inbox) path.act *mailbox))
2019-11-05 22:30:58 +03:00
::
++ handle-delete
|= act=chat-action
2019-11-06 02:50:56 +03:00
^- (quip card _state)
2019-11-05 22:30:58 +03:00
?> ?=(%delete -.act)
=/ mailbox=(unit mailbox) (~(get by inbox) path.act)
?~ mailbox
2019-11-06 02:50:56 +03:00
[~ state]
2019-11-05 22:30:58 +03:00
:- (send-diff path.act act)
2019-11-06 02:50:56 +03:00
state(inbox (~(del by inbox) path.act))
2019-11-05 22:30:58 +03:00
::
++ handle-message
|= act=chat-action
2019-11-06 02:50:56 +03:00
^- (quip card _state)
2019-11-05 22:30:58 +03:00
?> ?=(%message -.act)
=/ mailbox=(unit mailbox) (~(get by inbox) path.act)
?~ mailbox
[~ state]
=. letter.envelope.act (evaluate-letter [author letter]:envelope.act)
=. u.mailbox (append-envelope u.mailbox envelope.act)
2019-11-05 22:30:58 +03:00
:- (send-diff path.act act)
2019-11-06 02:50:56 +03:00
state(inbox (~(put by inbox) path.act u.mailbox))
2019-11-05 22:30:58 +03:00
::
++ handle-messages
|= act=chat-action
^- (quip card _state)
?> ?=(%messages -.act)
=/ mailbox=(unit mailbox) (~(get by inbox) path.act)
?~ mailbox
[~ state]
=/ evaluated-envelopes=(list envelope) ~
|- ^- (quip card _state)
?~ envelopes.act
:_ state(inbox (~(put by inbox) path.act u.mailbox))
%+ send-diff path.act
:* %messages
path.act
(sub length.config.u.mailbox (lent evaluated-envelopes))
length.config.u.mailbox
evaluated-envelopes
==
=. letter.i.envelopes.act (evaluate-letter [author letter]:i.envelopes.act)
=. evaluated-envelopes (snoc evaluated-envelopes i.envelopes.act)
=. u.mailbox (append-envelope u.mailbox i.envelopes.act)
$(envelopes.act t.envelopes.act)
::
2019-11-05 22:30:58 +03:00
++ handle-read
|= act=chat-action
2019-11-06 02:50:56 +03:00
^- (quip card _state)
2019-11-05 22:30:58 +03:00
?> ?=(%read -.act)
=/ mailbox=(unit mailbox) (~(get by inbox) path.act)
?~ mailbox
2019-11-06 02:50:56 +03:00
[~ state]
2019-11-05 22:30:58 +03:00
=. read.config.u.mailbox length.config.u.mailbox
:- (send-diff path.act act)
2019-11-06 02:50:56 +03:00
state(inbox (~(put by inbox) path.act u.mailbox))
2019-11-05 22:30:58 +03:00
::
++ evaluate-letter
|= [author=ship =letter]
^- ^letter
=? letter
?& ?=(%code -.letter)
?=(~ output.letter)
(team:title our.bol author)
==
=/ =hoon (ream expression.letter)
letter(output (eval bol hoon))
letter
::
++ append-envelope
|= [=mailbox =envelope]
^- ^mailbox
=. number.envelope +(length.config.mailbox)
=: length.config.mailbox +(length.config.mailbox)
envelopes.mailbox (snoc envelopes.mailbox envelope)
==
mailbox
::
2019-11-05 22:30:58 +03:00
++ update-subscribers
|= [pax=path update=chat-update]
2019-11-05 22:30:58 +03:00
^- (list card)
[%give %fact ~[pax] %chat-update !>(update)]~
2019-11-05 22:30:58 +03:00
::
++ send-diff
|= [pax=path upd=chat-update]
2019-11-05 22:30:58 +03:00
^- (list card)
%- zing
:~ (update-subscribers /all upd)
(update-subscribers /updates upd)
(update-subscribers [%mailbox pax] upd)
?. |(|(=(%read -.upd) =(%message -.upd)) =(%messages -.upd))
2019-11-05 22:30:58 +03:00
~
(update-subscribers /configs upd)
?. |(=(%create -.upd) =(%delete -.upd))
2019-11-05 22:30:58 +03:00
~
(update-subscribers /keys upd)
2019-11-05 22:30:58 +03:00
==
--