urbit/pkg/arvo/lib/sole.hoon

140 lines
3.8 KiB
Plaintext
Raw Normal View History

::
2016-02-11 03:41:28 +03:00
:::: /hoon/sole/lib
::
2015-02-09 00:22:33 +03:00
/? 310
2018-12-11 22:38:44 +03:00
/- *sole
2015-02-09 00:22:33 +03:00
::::
::
2015-09-02 01:20:17 +03:00
|_ sole-share :: shared-state engine
++ abet +<
++ apply
|= ted=sole-edit
2015-09-02 01:20:17 +03:00
^+ +>
?- -.ted
%del +>.$(buf (weld (scag p.ted buf) (slag +(p.ted) buf)))
%ins +>.$(buf (weld (scag p.ted buf) `_buf`[q.ted (slag p.ted buf)]))
%mor |- ^+ +>.^$
?~ p.ted
+>.^$
2015-09-02 01:20:17 +03:00
$(p.ted t.p.ted, +>.^$ ^$(ted i.p.ted))
%nop +>.$
%set +>.$(buf p.ted)
2015-09-02 01:20:17 +03:00
==
::
::::
:: ++transmute: symmetric operational transformation.
2015-09-02 01:20:17 +03:00
::
:: for any sole state +>, obeys
::
:: =+ [x=(transmute a b) y=(transmute b a)]
:: .= (apply:(apply a) x)
2015-09-02 01:20:17 +03:00
:: (apply:(apply b) y)
::
++ transmute :: dex as after sin
|= [sin=sole-edit dex=sole-edit]
2015-09-02 01:20:17 +03:00
~| [%transmute sin dex]
^- sole-edit
?: ?=(%mor -.sin)
2015-09-02 01:20:17 +03:00
|- ^- sole-edit
?~ p.sin dex
$(p.sin t.p.sin, dex ^$(sin i.p.sin))
2015-02-09 00:22:33 +03:00
::
?: ?=(%mor -.dex)
2015-09-02 01:20:17 +03:00
:- %mor
|- ^- (list sole-edit)
?~ p.dex ~
[^$(dex i.p.dex) $(p.dex t.p.dex)]
::
?: |(?=(%nop -.sin) ?=(%nop -.dex)) dex
?: ?=(%set -.sin) [%nop ~]
?: ?=(%set -.dex) dex
::
2015-09-02 01:20:17 +03:00
?- -.sin
%del
2015-09-02 01:20:17 +03:00
?- -.dex
%del ?: =(p.sin p.dex) [%nop ~]
2015-09-02 01:20:17 +03:00
?:((lth p.sin p.dex) dex(p (dec p.dex)) dex)
%ins ?:((lth p.sin p.dex) dex(p (dec p.dex)) dex)
==
::
%ins
2015-09-02 01:20:17 +03:00
?- -.dex
%del ?:((lte p.sin p.dex) dex(p +(p.dex)) dex)
%ins ?: =(p.sin p.dex)
2015-09-02 01:20:17 +03:00
?:((lth q.sin q.dex) dex dex(p +(p.dex)))
?:((lte p.sin p.dex) dex(p +(p.dex)) dex)
==
==
2015-09-02 01:20:17 +03:00
::
++ commit :: local change
|= ted=sole-edit
2015-09-02 01:20:17 +03:00
^- sole-share
abet:(apply(own.ven +(own.ven), leg [ted leg]) ted)
::
::::
:: ++inverse: inverse of change in context.
::
:: for any sole state +>, obeys
::
2015-09-02 01:20:17 +03:00
:: =(+> (apply:(apply a) (inverse a)))
::
++ inverse :: relative inverse
|= ted=sole-edit
2015-09-02 01:20:17 +03:00
^- sole-edit
=. ted ?.(?=([%mor * ~] ted) ted i.p.ted)
2015-09-02 01:20:17 +03:00
?- -.ted
%del [%ins p.ted (snag p.ted buf)]
%ins [%del p.ted]
%mor :- %mor
2015-09-02 01:20:17 +03:00
%- flop
|- ^- (list sole-edit)
?~ p.ted ~
:- ^$(ted i.p.ted)
$(p.ted t.p.ted, +>.^$ (apply i.p.ted))
%nop [%nop ~]
%set [%set buf]
2015-09-02 01:20:17 +03:00
==
::
++ receive :: naturalize event
|= sole-change
^- [sole-edit sole-share]
2015-09-02 01:20:17 +03:00
?. &(=(his.ler his.ven) (lte own.ler own.ven))
2020-05-24 17:11:55 +03:00
~| [%receive-sync his+[his.ler his.ven] own+[own.ler own.ven]]
2015-09-02 01:20:17 +03:00
!!
?> &(=(his.ler his.ven) (lte own.ler own.ven))
2016-01-25 06:37:41 +03:00
?> |(!=(own.ler own.ven) =(`@`0 haw) =(haw (sham buf)))
2015-09-02 01:20:17 +03:00
=. leg (scag (sub own.ven own.ler) leg)
:: ~? !=(own.ler own.ven) [%miss-leg leg]
=+ dat=(transmute [%mor leg] ted)
2015-12-21 00:16:39 +03:00
:: ~? !=(~ leg) [%transmute from+ted to+dat ~]
2015-09-02 01:20:17 +03:00
[dat abet:(apply(his.ven +(his.ven)) dat)]
::
++ remit :: conditional accept
|= [cal=sole-change ask=$-((list @c) ?)]
^- [(unit sole-change) sole-share]
2015-09-02 01:20:17 +03:00
=+ old=buf
=^ dat +>+<.$ (receive cal)
?: (ask buf)
[~ +>+<.$]
=^ lic +>+<.$ (transmit (inverse(buf old) dat))
[`lic +>+<.$]
::
++ transmit :: outgoing change
|= ted=sole-edit
^- [sole-change sole-share]
2015-09-02 01:20:17 +03:00
[[[his.ven own.ven] (sham buf) ted] (commit ted)]
::
++ transceive :: receive and invert
|= sole-change
^- [sole-edit sole-share]
2015-09-02 01:20:17 +03:00
=+ old=buf
=^ dat +>+<.$ (receive +<.$)
[(inverse(buf old) dat) +>+<.$]
::
++ transpose :: adjust position
|= pos=@ud
2015-09-02 01:20:17 +03:00
=+ dat=(transmute [%mor leg] [%ins pos `@c`0])
?> ?=(%ins -.dat)
2015-09-02 01:20:17 +03:00
p.dat
2015-02-09 00:22:33 +03:00
--