2015-02-10 01:58:45 +03:00
|
|
|
!:
|
|
|
|
|
:: dill (4d), terminal handling
|
|
|
|
|
::
|
|
|
|
|
|= pit=vase
|
|
|
|
|
=> |% :: interface tiles
|
2015-03-18 19:40:40 +03:00
|
|
|
++ 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
|
|
|
|
|
wid=_80 :: terminal width
|
|
|
|
|
pos=@ud :: cursor position
|
|
|
|
|
see=(list ,@c) :: current line
|
|
|
|
|
== ::
|
|
|
|
|
-- ::
|
|
|
|
|
=> |% :: console protocol
|
2015-02-10 01:58:45 +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
|
2015-02-12 05:57:33 +03:00
|
|
|
[%nex ~] :: save and clear input
|
2015-02-10 01:58:45 +03:00
|
|
|
[%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
|
|
|
|
|
[%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
|
|
|
|
|
== ::
|
|
|
|
|
++ gill ,@tas :: general contact
|
|
|
|
|
-- => ::
|
|
|
|
|
|% :: 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] ::
|
2015-03-12 19:35:06 +03:00
|
|
|
[%veer p=@ta q=path r=@t] :: install vane
|
|
|
|
|
[%vega p=path] :: reboot by path
|
|
|
|
|
[%verb ~] :: verbose mode
|
2015-02-10 01:58:45 +03:00
|
|
|
== ::
|
|
|
|
|
++ gift :: out result <-$
|
|
|
|
|
$% [%bbye ~] :: reset prompt
|
|
|
|
|
[%blit p=(list blit)] :: terminal output
|
|
|
|
|
[%init p=@p] :: set owner
|
2015-02-16 23:18:10 +03:00
|
|
|
[%logo ~] :: logout
|
2015-02-10 01:58:45 +03:00
|
|
|
[%veer p=@ta q=path r=@t] :: install vane
|
|
|
|
|
[%vega p=path] :: reboot by path
|
2015-03-12 19:35:06 +03:00
|
|
|
[%verb ~] :: verbose mode
|
2015-02-10 01:58:45 +03:00
|
|
|
== ::
|
|
|
|
|
++ kiss :: in request ->$
|
|
|
|
|
$% [%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] ::
|
2015-03-12 19:35:06 +03:00
|
|
|
[%veer p=@ta q=path r=@t] :: install vane
|
|
|
|
|
[%vega p=path] :: reboot by path
|
|
|
|
|
[%verb ~] :: verbose mode
|
2015-02-10 01:58:45 +03:00
|
|
|
== ::
|
|
|
|
|
-- => ::
|
|
|
|
|
|% :: protocol outward
|
|
|
|
|
++ mess ::
|
|
|
|
|
$% [%dill-belt p=(hypo dill-belt)] ::
|
|
|
|
|
== ::
|
|
|
|
|
++ move ,[p=duct q=(mold note gift)] :: local move
|
|
|
|
|
++ note-ames :: weird ames move
|
|
|
|
|
$% [%make p=(unit ,@t) q=@ud r=@ s=?] ::
|
|
|
|
|
[%sith p=@p q=@uw r=?] ::
|
|
|
|
|
== ::
|
|
|
|
|
++ note-dill :: note to self, odd
|
|
|
|
|
$% [%crud p=@tas q=(list tank)] ::
|
|
|
|
|
[%text p=tape] ::
|
2015-03-12 19:35:06 +03:00
|
|
|
[%veer p=@ta q=path r=@t] :: install vane
|
|
|
|
|
[%vega p=path] :: reboot by path
|
|
|
|
|
[%verb ~] :: verbose mode
|
2015-02-10 01:58:45 +03:00
|
|
|
== ::
|
|
|
|
|
++ 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 $->
|
|
|
|
|
[%d note-dill] ::
|
|
|
|
|
[%g note-gall] ::
|
|
|
|
|
== ::
|
|
|
|
|
++ riff ,[p=desk q=(unit rave)] :: see %clay
|
|
|
|
|
++ sign-ames ::
|
|
|
|
|
$% [%nice ~] ::
|
|
|
|
|
== ::
|
2015-03-07 23:39:54 +03:00
|
|
|
++ sign-clay ::
|
|
|
|
|
$% [%note p=@tD q=tank] ::
|
|
|
|
|
== ::
|
2015-02-10 01:58:45 +03:00
|
|
|
++ sign-gall ::
|
|
|
|
|
$% [%crud p=@tas q=(list tank)] ::
|
|
|
|
|
[%mean p=ares] ::
|
|
|
|
|
[%nice ~] ::
|
|
|
|
|
[%rush %dill-blit dill-blit] ::
|
|
|
|
|
== ::
|
|
|
|
|
++ sign-time ::
|
|
|
|
|
$% [%wake ~] ::
|
|
|
|
|
== ::
|
|
|
|
|
++ sign :: in result $<-
|
|
|
|
|
$% [%a sign-ames] ::
|
2015-03-07 23:39:54 +03:00
|
|
|
[%c sign-clay] ::
|
2015-02-10 01:58:45 +03:00
|
|
|
[%g sign-gall] ::
|
|
|
|
|
[%t sign-time] ::
|
|
|
|
|
== ::
|
|
|
|
|
:::::::: :: dill tiles
|
|
|
|
|
--
|
|
|
|
|
=| all=axle
|
|
|
|
|
|= [now=@da eny=@ ski=sled] :: current invocation
|
|
|
|
|
=> |%
|
|
|
|
|
++ as :: per cause
|
|
|
|
|
|_ $: [moz=(list move) hen=duct our=ship]
|
|
|
|
|
axon
|
|
|
|
|
==
|
|
|
|
|
++ abet :: resolve
|
|
|
|
|
^- [(list move) axle]
|
|
|
|
|
[(flop moz) all(dug (~(put by dug.all) hen +<+))]
|
|
|
|
|
::
|
|
|
|
|
++ call :: receive input
|
|
|
|
|
|= kyz=kiss
|
|
|
|
|
^+ +>
|
|
|
|
|
?+ -.kyz ~& [%strange-kiss -.kyz] +>
|
|
|
|
|
%flow +>
|
|
|
|
|
%belt (send `dill-belt`p.kyz)
|
2015-03-07 23:39:54 +03:00
|
|
|
%crud (send `dill-belt`[%cru p.kyz q.kyz])
|
2015-02-10 01:58:45 +03:00
|
|
|
%blew (send %rez p.p.kyz q.p.kyz)
|
2015-03-12 19:35:06 +03:00
|
|
|
%veer (dump kyz)
|
|
|
|
|
%vega (dump kyz)
|
|
|
|
|
%verb (dump kyz)
|
2015-02-10 01:58:45 +03:00
|
|
|
==
|
|
|
|
|
::
|
2015-03-12 19:35:06 +03:00
|
|
|
++ dump :: pass down to hey
|
|
|
|
|
|= git=gift
|
|
|
|
|
?> ?=(^ hey.all)
|
|
|
|
|
+>(moz [[u.hey.all %give git] moz])
|
|
|
|
|
::
|
2015-02-10 01:58:45 +03:00
|
|
|
++ done :: return gift
|
|
|
|
|
|= git=gift
|
|
|
|
|
+>(moz :_(moz [hen %give git]))
|
|
|
|
|
::
|
|
|
|
|
++ from :: receive belt
|
|
|
|
|
|= bit=dill-blit
|
|
|
|
|
^+ +>
|
|
|
|
|
?: ?=(%out -.bit)
|
|
|
|
|
%+ done %blit
|
|
|
|
|
:~ [%lin p.bit]
|
|
|
|
|
[%mor ~]
|
|
|
|
|
[%lin see]
|
2015-02-12 05:57:33 +03:00
|
|
|
[%hop pos]
|
2015-02-10 01:58:45 +03:00
|
|
|
==
|
|
|
|
|
?: ?=(%pro -.bit)
|
2015-02-12 05:57:33 +03:00
|
|
|
(done(see p.bit) %blit [[%lin p.bit] [%hop pos] ~])
|
|
|
|
|
?: ?=(%hop -.bit)
|
|
|
|
|
(done(pos p.bit) %blit [bit ~])
|
|
|
|
|
(done %blit [bit ~])
|
2015-02-10 01:58:45 +03:00
|
|
|
::
|
|
|
|
|
++ init :: initialize
|
|
|
|
|
|= gyl=(list gill)
|
2015-03-18 19:40:40 +03:00
|
|
|
^+ +>
|
|
|
|
|
=. moz :_(moz [hen %pass ~ %g %show [our [ram ~]] our ~])
|
|
|
|
|
|- ^+ +>.^$
|
|
|
|
|
?~ gyl +>.^$
|
|
|
|
|
$(gyl t.gyl, +>.^$ (send %yow i.gyl))
|
2015-02-10 01:58:45 +03:00
|
|
|
::
|
|
|
|
|
++ send :: send action
|
|
|
|
|
|= bet=dill-belt
|
|
|
|
|
%_ +>
|
|
|
|
|
moz
|
|
|
|
|
:_ moz
|
|
|
|
|
[hen %pass ~ %g %mess [our [ram ~]] our [%dill-belt -:!>(bet) bet]]
|
|
|
|
|
==
|
|
|
|
|
::
|
|
|
|
|
++ take :: receive
|
|
|
|
|
|= sih=sign
|
|
|
|
|
^+ +>
|
|
|
|
|
?- sih
|
|
|
|
|
[%a %nice *]
|
2015-02-12 05:57:33 +03:00
|
|
|
:: ~& [%take-nice-ames sih]
|
2015-02-10 01:58:45 +03:00
|
|
|
+>
|
2015-03-07 23:39:54 +03:00
|
|
|
::
|
|
|
|
|
[%c %note *]
|
|
|
|
|
(from %out (tuba ~(ram re q.+.sih)))
|
2015-02-10 01:58:45 +03:00
|
|
|
::
|
|
|
|
|
[%g %crud *]
|
2015-03-07 23:39:54 +03:00
|
|
|
(send %cru p.+.sih q.+.sih)
|
2015-02-10 01:58:45 +03:00
|
|
|
::
|
|
|
|
|
[%g %mean *]
|
2015-02-16 23:18:10 +03:00
|
|
|
+>(moz [[hen %give %logo ~] moz])
|
2015-02-10 01:58:45 +03:00
|
|
|
::
|
|
|
|
|
[%g %nice *]
|
2015-02-12 05:57:33 +03:00
|
|
|
:: ~& [%take-nice sih]
|
2015-02-10 01:58:45 +03:00
|
|
|
+>
|
|
|
|
|
::
|
|
|
|
|
[%g %rush %dill-blit *]
|
|
|
|
|
=. moz :_(moz `move`[hen %pass ~ %g %took [our [ram ~]] our])
|
|
|
|
|
(from +>+.sih)
|
|
|
|
|
::
|
|
|
|
|
[%t %wake *]
|
2015-02-12 05:57:33 +03:00
|
|
|
:: ~& %dill-wake
|
2015-02-10 01:58:45 +03:00
|
|
|
+>
|
|
|
|
|
==
|
|
|
|
|
--
|
|
|
|
|
::
|
2015-03-07 23:39:54 +03:00
|
|
|
++ ax :: make ++as
|
2015-02-10 01:58:45 +03:00
|
|
|
|= [hen=duct kyz=kiss] ::
|
|
|
|
|
?~ ore.all ~
|
|
|
|
|
=+ nux=(~(get by dug.all) hen)
|
|
|
|
|
?^ nux (some ~(. as [~ hen u.ore.all] u.nux))
|
|
|
|
|
?. ?=(%flow -.kyz) ~
|
|
|
|
|
%- some
|
2015-02-12 05:57:33 +03:00
|
|
|
%. q.kyz
|
2015-03-18 19:40:40 +03:00
|
|
|
~(init as [~ hen u.ore.all] [p.kyz 80 0 (tuba "<{(trip p.kyz)}>")])
|
2015-02-10 01:58:45 +03: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)
|
|
|
|
|
==
|
|
|
|
|
?: ?=(%boot -.q.hic)
|
|
|
|
|
:_(..^$ [hen %pass ~ (note %a p.q.hic)]~)
|
|
|
|
|
?: ?=(%flog -.q.hic)
|
|
|
|
|
:_(..^$ ?~(hey.all ~ [u.hey.all %slip %d p.q.hic]~))
|
|
|
|
|
?: ?=(%init -.q.hic)
|
|
|
|
|
[~ ..^$(ore.all `p.q.hic)]
|
|
|
|
|
=. hey.all ?^(hey.all hey.all `hen)
|
|
|
|
|
=+ nus=(ax hen q.hic)
|
|
|
|
|
?~ nus
|
|
|
|
|
~& [%dill-no-flow q.hic]
|
|
|
|
|
[~ ..^$]
|
|
|
|
|
=^ moz all abet:(call:u.nus q.hic)
|
|
|
|
|
[moz ..^$]
|
|
|
|
|
::
|
|
|
|
|
++ doze
|
|
|
|
|
|= [now=@da hen=duct]
|
|
|
|
|
^- (unit ,@da)
|
|
|
|
|
~
|
|
|
|
|
::
|
|
|
|
|
++ load :: totally disabled
|
2015-03-18 19:40:40 +03:00
|
|
|
|= old=*
|
|
|
|
|
..^$(ore.all `~zod)
|
2015-02-10 01:58:45 +03:00
|
|
|
::
|
|
|
|
|
++ scry
|
|
|
|
|
|= [fur=(unit (set monk)) ren=@tas his=ship syd=desk lot=coin tyl=path]
|
|
|
|
|
^- (unit (unit (pair mark ,*)))
|
|
|
|
|
[~ ~]
|
|
|
|
|
::
|
|
|
|
|
++ stay all
|
|
|
|
|
::
|
|
|
|
|
++ take :: process move
|
|
|
|
|
|= [tea=wire hen=duct hin=(hypo sign)]
|
|
|
|
|
^- [p=(list move) q=_..^$]
|
|
|
|
|
?: =(~ ore.all)
|
|
|
|
|
~& [%take-back q.hin]
|
|
|
|
|
[~ ..^$]
|
2015-02-12 05:57:33 +03:00
|
|
|
?. (~(has by dug.all) hen)
|
|
|
|
|
~& [%take-weird-sign q.hin]
|
|
|
|
|
~& [%take-weird-hen hen]
|
|
|
|
|
[~ ..^$]
|
2015-02-10 01:58:45 +03:00
|
|
|
=+ our=?>(?=(^ ore.all) u.ore.all)
|
|
|
|
|
=^ moz all
|
|
|
|
|
abet:(~(take as [~ hen our] (~(got by dug.all) hen)) q.hin)
|
|
|
|
|
[moz ..^$]
|
2015-02-12 05:57:33 +03:00
|
|
|
--
|
