urbit/arvo/dill.hoon

435 lines
19 KiB
Plaintext
Raw Normal View History

2014-10-22 06:59:05 +04:00
!:
2013-09-29 00:21:18 +04:00
:: dill (4d), terminal handling
::
2013-12-15 09:42:27 +04:00
|= pit=vase
2014-06-09 01:27:04 +04:00
=> |% :: interface tiles
2015-03-18 19:40:40 +03:00
++ console-action :: console to app
$% [%det console-change] :: edit prompt line
[%inn ~] :: enter session
[%out ~] :: exit session
[%ret ~] :: submit and clear
== ::
++ console-buffer (list ,@c) :: command state
++ console-change :: network change
$: ler=console-clock :: destination clock
haw=@uvH :: source hash
ted=console-edit :: state change
== ::
++ console-clock ,[own=@ud his=@ud] :: vector clock
++ console-edit :: shared state change
$% [%del p=@ud] :: delete one at
[%ins p=@ud q=@c] :: insert at
[%mor p=(list console-edit)] :: combination
[%nop ~] :: no-op
[%set p=console-buffer] :: discontinuity
== ::
++ console-effect :: app to console
$% [%bel ~] :: beep
[%blk p=@ud q=@c] :: blink/match char at
[%clr ~] :: clear screen
[%det console-change] :: edit input
[%nex ~] :: save and clear input
[%tan p=(list tank)] :: classic tank
:: [%taq p=tanq] :: modern tank
[%txt p=tape] :: text line
== ::
++ dill-belt :: console input
$% [%aro p=?(%d %l %r %u)] :: arrow key
[%bac ~] :: true backspace
[%cru p=@tas q=(list tank)] :: echo error
[%ctl p=@ud] :: control-key
[%del ~] :: true delete
[%met p=@ud] :: meta-key
[%ret ~] :: return
[%rez p=@ud q=@ud] :: resize, cols, rows
[%txt p=(list ,@c)] :: utf32 text
[%yow p=gill] :: connect to app
== ::
++ dill-blit :: console output
$% [%bel ~] :: make a noise
[%clr ~] :: clear the screen
[%hop p=@ud] :: set cursor position
2015-03-25 01:56:11 +03:00
[%mor p=(list dill-blit)] :: multiple blits
2015-03-18 19:40:40 +03:00
[%pro p=(list ,@c)] :: show as cursor/line
[%out p=(list ,@c)] :: send output line
[%sag p=path q=*] :: save to jamfile
[%sav p=path q=@] :: save to file
== ::
2015-03-23 01:46:42 +03:00
++ gill (pair ship term) :: general contact
2015-03-18 19:40:40 +03:00
-- ::
=> |% :: console protocol
++ axle :: all dill state
$: %2 ::
ore=(unit ship) :: identity once set
hey=(unit duct) :: default duct
dug=(map duct axon) :: conversations
== ::
++ axon :: dill per duct
$: ram=term :: console program
tem=(unit (list dill-belt)) :: pending, reverse
wid=_80 :: terminal width
pos=@ud :: cursor position
see=(list ,@c) :: current line
== ::
-- => ::
|% :: protocol below
++ blew ,[p=@ud q=@ud] :: columns rows
++ belt :: raw console input
$% [%aro p=?(%d %l %r %u)] :: arrow key
[%bac ~] :: true backspace
[%ctl p=@ud] :: control-key
[%del ~] :: true delete
[%met p=@ud] :: meta-key
[%ret ~] :: return
[%txt p=(list ,@c)] :: utf32 text
== ::
++ blit :: raw console output
$% [%bel ~] :: make a noise
[%clr ~] :: clear the screen
[%hop p=@ud] :: set cursor position
[%lin p=(list ,@c)] :: set current line
[%mor ~] :: newline
[%sag p=path q=*] :: save to jamfile
[%sav p=path q=@] :: save to file
== ::
++ flog :: sent to %dill
$% [%crud p=@tas q=(list tank)] ::
[%text p=tape] ::
[%veer p=@ta q=path r=@t] :: install vane
[%vega p=path] :: reboot by path
[%verb ~] :: verbose mode
== ::
2014-06-03 09:07:32 +04:00
++ gift :: out result <-$
2015-03-18 19:40:40 +03:00
$% [%bbye ~] :: reset prompt
[%blit p=(list blit)] :: terminal output
[%init p=@p] :: set owner
[%logo ~] :: logout
[%veer p=@ta q=path r=@t] :: install vane
[%vega p=path] :: reboot by path
[%verb ~] :: verbose mode
== ::
2014-06-03 09:07:32 +04:00
++ kiss :: in request ->$
2015-03-18 19:40:40 +03:00
$% [%belt p=belt] :: terminal input
[%blew p=blew] :: terminal config
[%boot p=*] :: weird %dill boot
[%crud p=@tas q=(list tank)] :: error with trace
[%flog p=flog] :: wrapped error
[%flow p=@tas q=(list gill)] :: terminal config
[%hail ~] :: terminal refresh
[%hook ~] :: this term hung up
[%harm ~] :: all terms hung up
[%init p=ship] :: after gall ready
[%noop ~] :: no operation
[%talk p=tank] ::
[%text p=tape] ::
[%veer p=@ta q=path r=@t] :: install vane
[%vega p=path] :: reboot by path
[%verb ~] :: verbose mode
== ::
-- => ::
|% :: protocol outward
++ mess ::
$% [%dill-belt p=(hypo dill-belt)] ::
== ::
2014-06-22 09:49:10 +04:00
++ move ,[p=duct q=(mold note gift)] :: local move
2015-03-18 19:40:40 +03:00
++ note-ames :: weird ames move
$% [%make p=(unit ,@t) q=@ud r=@ s=?] ::
[%sith p=@p q=@uw r=?] ::
== ::
++ note-clay :: wait for clay, hack
$% [%warp p=sock q=riff] ::
== ::
++ note-dill :: note to self, odd
$% [%crud p=@tas q=(list tank)] ::
[%text p=tape] ::
[%veer p=@ta q=path r=@t] :: install vane
[%vega p=path] :: reboot by path
[%verb ~] :: verbose mode
== ::
++ note-gall :: outbound message
$% [%mess p=[ship q=path] q=ship r=mess] ::
[%nuke p=[p=ship q=path] q=ship] ::
[%show p=[p=ship q=path] q=ship r=path] ::
[%took p=[p=ship q=path] q=ship] ::
== ::
++ note ::
$% [%a note-ames] :: out request $->
[%c note-clay]
[%d note-dill] ::
[%g note-gall] ::
== ::
2014-10-28 04:50:07 +03:00
++ riff ,[p=desk q=(unit rave)] :: see %clay
2015-03-18 19:40:40 +03:00
++ sign-ames ::
$% [%nice ~] ::
[%init p=ship] ::
== ::
++ sign-clay ::
$% [%note p=@tD q=tank] ::
[%writ p=riot] ::
== ::
2015-03-19 01:01:47 +03:00
++ sign-dill ::
$% [%blit p=(list blit)] ::
== ::
2015-03-18 19:40:40 +03:00
++ sign-gall ::
$% [%crud p=@tas q=(list tank)] ::
[%mean p=ares] ::
[%nice ~] ::
[%rush %dill-blit dill-blit] ::
== ::
++ sign-time ::
$% [%wake ~] ::
== ::
2014-06-22 09:49:10 +04:00
++ sign :: in result $<-
2015-03-18 19:40:40 +03:00
$% [%a sign-ames] ::
[%c sign-clay] ::
2015-03-19 01:01:47 +03:00
[%d sign-dill] ::
2015-03-18 19:40:40 +03:00
[%g sign-gall] ::
[%t sign-time] ::
== ::
2014-06-09 01:27:04 +04:00
:::::::: :: dill tiles
2015-03-18 19:40:40 +03:00
--
=| all=axle
|= [now=@da eny=@ ski=sled] :: current invocation
=> |%
++ as :: per cause
|_ $: [moz=(list move) hen=duct our=ship]
axon
==
2015-03-18 19:40:40 +03:00
++ abet :: resolve
^- [(list move) axle]
[(flop moz) all(dug (~(put by dug.all) hen +<+))]
2013-09-29 00:21:18 +04:00
::
2015-03-18 19:40:40 +03:00
++ call :: receive input
|= kyz=kiss
^+ +>
?+ -.kyz ~& [%strange-kiss -.kyz] +>
%flow +>
%harm +>
%hail +>
%belt (send `dill-belt`p.kyz)
2015-03-19 01:01:47 +03:00
%text (from %out (tuba p.kyz))
%crud :: (send `dill-belt`[%cru p.kyz q.kyz])
(crud p.kyz q.kyz)
2015-03-18 19:40:40 +03:00
%blew (send %rez p.p.kyz q.p.kyz)
%veer (dump kyz)
%vega (dump kyz)
%verb (dump kyz)
==
2013-09-29 00:21:18 +04:00
::
2015-03-19 01:01:47 +03:00
++ crud
|= [err=@tas tac=(list tank)]
=+ ^= wol ^- wall
:- (trip err)
(zing (turn tac |=(a=tank (~(win re a) [0 wid]))))
|- ^+ +>.^$
?~ wol +>.^$
$(wol t.wol, +>.^$ (from %out (tuba i.wol)))
::
2015-03-18 19:40:40 +03:00
++ dump :: pass down to hey
|= git=gift
?> ?=(^ hey.all)
+>(moz [[u.hey.all %give git] moz])
2013-09-29 00:21:18 +04:00
::
2015-03-18 19:40:40 +03:00
++ done :: return gift
|= git=gift
+>(moz :_(moz [hen %give git]))
2015-02-09 00:22:33 +03:00
::
2015-03-18 19:40:40 +03:00
++ from :: receive belt
|= bit=dill-blit
^+ +>
2015-03-25 01:56:11 +03:00
?: ?=(%mor -.bit)
|- ^+ +>.^$
?~ p.bit +>.^$
$(p.bit t.p.bit, +>.^$ ^$(bit i.p.bit))
2015-03-18 19:40:40 +03:00
?: ?=(%out -.bit)
%+ done %blit
:~ [%lin p.bit]
[%mor ~]
[%lin see]
[%hop pos]
==
2015-03-18 19:40:40 +03:00
?: ?=(%pro -.bit)
(done(see p.bit) %blit [[%lin p.bit] [%hop pos] ~])
?: ?=(%hop -.bit)
(done(pos p.bit) %blit [bit ~])
(done %blit [bit ~])
2013-09-29 00:21:18 +04:00
::
2015-03-18 19:40:40 +03:00
++ init :: initialize
2015-03-25 01:56:11 +03:00
~& [%dill-init our]
2015-03-18 19:40:40 +03:00
=+ myt=(flop (need tem))
=. tem ~
=. moz :_(moz [hen %pass ~ %g %show [our [ram ~]] our ~])
|- ^+ +>
?~ myt +>
$(myt t.myt, +> (send i.myt))
::
++ into :: preinitialize
|= gyl=(list gill)
%_ +>
tem `(turn gyl |=(a=gill [%yow a]))
moz
:_ moz
:* hen
%pass
/
%c
[%warp [our our] %main `[%& %y [%ud 1] /]]
==
2013-09-29 00:21:18 +04:00
==
::
2015-03-18 19:40:40 +03:00
++ send :: send action
|= bet=dill-belt
?^ tem
+>(tem `[bet u.tem])
%_ +>
moz
:_ moz
[hen %pass ~ %g %mess [our [ram ~]] our [%dill-belt -:!>(bet) bet]]
==
2015-03-18 19:40:40 +03:00
::
++ took :: send rush ack
%_ .
moz
:_(moz [hen %pass ~ %g %took [our [ram ~]] our])
==
::
2015-03-18 19:40:40 +03:00
++ take :: receive
|= sih=sign
^+ +>
?- sih
[%a %nice *]
:: ~& [%take-nice-ames sih]
+>
::
[%a %init *]
+>(moz :_(moz [hen %give +.sih]))
::
[%c %note *]
(from %out (tuba ~(ram re q.+.sih)))
::
[%c %writ *]
init
2015-03-19 01:01:47 +03:00
::
[%d %blit *]
(done +.sih)
2015-03-18 19:40:40 +03:00
::
[%g %crud *]
2015-03-19 01:01:47 +03:00
(crud p.+.sih q.+.sih)
:: (send %cru p.+.sih q.+.sih)
2015-03-18 19:40:40 +03:00
::
[%g %mean *]
+>(moz [[hen %give %logo ~] moz])
::
[%g %nice *]
:: ~& [%take-nice sih]
+>
::
[%g %rush %dill-blit *]
took:(from +>+.sih)
2015-03-18 19:40:40 +03:00
::
[%t %wake *]
:: ~& %dill-wake
+>
==
--
::
2015-03-18 19:40:40 +03:00
++ ax :: make ++as
|= [hen=duct kyz=kiss] ::
?~ ore.all ~
=+ nux=(~(get by dug.all) hen)
?^ nux
(some ~(. as [~ hen u.ore.all] u.nux))
?. ?=(%flow -.kyz) ~
%- some
%. q.kyz
%~ into as
:- [~ hen u.ore.all]
:* p.kyz
[~ ~]
80
0
(tuba "<{(trip p.kyz)}>")
==
2015-03-18 19:40:40 +03:00
--
2014-06-06 02:14:49 +04:00
|% :: poke/peek pattern
++ call :: handle request
|= $: hen=duct
hic=(hypo (hobo kiss))
==
^- [p=(list move) q=_..^$]
=> %= . :: XX temporary
q.hic
^- kiss
?: ?=(%soft -.q.hic)
:: ~& [%dill-call-soft (,@tas `*`-.p.q.hic)]
((hard kiss) p.q.hic)
?: (~(nest ut -:!>(*kiss)) | p.hic) q.hic
~& [%dill-call-flub (,@tas `*`-.q.hic)]
((hard kiss) q.hic)
==
2015-03-18 19:40:40 +03:00
?: ?=(%boot -.q.hic)
:_(..^$ [hen %pass ~ (note %a p.q.hic)]~)
2014-06-06 02:14:49 +04:00
?: ?=(%flog -.q.hic)
2015-03-19 01:01:47 +03:00
:: ~& [%dill-flog +.q.hic]
2015-03-18 19:40:40 +03:00
:_(..^$ ?~(hey.all ~ [u.hey.all %slip %d p.q.hic]~))
=. hey.all ?^(hey.all hey.all `hen)
2015-03-19 01:01:47 +03:00
?: ?=(%init -.q.hic)
?: =(ore.all `p.q.hic)
[~ ..^$]
=: ore.all `p.q.hic
dug.all ~
==
2015-03-23 07:37:01 +03:00
=+ ^= flo ^- (list (pair ship term))
=+ myr=(clan p.q.hic)
?: =(%pawn myr)
2015-03-28 01:53:35 +03:00
[[p.q.hic %dojo] [p.q.hic %talk] ~]
2015-03-23 07:37:01 +03:00
?: =(%earl myr)
=+ fap=(sein p.q.hic)
2015-03-28 01:53:35 +03:00
[[fap %dojo] [fap %talk] ~]
[[p.q.hic %dojo] [p.q.hic %talk] ~]
2015-03-25 21:03:40 +03:00
=^ moz all abet:(need (ax (need hey.all) [%flow %sole flo]))
2015-03-19 01:01:47 +03:00
[moz ..^$]
2015-03-18 19:40:40 +03:00
=+ nus=(ax hen q.hic)
?~ nus
~& [%dill-no-flow q.hic]
[~ ..^$]
=^ moz all abet:(call:u.nus q.hic)
[moz ..^$]
2014-05-22 21:39:51 +04:00
::
2013-09-29 00:21:18 +04:00
++ doze
2013-12-15 09:42:27 +04:00
|= [now=@da hen=duct]
2013-09-29 00:21:18 +04:00
^- (unit ,@da)
~
::
2015-03-19 01:01:47 +03:00
++ load :: trivial
|= old=axle
..^$(all old)
:: |= old=* :: diable
:: ..^$(ore.all `~zod)
2013-09-29 00:21:18 +04:00
::
++ scry
2014-05-27 00:43:40 +04:00
|= [fur=(unit (set monk)) ren=@tas his=ship syd=desk lot=coin tyl=path]
^- (unit (unit (pair mark ,*)))
2015-03-18 19:40:40 +03:00
[~ ~]
::
++ stay all
2013-09-29 00:21:18 +04:00
::
2014-06-06 02:14:49 +04:00
++ take :: process move
2014-06-22 09:49:10 +04:00
|= [tea=wire hen=duct hin=(hypo sign)]
2014-06-06 02:14:49 +04:00
^- [p=(list move) q=_..^$]
2015-03-18 19:40:40 +03:00
?: =(~ ore.all)
?: ?=([%a %init *] q.hin)
2015-03-19 01:01:47 +03:00
=. hey.all ?^(hey.all hey.all `hen)
2015-03-18 19:40:40 +03:00
[[[hen %give +.q.hin] ~] ..^$]
~& [%take-back q.hin]
[~ ..^$]
?. (~(has by dug.all) hen)
~& [%take-weird-sign q.hin]
~& [%take-weird-hen hen]
[~ ..^$]
=+ our=?>(?=(^ ore.all) u.ore.all)
=^ moz all
abet:(~(take as [~ hen our] (~(got by dug.all) hen)) q.hin)
[moz ..^$]
2013-09-29 00:21:18 +04:00
--