mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-12-01 20:04:09 +03:00
150 lines
4.3 KiB
Plaintext
150 lines
4.3 KiB
Plaintext
|
=> |%
|
||
|
|
--
|
||
|
|
|* $: :> vinyl: historical state (including version)
|
||
|
|
:> brain: working state of the application (not including version)
|
||
|
|
:> delta: grain of change across all state
|
||
|
|
:> prize: (pair mark noun) for namespace value
|
||
|
|
:> rumor: (pair mark noun) for namespace diff
|
||
|
|
:> opera: (pair bone card) for operation (old ++move)
|
||
|
|
:>
|
||
|
|
vinyl/mold
|
||
|
|
brain/mold
|
||
|
|
delta/mold
|
||
|
|
prize/mold
|
||
|
|
rumor/mold
|
||
|
|
opera/mold
|
||
|
|
==
|
||
|
|
|_ $: :> ops: pending operations, in reverse order
|
||
|
|
:> ego: current state
|
||
|
|
:>
|
||
|
|
ops/(list opera)
|
||
|
|
ego/brain
|
||
|
|
==
|
||
|
|
:: :: ++bake
|
||
|
|
++ bake :< apply delta
|
||
|
|
|= $: :> del: change
|
||
|
|
:>
|
||
|
|
del/delta
|
||
|
|
==
|
||
|
|
:> core after change (including operations)
|
||
|
|
^- _+>
|
||
|
|
!!
|
||
|
|
:: :: ++cope
|
||
|
|
++ cope :< transaction result
|
||
|
|
|= $: :> weg: forward identity
|
||
|
|
:> het: success or error report
|
||
|
|
:>
|
||
|
|
weg/(list coin)
|
||
|
|
het/(unit tang)
|
||
|
|
==
|
||
|
|
:> actions in reverse order
|
||
|
|
:>
|
||
|
|
^- (list delta)
|
||
|
|
!!
|
||
|
|
:: :: ++fail
|
||
|
|
++ fail :< process error
|
||
|
|
|= $: :> why: error dump
|
||
|
|
:>
|
||
|
|
why/tang
|
||
|
|
==
|
||
|
|
:> actions in reverse order
|
||
|
|
:>
|
||
|
|
^- (list delta)
|
||
|
|
!!
|
||
|
|
:: :: ++feel
|
||
|
|
++ feel :< update
|
||
|
|
|= $: :> del: change
|
||
|
|
:> pex: preparsed path, inside-first
|
||
|
|
:>
|
||
|
|
del/delta
|
||
|
|
pex/(list coin)
|
||
|
|
==
|
||
|
|
:> query updates in reverse order
|
||
|
|
:>
|
||
|
|
^- (list rumor)
|
||
|
|
!!
|
||
|
|
:: :: ++hear
|
||
|
|
++ hear :< subscription update
|
||
|
|
|= $: :> weg: forward identity
|
||
|
|
:>
|
||
|
|
weg/(list coin)
|
||
|
|
==
|
||
|
|
:> actions in reverse order
|
||
|
|
:>
|
||
|
|
^- (list delta)
|
||
|
|
!!
|
||
|
|
:: :: ++pull
|
||
|
|
++ pull :< subscription cancel
|
||
|
|
|= $: :> weg: forward identity
|
||
|
|
:> het: error report, if any
|
||
|
|
:>
|
||
|
|
weg/(list coin)
|
||
|
|
het/(unit tang)
|
||
|
|
==
|
||
|
|
:> actions in reverse order
|
||
|
|
:>
|
||
|
|
^- (list delta)
|
||
|
|
!!
|
||
|
|
:: :: ++leak
|
||
|
|
++ leak :< check access
|
||
|
|
|= $: :> lec: leakset (~ means public)
|
||
|
|
:> pex: preparsed path, inside-first
|
||
|
|
:>
|
||
|
|
lec/(unit (set ship))
|
||
|
|
pex/(list coin)
|
||
|
|
==
|
||
|
|
:> if path `pex` is visible to ships in `lec`
|
||
|
|
^- ?
|
||
|
|
!!
|
||
|
|
:: :: ++load
|
||
|
|
++ look :< asynchronous read
|
||
|
|
|= $: :> pex: preparsed path, inside-first
|
||
|
|
:>
|
||
|
|
pex/(list coin)
|
||
|
|
==
|
||
|
|
:> actions in reverse order
|
||
|
|
^- _+>
|
||
|
|
!!
|
||
|
|
:: :: ++prep
|
||
|
|
++ prep :< load system
|
||
|
|
|= $: old/vinyl
|
||
|
|
==
|
||
|
|
:> core after boot
|
||
|
|
^- _+>
|
||
|
|
!!
|
||
|
|
:: :: ++peek
|
||
|
|
++ peek :< synchronous read
|
||
|
|
|= $: :> pex: preparsed path, inside-first
|
||
|
|
:>
|
||
|
|
pex/(list coin)
|
||
|
|
==
|
||
|
|
:> value at `pec`; ~ for unavailable, [~ ~] for invalid
|
||
|
|
:>
|
||
|
|
^- (unit (unit prize))
|
||
|
|
!!
|
||
|
|
:: :: ++poke
|
||
|
|
++ poke :< generic poke
|
||
|
|
|= $: :> ost: opaque cause
|
||
|
|
:> msg: message with mark and vase
|
||
|
|
:>
|
||
|
|
ost/bone
|
||
|
|
msg/cage
|
||
|
|
==
|
||
|
|
:> actions in reverse order
|
||
|
|
:>
|
||
|
|
^- (list delta)
|
||
|
|
!!
|
||
|
|
:: :: ++pour
|
||
|
|
++ pour :< arvo response
|
||
|
|
|= $: :> weg: forward identity
|
||
|
|
:> sin: response card
|
||
|
|
:>
|
||
|
|
weg/(list coin)
|
||
|
|
sin/sign
|
||
|
|
==
|
||
|
|
:> actions in reverse order
|
||
|
|
:>
|
||
|
|
^- (list delta)
|
||
|
|
!!
|
||
|
|
--
|