Visible Arvo.

This commit is contained in:
C. Guy Yarvin 2014-06-05 20:41:47 -07:00
parent f411b14978
commit 14301c9beb
4 changed files with 36 additions and 16 deletions

View File

@ -21,6 +21,7 @@
[%tell p=(list ,@t)] :: dump lines [%tell p=(list ,@t)] :: dump lines
[%veer p=@ta q=path r=@t] :: install vane [%veer p=@ta q=path r=@t] :: install vane
[%vega p=path] :: reboot by path [%vega p=path] :: reboot by path
[%verb ~] :: reboot by path
[%warn p=tape] :: syslog [%warn p=tape] :: syslog
== :: == ::
++ kiss :: in request ->$ ++ kiss :: in request ->$

View File

@ -11,6 +11,7 @@
[%send p=lane q=@] :: transmit packet [%send p=lane q=@] :: transmit packet
[%veer p=@ta q=path r=@t] :: install vane [%veer p=@ta q=path r=@t] :: install vane
[%vega p=path] :: reboot by path [%vega p=path] :: reboot by path
[%verb ~] :: by %batz
== ==
++ kiss :: in request ->$ ++ kiss :: in request ->$
$% [%belt p=belt] :: terminal input $% [%belt p=belt] :: terminal input
@ -51,6 +52,7 @@
[%talk p=tank] :: by %batz [%talk p=tank] :: by %batz
[%tell p=(list ,@t)] :: by %batz [%tell p=(list ,@t)] :: by %batz
[%text p=tape] :: by %batz [%text p=tape] :: by %batz
[%verb ~] :: by %batz
[%veer p=@ta q=path r=@t] :: by %batz [%veer p=@ta q=path r=@t] :: by %batz
[%vega p=path] :: by %batz [%vega p=path] :: by %batz
[%warn p=tape] :: by %batz [%warn p=tape] :: by %batz
@ -251,7 +253,7 @@
%talk (furl (~(win re p.sin) 0 p.q.yar)) :: program output %talk (furl (~(win re p.sin) 0 p.q.yar)) :: program output
%text $(sin [%talk %leaf p.sin]) :: simple message %text $(sin [%talk %leaf p.sin]) :: simple message
%warn (fume '~' [%leaf p.sin]) :: system message %warn (fume '~' [%leaf p.sin]) :: system message
?(%init %logo %send %veer %vega) ?(%init %logo %send %veer %vega %verb) :: drop-throughs
+>(mos :_(mos [hen %give sin])) +>(mos :_(mos [hen %give sin]))
== ==
:: ::

View File

