gall: clean up +mo-{conf, pass, give, okay}

This commit is contained in:
Jared Tobin 2019-04-12 08:17:26 +12:00 committed by Jared Tobin
parent a0bad41a08
commit 8bc397423e
No known key found for this signature in database
GPG Key ID: 0E4647D58F8A69E4

View File

@ -151,26 +151,50 @@
[p.mov %pass p.q.mov q.q.mov] [p.mov %pass p.q.mov q.q.mov]
[(flop (turn moves reshape))] [(flop (turn moves reshape))]
:: ::
++ mo-conf :: configure :: +mo-conf: send an %exec to ford using a beak assembled with the current
|= {dap/dude lum/culm} :: timestamp.
(mo-boot dap p.p.lum q.p.lum da+now)
:: ::
++ mo-pass :: standard pass ++ mo-conf
|= {pax/path noh/note-arvo} |= [=dude =ship =desk]
%_(+> moz :_(moz [hen %pass pax noh])) ^+ mo-state
::
=/ =beak
=/ case [%da now]
[p=ship q=desk r=case]
::
(mo-boot dude beak)
::
:: +mo-pass: prepend a standard %pass move.
::
++ mo-pass
|= pass=(pair path note-arvo)
^+ mo-state
::
=/ move [hen %pass pass]
mo-state(moves [move moves])
::
:: +mo-give: prepend a standard %give move.
:: ::
++ mo-give ++ mo-give
|= git/gift:able |= gift=gift:able
%_(+> moz :_(moz [hen %give git])) ^+ mo-state
::
=/ move [hen %give gift]
mo-state(moves [move moves])
:: ::
++ mo-okay :: valid agent core :: +mo-okay: check that a ford-built app core produces a valid bowl.
::
++ mo-okay
~/ %mo-okay ~/ %mo-okay
|= vax/vase |= =vase
^- ? ^- ?
=+ bol=(slew 12 vax) ::
?~ bol | =/ bol (slew 12 vase)
(~(nest ut p.u.bol) %| -:!>(*bowl)) ?~ bol
:: +mo-receive-core: receives an app core built by ford-turbo %.n
::
=/ declared p.u.bol
(~(nest ut declared) %.n bowl-type)
:: ::
++ mo-receive-core ++ mo-receive-core
~/ %mo-receive-core ~/ %mo-receive-core