ames: add core chapters to +ev

This commit is contained in:
yosoyubik 2023-02-21 12:56:50 +01:00
parent f310b5cb3a
commit 6d6f1b956f

View File

@ -2092,6 +2092,8 @@
=| cork-bone=(unit bone) :: modified by +on-kroc =| cork-bone=(unit bone) :: modified by +on-kroc
~% %event-core ..$ ~ ~% %event-core ..$ ~
|% |%
+| %helpers
::
++ event-core . ++ event-core .
++ abet [(flop moves) ames-state] ++ abet [(flop moves) ames-state]
++ emit |=(=move event-core(moves [move moves])) ++ emit |=(=move event-core(moves [move moves]))
@ -2100,6 +2102,8 @@
|= [verb=? =ship print=(trap tape)] |= [verb=? =ship print=(trap tape)]
^+ same ^+ same
(trace verb ship ships.bug.ames-state print) (trace verb ship ships.bug.ames-state print)
::
+| %tasks
:: +on-take-done: handle notice from vane that it processed a message :: +on-take-done: handle notice from vane that it processed a message
:: ::
++ on-take-done ++ on-take-done
@ -3005,6 +3009,8 @@
|= m=message-pump-state |= m=message-pump-state
!=(~ unsent-fragments.m) !=(~ unsent-fragments.m)
== ==
::
+| %implementation
:: +enqueue-alien-todo: helper to enqueue a pending request :: +enqueue-alien-todo: helper to enqueue a pending request
:: ::
:: Also requests key and life from Jael on first request. :: Also requests key and life from Jael on first request.
@ -3170,6 +3176,8 @@
?. ?=([~ %known *] ship-state) ?. ?=([~ %known *] ship-state)
*peer-state *peer-state
+.u.ship-state +.u.ship-state
::
+| %internals
:: +pe: create nested |peer-core for per-peer processing :: +pe: create nested |peer-core for per-peer processing
:: ::
++ pe ++ pe