shrub/app/talk-guardian.hoon

2115 lines
62 KiB
Plaintext

:: :: ::
:::: /hoon/talk/app :: ::
:: :: ::
::
::TODO rename to hall
::TODO master changes
::TODO char57 comments as line comments when regarding code.
::TODO avoid lark where possible
::TODO document what user-facing messages actually mean!
::TODO maybe have brokers accept reactions as well, redirect them to readers.
:: that way we can have foreign brokers react to our requests!
::TODO ::> to :> etc.
::
::TODO we can't do away with the default mailbox because we need it for things
:: like invite notifications etc. can we do better than request that apps
:: don't use it frivolously?
::
::TODO crash on pokes/peers we do not expect
::
::TODO federation should not be present at all in delta-application cores. the
:: way changes are to be applied should be figured out by the delta-
:: geenration cores entirely.
::
::TODO for using moons as tmp identities for friends: stories may want to keep
:: lists of moons (or just ships in general?) that we define as "standalone"
:: so that the "convert to true identity" doesn't happen for them.
::
::TODO we need to have something for upward changes on burdens as well. we
:: could use entirely new query for this. to do so, we'd need to add
:: a new code path in front of changes that checks if it's not a config
:: change, and then redirects it to existing arms.
::
/? 151 ::< hoon version
/- talk ::< structures
/+ talk, time-to-id ::< libraries
/= seed /~ !>(.)
!:
::::
::
[. talk]
=> ::> ||
::> || %arch
::> ||
::> data structures
::
|%
++ state ::> broker state
$: stories/(map knot story) ::< conversations
outbox/(pair @ud (map @ud thought)) ::< urbit outbox
log/(map knot @ud) ::< logged to clay
nicks/(map ship knot) ::< nicknames
nak/(jug char (set partner)) ::< circle glyph lookup
== ::
++ story ::> wire content
$: count/@ud ::< (lent grams)
grams/(list telegram) ::< all messages
locals/group ::< local presence
remotes/(map partner group) ::< remote presence
shape/config ::< configuration
mirrors/(map circle config) ::< remote config
::TODO never gets updated. ::
sequence/(map partner @ud) ::< partners heard
known/(map serial @ud) ::< messages heard
burden/? ::< from parent?
::TODO send changes to herited story changes up.
== ::
++ river (pair point point) ::< stream definition
++ point ::> stream endpoint
$% {$ud p/@ud} ::< by number
{$da p/@da} ::< by date
== ::
++ move (pair bone card) ::< all actions
++ lime ::> diff fruit
$% {$talk-prize prize} ::
{$talk-rumor rumor} ::
{$talk-reaction reaction} ::
== ::
++ pear ::> poke fruit
$% {$talk-command command} ::
{$write-comment spur ship cord} ::
{$write-fora-post spur ship cord cord} ::
== ::
++ card ::> general card
$% {$diff lime} ::
{$info wire ship term nori} ::
{$peer wire dock path} ::
{$poke wire dock pear} ::
{$pull wire dock $~} ::
{$quit $~} ::
== ::
++ weir ::> parsed wire
$% {$repeat num/@ud hos/ship nom/knot} ::< messaging wire
{$friend nom/knot cir/circle} ::< subscription wire
== ::
--
::
::> ||
::> || %work
::> ||
::> functional cores and arms.
::
|_ {bol/bowl state}
::
++ prep ::< prepare state
::> adapts state.
::
|= old/(unit state)
^- (quip move ..prep)
?~ old
%- pre-bake
ta-done:ta-init:ta
[~ ..prep(+<+ u.old)]
::
::> ||
::> || %utility
::> ||
::> small utility functions.
::+|
::
::TODO remove, only used once.
++ strap |*({k/* v/*} (~(put by *(map _k _v)) k v)) ::< map key-value pair
::
::> ||
::> || %engines
::> ||
::> main cores.
::+|
::
++ ta ::< per transaction
::> thinker core, used for processing pokes into
::> deltas.
::
::TODO maybe rewrite all arms to produce (list delta)
:: instead of state? or nah?
|_ ::> moves: moves created by core operations.
::
deltas/(list delta)
::
++ ta-done ::< resolve core
::> produces the moves stored in ++ta's moves.
::> they are produced in reverse order because
::> ++ta-emil and ++ta-emit add them to the head of
::> the {moves}.
::> we don't produce any new state, because ++ta
::> doesn't make any changes to it itself.
::
^- (list delta)
(flop deltas)
::
::> ||
::> || %emitters
::> ||
::> arms that create outward changes.
::+|
::
++ ta-delta ::< emit a delta
::> adds a delta to the head of {deltas}.
::
|= dif/delta
%_(+> deltas [dif deltas])
::
++ ta-deltas ::< emit delta list
::> adds multiple deltas to the haad of {deltas}.
::> flops to stay consistent with ++ta-delta.
::
|= dis/(list delta)
%_(+> deltas (welp (flop dis) deltas))
::
++ ta-note ::< tell user
::> sends {msg} as an %app message to the user's
::> inbox.
::
|= msg/cord
%^ ta-action 0 %phrase
:- [[%& our.bol (main our.bol)] ~ ~]
[%app %talk-guardian msg]~
::
++ ta-evil ::< emit error
::> tracing printf and crash.
::
|= msg/cord
~| [%talk-ta-evil msg]
!!
::
::> ||
::> || %data
::> ||
::> utility functions for data retrieval.
::+|
::
++ ta-know ::< story monad
::> produces a gill that takes a gate.
::> if the story {nom} exists, calls the gate with
::> a story core. if it doesn't, does nothing.
::
|= nom/knot
|= fun/$-(_so _ta)
^+ +>+>
=+ pur=(~(get by stories) nom)
?~ pur
::TODO crash instead?
%- ta-note
(crip "unknown story '{(trip nom)}'")
(fun ~(. so nom ~ u.pur))
::
::> ||
::> || %interaction-events
::> ||
::> arms that apply events we received.
::+|
::
++ ta-init ::< initialize app
::> populate state on first boot.
::> creates our default mailbox and journal.
::
::TODO but now init it spread out over two arms? ugly!
=< (ta-delta %init ~) :: side-effects
%+ roll
^- (list {security knot cord})
:~ [%brown (main our.bol) 'default home']
[%green ~.public 'visible activity']
==
|= {{typ/security nom/knot des/cord} _ta}
%+ ta-action ost.bol
[%create nom des typ]
::
++ ta-apply ::< apply command
::> applies the command sent by {src}.
::
|= {src/ship cod/command}
^+ +>
?- -.cod
::> %publish commands prompt us (as a circle host)
::> to verify and distribute messages.
$publish (ta-think | src +.cod)
::TODO document
$bearing (ta-observe src)
==
::
++ ta-action ::< apply reader action
::> performs action sent by a reader.
::
::delta-generation
|= {red/bone act/action}
^+ +>
=< work
::> ||
::> || %actions
::> ||
::> action processing core
::>
::> ++work calls the appropriate action processing
::> arm. most use ++affect to retrieve the affected
::> story, reacting if it doesn't exist.
|%
:: || %utility
::+|
++ work ::< perform action
^+ ..ta-action
::TODO require deltas as product?
?- -.act
:: circle configuration
$create (action-create +.act)
$source (action-source +.act)
$depict (action-depict +.act)
$filter (action-filter +.act)
$permit (action-permit +.act)
$delete (action-delete +.act)
:: messaging
$convey (action-convey +.act)
$phrase (action-phrase +.act)
:: personal metadata
$status (action-status +.act)
:: changing shared ui
$glyph (action-glyph +.act)
$nick (action-nick +.act)
==
::
++ react ::< new reaction
::>
::
|= rac/reaction
(ta-delta %react red rac)
::
++ affect ::< delta to story
::>
::
|= {nom/knot dif/diff-story}
?: (~(has by stories) nom)
(impact nom dif)
%- react
[%fail (crip "no story {(trip nom)}") `act]
::
++ impact ::< delta for story
::>
::
|= {nom/knot dif/diff-story}
(ta-delta %story nom dif)
::
::> || %circle-configuration
::+|
++ action-create ::< create story
::> creates a story with the specified parameters.
::
|= {nom/knot des/cord typ/security}
^+ ..ta-action
?. (~(has in stories) nom)
%^ impact nom %new
:* [[%& our.bol nom] ~ ~]
des
[| |]
:- typ
?. ?=(?($white $green) typ) ~
[our.bol ~ ~]
==
%- react
[%fail (crip "{(trip nom)}: already exists") `act]
::
++ action-delete ::< delete + announce
::> delete story {nom}, optionally announcing the
::> event with message {mes}.
::
|= {nom/knot mes/(unit cord)}
^+ ..ta-action
=. ..ta-action ::TODO =?
?~ mes ..ta-action
%+ action-phrase
[[%& our.bol nom] ~ ~]
[%lin | u.mes]~
(affect nom %remove ~)
::
++ action-depict ::< change description
::> change description of story {nom} to {des}.
::
|= {nom/knot cap/cord}
(affect nom %config [our.bol nom] %caption cap)
::
++ action-filter ::< change message rules
::> replaces the story's current filter with the
::> specified one.
::
|= {nom/knot fit/filter}
(affect nom %config [our.bol nom] %filter fit)
::
++ action-permit ::< invite/banish
::> invite to/banish from story {nom} all {sis}.
::
|= {nom/knot inv/? sis/(set ship)}
=+ soy=(~(get by stories) nom)
?~ soy
%^ ta-delta %react red
[%fail (crip "no story {(trip nom)}") `act]
=/ wyt/? ?=(?($white $green) sec.con.shape.u.soy)
=/ add/? =(inv wyt)
(affect nom %config [our.bol nom] %permit add sis)
::
++ action-source ::< un/sub p to/from r
::> add/remove {pas} as sources for story {nom}.
::
|= {nom/knot sub/? pas/(set partner)}
(affect nom %follow sub pas)
::
::> || %messaging
::+|
++ action-convey ::< post exact
::> sends the messages provided in the action.
::
|= tos/(list thought)
(ta-think & our.bol tos)
::
++ action-phrase ::< post easy
::> sends the message contents provided in the
::> action, constructing the audience, generating a
::> serial and setting a timestamp.
::
|= {pas/(set partner) ses/(list speech)}
^+ ..ta-action
=- (ta-think & our.bol tos)
|- ^- tos/(list thought)
?~ ses ~
=^ sir eny.bol (uniq eny.bol)
:_ $(ses t.ses)
:+ sir
%- ~(gas by *audience)
%+ turn (~(tap in pas))
|=(p/partner [p *envelope %pending])
[now.bol ~ i.ses]
::
::> || %personal-metadata
::+|
++ action-status ::< our status update
::> for every story in the set, update our status.
::TODO accept (set circle). for locals, do directly.
:: for remotes, send command.
:: on getting such a command, first check if
:: the sender actually is in our presende map.
::TODO split interface into action-presence and
:: action-human.
::
|= {nos/(set knot) sat/status}
^+ ..ta-action
%- ~(rep in nos)
|= {k/knot _ta}
(affect k %status [%& our.bol k] our.bol %full sat)
::
::> || %changing-shared-ui
::+|
++ action-nick ::< new identity
::> assigns a new local identity ("nickname") to the
::> target ship.
::
|= {who/ship nic/cord}
^+ ..ta-action
?. =((~(get by nicks) who) `nic) ..ta-action ::< no change
(ta-delta %nick who nic)
::
++ action-glyph ::< bind a glyph
::> un/bind glyph {lif} to partners {pas}.
::
|= {lif/char pas/(set partner) bin/?}
(ta-delta %glyph bin lif pas)
--
::
::> ||
::> || %subscription-events
::> ||
::> arms that react to subscription events.
::+|
::
++ ta-observe ::< watch burden bearer
::>
::
|= who/ship
^+ +>
?. =(our.bol (sein who))
~&([%not-our-bearer who] +>)
~& [%gonna-observe who]
(ta-delta %observe who)
::
++ ta-subscribe ::< listen to
::> add her to a presence list if applicable.
::
::TODO change interface to not include path,
:: only call for /circle queries.
|= {her/ship pax/path}
^+ +>
?. ?=({@ta *} pax) +>
?+ -.pax
+>
::
$burden
(ta-observe her)
::
$circle
?. ?=({@ta *} t.pax) +>
%- (ta-know i.t.pax) |= sor/_so =< so-done
(so-attend:sor her %hear [~ ~])
==
::
++ ta-cancel ::< forget
::> drops {src}'s subscription. deduce the right way
::> to do this from the subscription path {pax}.
::
|= {src/ship pax/path}
^+ +>
::TODO catch earlier, just pass nom?
?. ?=({$circle @ta *} pax) +>
:: set ship status to %gone.
%- (ta-know i.t.pax) |= sor/_so =< so-done
(so-absent:sor src)
::
++ ta-greet ::< subscription success
::>
::
|= {nom/knot cir/circle}
%- (ta-know nom) |= sor/_so =< so-done
(so-greet:sor %& cir)
::
++ ta-leave ::< subscription failed
::> removes {cir} from story {nom}'s followers.
::
|= {nom/knot cir/circle}
%- (ta-know nom) |= sor/_so =< so-done
(so-leave:sor %& cir)
::
++ ta-take ::< apply prize
::>
::
|= {wir/wire piz/prize}
^+ +>
?+ -.piz
~&([%ignoring-prize -.piz] +>)
::
$burden
%+ roll (~(tap by sos.piz))
|= {{n/knot b/burden} _..ta-take}
=< so-done
(~(so-bear so n ~ (fall (~(get by stories) n) *story)) b)
::
$circle
=+ res=(tmp-parse-diff-path wir)
%- (ta-know p.res) |= sor/_so =< so-done
(so-take:sor q.res +.piz)
==
::
++ ta-hear ::< apply rumor
::>
::
|= {wir/wire dif/rumor}
^+ +>
?+ -.dif
~&([%ignoring-rumor -.dif] +>)
::
$burden
~& [%hear-burden -.dif.dif]
?+ -.dif.dif
%- (ta-know nom.dif) |= sor/_so =< so-done
(so-hear:sor & [our.bol nom.dif] dif.dif)
::
$new
=< so-done
%- ~(so-hear so nom.dif ~ (fall (~(get by stories) nom.dif) *story))
[& [our.bol nom.dif] %bear ~ [cof.dif.dif ~] [~ ~]]
==
::
$circle
=+ res=(tmp-parse-diff-path wir)
%- (ta-know p.res) |= sor/_so =< so-done
(so-hear:sor | q.res dif.dif)
==
::
++ ta-repeat ::< message delivered
::>
::
|= {num/@ud who/partner fal/(unit tang)}
^+ +>
=+ oot=(~(get by q.outbox) num)
?~ oot ~&([%ta-repeat-none num] +>.$) ::TODO crash?
=. aud.u.oot
=+ olg=(~(got by aud.u.oot) who)
%+ ~(put by aud.u.oot) who
:- -.olg
?~(fal %received ~>(%slog.[0 u.fal] %rejected))
=. +>.$
(ta-think | our.bol u.oot ~)
(ta-delta %done num)
::
::> ||
::> || %messaging
::> ||
::> arms for sending and processing messages.
::+|
::
++ ta-think ::< publish or review
::> consumes each thought.
::
|= {pub/? aut/ship tos/(list thought)}
^+ +>
?~ tos +>
$(tos t.tos, +> (ta-consume pub aut i.tos))
::
++ ta-consume ::< to each audience
::> conducts thought {tot} to each partner in its audience.
::
|= {pub/? aut/ship tot/thought}
=+ aud=(~(tap by aud.tot))
|- ^+ +>.^$
?~ aud +>.^$
$(aud t.aud, +>.^$ (ta-conduct pub aut p.i.aud tot))
::
++ ta-conduct ::< thought to partner
::> either publishes or records a thought.
::
|= {pub/? aut/ship pan/partner tot/thought}
^+ +>
?- -.pan
$& ::< circle partner
?: pub
?. (team our.bol aut)
%- ta-note
(crip "strange author {(scow %p aut)}")
=. aut our.bol
?: =(aut hos.p.pan)
(ta-record nom.p.pan hos.p.pan tot)
(ta-transmit p.pan tot)
?. =(our.bol hos.p.pan) +>
(ta-record nom.p.pan aut tot)
::
$| !! ::< passport partner
==
::
++ ta-record ::< add to story
::> add or update telegram {gam} in story {nom}.
::
|= {nom/knot gam/telegram}
%- (ta-know nom) |= sor/_so =< so-done
(so-learn:sor gam)
::
++ ta-transmit ::< send message
::> sends thought {tot} to {cir}.
::> stores it to the outbox to await confirmation.
::
|= {cir/circle tot/thought}
^+ +>
(ta-delta %out cir tot ~)
::
::> ||
::> || %stories
::> ||
::> arms for modifying stories.
::+|
::
++ so ::< story core
::> story core, used for doing work on a story.
::
|_ ::> nom: story name in {stories}.
::> acs: talk actions issued due to changes.
::> story is faceless to ease data access.
::
$: nom/knot
acs/(list action)
story
==
::
++ so-done ::< apply changes
::> put changed story back into the map and apply
::> actions.
::
^+ +>
::?: =(`+<+> (~(get by stories) nom))
:: ::TODO tmp
:: ~&(%illegal-change-story !!)
=. acs (flop acs)
|- ^+ +>+
?~ acs +>+
=. +>+ (ta-action ost.bol i.acs)
$(acs t.acs)
::
::> ||
::> || %emitters
::> ||
::> arms that create outward changes.
::+|
::
++ so-act ::< send action
::> stores a talk action.
::
|= act/action
^+ +>
+>(acs [act acs])
::
++ so-note ::< tell user
::> sends {msg} as an %app message to the user's
::> inbox.
::
|= msg/cord
^+ +>
%+ so-act %phrase
:- [[%& our.bol (main our.bol)] ~ ~]
[%app %talk-guardian msg]~
::
++ so-delta ::< send delta
::>
::
|= dif/delta
^+ +>
+>(deltas [dif deltas])
::
++ so-deltas ::< send delta list
::>
::
|= dis/(list delta)
%_(+> deltas (welp (flop dis) deltas))
::
++ so-delta-our ::< send delta of us
::> adds a delta about this story.
::
|= dif/diff-story
^+ +>
(so-delta %story nom dif)
::
++ so-config-full ::< split full config
::>
::
|= {old/(unit config) cof/config}
^+ +>
~& %so-config-full
%- so-deltas
%+ turn
%+ weld
^- (list diff-story)
?~ old ~
::TODO? what to do about sre?
:~ ::[%follow | sre.u.old]
[%config so-cir %permit | ses.con.u.old]
==
^- (list diff-story)
:~ ::[%follow & sre.cof] ::TODO double-check da-$follow checks existing sre
[%config so-cir %caption cap.cof]
[%config so-cir %filter fit.cof]
[%config so-cir %secure sec.con.cof]
[%config so-cir %permit & ses.con.cof]
==
|= d/diff-story
[%story nom d]
::
::> ||
::> || %data
::> ||
::> utility functions for data retrieval.
::+|
::
++ so-pan [%& our.bol nom] ::< us as partner
++ so-cir [our.bol nom] ::< us as circle
::
::> ||
::> || %interaction-events
::> ||
::> arms that apply events we received.
::+|
::
++ so-take ::< accept circle prize
::>
::
|= {src/circle gaz/(list telegram) cos/lobby pes/crowd}
^+ +>
=. +>.$
(so-hear | src %config src %full loc.cos)
::TODO we'd need a %precs diff-story for this if we don't want to urn...
=. +>.$
%- ~(rep in loc.pes)
|= {{w/ship s/status} _+>.$}
(so-hear | src %status [%& src] w %full s)
(so-lesson gaz)
::
++ so-hear ::< accept circle rumor
::>
::
|= {bur/? src/circle dif/diff-story}
^+ +>
::TODO? these checks are still important, because
:: when things are slow we may get diffs from
:: things we already unsubscribed from, right?
::TODO account for federation.
~? ?! ?| (~(has in sre.shape) [%& src])
=(src so-cir)
==
[%unexpected-rumor-source nom -.dif src]
?- -.dif
::TODO we check for foreigns here, but they should just not get sent
:: in the first place. update ++-change or whatever!
:: (we don't care for remote remotes, etc.)
$new ?: =(src so-cir)
~& %new-by-us
(so-config-full ~ cof.dif)
~& %new-by-other
$(dif [%config src %full cof.dif])
$bear ~&(%so-bear (so-bear bur.dif))
$burden ~&(%burden-not-rumor +>)
$grams (so-lesson gaz.dif)
$config :: full changes to us need to get split up.
?: &(=(cir.dif so-cir) ?=($full -.dif.dif))
(so-config-full `shape cof.dif.dif)
:: remotes are fine.
?: =(src cir.dif)
(so-delta-our dif)
:: remotes of remotes are not.
~& %unexpected-ignoring-remote-config
~? =(src so-cir) %but-src-is-us
+>
$status :: ignore foreign remotes.
?. |(=([%& src] pan.dif) =(src so-cir))
~& %unexpected-ignoring-remote-status
+>
(so-delta-our dif)
$follow ~&(%follow-not-rumor +>) ::TODO crash?
$remove (so-delta-our %config src %remove ~)
==
::
++ so-bear ::< accept burden
::>
::
|= {gaz/(list telegram) cos/lobby pes/crowd}
^+ +>
:: local config
=. ..so-bear
(so-config-full `shape loc.cos)
:: remote config
=. ..so-bear
%+ roll (~(tap by rem.cos))
|= {{r/circle c/config} _..so-bear}
(so-delta-our %config r %full c)
:: local presence
=. ..so-bear
%+ roll (~(tap by loc.pes))
|= {{w/ship s/status} _..so-bear}
(so-delta-our %status so-pan w %full s)
:: remote presence
=. ..so-bear
%+ roll (~(tap by rem.pes))
|= {{p/partner g/group} _..so-bear}
%+ roll (~(tap by g))
|= {{w/ship s/status} _..so-bear}
(so-delta-our %status p w %full s)
:: telegrams
=. ..so-bear
%+ so-delta-our %grams
%+ turn gaz
|= t/telegram
=- t(aud.tot -)
=/ oud
(~(get by aud.tot.t) [%& (sein our.bol) nom])
?~ oud ::TODO seems like it should never occur?
~& %unexpected-parent-not-audience
aud.tot.t
=. aud.tot.t
(~(del by aud.tot.t) [%& (sein our.bol) nom])
(~(put by aud.tot.t) [%& our.bol nom] u.oud)
:: burden flag
(so-delta-our %burden &)
::
::> ||
::> || %changes
::> ||
::> arms that make miscelaneous changes to this story.
::+|
::
++ so-sources ::< change source
::> adds or removes {pas} from our sources.
::
|= {add/? pas/(set partner)}
^+ +>
=/ sus/(set partner)
%. sre.shape
?:(add ~(dif in pas) ~(int in pas))
?~ sus +>.$
(so-delta-our %follow & sus)
::
++ so-depict ::< change description
::> modifies our caption.
::
|= cap/cord
^+ +>
?: =(cap cap.shape) +>
(so-delta-our %config so-cir %caption cap)
::
++ so-filter ::< change message rules
::> modifies our filter.
::
|= fit/filter
^+ +>
?: =(fit fit.shape) +>
(so-delta-our %config so-cir %filter fit)
::
++ so-delete ::< delete story
::> deletes this story. removes it from {stories}
::> and unsubscribes from all src.
::
(so-delta-our %remove ~)
::
++ so-attend ::< add local presence
::> add {her} status to this story's presence map.
::
|= {her/ship sat/status}
^+ +>
?: =(`sat (~(get by locals) her)) +>.$
(so-delta-our %status so-pan her %full sat)
::
++ so-absent ::< del local presence
::>
::
|= her/ship
^+ +>
?. (~(has by locals) her) +>
(so-delta-our %status so-pan her %remove ~)
::
::> ||
::> || %subscriptions
::> ||
::> arms for starting and ending subscriptions
::+|
::
++ so-greet ::< subscription started
::>
::
|= pan/partner
^+ +>
?: (~(has in sre.shape) pan) +>
(so-delta-our %config so-cir %sourcee & [pan ~ ~])
::
++ so-leave ::< subscription ended
::> delete {pan} from our sources.
::
|= pan/partner
^+ +>
?. (~(has in sre.shape) pan) +>
(so-delta-our %config so-cir %sourcee | [pan ~ ~])
::
++ so-start ::< subscribe follower
::> called upon subscribe. deduces the range of
::> {her} subscription from {pax}, then sends
::> the currently available part of it.
::
|= {her/ship pax/path}
^+ +>
:: read permissions
?. (so-visible her)
=. +> (so-delta %quit ost.bol)
%- so-note %- crip
"so-start permission denied {(scow %p her)}"
:: find grams range
=/ ruv/(unit river)
:: collapse unit list
%+ biff
%- zl:jo
%+ turn pax
;~(biff slay |=(a/coin `(unit dime)`?~(-.a a ~)))
|= paf/(list dime)
?~ paf
$(paf [%ud (sub (max 64 count) 64)]~)
?~ t.paf
$(t.paf [%da (dec (bex 128))]~)
?. ?=({{?($ud $da) @} {?($ud $da) @} $~} paf)
~
`[[?+(- . $ud .)]:i.paf [?+(- . $ud .)]:i.t.paf] ::XX arvo issue #366
?~ ruv
=. +>.$ (so-delta %quit ost.bol)
%- so-note %- crip
"so-start malformed path {~(ram re >pax<)}"
(so-first-grams u.ruv)
::
++ so-first-grams ::< beginning of stream
::> find all grams that fall within the river and
::> send them in a grams report to {ost.bol}.
::
|= riv/river
^+ +>
=; lab/{dun/? end/@u zeg/(list telegram)}
?. dun.lab +>.$
(so-delta %quit ost.bol)
=+ [end=count gaz=grams dun=| zeg=*(list telegram)]
|- ^- (trel ? @ud (list telegram))
?~ gaz [dun end zeg]
?: ?- -.q.riv :: after the end
$ud (lte p.q.riv end)
$da (lte p.q.riv wen.sam.tot.i.gaz)
==
:: if past the river, continue back, mark as done.
$(end (dec end), gaz t.gaz, dun &)
?: ?- -.p.riv :: before the start
$ud (lth end p.p.riv)
$da (lth wen.sam.tot.i.gaz p.p.riv)
==
:: if before the river, we're done searching.
[dun end zeg]
:: if in the river, add this gram and continue.
$(end (dec end), gaz t.gaz, zeg [i.gaz zeg])
::
::> ||
::> || %messaging
::> ||
::> arms for adding to this story's messages.
::+|
::
++ so-sane ::< sanitize
::> sanitize %lin speech according to our settings.
::
|= tot/thought
^- thought
?. ?=({$lin *} sep.sam.tot) tot
%_ tot
msg.sep.sam
%- crip
%- tufa
%+ turn (tuba (trip msg.sep.sam.tot))
|= a/@c
:: always replace control characters.
?: |((lth a 32) =(a `@c`127))
`@`'?'
:: if desired, remove uppercasing.
?: ?& !cus.fit.shape
(gte a 'A')
(lte a 'Z')
==
(add a 32)
:: if desired, replace non-ascii characters.
?: ?& !utf.fit.shape
(gth a 127)
==
`@`'?'
a
==
::
++ so-lesson ::< learn messages
::> learn all telegrams in a list.
::
|= gaz/(list telegram)
^+ +>
?~ gaz +>
$(gaz t.gaz, +> (so-learn i.gaz))
::
++ so-learn ::< save/update message
::> store an incoming telegram, updating if it
::> already exists.
::
|= gam/telegram
^+ +>
:: check for write permissions.
?. (so-admire aut.gam) +>
:: clean up the message to conform to our rules.
=. tot.gam (so-sane tot.gam)
=. aud.tot.gam
::> if we are in the audience, mark as received.
=+ ole=(~(get by aud.tot.gam) so-pan)
?^ ole (~(put by aud.tot.gam) so-pan -.u.ole %received)
::TODO can we delete the below? seems old federation?
::TODO pass src through explicitly instead of
:: relying on src.bol.
::TODO? ^ why?
=+ ole=(~(get by aud.tot.gam) [%& src.bol nom])
?~ ole aud.tot.gam
::TODO below line is old federation, but should work for our current
:: use case, right? why doesn't it?
=. aud.tot.gam (~(del by aud.tot.gam) [%& src.bol nom])
(~(put by aud.tot.gam) so-pan -.u.ole %received)
(so-delta-our %grams [gam ~])
::
::> ||
::> || %permissions
::> ||
::> arms relating to story permissions.
::+|
::
++ so-secure ::< change security mode
::> changes our security mode.
::
|= sec/security
^+ +>
?: =(sec sec.con.shape) +>
(so-delta-our %config so-cir %secure sec)
::
++ so-permit ::< invite/banish
::> update config to dis/allow ships permission.
::
|= {inv/? sis/(set ship)}
^+ +>
::> wyt: whitelist?
::> add: add to list?
=/ wyt/? ?=(?($white $green) sec.con.shape)
=/ add/? =(inv wyt)
=. +>.$
%- so-act
:- %phrase
%- ~(rep in sis)
|= {s/ship a/(set partner) t/(list speech)}
:- (~(put in a) [%& s (main s)])
[[%inv inv so-cir] t]
(so-delta-our %config so-cir %permit [add sis])
::
++ so-admire ::< accept from
::> checks {her} write permissions.
::
|= her/ship
^- ?
?- sec.con.shape
$black !(~(has in ses.con.shape) her) ::< channel, blacklist
$white (~(has in ses.con.shape) her) ::< village, whitelist
$green (~(has in ses.con.shape) her) ::< journal, whitelist
$brown !(~(has in ses.con.shape) her) ::< mailbox, blacklist
==
::
++ so-visible ::< display to
::> checks {her} read permissions.
::
|= her/ship
^- ?
?- sec.con.shape
$black !(~(has in ses.con.shape) her) ::< channel, blacklist
$white (~(has in ses.con.shape) her) ::< village, whitelist
$green & ::< journal, all
$brown (team our.bol her) ::< mailbox, our team
==
--
--
::
++ da ::< delta application
::> core for doing things, mostly applying deltas to
::> application state, but also dealing with events
::> that aren't pokes.
::> where appropriate, creates moves. those get
::> produced when finalizing with ++da-done.
::
|_ ::> moves: moves created by core operations.
::
moves/(list move)
::
++ da-done ::< resolve core
::> produces the moves stored in ++da's moves.
::> they are produced in reverse order because
::> ++da-emil and ++da-emit add them to the head of
::> the {moves}.
::
^- (quip move +>)
[(flop moves) +>]
::
::> ||
::> || %emitters
::> ||
::> arms that create outward changes.
::+|
::
++ da-emil ::< emit move list
::> adds multiple moves to the head of {moves}.
::> flops to stay consistent with ++ta-emit.
::
|= mol/(list move)
%_(+> moves (welp (flop mol) moves))
::
++ da-emit ::< emit a move
::> adds a move to the head of {moves}.
::
|= mov/move
%_(+> moves [mov moves])
::
++ da-react ::< send reaction
::> sends a talk-reaction diff to a reader.
::
::TODO argument always ost.bol? seems to be that way
|= {red/bone rac/reaction}
%- da-emit
~? !=(red ost.bol) %react-different-bones
::TODO is diff the way to react to a poke?
[red %diff %talk-reaction rac]
::
::> ||
::> || %data
::> ||
::> utility functions for data retrieval.
::+|
::
::> ||
::> || %change-application
::> ||
::> arms that change the application state.
::+|
::
++ da-change ::< apply delta
::> modifies application state according to the
::> change specified in {dif}.
::
|= dif/delta
^+ +>
?- -.dif
$more
|- ^+ +>.^$
?~ mor.dif +>.^$
$(+>.^$ ^$(dif i.mor.dif), mor.dif t.mor.dif)
::
$out (da-change-out +.dif)
$done (da-change-done +.dif)
$glyph (da-change-glyph +.dif)
$nick (da-change-nick +.dif)
$story (da-change-story +.dif)
$init da-init
$observe (da-observe +.dif)
$react (da-react +.dif)
$quit (da-emit [ost.dif %quit ~])
==
::
++ da-init ::< startup side-effects
::>
::
=+ sen=(sein our.bol)
::TODO move this logic to ta-init
?: ?| !=(%czar (clan sen))
=(sen our.bol)
=(%pawn (clan our.bol))
==
..da-init
%- da-emit
:* 0
%peer
/burden
[sen %talk-guardian]
/burden/(scot %p our.bol)
==
::
++ da-observe ::< watch burden bearer
::>
::
|= who/ship
~& [%peering-report who]
%- da-emit
:* 0
%peer
/report
[who %talk-guardian]
/report
==
::
++ da-change-out ::< outgoing messages
::>
::
|= {cir/circle out/(list thought)}
^+ +>
?~ out +>
=. +>
%+ da-emit ost.bol
:* %poke
/repeat/(scot %ud p.outbox)/(scot %p hos.cir)/[nom.cir]
[hos.cir %talk-guardian]
[%talk-command %publish i.out ~]
==
%= $
p.outbox +(p.outbox)
q.outbox (~(put by q.outbox) p.outbox i.out)
out t.out
==
::
++ da-change-done ::< delivered messages
::>
::
|= num/@ud
^+ +>
+>(q.outbox (~(del by q.outbox) num))
::
++ da-change-glyph ::< un/bound glyph
::>
::
|= {bin/? gyf/char pas/(set partner)}
^+ +>
?: bin
%_ +>
nak (~(put ju nak) gyf pas)
==
=/ ole/(list (set partner))
?. =(pas ~) [pas ~]
(~(tap in (~(get ju nak) gyf)))
|- ^+ +>.^$
?~ ole +>.^$
%_ $
nak (~(del ju nak) gyf i.ole)
ole t.ole
==
::
++ da-change-nick ::< changed nickname
::>
::
|= {who/ship nic/cord}
^+ +>
?: =('' nic)
$(nicks (~(del by nicks) who))
$(nicks (~(put by nicks) who nic))
::
::> ||
::> || %stories
::> ||
::> arms for modifying stories.
::+|
::
++ da-change-story ::< apply circle delta
::>
::
|= {nom/knot dif/diff-story}
^+ +>
?+ -.dif
sa-done:(~(sa-change sa nom (fall (~(get by stories) nom) *story)) dif)
::
$new (da-create nom +.dif)
$bear ~&(%unexpected-unsplit-bear +>)
$remove (da-delete nom)
==
::
++ da-create ::< configure story
::> creates story {nom} with config {con}.
::
|= {nom/knot cof/config}
^+ +>
=< sa-done
:: default for ? is &, so we manually set to | now.
%- ~(sa-change sa nom %*(. *story burden |))
[%config [our.bol nom] %full cof]
::
++ da-delete ::< delete story
::> calls the story core to delete story {nom}.
::
|= nom/knot
^+ +>
=. +>
%- da-emil
~(sa-delete sa nom (~(got by stories) nom))
+>(stories (~(del by stories) nom))
::
++ sa ::< story delta core
::> story core, used for doing work on a story.
::
|_ ::> nom: story name in {stories}.
::> story is faceless to ease data access.
::
$: nom/knot
story
==
::
++ sa-done ::< apply changes
::> put changed story back into the map.
::
+>(stories (~(put by stories) nom +<+))
::
::> ||
::> || %emitters
::> ||
::> arms that create outward changes.
::+|
::
++ sa-emil ::< emit move list
::> adds multiple moves to the head of {moves}.
::> flops to stay consistent with ++ta-emit.
::
|= mol/(list move)
%_(+> moves (welp (flop mol) moves))
::
++ sa-emit ::< emit a move
::> adds a move to the head of {moves}.
::
|= mov/move
%_(+> moves [mov moves])
::
++ sa-sauce ::< play cards
::> cards to moves.
::
|= {ost/bone cub/(list card)}
^- (list move)
(flop (turn cub |=(a/card [ost a])))
::
::> ||
::> || %data ::TODO consistent naming!
::> ||
::+|
::
++ sa-cir [our.bol nom]
++ sa-pan [%& our.bol nom]
::
::> ||
::> || %delta-application
::> ||
::> arms for applying deltas.
::+|
::
++ sa-delete ::< deletion of story
::>
::
(sa-abjure (~(tap in sre.shape)))
::
++ sa-change ::< apply circle delta
::>
::
|= dif/diff-story
^+ +>
%. dif
?+ -.dif
sa-change-local
::
$config
?: =(cir.dif sa-cir)
sa-change-local
sa-change-remote
::
$status
?: =(pan.dif [%& our.bol nom])
sa-change-local
sa-change-remote
==
::
++ sa-change-local ::< apply our delta
::>
::
|= dif/diff-story
^+ +>
?+ -.dif
~&([%unexpected-delta-local -.dif] !!)
::
$burden
+>(burden bur.dif)
::
$grams
|- ^+ +>.^$
?~ gaz.dif +>.^$
=. +>.^$ (sa-change-gram i.gaz.dif)
$(gaz.dif t.gaz.dif)
::
$config
=. +>
%- sa-emil
(sa-config-effects shape dif.dif)
+>(shape (change-config shape dif.dif))
::
$status
%_ +>
locals
%+ ~(put by locals) who.dif
%+ change-status
(fall (~(get by locals) who.dif) *status)
dif.dif
==
::
$follow
:: we have to do the effects first, because it
:: checks for new sub targets using sre.shape.
~& [%sa-change-follow nom sub.dif pas.dif]
=. +>
(sa-emil (sa-follow-effects sub.dif pas.dif))
%_ +> ::TODO delete, only done once success
sre.shape ::TODO =?
%. pas.dif
?: sub.dif
~(uni in sre.shape)
~(dif in sre.shape)
==
==
::
++ sa-change-gram ::< save/update message
::>
::
|= gam/telegram
^+ +>
=+ old=(~(get by known) uid.tot.gam)
?~ old
:: new message
%_ +>.$
grams (welp grams [gam ~])
count +(count)
known (~(put by known) uid.tot.gam count)
==
:: changed message
=+ dex=(sub count u.old)
%_ +>.$
grams %+ welp
(scag (dec dex) grams)
[gam (slag dex grams)]
==
::
++ sa-change-remote ::< apply remote's delta
::>
::
|= dif/diff-story
^+ +>
?+ -.dif
~&([%unexpected-delta-remote -.dif] !!)
::
$config
?: ?=($remove -.dif.dif)
+>(mirrors (~(del by mirrors) cir.dif))
=/ new/config
%+ change-config
(fall (~(get by mirrors) cir.dif) *config)
dif.dif
+>.$(mirrors (~(put by mirrors) cir.dif new))
::
$status
%_ +>.$
remotes
%+ ~(put by remotes) pan.dif
=+ ole=(fall (~(get by remotes) pan.dif) *group)
?: ?=($remove -.dif.dif) (~(del by ole) who.dif)
=+ old=(fall (~(get by ole) who.dif) *status)
(~(put by ole) who.dif (change-status old dif.dif))
==
==
::
++ sa-config-effects ::< config side-effects
::>
::
|= {old/config dif/diff-config}
^- (list move)
?+ -.dif ~
$permit (sa-permit-effects sec.con.old ses.con.old +.dif)
==
::
++ sa-follow-effects ::< un/subscribe
::>
::
|= {sub/? pas/(set partner)}
^- (list move)
=/ sus/(set partner)
%. sre.shape
?:(sub ~(dif in pas) ~(int in pas))
%. (~(tap in sus))
?:(sub sa-acquire sa-abjure)
::
++ sa-permit-effects ::< notify permitted
::>
::
::TODO this seems to also be done in the action,
:: there makes more sense because logic goes into ta.
|= {sec/security old/(set ship) add/? sis/(set ship)}
^- (list move)
=/ sus/(set ship)
%. ses.con.shape
?:(add ~(dif in sis) ~(int in sis))
=/ wyt ?=(?($white $green) sec)
=/ inv =(wyt add)
?: inv
::TODO %inv & speeches
~
::TODO %inv | speeches
(sa-eject sus)
::
::> ||
::> || %subscriptions
::> ||
::> arms for starting and ending subscriptions
::+|
::
++ sa-acquire ::< subscribe us
::> subscribes this story to each partner.
::
|= pas/(list partner)
%+ sa-sauce 0 :: subscription is caused by this app
%- zing
%+ turn pas
|= pan/partner
^- (list card)
?: =(pan [%& our.bol nom]) ~ :: ignore self-subs ::TODO also abjure?
::> subscribe starting at the last message we got,
::> or if we haven't gotten any yet, messages
::> from up to a day ago.
=+ num=(~(get by sequence) pan)
=+ old=(sub now.bol ~d1) :: XX full backlog
=+ ini=?^(num (scot %ud u.num) (scot %da old))
?- -.pan
$| !! ::< passport partner
::
$& ::< circle partner
:_ ~
:* %peer
/circle/[nom]/(scot %p hos.p.pan)/[nom.p.pan]
[hos.p.pan %talk-guardian]
/circle/[nom.p.pan]/[ini]
==
==
::
++ sa-abjure ::< unsubscribe us
::> unsubscribes this story from each partner.
::
|= pas/(list partner)
%+ sa-sauce 0 :: subscription is caused by this app
%- zing
%+ turn pas
|= pan/partner
^- (list card)
?- -.pan
$| !! ::< passport partner
::
$& ::< circle partner
:_ ~
:* %pull
::TODO update path
/friend/show/[nom]/(scot %p hos.p.pan)/[nom.p.pan]
[hos.p.pan %talk-guardian]
~
==
==
::
++ sa-eject ::< unsubscribe ships
::> removes ships {sis} from {followers}.
::
|= sis/(set ship)
^- (list move)
%+ turn (~(tap in (sa-unearth sis)))
|= {b/bone}
[b %quit ~]
::
++ sa-unearth ::< ships' bones
::> find the bones in {sup.bol} that belong to
::> a ship in {sis}.
::
|= sis/(set ship)
^- (set bone)
%- ~(rep in sup.bol)
|= {{b/bone s/ship p/path} c/(set bone)}
?. ?& (~(has in sis) s)
?=({@tas *} p)
=(i.p nom)
==
c
(~(put in c) b)
--
--
::
::
::> ||
::> || %wire-parsing
::> ||
::+|
::
++ etch ::< parse wire
::> parses {wir}} to obtain either %friend with story
::> and circle or %repeat with message number,
::> source ship and story.
::
|= wir/wire
^- weir
?+ -.wir !!
$friend
?> ?=({$show @ @ @ $~} t.wir)
:^ %friend
i.t.t.wir
(slav %p i.t.t.t.wir)
i.t.t.t.t.wir
::
$repeat
?> ?=({@ @ @ $~} t.wir)
:^ %repeat
(slav %ud i.t.wir)
(slav %p i.t.t.wir)
i.t.t.t.wir
==
::
++ etch-friend ::< parse /friend wire
::> parses a /friend wire, call a gate with the result.
::
|= $: wir/wire
$= fun
$- {nom/knot cir/circle}
{(list move) _.}
==
=+ wer=(etch wir)
?>(?=($friend -.wer) (fun nom.wer cir.wer))
::
++ etch-repeat ::< parse /repeat wire
::> parses a /repeat wire, call gate with the result.
::
|= $: wir/wire
$= fun
$- {num/@ud src/ship nom/knot}
{(list move) _.}
==
=+ wer=(etch wir)
?>(?=($repeat -.wer) (fun num.wer hos.wer nom.wer))
::
::> ||
::> || %new-events
::> ||
::+|
::TODO make use of ++prey for filtering subs?
++ f-bake ::< apply state delta
::> applies a change to the application state,
::> producing side-effects.
::
|= dif/delta
^- (quip move +>)
=^ mos +>.$
da-done:(da-change:da dif)
:_ +>.$
:(welp mos (affection dif))
::
++ pre-bake ::< apply more deltas
::>
::
|= dis/(list delta)
^- (quip move +>)
%+ roll dis
|= {d/delta m/(list move) _+>.$} ::TODO ^$ nest-fails, is this correct?
=^ mos +>.^$ (f-bake d)
[(welp m mos) +>.^$]
::
++ g-query ::< query on state
::>
::
|= weg/(list coin)
::TODO should return (unit prize)? ie for /circle/non-existing
^- prize
=+ qer=(coins-to-query weg)
?- -.qer
$reader
[%reader nak nicks]
::
$friend
:- %friend
%- ~(gas in *(set circle))
%+ murn
=- (~(tap in sre.shape.-))
(~(got by stories) (main our.bol))
|= p/partner
^- (unit circle)
?. ?=($& -.p) ~
[~ p.p]
::
$burden
:- %burden
%- ~(gas in *(map knot burden))
%+ murn (~(tap by stories))
|= {n/knot s/story}
^- (unit (pair knot burden))
:: only auto-federate channels for now.
?. ?=($black sec.con.shape.s) ~
:+ ~ n
:+ grams.s
[shape.s mirrors.s]
[locals.s remotes.s]
::
$report
::TODO want to return no prize
[%friend ~]
::
$circle
:- %circle
=+ soy=(~(got by stories) nom.qer)
:+ grams.soy ::TODO get using specified range.
[shape.soy mirrors.soy]
[locals.soy remotes.soy]
==
::
++ tmp-their-change ::< diff-story to theirs
::>
::
|= {who/ship dif/diff-story}
^- diff-story
?+ -.dif
dif
::
$config
?. =(hos.cir.dif our.bol) dif
dif(cir [who nom.cir.dif])
::
$status
?. &(?=($& -.pan.dif) =(hos.p.pan.dif our.bol)) dif
dif(pan [%& who nom.p.pan.dif])
==
::
++ tmp-clean-change ::< remove remotes
::>
::
|= {nom/knot dif/diff-story}
^- (unit diff-story)
?+ -.dif
`dif
::
$config
?. =(cir.dif [our.bol nom]) ~
`dif
::
$status
?. =(pan.dif [%& our.bol nom]) ~
`dif
==
::
++ i-change ::< delta to rumor
::>
::
|= {who/ship weg/(list coin) dif/delta}
^- (unit rumor)
=+ qer=(coins-to-query weg)
?- -.qer
$reader
:: changes to shared ui state apply.
?+ -.dif ~
$glyph `[%reader dif]
$nick `[%reader dif]
==
::
$friend
:: new or removed local stories apply.
::TODO include mailbox sources. check privacy flags.
?. ?=($story -.dif) ~
=/ add/(unit ?)
?+ -.dif.dif ~
$new `&
$remove `|
==
?~ add ~
`[%friend u.add [our.bol nom.dif]]
::
$burden
::TODO only avoid src.bol when they sent a burden or similar?
::TODO shouldn't this prevent senders from getting their message echoed
:: to them?
?: =(who.qer src.bol) ~
?. ?=($story -.dif) ~
:: only burden channels for now.
?. =(%black sec.con.shape:(~(got by stories) nom.dif)) ~
~& [%sending-burden nom.dif -.dif.dif who]
`[%burden nom.dif (tmp-their-change who.qer dif.dif)]
::
$report
:: only send changes we didn't get from above.
?: =(src.bol (sein our.bol)) ~
:: only send story reports about grams and status.
?. ?=($story -.dif) ~
?. ?=(?($grams $status) -.dif.dif) ~
=+ soy=(~(got by stories) nom.dif)
:: and only if the story is inherited.
?. burden.soy ~
:: only burden channels for now.
?. =(%black sec.con.shape.soy) ~
~& [%sending-report nom.dif -.dif.dif who]
`[%burden nom.dif (tmp-their-change (sein our.bol) dif.dif)]
::
$circle
?. ?=($story -.dif) ~
?. =(nom.qer nom.dif) ~
?: ?=($follow -.dif.dif) ~ :: internal-only delta
~& [%sending-circle nom.dif -.dif.dif who]
`[%circle dif.dif]
==
::
++ affection ::< rumors to interested
::>
::
::TODO probably want to do "affected by" checks for every bone,
:: and just construct the rumor once.
|= dif/delta
^- (list move)
%+ murn (~(tap by sup.bol))
|= {b/bone s/ship p/path}
^- (unit move)
=+ rum=(i-change s (path-to-coins p) dif)
::TODO %quit bones that are done with their subscription.
:: ...but that would also require a ta-cancel call to remove
:: them from the presence list! how do?
?~ rum ~
`[b %diff %talk-rumor u.rum]
::
++ path-to-query ::< ...
::>
::
|= pax/path
(coins-to-query (path-to-coins pax))
::
++ path-to-coins ::< ...
::>
::
|= pax/path
^- (list coin)
%+ turn `path`pax
|= a/@ta
(need (slay a))
::
++ coins-to-query ::< ...
::>
::
^- $-((list coin) query)
=> depa
|^ %- af :~
[%reader ul]
[%friend ul]
[%burden (at /[%p])]
[%report ul]
[%circle (al knot rang)]
==
++ knot (do %tas)
++ rang (mu (al plac (mu (un plac))))
++ plac (or %da %ud)
--
::
++ tmp-parse-diff-path ::< ...
::>
::
|= pax/path
^- (pair knot circle)
?. ?=({$circle @ta @ta @ta *} pax)
~&(%invalid-peer-path !!)
:- i.t.pax
:- (slav %p i.t.t.pax)
i.t.t.t.pax
::
++ leak ::< visible to
::>
::
|= {who/ship weg/(list coin)}
^- ?
=+ qer=(coins-to-query weg)
?- -.qer
$reader (team our.bol who)
$friend &
$burden &(=(our.bol (sein who)) =(who who.qer))
$report =(who (sein our.bol))
::
$circle
?. (~(has by stories) nom.qer) |
%. who
~(so-visible so:ta nom.qer ~ (~(got by stories) nom.qer))
==
::
::> ||
::> || %poke-events
::> ||
::+|
::
++ poke-talk-command ::< accept command
::> incoming talk command. process it and update logs.
::
|= cod/command
^- (quip move +>)
=^ mos +>.$
%- pre-bake
ta-done:(ta-apply:ta src.bol cod)
=^ mow +>.$
log-all-to-file
[(welp mos mow) +>.$]
::
++ poke-talk-action ::< accept action
::> incoming talk action. process it.
::
|= act/action
^- (quip move +>)
?. (team src.bol our.bol)
%- pre-bake
=< ta-done
%- ta-note:ta %- crip
"talk-action stranger {(scow %p src.bol)}"
%- pre-bake
ta-done:(ta-action:ta ost.bol act)
::
::> ||
::> || %subscription-events
::> ||
::+|
::
++ diff-talk-prize ::< accept prize
::>
::
|= {wir/wire piz/prize}
^- (quip move +>)
=^ mos +>.$
%- pre-bake
ta-done:(ta-take:ta wir piz)
=^ mow +>.$
log-all-to-file
[(welp mos mow) +>.$]
::
++ diff-talk-rumor ::< accept rumor
::>
::
|= {wir/wire dif/rumor}
^- (quip move +>)
=^ mos +>.$
%- pre-bake
ta-done:(ta-hear:ta wir dif)
=^ mow +>.$
log-all-to-file
[(welp mos mow) +>.$]
::
++ peer ::< accept subscription
::> incoming subscription on {pax}.
::
|= pax/path
^- (quip move +>)
?: ?=({$sole *} pax) ~&(%talk-broker-no-sole !!)
=+ qer=(path-to-coins pax)
?. (leak src.bol qer) ~&(%peer-invisible !!)
=^ mos +>.$
%- pre-bake
ta-done:(ta-subscribe:ta src.bol pax)
:_ +>.$
:_ mos
[ost.bol %diff %talk-prize (g-query qer)]
::
++ pull ::< unsubscribe
::> unsubscribes.
::
|= pax/path
^- (quip move +>)
%- pre-bake
ta-done:(ta-cancel:ta src.bol pax)
::
++ reap ::< catch-all reap
::>
::
|= {wir/wire fal/(unit tang)}
^- (quip move +>)
?~ fal [~ +>]
~| reap-fail+wir
(mean u.fal)
::
++ reap-friend ::< subscription n/ack
::> if subscribing failed, update state to reflect
::> that.
::
::TODO this should deal with /reader subscriptions too.
|= {wir/wire fal/(unit tang)}
^- (quip move +>)
%+ etch-friend [%friend wir]
|= {nom/knot cir/circle}
?~ fal
%- pre-bake
ta-done:(ta-greet:ta nom cir)
=. u.fal [>%reap-friend-fail nom cir< u.fal]
%- (slog (flop u.fal))
%- pre-bake
ta-done:(ta-leave:ta nom cir)
::
++ quit-friend ::< dropped subscription
::> gall dropped our subscription. resubscribe.
::
|= wir/wire
^- (quip move +>)
%+ etch-friend [%friend wir]
|= {nom/knot cir/circle}
::TODO do better
:_ +>.^$ :_ ~
:* 0
%peer
/circle/[nom]/(scot %p hos.cir)/[nom.cir]
[hos.cir %talk-guardian]
/circle/[nom.cir]/(sub now.bol ~h1)
==
::
++ coup-repeat ::< message n/ack
::> ack from ++ta-transmit. mark the message as
::> received or rejected.
::
|= {wir/wire fal/(unit tang)}
^- (quip move +>)
%+ etch-repeat [%repeat wir]
|= {num/@ud src/ship nom/knot}
%- pre-bake
ta-done:(ta-repeat:ta num [%& src nom] fal)
::
::> ||
::> || %logging
::> ||
::+|
::
++ poke-talk-save ::< save as log
::> stores the telegrams of story {nom} in a log file,
::> to be re-loaded by ++poke-talk-load.
::
|= nom/knot
^- (quip move +>)
=/ paf/path
/(scot %p our.bol)/home/(scot %da now.bol)/talk/[nom]/talk-telegrams
=+ grams:(~(got by stories) nom)
:_ +>.$
:_ ~
:* ost.bol
%info
/jamfile
our.bol
(foal paf [%talk-telegrams !>(-)])
==
::
++ poke-talk-load ::< load from log
::> loads the telegrams of story {nom} into our state,
::> as saved in ++poke-talk-save.
::
|= nom/knot
^- (quip move +>)
=/ grams
.^ (list telegram)
%cx
/(scot %p our.bol)/home/(scot %da now.bol)/talk/[nom]/talk-telegrams
==
=+ soy=(~(got by stories) nom)
:- ~
%= +>.$
stories
%+ ~(put by stories) nom
soy(grams grams, count (lent grams))
==
::
++ poke-talk-log ::< start logging
::> starts logging story {nom}'s messages.
::
|= nom/knot
~& %talk-poke-log
^- (quip move +>)
:- [(log-to-file nom) ~]
%= +>.$
log
%+ ~(put by log) nom
count:(~(got by stories) nom)
==
::
++ poke-talk-unlog ::< stop logging
::> stops logging story {nom}'s messages.
::
|= nom/knot
^- (quip move +>)
:- ~
+>.$(log (~(del by log) nom))
::
++ log-all-to-file ::< update stories logs
::> for every story we're logging, (over)writes all
::> their grams to log files if new ones have arrived.
::
::TODO re-enable and test.
^- (quip move .)
?: & [~ .] :: XXX!!!!
:_ %_ .
log
%- ~(urn by log)
|= {nom/knot len/@ud}
count:(~(got by stories) nom)
==
%+ murn (~(tap by log))
|= {nom/knot len/@ud}
^- (unit move)
?: (gte len count:(~(got by stories) nom))
~
`(log-to-file nom)
::
++ log-to-file ::< update story log
::> logs all grams of story {nom} to a file.
::
|= nom/knot
^- move
=+ ^- paf/path
=+ day=(year %*(. (yore now.bol) +.t +:*tarp))
%+ tope [our.bol %home da+now.bol]
/talk-telegrams/(scot %da day)/[nom]/talk
=+ grams:(~(got by stories) nom)
[ost.bol %info /jamfile our.bol (foal paf [%talk-telegrams !>(-)])]
--