@ -9285,7 +9285,7 @@
[%give (song (spec (slot 3 caq)))] [%give (song (spec (slot 3 caq)))]
:: ::
[%sick p=[p=@tas q=*]] [%sick p=[p=@tas q=*]]
[%sick (song (slot 3 caq))] [%sick (song (spec (slot 3 caq)))]
:: ::
[%slip p=@tas q=[p=@tas q=*]] [%slip p=@tas q=[p=@tas q=*]]
:+ %slip :+ %slip
@ -9392,10 +9392,11 @@
(doze:(wink:(vent vil bud (dink (dint hap))) now 0 beck) now [hap ~]) (doze:(wink:(vent vil bud (dink (dint hap))) now 0 beck) now [hap ~])
:: ::
++ hurl :: start loop ++ hurl :: start loop
|= ovo=ovum |= [lac=? ovo=ovum]
~? &(!lac !=(%belt -.q.ovo)) [%unix -.q.ovo p.ovo]
^- [p=(list ovum) q=(list ,[p=@tas q=vase])] ^- [p=(list ovum) q=(list ,[p=@tas q=vase])]
?> ?=(^ p.ovo) ?> ?=(^ p.ovo)
%- kick %+ kick lac
:~ :* i.p.ovo :~ :* i.p.ovo
~ ~
:^ %toss (dint p.ovo) :^ %toss (dint p.ovo)
@ -9427,39 +9428,41 @@
[[~ (turn p.fiq |=(a=move [lal a]))] [[p.i.naf q.fiq] t.naf]] [[~ (turn p.fiq |=(a=move [lal a]))] [[p.i.naf q.fiq] t.naf]]
:: ::
++ jack :: dispatch card ++ jack :: dispatch card
|= gum=muse |= [lac=? gum=muse]
^- [[p=(list ovum) q=(list muse)] _fan] ^- [[p=(list ovum) q=(list muse)] _fan]
%- fire %- fire
?- -.r.gum ?- -.r.gum
%toss %toss
:: ~& [%toss (,@tas +>-.r.r.gum)] ~? &(!lac !=(%gold p.gum))
[%toss p.gum (,@tas +>-.r.r.gum) q.gum]
[p.r.gum ~ [[p.gum q.r.gum] q.gum] r.r.gum] [p.r.gum ~ [[p.gum q.r.gum] q.gum] r.r.gum]
:: ::
%give %give
?> ?=(^ q.gum) ?> ?=(^ q.gum)
?> ?=(^ i.q.gum) ?> ?=(^ i.q.gum)
:: ~& [%give (,@tas +>-.p.r.gum)] ~? &(!lac |(!=(%blit +>-.p.r.gum) !=(%d p.gum)))
[%give p.gum (,@tas +>-.p.r.gum) `duct`q.gum]
[i.i.q.gum [~ t.i.q.gum] t.q.gum p.r.gum] [i.i.q.gum [~ t.i.q.gum] t.q.gum p.r.gum]
:: ::
%slip %slip
:: ~& [%slip (,@tas +>-.q.r.gum)] ~? !lac [%slip p.gum (,@tas +>-.q.r.gum) q.gum]
[p.r.gum ~ q.gum q.r.gum] [p.r.gum ~ q.gum q.r.gum]
:: ::
%sick %sick
?> ?=(^ q.gum) ?> ?=(^ q.gum)
?> ?=(^ i.q.gum) ?> ?=(^ i.q.gum)
:: ~& [%sick (,@tas +>-.p.r.gum)] ~? !lac [%sick p.gum (,@tas +>-.p.r.gum) `duct`q.gum]
[i.i.q.gum ?~(t.i.q.gum ~ [~ t.i.q.gum]) t.q.gum p.r.gum] [i.i.q.gum ?~(t.i.q.gum ~ [~ t.i.q.gum]) t.q.gum p.r.gum]
== ==
:: ::
++ kick :: new main loop ++ kick :: new main loop
|= mor=(list muse) |= [lac=? mor=(list muse)]
=| ova=(list ovum) =| ova=(list ovum)
:: ~& %kick :: ~& %kick
|- ^- [p=(list ovum) q=(list ,[p=@tas q=vase])] |- ^- [p=(list ovum) q=(list ,[p=@tas q=vase])]
:: ~& %kick-loop :: ~& %kick-loop
?~ mor [(flop ova) fan] ?~ mor [(flop ova) fan]
=^ nyx fan (jack i.mor) =^ nyx fan (jack lac i.mor)
$(ova (weld p.nyx ova), mor (weld q.nyx t.mor)) $(ova (weld p.nyx ova), mor (weld q.nyx t.mor))
-- --
-- --
@ -9469,10 +9472,10 @@
=+ pit=`vase`!>(.) :: =+ pit=`vase`!>(.) ::
=+ bud=pit :: becomes tang =+ bud=pit :: becomes tang
=+ vil=(viol p.bud) :: cached reflexives =+ vil=(viol p.bud) :: cached reflexives
=| eny=@ :: entropy =| $: lac=? :: laconic bit
=| fan=(list ,[p=@tas q=vase]) :: eny=@ :: entropy
=| hom=path :: source path fan=(list ,[p=@tas q=vase]) :: modules
=| haz=@uw :: hash == ::
=< |% =< |%
++ come |= [@ (list ovum) pone] :: 11 ++ come |= [@ (list ovum) pone] :: 11
^- [(list ovum) _+>] ^- [(list ovum) _+>]
@ -9489,12 +9492,16 @@
++ poke |= * :: 42 ++ poke |= * :: 42
^- [(list ovum) *] ^- [(list ovum) *]
=> .(+< ((hard ,[now=@da ovo=ovum]) +<)) => .(+< ((hard ,[now=@da ovo=ovum]) +<))
?: =(%verb -.q.ovo)
[~ +>.$(lac !lac)]
?: ?=(%veer -.q.ovo) ?: ?=(%veer -.q.ovo)
[~ +>.$(+ (veer now q.ovo))] [~ +>.$(+ (veer now q.ovo))]
=^ ova +>+ (^poke now ovo) =^ ova +>+ (^poke now ovo)
|- ^- [(list ovum) *] |- ^- [(list ovum) *]
?~ ova ?~ ova
[~ +>.^$] [~ +>.^$]
?: ?=(%verb -.q.i.ova)
$(ova t.ova, lac !lac)
?: ?=(%veer -.q.i.ova) ?: ?=(%veer -.q.i.ova)
$(ova t.ova, +>+.^$ (veer now q.i.ova)) $(ova t.ova, +>+.^$ (veer now q.i.ova))
?: ?=(%vega -.q.i.ova) ?: ?=(%vega -.q.i.ova)
@ -9522,6 +9529,8 @@
|- ^+ [ova +>.^$] |- ^+ [ova +>.^$]
?~ ova ?~ ova
[~ +>.^$] [~ +>.^$]
?: ?=(%verb -.q.i.ova)
$(ova t.ova, lac !lac)
?: ?=(%veer -.q.i.ova) ?: ?=(%veer -.q.i.ova)
$(ova t.ova, +>.^$ (veer _@da q.i.ova)) $(ova t.ova, +>.^$ (veer _@da q.i.ova))
=+(avo=$(ova t.ova) [[i.ova -.avo] +.avo]) =+(avo=$(ova t.ova) [[i.ova -.avo] +.avo])
@ -9541,7 +9550,7 @@
:: ~& [%poke -.q.ovo] :: ~& [%poke -.q.ovo]
^- [(list ovum) _+>] ^- [(list ovum) _+>]
=^ zef fan =^ zef fan
(~(hurl (is vil eny bud fan) now) ovo) (~(hurl (is vil eny bud fan) now) lac ovo)
[zef +>.$] [zef +>.$]
:: ::
++ vega :: reboot kernel ++ vega :: reboot kernel

8
main/bin/verb.hoon Normal file
View File

@ -0,0 +1,8 @@
!:
:: /=main=/bin/verb/hoon
::
=> .(-< `who=@p`-<)
|= [est=time *]
|= ~
^- bowl
[[%xx %verb ~]~ ~]