various: move away from $constant type syntax

This commit is contained in:
fang 2020-11-25 20:39:13 +01:00
parent 194e8ae440
commit a6e7af38d5
No known key found for this signature in database
GPG Key ID: EB035760C1BBA972
47 changed files with 1828 additions and 1828 deletions

View File

@ -12,7 +12,7 @@
=> |% :: external structures
++ id @tasession :: session id
++ house :: all state
$: $6
$: %6
egg/@u :: command count
hoc/(map id session) :: conversations
acl/(set ship) :: remote access whitelist
@ -42,20 +42,20 @@
== ::
++ dojo-command ::
$^ (pair dojo-sink dojo-source) :: route value
{$brev p/term} :: unbind variable
{%brev p/term} :: unbind variable
::
++ dojo-sink ::
$% {$flat p/path} :: atom to unix
{$pill p/path} :: noun to unix pill
:: {$tree p/path} :: noun to unix tree
{$file p/beam} :: save to clay
$: $http :: http outbound
p/?($post $put)
$% {%flat p/path} :: atom to unix
{%pill p/path} :: noun to unix pill
:: {%tree p/path} :: noun to unix tree
{%file p/beam} :: save to clay
$: %http :: http outbound
p/?(%post %put)
r/@t
==
{$poke p/goal} :: poke app
{$show p/?($0 $1 $2 $3 $4 $5)} :: val/type/hoon/xray
{$verb p/term} :: store variable
{%poke p/goal} :: poke app
{%show p/?(%0 %1 %2 %3 %4 %5)} :: val/type/hoon/xray
{%verb p/term} :: store variable
== ::
++ dojo-source :: construction node
$: p/@ud :: assembly index
@ -63,15 +63,15 @@
== ::
++ dojo-build :: one arvo step
$~ [%ex *hoon]
$% {$ur p/@t} :: http GET request
{$ge p/dojo-model} :: generator
{$te p/term q/(list dojo-source)} :: thread
{$dv p/path} :: core from source
{$ex p/hoon} :: hoon expression
{$sa p/mark} :: example mark value
{$as p/mark q/dojo-source} :: simple transmute
{$do p/hoon q/dojo-source} :: gate apply
{$tu p/(list dojo-source)} :: tuple
$% {%ur p/@t} :: http GET request
{%ge p/dojo-model} :: generator
{%te p/term q/(list dojo-source)} :: thread
{%dv p/path} :: core from source
{%ex p/hoon} :: hoon expression
{%sa p/mark} :: example mark value
{%as p/mark q/dojo-source} :: simple transmute
{%do p/hoon q/dojo-source} :: gate apply
{%tu p/(list dojo-source)} :: tuple
== ::
++ dojo-model :: data construction
$: p/dojo-server :: core source
@ -183,7 +183,7 @@
;~(plug (cold %pill dot) (most fas sym))
;~(plug (cold %http lus) (stag %post parse-url))
;~(plug (cold %http hep) (stag %put parse-url))
(stag %show (cook $?($1 $2 $3 $4 $5) (cook lent (stun [1 5] wut))))
(stag %show (cook $?(%1 %2 %3 %4 %5) (cook lent (stun [1 5] wut))))
==
::
++ parse-cables
@ -382,7 +382,7 @@
^+ [mad +>]
?@ -.mad [mad +>.$]
=. q.mad
?+(-.p.mad q.mad $http [0 %as %mime q.mad])
?+(-.p.mad q.mad %http [0 %as %mime q.mad])
=^ src +>.$ (dy-init-source q.mad)
[mad(q src) +>.$]
::
@ -406,15 +406,15 @@
|= bul/dojo-build
^+ [bul +>]
?- -.bul
$ex [bul +>.$]
$dv [bul +>.$]
$sa [bul +>.$]
$as =^(mor +>.$ (dy-init-source q.bul) [bul(q mor) +>.$])
$do =^(mor +>.$ (dy-init-source q.bul) [bul(q mor) +>.$])
$ge =^(mod +>.$ (dy-init-model p.bul) [[%ge mod] +>.$])
$te =^(mod +>.$ (dy-init-ordered q.bul) [bul(q mod) +>.$])
$ur [bul +>.$]
$tu =^(dof +>.$ (dy-init-ordered p.bul) [[%tu dof] +>.$])
%ex [bul +>.$]
%dv [bul +>.$]
%sa [bul +>.$]
%as =^(mor +>.$ (dy-init-source q.bul) [bul(q mor) +>.$])
%do =^(mor +>.$ (dy-init-source q.bul) [bul(q mor) +>.$])
%ge =^(mod +>.$ (dy-init-model p.bul) [[%ge mod] +>.$])
%te =^(mod +>.$ (dy-init-ordered q.bul) [bul(q mod) +>.$])
%ur [bul +>.$]
%tu =^(dof +>.$ (dy-init-ordered p.bul) [[%tu dof] +>.$])
==
::
++ dy-init-model :: ++dojo-model
@ -476,7 +476,7 @@
?> ?=(^ per)
?: ?| ?=(^ q.q.cag)
=((lent buf.say) q.q.cag)
!&(?=($del -.u.per) =(+(p.u.per) (lent buf.say)))
!&(?=(%del -.u.per) =(+(p.u.per) (lent buf.say)))
==
dy-abet(per ~)
(dy-errd(per ~) per q.q.cag)
@ -503,40 +503,40 @@
^+ +>
:: XX needs filter
::
?: ?=({$show $3} -.mad)
?: ?=({%show %3} -.mad)
(dy-rash %tan (dy-show-source q.mad) ~)
?: ?=($brev -.mad)
?: ?=(%brev -.mad)
=. var (~(del by var) p.mad)
=< dy-amok
?+ p.mad .
$?($eny $now $our) !!
$lib .(lib ~)
$sur .(sur ~)
$dir .(dir [[our.hid %home ud+0] /])
$?(%eny %now %our) !!
%lib .(lib ~)
%sur .(sur ~)
%dir .(dir [[our.hid %home ud+0] /])
==
=+ cay=(~(got by rez) p.q.mad)
?- -.p.mad
$verb
%verb
=. var (~(put by var) p.p.mad cay)
~| bad-set+[p.p.mad p.q.cay]
=< dy-amok
?+ p.p.mad .
$eny ~|(%entropy-is-eternal !!)
$now ~|(%time-is-immutable !!)
$our ~|(%self-is-immutable !!)
$lib
%eny ~|(%entropy-is-eternal !!)
%now ~|(%time-is-immutable !!)
%our ~|(%self-is-immutable !!)
%lib
%_ .
lib
((dy-cast (list cable:clay) !>(*(list cable:clay))) q.cay)
==
::
$sur
%sur
%_ .
sur
((dy-cast (list cable:clay) !>(*(list cable:clay))) q.cay)
==
::
$dir =+ ^= pax ^- path
%dir =+ ^= pax ^- path
=+ pax=((dy-cast path !>(*path)) q.cay)
?: ?=(~ pax) ~[(scot %p our.hid) %home '0']
?: ?=({@ ~} pax) ~[i.pax %home '0']
@ -547,7 +547,7 @@
rose+[" " `~]^~[leaf+"=%" (smyt (en-beam:format he-beak s.dir))]
==
::
$poke
%poke
%- he-card(poy ~)
:* %pass
/poke
@ -557,22 +557,22 @@
cay
==
::
$file
%file
%- he-card(poy ~)
:* %pass /file %arvo %c
%info (foal:space:userlib (en-beam:format p.p.mad) cay)
==
::
$flat
%flat
?^ q.q.cay
(dy-rash %tan [%leaf "not an atom"]~)
(dy-rash %sav p.p.mad q.q.cay)
::
$pill
%pill
(dy-rash %sag p.p.mad q.q.cay)
::
$http
?> ?=($mime p.cay)
%http
?> ?=(%mime p.cay)
=+ mim=;;(mime q.q.cay)
%+ dy-request /show
:* ?:(=(%put p.p.mad) %'PUT' %'POST')
@ -581,7 +581,7 @@
`q.mim
==
::
$show
%show
|^ (prnt cay note)
++ prnt ?: (gte p.p.mad 4)
dy-xprint
@ -609,8 +609,8 @@
%+ dy-rash %tan
%- welp :_ tan
?+ p.cay [(xsell q.cay)]~
$tang ;;(tang q.q.cay)
$httr
%tang ;;(tang q.q.cay)
%httr
=+ hit=;;(httr:eyre q.q.cay)
=- (flop (turn `wall`- |=(a/tape leaf+(dash:us a '' ~))))
:- "HTTP {<p.hit>}"
@ -627,8 +627,8 @@
%+ dy-rash %tan
%- welp :_ tan
?+ p.cay [(sell q.cay)]~
$tang ;;(tang q.q.cay)
$httr
%tang ;;(tang q.q.cay)
%httr
=+ hit=;;(httr:eyre q.q.cay)
=- (flop (turn `wall`- |=(a/tape leaf+(dash:us a '' ~))))
:- "HTTP {<p.hit>}"
@ -640,22 +640,22 @@
++ dy-show-type-noun
|= a/type ^- tank
=- >[-]<
|- ^- $? $% {$atom @tas (unit @)}
{$cell _$ _$}
{$face $@(term tune) _$}
{$fork (set _$)}
{$hold _$ hoon}
|- ^- $? $% {%atom @tas (unit @)}
{%cell _$ _$}
{%face $@(term tune) _$}
{%fork (set _$)}
{%hold _$ hoon}
==
wain :: "<|core|>"
$?($noun $void)
$?(%noun %void)
==
?+ a a
{$face ^} a(q $(a q.a))
{$cell ^} a(p $(a p.a), q $(a q.a))
{$fork *} a(p (silt (turn ~(tap in p.a) |=(b/type ^$(a b)))))
{$hint *} !!
{$core ^} `wain`/core
{$hold *} a(p $(a p.a))
{%face ^} a(q $(a q.a))
{%cell ^} a(p $(a p.a), q $(a q.a))
{%fork *} a(p (silt (turn ~(tap in p.a) |=(b/type ^$(a b)))))
{%hint *} !!
{%core ^} `wain`/core
{%hold *} a(p $(a p.a))
==
::
:: XX needs filter
@ -669,13 +669,13 @@
;: jank-bucwut
hoon
$^ {dy-shown dy-shown}
$% {$ur cord}
{$sa mark}
{$as mark dy-shown}
{$do hoon dy-shown}
{$te term (list dy-shown)}
{$ge path (list dy-shown) (map term (unit dy-shown))}
{$dv path}
$% {%ur cord}
{%sa mark}
{%as mark dy-shown}
{%do hoon dy-shown}
{%te term (list dy-shown)}
{%ge path (list dy-shown) (map term (unit dy-shown))}
{%dv path}
==
==
::
@ -685,20 +685,20 @@
=+ `{@ bil/dojo-build}`a
|- ^- dy-shown
?- -.bil
$?($ur $dv $sa) bil
$ex ?. ?=({$cltr *} p.bil) p.bil
$?(%ur %dv %sa) bil
%ex ?. ?=({%cltr *} p.bil) p.bil
|- ^- hoon
?~ p.p.bil !!
?~ t.p.p.bil i.p.p.bil
[i.p.p.bil $(p.p.bil t.p.p.bil)]
$tu ?~ p.bil !!
%tu ?~ p.bil !!
|-
?~ t.p.bil ^$(bil q.i.p.bil)
[^$(bil q.i.p.bil) $(p.bil t.p.bil)]
$as bil(q $(bil q.q.bil))
$do bil(q $(bil q.q.bil))
$te bil(q (turn q.bil ..$))
$ge :+ %ge q.p.p.bil
%as bil(q $(bil q.q.bil))
%do bil(q $(bil q.q.bil))
%te bil(q (turn q.bil ..$))
%ge :+ %ge q.p.p.bil
[(turn p.q.p.bil ..$) (~(run by q.q.p.bil) (lift ..$))]
==
::
@ -720,10 +720,10 @@
++ dy-type :: sole action
|= act/sole-action
?- -.dat.act
$det (dy-edit +.dat.act)
$ret (dy-done (tufa buf.say))
$clr dy-stop
$tab +>+>
%det (dy-edit +.dat.act)
%ret (dy-done (tufa buf.say))
%clr dy-stop
%tab +>+>
==
::
++ dy-cage |=(num/@ud (~(got by rez) num)) :: known cage
@ -897,13 +897,13 @@
++ dy-hoon-var
=+ ^= ope
|= gen/hoon ^- hoon
?: ?=(?($sggl $sggr) -.gen)
?: ?=(?(%sggl %sggr) -.gen)
$(gen q.gen)
=+ ~(open ap gen)
?.(=(gen -) $(gen -) gen)
|= gen/hoon ^- (unit cage)
=. gen (ope gen)
?: ?=({$cnts {@ ~} ~} gen)
?: ?=({%cnts {@ ~} ~} gen)
(~(get by var) i.p.gen)
~
:: +dy-mere: execute hoon and complete construction step
@ -1036,7 +1036,7 @@
++ he-unto :: result from agent
|= {way/wire cit/sign:agent:gall}
^+ +>
?. ?=($poke-ack -.cit)
?. ?=(%poke-ack -.cit)
~& [%strange-unto cit]
+>
?~ p.cit
@ -1087,8 +1087,8 @@
%. [%httr !>((to-httr:iris response-header.response full-file.response))]
=+ dye=~(. dy u.poy(pux ~))
?+ way !!
{$hand ~} dy-hand:dye
{$show ~} dy-show:dye
{%hand ~} dy-hand:dye
{%show ~} dy-show:dye
==
::
++ he-lens
@ -1096,7 +1096,7 @@
^+ +>
=/ source=dojo-source
=| num/@
=- ?. ?=($send-api -.sink.com) :: XX num is incorrect
=- ?. ?=(%send-api -.sink.com) :: XX num is incorrect
sor
:- 0
:+ %as `mark`(cat 3 api.sink.com '-poke')
@ -1112,12 +1112,12 @@
|- ^- dojo-source
:- num
?- -.source.com
$data [%ex %sand %t data.source.com]
$dojo
%data [%ex %sand %t data.source.com]
%dojo
%+ rash command.source.com
(ifix [(punt gap) (punt gap)] parse-build:he-parser)
::
$clay
%clay
:- %ex
^- hoon
:+ %dtkt
@ -1127,9 +1127,9 @@
%+ rash pax.source.com
rood:(vang | /(scot %p our.hid)/home/(scot %da now.hid))
::
$url [%ur (crip (en-purl:html url.source.com))]
$api !!
$get-api
%url [%ur (crip (en-purl:html url.source.com))]
%api !!
%get-api
:- %ex
^- hoon
:+ %dtkt
@ -1142,24 +1142,24 @@
(turn endpoint.source.com |=(a/@t [%sand %ta a]))
==
::
$listen-api !!
$export !!
$import !!
$export-all !!
$import-all !!
$as
%listen-api !!
%export !!
%import !!
%export-all !!
%import-all !!
%as
:* %as mar.source.com
$(num +(num), source.com next.source.com)
==
::
$hoon
%hoon
:* %do
%+ rash code.source.com
tall:(vang | /(scot %p our.hid)/home/(scot %da now.hid))
$(num +(num), source.com next.source.com)
==
::
$tuple
%tuple
:- %tu
|- ^- (list dojo-source)
?~ next.source.com
@ -1170,15 +1170,15 @@
==
=+ |- ^- sink/dojo-sink
?- -.sink.com
$stdout [%show %0]
$output-file $(sink.com [%command (cat 3 '@' pax.sink.com)])
$output-pill $(sink.com [%command (cat 3 '.' pax.sink.com)])
$output-clay [%file (need (de-beam:format pax.sink.com))]
$url [%http %post (crip (en-purl:html url.sink.com))]
$to-api !!
$send-api [%poke our.hid api.sink.com]
$command (rash command.sink.com parse-sink:he-parser)
$app [%poke our.hid app.sink.com]
%stdout [%show %0]
%output-file $(sink.com [%command (cat 3 '@' pax.sink.com)])
%output-pill $(sink.com [%command (cat 3 '.' pax.sink.com)])
%output-clay [%file (need (de-beam:format pax.sink.com))]
%url [%http %post (crip (en-purl:html url.sink.com))]
%to-api !!
%send-api [%poke our.hid api.sink.com]
%command (rash command.sink.com parse-sink:he-parser)
%app [%poke our.hid app.sink.com]
==
(he-plan sink source)
::
@ -1192,7 +1192,7 @@
:: ~& [%his-clock ler.cal]
:: ~& [%our-clock ven.say]
=^ dat say (~(transceive sole say) cal)
?. ?& ?=($del -.dat)
?. ?& ?=(%del -.dat)
=(+(p.dat) (lent buf.say))
==
+>.$
@ -1436,10 +1436,10 @@
?^ poy
he-pine:(~(dy-type dy u.poy) act)
?- -.dat.act
$det (he-stir +.dat.act)
$ret (he-done (tufa buf.say))
$clr he-pine(buf "")
$tab (he-tab +.dat.act)
%det (he-stir +.dat.act)
%ret (he-done (tufa buf.say))
%clr he-pine(buf "")
%tab (he-tab +.dat.act)
==
::
++ he-lame :: handle error

View File

@ -1,6 +1,6 @@
:: :acme domain validation request handler
::
|= [[now=@da eny=@ bek=beak] $~ $~]
|= [[now=@da eny=@ bek=beak] ~ ~]
|= [authorized=? =request:http]
^- simple-payload:http
=/ url=(unit (pair pork:eyre quay:eyre))

View File

@ -8,7 +8,7 @@
::::
::
:- %say
|= {^ {arg/(list path)} vane/?($g $c)}
|= {^ {arg/(list path)} vane/?(%g %c)}
=- tang+(flop `tang`(zing -))
%+ turn arg
|= pax/path

View File

@ -2,7 +2,7 @@
::
:: outer gate is a standard generator
::
|= [[now=@da eny=@ bek=beak] $~ $~]
|= [[now=@da eny=@ bek=beak] ~ ~]
::
:: :- %build
|= [authorized=? request:http]

View File

@ -22,7 +22,7 @@
[%palm [" {(reap tab ' ')}" ``~] leaf+p.c leaf+q.c ~]
:- ?- b
~ "/" :: XX !! maybe?
{$hood ^} "|{(path-heps t.b)}"
{%hood ^} "|{(path-heps t.b)}"
^ "+{(path-heps b)}" :: XX deal with :graph-store|foo
==
=/ c (to-wain:format a)

View File

@ -14,7 +14,7 @@
{arg/$@(~ {dom/path ~})}
~
==
^- (sole-result:sole {$write-sec-atom p/host:eyre q/@})
^- (sole-result:sole {%write-sec-atom p/host:eyre q/@})
=- ?~ arg -
(fun.q.q [%& dom.arg])
%+ prompt

View File

@ -16,7 +16,7 @@
{arg/$@(~ {jon/json ~})}
~
==
^- (sole-result:sole {$write-sec-atom p/host:eyre q/@})
^- (sole-result:sole {%write-sec-atom p/host:eyre q/@})
%+ print leaf+"Accepting credentials for https://*.googleapis.com"
=+ hot=[%& /com/googleapis]
=- ?~ arg -

View File

@ -15,11 +15,11 @@
::
:- %say
|= $: {now/@da eny/@uvJ bek/beak}
{arg/{?(~ sorc {syd/$@(desk beaky) sorc})} cas/case gem/?(germ $auto)}
{arg/{?(~ sorc {syd/$@(desk beaky) sorc})} cas/case gem/?(germ %auto)}
==
=* our p.bek
|^ :- %kiln-merge
^- $@(~ {syd/desk her/ship sud/desk cas/case gem/?(germ $auto)})
^- $@(~ {syd/desk her/ship sud/desk cas/case gem/?(germ %auto)})
?- arg
~ ((slog (turn help-text |=(=@t leaf+(trip t)))) ~)
{@ @ ~}

View File

@ -16,9 +16,9 @@
^- (unit [=ship =udiff:point:able:jael])
=* our p.bec
=/ ran (clan:title our)
?: ?=({?($earl $pawn)} ran)
?: ?=({?(%earl %pawn)} ran)
%- %- slog :_ ~
leaf+"can't manage a moon from a {?:(?=($earl ran) "moon" "comet")}"
leaf+"can't manage a moon from a {?:(?=(%earl ran) "moon" "comet")}"
~
=/ seg=ship (sein:title our now mon)
?. =(our seg)

View File

@ -17,9 +17,9 @@
^- (unit [=ship =udiff:point:able:jael])
=* our p.bec
=/ ran (clan:title our)
?: ?=({?($earl $pawn)} ran)
?: ?=({?(%earl %pawn)} ran)
%- %- slog :_ ~
leaf+"can't manage a moon from a {?:(?=($earl ran) "moon" "comet")}"
leaf+"can't manage a moon from a {?:(?=(%earl ran) "moon" "comet")}"
~
=/ seg=ship (sein:title our now mon)
?. =(our seg)

View File

@ -16,9 +16,9 @@
^- (unit [=ship =udiff:point:able:jael])
=* our p.bec
=/ ran (clan:title our)
?: ?=({?($earl $pawn)} ran)
?: ?=({?(%earl %pawn)} ran)
%- %- slog :_ ~
leaf+"can't create a moon from a {?:(?=($earl ran) "moon" "comet")}"
leaf+"can't create a moon from a {?:(?=(%earl ran) "moon" "comet")}"
~
=/ mon=ship
?^ arg

View File

@ -4,7 +4,7 @@
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{arg/{des/desk may/?($~ {pax/path $~})} $~}
{arg/{des/desk may/?(~ {pax/path ~})} ~}
==
:- %kiln-permission
[des ?~(may / pax.may) |]:arg

View File

@ -4,7 +4,7 @@
::
:- %say
|= $: {now/@da eny/@uvJ bec/beak}
{arg/{des/desk may/?($~ {pax/path $~})} $~}
{arg/{des/desk may/?(~ {pax/path ~})} ~}
==
:- %kiln-permission
[des ?~(may / pax.may) &]:arg

View File

@ -9,6 +9,6 @@
::
~& %
:- %say
|= {^ {arg/path ~} vane/?($g $c)}
|= {^ {arg/path ~} vane/?(%g %c)}
=+ lon=.^(arch (cat 3 vane %y) arg)
tang+[?~(dir.lon leaf+"~" (show-dir vane arg dir.lon))]~

View File

@ -3,7 +3,7 @@
|%
++ nu :: parse number as hex
|= jon/json
?> ?=({$s *} jon)
?> ?=({%s *} jon)
(rash p.jon hex)
::
++ hook-update-to-json

View File

@ -6,7 +6,7 @@
?: =(gen ^gen) ~|([%cram-dynamic -.gen] !!)
$(gen gen)
::
$xray [~ (single (shut gen))]
%xray [~ (single (shut gen))]
^ [(malt (frontmatter p.gen)) (single (shut q.gen))]
==
::
@ -21,28 +21,28 @@
++ shut :: as xml constant
|= gen/hoon ^- marl
?+ -.gen ~|([%bad-xml -.gen] !!)
$dbug $(gen q.gen)
%dbug $(gen q.gen)
::
$xray
%xray
[[n.g.p.gen (turn a.g.p.gen shut-mart)] $(gen [%mcts c.p.gen])]~
::
$mcts
%mcts
?~ p.gen ~
=- (weld - $(p.gen t.p.gen))
?^ -.i.p.gen $(gen [%xray i.p.gen])
~| [%shut-tuna -.i.p.gen]
?+ -.i.p.gen !!
$manx ?>(?=($xray -.p.i.p.gen) $(gen p.i.p.gen))
$marl ?>(?=($mcts -.p.i.p.gen) $(gen p.i.p.gen))
%manx ?>(?=(%xray -.p.i.p.gen) $(gen p.i.p.gen))
%marl ?>(?=(%mcts -.p.i.p.gen) $(gen p.i.p.gen))
==
==
::
::
++ frontmatter :: parse ~[[%foo 1] [%bar ~s2]]
|= gen/hoon ^- (list {term dime})
?: ?=({$bust $null} gen) ~
?: ?=($dbug -.gen) $(gen q.gen)
?. ?=($clsg -.gen) ~|([%bad-frontmatter -.gen] !!)
?: ?=({%bust %null} gen) ~
?: ?=(%dbug -.gen) $(gen q.gen)
?. ?=(%clsg -.gen) ~|([%bad-frontmatter -.gen] !!)
%+ turn p.gen
|= gen/hoon
?. ?=(^ -.gen)
@ -55,7 +55,7 @@
::
++ as-dime :: %foo ~.foo 0vbar etc
|= gen/hoon ^- dime
?: ?=($dbug -.gen) $(gen q.gen)
?. ?=({?($rock $sand) @ @} gen) ~|([%bad-literal gen] !!)
?: ?=(%dbug -.gen) $(gen q.gen)
?. ?=({?(%rock %sand) @ @} gen) ~|([%bad-literal gen] !!)
+.gen
--

View File

@ -28,7 +28,7 @@
:: special handling for <pre urb:codemirror>foo</pre>
++ urb-codemirror :: render code blocks
|= src/manx ^- manx
?> ?=({{$pre *} _;/(**) ~} src)
?> ?=({{%pre *} _;/(**) ~} src)
;codemirror(value "{v.i.a.g.i.c.src}");
::
++ elem-to-react-json :: serialize DOM as json

View File

@ -27,7 +27,7 @@
|* {sef/rule fun/$-(* *)} ::
|= txt/sole-input ::
=+ vex=(sef [0 0] txt) ::
?: |(!=((lent txt) q.p.vex) ?=($~ q.vex)) ::
?: |(!=((lent txt) q.p.vex) ?=(~ q.vex)) ::
q.p.vex ::
(fun p.u.q.vex) ::
--

View File

@ -8,7 +8,7 @@
:: NOTE: move these functions to zuse
++ nu :: parse number as hex
|= jon/json
?> ?=({$s *} jon)
?> ?=({%s *} jon)
(rash p.jon hex)
::
++ re :: recursive reparsers
@ -319,7 +319,7 @@
++ post
%- ot
:~ [%author (su ;~(pfix sig fed:ag))]
[%index index]
[%index index]
[%time-sent di]
[%contents (ar content)]
[%hash (mu nu)]
@ -375,7 +375,7 @@
++ uid
%- ot
:~ [%resource dejs:res]
[%index index]
[%index index]
==
::
++ index (su ;~(pfix fas (more fas dem)))

View File

@ -295,7 +295,7 @@
|= [a=(map @t json) b=$-(@t @t)]
^+ a
=- (malt -)
|-
|-
^- (list [@t json])
?~ a ~
:- [(b p.n.a) q.n.a]
@ -306,9 +306,9 @@
++ of
|* wer/(pole {cord fist})
|= jon/json
?> ?=({$o {@ *} $~ $~} jon)
?> ?=({%o {@ *} ~ ~} jon)
|-
?- wer
?- wer
:: {{key/@t wit/*} t/*}
{{key/@t *} t/*}
=> .(wer [[* wit] *]=wer)

View File

@ -458,12 +458,12 @@
++ se-belt :: handle input
|= bet/dill-belt:dill
^+ +>
?: ?=({?($cru $hey $rez $yow) *} bet) :: target-agnostic
?: ?=({?(%cru %hey %rez %yow) *} bet) :: target-agnostic
?- bet
{$cru *} (se-dump:(se-text (trip p.bet)) q.bet)
{$hey *} +>(mir [0 ~]) :: refresh
{$rez *} +>(edg (dec p.bet)) :: resize window
{$yow *} ~&([%no-yow -.bet] +>)
{%cru *} (se-dump:(se-text (trip p.bet)) q.bet)
{%hey *} +>(mir [0 ~]) :: refresh
{%rez *} +>(edg (dec p.bet)) :: resize window
{%yow *} ~&([%no-yow -.bet] +>)
==
=+ gul=se-agon
?: |(?=(~ gul) (se-aint u.gul))
@ -651,21 +651,21 @@
++ ta-id (cat 3 'drum_' (scot %p our.hid)) :: per-ship duct id
::
++ ta-aro :: hear arrow
|= key/?($d $l $r $u)
|= key/?(%d %l %r %u)
^+ +>
=. ris ~
?- key
$d ?. =(num.hit pos.hit)
%d ?. =(num.hit pos.hit)
(ta-mov +(pos.hit))
?: =(0 (lent buf.say.inp))
ta-bel
(ta-hom:ta-nex %set ~)
$l ?: =(0 pos.inp) ta-bel
%l ?: =(0 pos.inp) ta-bel
+>(pos.inp (dec pos.inp))
$r ?: =((lent buf.say.inp) pos.inp)
%r ?: =((lent buf.say.inp) pos.inp)
ta-bel
+>(pos.inp +(pos.inp))
$u ?:(=(0 pos.hit) ta-bel (ta-mov (dec pos.hit)))
%u ?:(=(0 pos.hit) ta-bel (ta-mov (dec pos.hit)))
==
::
++ ta-bel :: beep
@ -674,16 +674,16 @@
++ ta-belt :: handle input
|= bet/dill-belt:dill
^+ +>
?< ?=({?($cru $hey $rez $yow) *} bet) :: target-specific
?< ?=({?(%cru %hey %rez %yow) *} bet) :: target-specific
=. blt [q.blt `bet] :: remember belt
?- bet
{$aro *} (ta-aro p.bet)
{$bac *} ta-bac
{$ctl *} (ta-ctl p.bet)
{$del *} ta-del
{$met *} (ta-met p.bet)
{$ret *} ta-ret
{$txt *} (ta-txt p.bet)
{%aro *} (ta-aro p.bet)
{%bac *} ta-bac
{%ctl *} (ta-ctl p.bet)
{%del *} ta-del
{%met *} (ta-met p.bet)
{%ret *} ta-ret
{%txt *} (ta-txt p.bet)
==
::
++ ta-det :: send edit
@ -709,48 +709,48 @@
++ ta-ctl :: hear control
|= key/@ud
^+ +>
=. ris ?.(?=(?($g $r) key) ~ ris)
=. ris ?.(?=(?(%g %r) key) ~ ris)
?+ key ta-bel
$a +>(pos.inp 0)
$b (ta-aro %l)
$c ta-bel
$d ?^ buf.say.inp
%a +>(pos.inp 0)
%b (ta-aro %l)
%c ta-bel
%d ?^ buf.say.inp
ta-del
?: (~(has in (deft-fish our.hid)) gyl)
+>(..ta (se-blit qit+~)) :: quit pier
+>(..ta (se-klin gyl)) :: unlink app
$e +>(pos.inp (lent buf.say.inp))
$f (ta-aro %r)
$g ?~ ris ta-bel
%e +>(pos.inp (lent buf.say.inp))
%f (ta-aro %r)
%g ?~ ris ta-bel
(ta-hom(pos.hit num.hit, ris ~) [%set ~])
$i ta-tab
$k =+ len=(lent buf.say.inp)
%i ta-tab
%k =+ len=(lent buf.say.inp)
?: =(pos.inp len)
ta-bel
(ta-kil %r [pos.inp (sub len pos.inp)])
$l +>(..ta (se-blit %clr ~))
$n (ta-aro %d)
$p (ta-aro %u)
$r ?~ ris
%l +>(..ta (se-blit %clr ~))
%n (ta-aro %d)
%p (ta-aro %u)
%r ?~ ris
+>(ris `[pos.hit ~])
?: =(0 pos.u.ris)
ta-bel
(ta-ser ~)
$t =+ len=(lent buf.say.inp)
%t =+ len=(lent buf.say.inp)
?: |(=(0 pos.inp) (lth len 2))
ta-bel
=+ sop=(sub pos.inp ?:(=(len pos.inp) 2 1))
(ta-hom (rep:edit [sop 2] (flop (swag [sop 2] buf.say.inp))))
$u ?: =(0 pos.inp)
%u ?: =(0 pos.inp)
ta-bel
(ta-kil %l [0 pos.inp])
$v ta-bel
$w ?: =(0 pos.inp)
%v ta-bel
%w ?: =(0 pos.inp)
ta-bel
=+ sop=(ta-pos %l %ace pos.inp)
(ta-kil %l [(sub pos.inp sop) sop])
$x +>(..ta se-anon)
$y ?: =(0 num.kil)
%x +>(..ta se-anon)
%y ?: =(0 num.kil)
ta-bel
(ta-hom (cat:edit pos.inp ta-yan))
==
@ -773,23 +773,23 @@
|= fec/sole-effect
^+ +>
?- fec
{$bel *} ta-bel
{$blk *} +>
{$clr *} +>(..ta (se-blit fec))
{$det *} (ta-got +.fec)
{$err *} (ta-err p.fec)
{$klr *} +>(..ta (se-blit %klr (make:klr p.fec)))
{$mor *} |- ^+ +>.^$
{%bel *} ta-bel
{%blk *} +>
{%clr *} +>(..ta (se-blit fec))
{%det *} (ta-got +.fec)
{%err *} (ta-err p.fec)
{%klr *} +>(..ta (se-blit %klr (make:klr p.fec)))
{%mor *} |- ^+ +>.^$
?~ p.fec +>.^$
$(p.fec t.p.fec, +>.^$ ^$(fec i.p.fec))
{$nex *} ta-nex
{$pro *} (ta-pro +.fec)
{$tab *} +>(..ta (se-tab p.fec))
{$tan *} +>(..ta (se-dump p.fec))
{$sag *} +>(..ta (se-blit fec))
{$sav *} +>(..ta (se-blit fec))
{$txt *} +>(..ta (se-text p.fec))
{$url *} +>(..ta (se-blit fec))
{%nex *} ta-nex
{%pro *} (ta-pro +.fec)
{%tab *} +>(..ta (se-tab p.fec))
{%tan *} +>(..ta (se-dump p.fec))
{%sag *} +>(..ta (se-blit fec))
{%sav *} +>(..ta (se-blit fec))
{%txt *} +>(..ta (se-text p.fec))
{%url *} +>(..ta (se-blit fec))
==
::
++ ta-dog :: change cursor
@ -800,19 +800,19 @@
%+ min len
|- ^- @ud
?- ted
{$del *} ?:((gth pos.inp p.ted) (dec pos.inp) pos.inp)
{$ins *} ?:((gte pos.inp p.ted) +(pos.inp) pos.inp)
{$mor *} |- ^- @ud
{%del *} ?:((gth pos.inp p.ted) (dec pos.inp) pos.inp)
{%ins *} ?:((gte pos.inp p.ted) +(pos.inp) pos.inp)
{%mor *} |- ^- @ud
?~ p.ted pos.inp
$(p.ted t.p.ted, pos.inp ^$(ted i.p.ted))
{$nop *} pos.inp
{$set *} len
{%nop *} pos.inp
{%set *} len
==
==
::
++ ta-off :: reset buffer offset
|= ted/sole-edit
=? off (any:edit ted |=(a/sole-edit ?=($set -.a))) 0
=? off (any:edit ted |=(a/sole-edit ?=(%set -.a))) 0
+>
::
++ ta-got :: apply change
@ -827,13 +827,13 @@
(ta-dog(say.inp (~(commit sole say.inp) ted)) ted)
::
++ ta-jump :: buffer pos
|= {dir/?($l $r) til/?($ace $edg $wrd) pos/@ud}
|= {dir/?(%l %r) til/?(%ace %edg %wrd) pos/@ud}
^- @ud
%- ?:(?=($l dir) sub add)
%- ?:(?=(%l dir) sub add)
[pos (ta-pos dir til pos)]
::
++ ta-kil :: kill selection
|= {dir/?($l $r) sel/{@ @}}
|= {dir/?(%l %r) sel/{@ @}}
^+ +>
=+ buf=(swag sel buf.say.inp)
%. (cut:edit sel)
@ -841,8 +841,8 @@
kil
?. ?& ?=(^ old.kil)
?=(^ p.blt)
?| ?=({$ctl ?($k $u $w)} u.p.blt)
?=({$met ?($d $bac)} u.p.blt)
?| ?=({%ctl ?(%k %u %w)} u.p.blt)
?=({%met ?(%d %bac)} u.p.blt)
== ==
%= kil :: prepend
num +(num.kil)
@ -853,8 +853,8 @@
pos num.kil
old :_ t.old.kil
?- dir
$l (welp buf i.old.kil)
$r (welp i.old.kil buf)
%l (welp buf i.old.kil)
%r (welp i.old.kil buf)
== ==
==
::
@ -863,22 +863,22 @@
^+ +>
=. ris ~
?+ key ta-bel
$dot ?. &(?=(^ old.hit) ?=(^ i.old.hit)) :: last "arg" from hist
%dot ?. &(?=(^ old.hit) ?=(^ i.old.hit)) :: last "arg" from hist
ta-bel
=+ old=`(list @c)`i.old.hit
=+ sop=(ta-jump(buf.say.inp old) %l %ace (lent old))
(ta-hom (cat:edit pos.inp (slag sop old)))
::
$bac ?: =(0 pos.inp) :: kill left-word
%bac ?: =(0 pos.inp) :: kill left-word
ta-bel
=+ sop=(ta-pos %l %edg pos.inp)
(ta-kil %l [(sub pos.inp sop) sop])
::
$b ?: =(0 pos.inp) :: jump left-word
%b ?: =(0 pos.inp) :: jump left-word
ta-bel
+>(pos.inp (ta-jump %l %edg pos.inp))
::
$c ?: =(pos.inp (lent buf.say.inp)) :: capitalize
%c ?: =(pos.inp (lent buf.say.inp)) :: capitalize
ta-bel
=+ sop=(ta-jump %r %wrd pos.inp)
%- ta-hom(pos.inp (ta-jump %r %edg sop))
@ -886,20 +886,20 @@
^- (list @c) ^- (list @) :: XX unicode
(cuss `tape``(list @)`(swag [sop 1] buf.say.inp))
::
$d ?: =(pos.inp (lent buf.say.inp)) :: kill right-word
%d ?: =(pos.inp (lent buf.say.inp)) :: kill right-word
ta-bel
(ta-kil %r [pos.inp (ta-pos %r %edg pos.inp)])
::
$f ?: =(pos.inp (lent buf.say.inp)) :: jump right-word
%f ?: =(pos.inp (lent buf.say.inp)) :: jump right-word
ta-bel
+>(pos.inp (ta-jump %r %edg pos.inp))
::
$r %- ta-hom(lay.hit (~(put by lay.hit) pos.hit ~))
%r %- ta-hom(lay.hit (~(put by lay.hit) pos.hit ~))
:- %set :: revert hist edit
?: =(pos.hit num.hit) ~
(snag (sub num.hit +(pos.hit)) old.hit)
::
$t =+ a=(ta-jump %r %edg pos.inp) :: transpose words
%t =+ a=(ta-jump %r %edg pos.inp) :: transpose words
=+ b=(ta-jump %l %edg a)
=+ c=(ta-jump %l %edg b)
?: =(b c)
@ -912,10 +912,10 @@
(rep:edit prev (swag next buf.say.inp))
==
::
?($u $l) :: upper/lower case
?(%u %l) :: upper/lower case
?: =(pos.inp (lent buf.say.inp))
ta-bel
=+ case=?:(?=($u key) cuss cass)
=+ case=?:(?=(%u key) cuss cass)
=+ sop=(ta-jump %r %wrd pos.inp)
=+ sel=[sop (ta-pos %r %edg sop)]
%- ta-hom
@ -923,10 +923,10 @@
^- (list @c) ^- (list @) :: XX unicode
(case `tape``(list @)`(swag sel buf.say.inp))
::
$y ?. ?& ?=(^ old.kil) :: rotate & yank
%y ?. ?& ?=(^ old.kil) :: rotate & yank
?=(^ p.blt)
?| ?=({$ctl $y} u.p.blt)
?=({$met $y} u.p.blt)
?| ?=({%ctl %y} u.p.blt)
?=({%met %y} u.p.blt)
== ==
ta-bel
=+ las=(lent ta-yan)
@ -961,14 +961,14 @@
==
::
++ ta-pos :: buffer pos offset
|= {dir/?($l $r) til/?($ace $edg $wrd) pos/@ud}
|= {dir/?(%l %r) til/?(%ace %edg %wrd) pos/@ud}
^- @ud
%- ?- til $ace ace:offset
$edg edg:offset
$wrd wrd:offset
%- ?- til %ace ace:offset
%edg edg:offset
%wrd wrd:offset
==
?- dir $l (flop (scag pos buf.say.inp))
$r (slag pos buf.say.inp)
?- dir %l (flop (scag pos buf.say.inp))
%r (slag pos buf.say.inp)
==
::
++ ta-pro :: set prompt
@ -978,7 +978,7 @@
%_ pom
cad
;: welp
?. ?=($earl (clan:title p.gyl))
?. ?=(%earl (clan:title p.gyl))
(cite:title p.gyl)
(scow %p p.gyl)
::
@ -1065,7 +1065,7 @@
++ any :: matches?
|= {a/sole-edit b/$-(sole-edit ?)}
^- ?
?. ?=($mor -.a) (b a)
?. ?=(%mor -.a) (b a)
(lien p.a |=(c/sole-edit ^$(a c)))
--
++ offset :: calculate offsets

View File

@ -271,7 +271,7 @@
=. ..abet (render-ket "OTA cancelled (1), retrying" ~)
(poke-internal `[ship desk]:u.ota)
=. ..abet (render-ket "downloading OTA update" ~)
=? aeon.u.ota ?=($w p.p.u.p.sign-arvo)
=? aeon.u.ota ?=(%w p.p.u.p.sign-arvo)
ud:;;(cass:clay q.q.r.u.p.sign-arvo)
%: emit
%pass (make-wire /download) %arvo %c
@ -598,7 +598,7 @@
(render "on sync" sud her syd)
~
start-sync
=. let ?. ?=($w p.p.u.rot) let ud:;;(cass:clay q.q.r.u.rot)
=. let ?. ?=(%w p.p.u.rot) let ud:;;(cass:clay q.q.r.u.rot)
=/ =wire /kiln/sync/merg/[syd]/(scot %p her)/[sud]
:: germ: merge mode for sync merges
::
@ -648,7 +648,7 @@
q.p.mes
==
::
$no-ali-disc
%no-ali-disc
:~ (render "sync activated" sud her syd)
leaf+"note: blank desk {<sud>} on {<her>}"
==
@ -685,7 +685,7 @@
(blab [%pass /kiln/[syd] %arvo %c [%merg syd her sud cas gem]] ~)
::
++ fancy-merge :: send to self
|= {syd/desk her/@p sud/desk gem/?($auto germ)}
|= {syd/desk her/@p sud/desk gem/?(%auto germ)}
^+ +>
=/ =cage [%kiln-merge !>([syd her sud cas gem])]
%- blab :_ ~
@ -694,9 +694,9 @@
++ spam ::|=(tang ((slog +<) ..spam))
|*(* +>(..work (^spam +<)))
++ merge
|= {her/@p sud/@tas cas/case gim/?($auto germ)}
|= {her/@p sud/@tas cas/case gim/?(%auto germ)}
^+ +>
?. ?=($auto gim)
?. ?=(%auto gim)
perform(auto |, gem gim, her her, cas cas, sud sud)
?: =(0 ud:.^(cass:clay %cw /(scot %p our)/[syd]/(scot %da now)))
=> $(gim %init)
@ -786,27 +786,27 @@
?+ gem
(spam leaf+"strange auto" >gem< ~)
::
$init
%init
=+ :- "auto merge failed on strategy %init"
"I'm out of ideas"
lose:(spam leaf+-< leaf+-> [>p.p.are< q.p.are])
::
$fine
?. ?=($bad-fine-merge p.p.are)
%fine
?. ?=(%bad-fine-merge p.p.are)
=+ "auto merge failed on strategy %fine"
lose:(spam leaf+- >p.p.are< q.p.are)
=> (spam leaf+"%fine merge failed, trying %meet" ~)
perform(gem %meet)
::
$meet
?. ?=($meet-conflict p.p.are)
%meet
?. ?=(%meet-conflict p.p.are)
=+ "auto merge failed on strategy %meet"
lose:(spam leaf+- >p.p.are< q.p.are)
=> (spam leaf+"%meet merge failed, trying %mate" ~)
perform(gem %mate)
::
$mate
?. ?=($mate-conflict p.p.are)
%mate
?. ?=(%mate-conflict p.p.are)
=+ "auto merge failed on strategy %mate"
lose:(spam leaf+- >p.p.are< q.p.are)
=> .(gem %meld)

View File

@ -38,7 +38,7 @@
^- tape
?~ val (weld "null" rez)
?- -.val
$a
%a
:- '['
=. rez [']' rez]
!.
@ -47,9 +47,9 @@
?~ t.p.val ^$(val i.p.val)
^$(val i.p.val, rez [',' $(p.val t.p.val)])
::
$b (weld ?:(p.val "true" "false") rez)
$n (weld (trip p.val) rez)
$s
%b (weld ?:(p.val "true" "false") rez)
%n (weld (trip p.val) rez)
%s
:- '"'
=. rez ['"' rez]
=+ viz=(trip p.val)
@ -57,11 +57,11 @@
|- ^- tape
?~ viz rez
=+ hed=(jesc i.viz)
?: ?=({@ $~} hed)
?: ?=({@ ~} hed)
[i.hed $(viz t.viz)]
(weld hed $(viz t.viz))
::
$o
%o
:- '{'
=. rez ['}' rez]
=/ viz

View File

@ -3,25 +3,25 @@
=> |%
++ cape {p/(map @ud wine) q/wine}
++ wine
$@ $? $noun
$path
$type
$void
$wall
$wool
$yarn
$@ $? %noun
%path
%type
%void
%wall
%wool
%yarn
==
$% {$mato p/term}
{$gate p/hoon q/type r/wine}
{$core p/(list @ta) q/wine}
{$face p/term q/wine}
{$list p/term q/wine}
{$pear p/term q/@}
{$bcwt p/(list wine)}
{$plot p/(list wine)}
{$stop p/@ud}
{$tree p/term q/wine}
{$unit p/term q/wine}
$% {%mato p/term}
{%gate p/hoon q/type r/wine}
{%core p/(list @ta) q/wine}
{%face p/term q/wine}
{%list p/term q/wine}
{%pear p/term q/@}
{%bcwt p/(list wine)}
{%plot p/(list wine)}
{%stop p/@ud}
{%tree p/term q/wine}
{%unit p/term q/wine}
==
--
|_ sut/type
@ -59,15 +59,15 @@
++ $
^- {tank (set @ud)}
?- q.ham
$noun :_(gid [%leaf '*' ~])
$path :_(gid [%leaf '/' ~])
$type :_(gid [%leaf '#' 't' ~])
$void :_(gid [%leaf '#' '!' ~])
$wool :_(gid [%leaf '*' '"' '"' ~])
$wall :_(gid [%leaf '*' '\'' '\'' ~])
$yarn :_(gid [%leaf '"' '"' ~])
{$mato *} :_(gid [%leaf '@' (trip p.q.ham)])
{$gate *}
%noun :_(gid [%leaf '*' ~])
%path :_(gid [%leaf '/' ~])
%type :_(gid [%leaf '#' 't' ~])
%void :_(gid [%leaf '#' '!' ~])
%wool :_(gid [%leaf '*' '"' '"' ~])
%wall :_(gid [%leaf '*' '\'' '\'' ~])
%yarn :_(gid [%leaf '"' '"' ~])
{%mato *} :_(gid [%leaf '@' (trip p.q.ham)])
{%gate *}
=^ sam gid
?. ?=([%plot * * *] r.q.ham)
?: ?=(%plot -.r.q.ham)
@ -92,7 +92,7 @@
==
~
::
{$core *}
{%core *}
=^ sam gid
?. ?=([%plot * * ~] q.q.ham)
`gid
@ -114,26 +114,26 @@
[[%leaf (rip 3 i.p.q.ham)] $(p.q.ham t.p.q.ham)]
~
::
{$face *}
{%face *}
=^ cox gid $(q.ham q.q.ham)
:_(gid [%palm [['=' ~] ~ ~ ~] [%leaf (trip p.q.ham)] cox ~])
::
{$list *}
{%list *}
=^ cox gid $(q.ham q.q.ham)
:_(gid [%rose [" " (weld (trip p.q.ham) "(") ")"] cox ~])
::
{$bcwt *}
{%bcwt *}
=^ coz gid (many p.q.ham)
:_(gid [%rose [[' ' ~] ['?' '(' ~] [')' ~]] coz])
::
{$plot *}
{%plot *}
=^ coz gid (many p.q.ham)
:_(gid [%rose [[' ' ~] ['[' ~] [']' ~]] coz])
::
{$pear *}
{%pear *}
:_(gid [%leaf '$' ~(rend co [%$ p.q.ham q.q.ham])])
::
{$stop *}
{%stop *}
=+ num=~(rend co [%$ %ud p.q.ham])
?: (~(has in gid) p.q.ham)
:_(gid [%leaf '#' num])
@ -144,11 +144,11 @@
==
:_(gid [%palm [['.' ~] ~ ~ ~] [%leaf ['^' '#' num]] cox ~])
::
{$tree *}
{%tree *}
=^ cox gid $(q.ham q.q.ham)
:_(gid [%rose [" " (weld (trip p.q.ham) "(") ")"] cox ~])
::
{$unit *}
{%unit *}
=^ cox gid $(q.ham q.q.ham)
:_(gid [%rose [" " (weld (trip p.q.ham) "(") ")"] cox ~])
==
@ -163,7 +163,7 @@
=| gil/(set {@ud *})
|- ^- (unit tank)
?- q.ham
$noun
%noun
%= $
q.ham
?: ?=(@ lum)
@ -173,7 +173,7 @@
[%noun ?:(?=(@ +.lum) [[%mato %$] ~] $(lum +.lum))]
==
::
$path
%path
:- ~
:+ %rose
[['/' ~] ['/' ~] ~]
@ -183,7 +183,7 @@
?> ?=(@ -.lum)
[[%leaf (rip 3 -.lum)] $(lum +.lum)]
::
$type
%type
=+ tyr=|.((dial dole))
=+ vol=tyr(sut lum)
=+ cis=;;(tank .*(vol [%9 2 %0 1]))
@ -191,7 +191,7 @@
[~ ~ ~ ~]
[[%leaf '#' 't' '/' ~] cis ~]
::
$wall
%wall
:- ~
:+ %rose
[[' ' ~] ['<' '|' ~] ['|' '>' ~]]
@ -200,7 +200,7 @@
?@ lum !!
[[%leaf (trip ;;(@ -.lum))] $(lum +.lum)]
::
$wool
%wool
:- ~
:+ %rose
[[' ' ~] ['<' '<' ~] ['>' '>' ~]]
@ -209,28 +209,28 @@
?@ lum !!
[(need ^$(q.ham %yarn, lum -.lum)) $(lum +.lum)]
::
$yarn
%yarn
[~ %leaf (dash (tape lum) '"' "\{")]
::
$void
%void
~
::
{$mato *}
{%mato *}
?. ?=(@ lum)
~
:+ ~
%leaf
?+ (rash p.q.ham ;~(sfix (cook crip (star low)) (star hig)))
~(rend co [%$ p.q.ham lum])
$$ ~(rend co [%$ %ud lum])
$t (dash (rip 3 lum) '\'' ~)
$tas ['%' ?.(=(0 lum) (rip 3 lum) ['$' ~])]
%$ ~(rend co [%$ %ud lum])
%t (dash (rip 3 lum) '\'' ~)
%tas ['%' ?.(=(0 lum) (rip 3 lum) ['$' ~])]
==
::
{$gate *}
{%gate *}
!!
::
{$core *}
{%core *}
:: XX needs rethinking for core metal
:: ?. ?=(^ lum) ~
:: => .(lum `*`lum)
@ -244,13 +244,13 @@
:: ?~(mur ~ [~ [[%leaf (rip 3 i.p.q.ham)] u.mur]])
[~ (dial ham)]
::
{$face *}
{%face *}
=+ wal=$(q.ham q.q.ham)
?~ wal
~
[~ %palm [['=' ~] ~ ~ ~] [%leaf (trip p.q.ham)] u.wal ~]
::
{$list *}
{%list *}
?: =(~ lum)
[~ %leaf '~' ~]
=- ?~ tok
@ -265,7 +265,7 @@
~
[~ u.for u.aft]
::
{$bcwt *}
{%bcwt *}
|- ^- (unit tank)
?~ p.q.ham
~
@ -274,7 +274,7 @@
$(p.q.ham t.p.q.ham)
wal
::
{$plot *}
{%plot *}
=- ?~ tok
~
[~ %rose [[' ' ~] ['[' ~] [']' ~]] u.tok]
@ -295,25 +295,25 @@
~
[~ u.gim u.myd]
::
{$pear *}
{%pear *}
?. =(lum q.q.ham)
~
=. p.q.ham
(rash p.q.ham ;~(sfix (cook crip (star low)) (star hig)))
=+ fox=$(q.ham [%mato p.q.ham])
?> ?=({~ $leaf ^} fox)
?: ?=(?($n $tas) p.q.ham)
?> ?=({~ %leaf ^} fox)
?: ?=(?(%n %tas) p.q.ham)
fox
[~ %leaf '%' p.u.fox]
::
{$stop *}
{%stop *}
?: (~(has in gil) [p.q.ham lum]) ~
=+ kep=(~(get by p.ham) p.q.ham)
?~ kep
~|([%stop-loss p.q.ham] !!)
$(gil (~(put in gil) [p.q.ham lum]), q.ham u.kep)
::
{$tree *}
{%tree *}
=- ?~ tok
~
[~ %rose [[' ' ~] ['{' ~] ['}' ~]] u.tok]
@ -332,7 +332,7 @@
~
$(lum l.lum, tuk [u.tim u.rol])
::
{$unit *}
{%unit *}
?@ lum
?.(=(~ lum) ~ [~ %leaf '~' ~])
?. =(~ -.lum)
@ -346,15 +346,15 @@
++ doge
|= ham/cape
=- ?+ woz woz
{$list * {$mato $'ta'}} %path
{$list * {$mato $'t'}} %wall
{$list * {$mato $'tD'}} %yarn
{$list * $yarn} %wool
{%list * {%mato %'ta'}} %path
{%list * {%mato %'t'}} %wall
{%list * {%mato %'tD'}} %yarn
{%list * %yarn} %wool
==
^= woz
^- wine
?. ?=({$stop *} q.ham)
?: ?& ?= {$bcwt {$pear $n $0} {$plot {$pear $n $0} {$face *} ~} ~}
?. ?=({%stop *} q.ham)
?: ?& ?= {%bcwt {%pear %n %0} {%plot {%pear %n %0} {%face *} ~} ~}
q.ham
=(1 (met 3 p.i.t.p.i.t.p.q.ham))
==
@ -364,13 +364,13 @@
?~ may
q.ham
=+ nul=[%pear %n 0]
?. ?& ?=({$bcwt *} u.may)
?. ?& ?=({%bcwt *} u.may)
?=({* * ~} p.u.may)
|(=(nul i.p.u.may) =(nul i.t.p.u.may))
==
q.ham
=+ din=?:(=(nul i.p.u.may) i.t.p.u.may i.p.u.may)
?: ?& ?=({$plot {$face *} {$face * $stop *} ~} din)
?: ?& ?=({%plot {%face *} {%face * %stop *} ~} din)
=(p.q.ham p.q.i.t.p.din)
=(1 (met 3 p.i.p.din))
=(1 (met 3 p.i.t.p.din))
@ -378,10 +378,10 @@
:+ %list
(cat 3 p.i.p.din p.i.t.p.din)
q.i.p.din
?: ?& ?= $: $plot
{$face *}
{$face * $stop *}
{{$face * $stop *} ~}
?: ?& ?= $: %plot
{%face *}
{%face * %stop *}
{{%face * %stop *} ~}
==
din
=(p.q.ham p.q.i.t.p.din)
@ -410,17 +410,17 @@
?: (~(meet ut sut) -:!>(*type))
[dex %type]
?- sut
$noun [dex sut]
$void [dex sut]
{$atom *} [dex ?~(q.sut [%mato p.sut] [%pear p.sut u.q.sut])]
{$cell *}
%noun [dex sut]
%void [dex sut]
{%atom *} [dex ?~(q.sut [%mato p.sut] [%pear p.sut u.q.sut])]
{%cell *}
=+ hin=$(sut p.sut)
=+ yon=$(dex p.hin, sut q.sut)
:- p.yon
:- %plot
?:(?=({$plot *} q.yon) [q.hin p.q.yon] [q.hin q.yon ~])
?:(?=({%plot *} q.yon) [q.hin p.q.yon] [q.hin q.yon ~])
::
{$core *}
{%core *}
?: ?=([[%$ * [[%$ @ *] ~ ~]] ~ ~] q.r.q.sut)
=/ dad $(sut p.sut)
:- p.dad
@ -429,7 +429,7 @@
=+ yad=$(sut p.sut)
:- p.yad
=+ ^= doy ^- {p/(list @ta) q/wine}
?: ?=({$core *} q.yad)
?: ?=({%core *} q.yad)
[p.q.yad q.q.yad]
[~ q.yad]
:- %core
@ -441,7 +441,7 @@
%- ~(rep by (~(run by q.r.q.sut) |=(tome ~(wyt by q.+<))))
|=([[@ a=@u] b=@u] (add a b))
%^ cat 3
?-(r.p.q.sut $gold '.', $iron '|', $lead '?', $zinc '&')
?-(r.p.q.sut %gold '.', %iron '|', %lead '?', %zinc '&')
=+ gum=(mug q.r.q.sut)
%+ can 3
:~ [1 (add 'a' (mod gum 26))]
@ -449,14 +449,14 @@
[1 (add 'a' (mod (div gum 676) 26))]
==
::
{$hint *}
{%hint *}
$(sut q.sut)
::
{$face *}
{%face *}
=+ yad=$(sut q.sut)
?^(p.sut yad [p.yad [%face p.sut q.yad]])
::
{$fork *}
{%fork *}
=+ yed=(sort ~(tap in p.sut) aor)
=- [p [%bcwt q]]
|- ^- {p/{p/(map type @) q/(map @ wine)} q/(list wine)}
@ -466,7 +466,7 @@
=+ dis=^$(dex p.mor, sut i.yed)
[p.dis q.dis q.mor]
::
{$hold *}
{%hold *}
=+ hey=(~(get by p.dex) sut)
?^ hey
[dex [%stop u.hey]]

View File

@ -48,7 +48,7 @@
::
++ nu
|= jon=json
?> ?=({$s *} jon)
?> ?=({%s *} jon)
(rash p.jon hex)
::
++ metadata

View File

@ -88,7 +88,7 @@
=? hav ?=(^ fil.lon)
:: XX this whitelist needs to be reviewed
::
?. ?= ?($css $hoon $html $js $json $md $png $txt $udon $umd)
?. ?= ?(%css %hoon %html %js %json %md %png %txt %udon %umd)
-.tyl
::
:: install only files with whitelisted marks
@ -101,11 +101,11 @@
=; cot [[(flop `path`tyl) `[/text/plain cot]] hav]
^- octs
?- tyl
{$json *}
{%json *}
=/ dat .^(json %cx pax)
(as-octt:mimes:html (en-json:html dat))
::
{$txt *}
{%txt *}
=/ dat .^(wain %cx pax)
(as-octs:mimes:html (of-wain:format dat))
::

View File

@ -3,7 +3,7 @@
:::: /hoon/show-dir/lib
::
/? 310
|= {vane/?($g $c) pax/path des/(map @t ~)}
|= {vane/?(%g %c) pax/path des/(map @t ~)}
^- tank
:+ %rose [" " `~]
%+ turn (sort ~(tap by des) aor)

View File

@ -11,14 +11,14 @@
|= ted/sole-edit
^+ +>
?- -.ted
$del +>.$(buf (weld (scag p.ted buf) (slag +(p.ted) buf)))
$ins +>.$(buf (weld (scag p.ted buf) `_buf`[q.ted (slag p.ted buf)]))
$mor |- ^+ +>.^$
%del +>.$(buf (weld (scag p.ted buf) (slag +(p.ted) buf)))
%ins +>.$(buf (weld (scag p.ted buf) `_buf`[q.ted (slag p.ted buf)]))
%mor |- ^+ +>.^$
?~ p.ted
+>.^$
$(p.ted t.p.ted, +>.^$ ^$(ted i.p.ted))
$nop +>.$
$set +>.$(buf p.ted)
%nop +>.$
%set +>.$(buf p.ted)
==
::
::::
@ -34,33 +34,33 @@
|= {sin/sole-edit dex/sole-edit}
~| [%transmute sin dex]
^- sole-edit
?: ?=($mor -.sin)
?: ?=(%mor -.sin)
|- ^- sole-edit
?~ p.sin dex
$(p.sin t.p.sin, dex ^$(sin i.p.sin))
::
?: ?=($mor -.dex)
?: ?=(%mor -.dex)
:- %mor
|- ^- (list sole-edit)
?~ p.dex ~
[^$(dex i.p.dex) $(p.dex t.p.dex)]
::
?: |(?=($nop -.sin) ?=($nop -.dex)) dex
?: ?=($set -.sin) [%nop ~]
?: ?=($set -.dex) dex
?: |(?=(%nop -.sin) ?=(%nop -.dex)) dex
?: ?=(%set -.sin) [%nop ~]
?: ?=(%set -.dex) dex
::
?- -.sin
$del
%del
?- -.dex
$del ?: =(p.sin p.dex) [%nop ~]
%del ?: =(p.sin p.dex) [%nop ~]
?:((lth p.sin p.dex) dex(p (dec p.dex)) dex)
$ins ?:((lth p.sin p.dex) dex(p (dec p.dex)) dex)
%ins ?:((lth p.sin p.dex) dex(p (dec p.dex)) dex)
==
::
$ins
%ins
?- -.dex
$del ?:((lte p.sin p.dex) dex(p +(p.dex)) dex)
$ins ?: =(p.sin p.dex)
%del ?:((lte p.sin p.dex) dex(p +(p.dex)) dex)
%ins ?: =(p.sin p.dex)
?:((lth q.sin q.dex) dex dex(p +(p.dex)))
?:((lte p.sin p.dex) dex(p +(p.dex)) dex)
==
@ -81,18 +81,18 @@
++ inverse :: relative inverse
|= ted/sole-edit
^- sole-edit
=. ted ?.(?=({$mor * ~} ted) ted i.p.ted)
=. ted ?.(?=({%mor * ~} ted) ted i.p.ted)
?- -.ted
$del [%ins p.ted (snag p.ted buf)]
$ins [%del p.ted]
$mor :- %mor
%del [%ins p.ted (snag p.ted buf)]
%ins [%del p.ted]
%mor :- %mor
%- flop
|- ^- (list sole-edit)
?~ p.ted ~
:- ^$(ted i.p.ted)
$(p.ted t.p.ted, +>.^$ (apply i.p.ted))
$nop [%nop ~]
$set [%set buf]
%nop [%nop ~]
%set [%set buf]
==
::
++ receive :: naturalize event
@ -134,6 +134,6 @@
++ transpose :: adjust position
|= pos/@ud
=+ dat=(transmute [%mor leg] [%ins pos `@c`0])
?> ?=($ins -.dat)
?> ?=(%ins -.dat)
p.dat
--

View File

@ -39,17 +39,17 @@
=, enjs:format
?+ -.sef
~|(unsupported-effect+-.sef !!)
$mor [%a (turn p.sef |=(a/sole-effect ^$(sef a)))]
$err (frond %hop (numb p.sef))
$txt (frond %txt (tape p.sef))
$tan (frond %tan (tape (wush 160 p.sef)))
$det (frond %det json:~(grow mar-sole-change +.sef))
%mor [%a (turn p.sef |=(a/sole-effect ^$(sef a)))]
%err (frond %hop (numb p.sef))
%txt (frond %txt (tape p.sef))
%tan (frond %tan (tape (wush 160 p.sef)))
%det (frond %det json:~(grow mar-sole-change +.sef))
::
$pro
%pro
%+ frond %pro
(pairs vis+b+vis.sef tag+s+tag.sef cad+(tape (purge cad.sef)) ~)
::
$tab
%tab
:- %a
%+ turn p.sef
|= [=cord =^tank]
@ -59,7 +59,7 @@
info+(tape ~(ram re tank))
==
::
?($bel $clr $nex)
?(%bel %clr %nex)
(frond %act %s -.sef)
==
++ mar-sole-change
@ -72,11 +72,11 @@
=,(cha (pairs ted+(edi ted) ler+a+~[(numb own.ler) (numb his.ler)] ~))
|= det=sole-edit
?- -.det
$nop [%s 'nop']
$mor [%a (turn p.det ..$)]
$del (frond %del (numb p.det))
$set (frond %set (tape (tufa p.det)))
$ins (frond %ins (pairs at+(numb p.det) cha+s+(tuft q.det) ~))
%nop [%s 'nop']
%mor [%a (turn p.det ..$)]
%del (frond %del (numb p.det))
%set (frond %set (tape (tufa p.det)))
%ins (frond %ins (pairs at+(numb p.det) cha+s+(tuft q.det) ~))
==
--
--

View File

@ -4,7 +4,7 @@
/? 310
|= {dep/@uvH urb/manx} ^- {hed/{@uvh marl} bod/{@uvH marl}}
~| [%malformed-urb urb] :: XX types
?> ?=({{$html ~} {{$head ~} *} {{$body ~} *} ~} urb)
=+ `{{$html ~} {{$head ~} hed/marl} {{$body ~} bod/marl} ~}`urb
?> ?=({{%html ~} {{%head ~} *} {{%body ~} *} ~} urb)
=+ `{{%html ~} {{%head ~} hed/marl} {{%body ~} bod/marl} ~}`urb
:- [dep hed] :: Assume all dependencies are hard
[0v0 bod]

View File

@ -24,7 +24,7 @@
:: %. jon => jo %- ot
:: :~ mod+(cu silt (ar (su (perk ~[%ctrl %shift %alt %meta]))))
:: :- %key
:: %+ cu |*(a/$%({$str @t} {$act @}) ?+(-.a a $str +.a))
:: %+ cu |*(a/$%({%str @t} {%act @}) ?+(-.a a %str +.a))
:: =- (of [str+so act+(su (perk -)) ~])
:: :~ %ctrl %shift %alt %meta %entr %esc %caps %uncap
:: %pgup %pgdn %home %end %baxp %del %ins
@ -33,7 +33,7 @@
++ kyev
|= kev/^kyev ^- dill-belt:dill
~| dill-belt-incomplete+kev
?: ?=({$act ?($ctrl $shift $alt $meta)} q.kev)
?: ?=({%act ?(%ctrl %shift %alt %meta)} q.kev)
[%txt ~] :: ignore
=+ mod=(~(del in p.kev) %shift)
?^ mod
@ -45,19 +45,19 @@
=+ cha=(tuba (trip q.kev))
?> ?=({@ ~} cha) :: of a single character
?+ mod !! :: modified by one buckykey
{$ctrl ~ ~} [%ctl i.cha]
{$alt ~ ~} [%met i.cha]
{%ctrl ~ ~} [%ctl i.cha]
{%alt ~ ~} [%met i.cha]
==
?@ q.kev
[%txt (tuba (trip q.kev))]
?+ +.q.kev !!
$del [%del ~]
$baxp [%bac ~]
$entr [%ret ~]
$up [%aro %u]
$down [%aro %d]
$left [%aro %l]
$right [%aro %r]
%del [%del ~]
%baxp [%bac ~]
%entr [%ret ~]
%up [%aro %u]
%down [%aro %d]
%left [%aro %l]
%right [%aro %r]
== :: %yow, %rez?
::
++ noun dill-belt:dill :: clam from %noun

View File

@ -18,10 +18,10 @@
++ json
^- ^json
?+ -.dib ~|(unsupported-blit+-.dib !!)
$mor [%a (turn p.dib |=(a/dill-blit:dill json(dib a)))]
$hop (frond %hop (numb p.dib))
?($pro $out) (frond -.dib (tape (tufa p.dib)))
?($bel $clr) (frond %act %s -.dib)
%mor [%a (turn p.dib |=(a/dill-blit:dill json(dib a)))]
%hop (frond %hop (numb p.dib))
?(%pro %out) (frond -.dib (tape (tufa p.dib)))
?(%bel %clr) (frond %act %s -.dib)
==
--
--

View File

@ -17,7 +17,7 @@
++ grab ^?
|% :: convert from
++ noun @t :: clam from %noun
++ mime |=({p/mite q/octs} q.q) :: retrieve form $mime
++ mime |=({p/mite q/octs} q.q) :: retrieve form %mime
--
++ grad %mime
--

View File

@ -15,7 +15,7 @@
|= hit/httr:eyre
^- response
~| hit
?: ?=($2 (div p.hit 100))
?: ?=(%2 (div p.hit 100))
=, html
%- json
?~ r.hit

View File

@ -9,8 +9,8 @@
=| met/marl
|= a/marl ^- {hed/marl tal/marl}
?~ a [~ ~]
?. ?=($h1 n.g.i.a)
?: ?=($meta n.g.i.a)
?. ?=(%h1 n.g.i.a)
?: ?=(%meta n.g.i.a)
$(a t.a, met [i.a met])
=+ had=$(a c.i.a)
?^ -.had had
@ -57,6 +57,6 @@
--
--
++ grab |% :: convert from
++ noun {marl marl} :: clam from $noun
++ noun {marl marl} :: clam from %noun
++ elem |=(a/manx (hedtal +.a))
-- --

View File

@ -21,11 +21,11 @@
=,(cha (pairs ted+(edi ted) ler+a+~[(numb own.ler) (numb his.ler)] ~))
|= det/sole-edit
?- -.det
$nop [%s 'nop']
$mor [%a (turn p.det ..$)]
$del (frond %del (numb p.det))
$set (frond %set (tape (tufa p.det)))
$ins (frond %ins (pairs at+(numb p.det) cha+s+(tuft q.det) ~))
%nop [%s 'nop']
%mor [%a (turn p.det ..$)]
%del (frond %del (numb p.det))
%set (frond %set (tape (tufa p.det)))
%ins (frond %ins (pairs at+(numb p.det) cha+s+(tuft q.det) ~))
==
--
--
@ -56,17 +56,17 @@
^- ^json
?+ -.sef
~|(unsupported-effect+-.sef !!)
$mor [%a (turn p.sef |=(a/sole-effect json(sef a)))]
$err (frond %hop (numb p.sef))
$txt (frond %txt (tape p.sef))
$tan (frond %tan (tape (wush 160 p.sef)))
$det (frond %det json:~(grow mar-sole-change +.sef))
%mor [%a (turn p.sef |=(a/sole-effect json(sef a)))]
%err (frond %hop (numb p.sef))
%txt (frond %txt (tape p.sef))
%tan (frond %tan (tape (wush 160 p.sef)))
%det (frond %det json:~(grow mar-sole-change +.sef))
::
$pro
%pro
%+ frond %pro
(pairs vis+b+vis.sef tag+s+tag.sef cad+(tape (purge cad.sef)) ~)
::
$tab
%tab
:- %a
%+ turn p.sef
|= [=cord =^tank]
@ -76,7 +76,7 @@
info+(tape ~(ram re tank))
==
::
?($bel $clr $nex)
?(%bel %clr %nex)
(frond %act %s -.sef)
==
--

View File

@ -17,5 +17,5 @@
-- ::
++ grab |% :: convert from
++ noun @t :: clam from %noun
++ mime |=({p/mite q/octs} q.q) :: retrieve form $mime
++ mime |=({p/mite q/octs} q.q) :: retrieve form %mime
-- --

View File

@ -3,9 +3,9 @@
:::: /hoon/kyev/sur
::
/? 310
=- {p/(set ?($ctrl $shift $alt $meta)) q/$@(cord {$act speck})}
=- {p/(set ?(%ctrl %shift %alt %meta)) q/$@(cord {%act speck})}
^= speck
$? $ctrl $shift $alt $meta $entr $esc $caps $uncap
$pgup $pgdn $home $end $baxp $del $ins
$up $down $left $right
$? %ctrl %shift %alt %meta %entr %esc %caps %uncap
%pgup %pgdn %home %end %baxp %del %ins
%up %down %left %right
==

View File

@ -5,30 +5,30 @@
sink/sink
==
++ source
$% {$data data/@}
{$dojo command/@t}
{$clay pax/@t}
{$url url/purl:eyre}
{$api api/term command/@t}
{$get-api api/term endpoint/(list @t)}
{$as mar/mark next/source} :: can't be at the
{$hoon code/@t next/source} :: end since they
{$tuple next/(list source)} :: don't bunt well
{$listen-api api/term event/term}
{$export app/@t}
{$import app/@t base64-jam/@t}
{$export-all ~}
{$import-all base64-jam/@t}
$% {%data data/@}
{%dojo command/@t}
{%clay pax/@t}
{%url url/purl:eyre}
{%api api/term command/@t}
{%get-api api/term endpoint/(list @t)}
{%as mar/mark next/source} :: can't be at the
{%hoon code/@t next/source} :: end since they
{%tuple next/(list source)} :: don't bunt well
{%listen-api api/term event/term}
{%export app/@t}
{%import app/@t base64-jam/@t}
{%export-all ~}
{%import-all base64-jam/@t}
==
++ sink
$% {$stdout ~}
{$output-file pax/@t}
{$output-pill pax/@t}
{$output-clay pax/path}
{$url url/purl:eyre}
{$to-api api/term command/@t}
{$send-api api/term endpoint/(list @t)}
{$command command/@t}
{$app app/term}
$% {%stdout ~}
{%output-file pax/@t}
{%output-pill pax/@t}
{%output-clay pax/path}
{%url url/purl:eyre}
{%to-api api/term command/@t}
{%send-api api/term endpoint/(list @t)}
{%command command/@t}
{%app app/term}
==
--

View File

@ -1,8 +1,8 @@
|%
+$ rw-security
$? $channel :: black r, black w
$village :: white r, white w
$journal :: black r, white w
$mailbox :: white r, black w
$? %channel :: black r, black w
%village :: white r, white w
%journal :: black r, white w
%mailbox :: white r, black w
==
--

View File

@ -6,11 +6,11 @@
++ sole-action :: sole to app
$: id=@ta :: duct id
$= dat
$% :: {$abo ~} :: reset interaction
{$det sole-change} :: command line edit
{$ret ~} :: submit and clear
{$clr ~} :: exit context
{$tab pos/@ud} :: tab complete
$% :: {%abo ~} :: reset interaction
{%det sole-change} :: command line edit
{%ret ~} :: submit and clear
{%clr ~} :: exit context
{%tab pos/@ud} :: tab complete
== ::
==
++ sole-buffer (list @c) :: command state
@ -21,29 +21,29 @@
== ::
++ sole-clock {own/@ud his/@ud} :: vector clock
++ sole-edit :: shared state change
$% {$del p/@ud} :: delete one at
{$ins p/@ud q/@c} :: insert at
{$mor p/(list sole-edit)} :: combination
{$nop ~} :: no-op
{$set p/sole-buffer} :: discontinuity
$% {%del p/@ud} :: delete one at
{%ins p/@ud q/@c} :: insert at
{%mor p/(list sole-edit)} :: combination
{%nop ~} :: no-op
{%set p/sole-buffer} :: discontinuity
== ::
++ sole-effect :: app to sole
$% {$bel ~} :: beep
{$blk p/@ud q/@c} :: blink+match char at
{$clr ~} :: clear screen
{$det sole-change} :: edit command
{$err p/@ud} :: error point
{$klr p/styx} :: styled text line
{$mor p/(list sole-effect)} :: multiple effects
{$nex ~} :: save clear command
{$pro sole-prompt} :: set prompt
{$sag p/path q/*} :: save to jamfile
{$sav p/path q/@} :: save to file
{$tab p/(list {=cord =tank})} :: tab-complete list
{$tan p/(list tank)} :: classic tank
:: {$taq p/tanq} :: modern tank
{$txt p/tape} :: text line
{$url p/@t} :: activate url
$% {%bel ~} :: beep
{%blk p/@ud q/@c} :: blink+match char at
{%clr ~} :: clear screen
{%det sole-change} :: edit command
{%err p/@ud} :: error point
{%klr p/styx} :: styled text line
{%mor p/(list sole-effect)} :: multiple effects
{%nex ~} :: save clear command
{%pro sole-prompt} :: set prompt
{%sag p/path q/*} :: save to jamfile
{%sav p/path q/@} :: save to file
{%tab p/(list {=cord =tank})} :: tab-complete list
{%tan p/(list tank)} :: classic tank
:: {%taq p/tanq} :: modern tank
{%txt p/tape} :: text line
{%url p/@t} :: activate url
== ::
++ sole-command :: command state
$: pos/@ud :: cursor position
@ -77,8 +77,8 @@
(pair sole-prompt (sole-dialog out)) :: ask and continue
:: ::
++ sole-gen :: XX virtual type
$% {$say $-((sole-args) (cask))} :: direct noun
{$ask $-((sole-args) (sole-product (cask)))} :: dialog
$% {%say $-((sole-args) (cask))} :: direct noun
{%ask $-((sole-args) (sole-product (cask)))} :: dialog
== ::
++ sole-args :: generator arguments
|* _[* *] ::

View File

@ -1068,7 +1068,7 @@
==
::
=/ von
%+ turn
%+ turn
(sort ~(tap by van.mod) |=([[a=@tas *] [b=@tas *]] (aor a b)))
|=([lal=@tas =vane] (cat 3 %vane- lal)^vane)
::

File diff suppressed because it is too large Load Diff

View File

@ -50,7 +50,7 @@
:: gets file contents, %y gets a directory listing, and %z gets a recursive
:: hash of the file contents and children.
::
:: ++ care ?($d $p $t $u $v $w $x $y $z)
:: ++ care ?(%d %p %t %u %v %w %x %y %z)
::
:: Keeps track of subscribers.
::
@ -1123,7 +1123,7 @@
|= [lim=@da lok=case]
^- (unit aeon)
?- -.lok
$da
%da
?: (gth p.lok lim) ~
|- ^- (unit aeon)
?: =(0 let.dom) [~ 0] :: avoid underflow
@ -1136,8 +1136,8 @@
[~ let.dom]
$(let.dom (dec let.dom))
::
$tas (~(get by lab.dom) p.lok)
$ud ?:((gth p.lok let.dom) ~ [~ p.lok])
%tas (~(get by lab.dom) p.lok)
%ud ?:((gth p.lok let.dom) ~ [~ p.lok])
==
::
++ blas
@ -1250,8 +1250,8 @@
=; won/(unit wove) (fall won wov)
=* rov rove.wov
?- -.rov
$sing ~
$next
%sing ~
%next
=+ aey=(case-to-aeon case.mood.rov)
?~ aey ~
%- ~(rep in ~(key by qyx))
@ -1260,7 +1260,7 @@
?. =(for.wov for.haw) ~
=* hav rove.haw
=- ?:(- `haw ~)
?& ?=($next -.hav)
?& ?=(%next -.hav)
=(mood.hav mood.rov(case case.mood.hav))
::
:: only a match if this request is before
@ -1269,7 +1269,7 @@
?~(hay | (lte u.hay u.aey))
==
::
$mult
%mult
=+ aey=(case-to-aeon case.mool.rov)
?~ aey ~
%- ~(rep in ~(key by qyx))
@ -1278,7 +1278,7 @@
?. =(for.wov for.haw) ~
=* hav rove.haw
=- ?:(- `haw ~)
?& ?=($mult -.hav)
?& ?=(%mult -.hav)
=(mool.hav mool.rov(case case.mool.hav))
::
:: only a match if this request is before
@ -1292,7 +1292,7 @@
==
==
::
$many
%many
=+ aey=(case-to-aeon from.moat.rov)
?~ aey ~
%- ~(rep in ~(key by qyx))
@ -1301,7 +1301,7 @@
?. =(for.wov for.haw) ~
=* hav rove.haw
=- ?:(- `haw ~)
?& ?=($many -.hav)
?& ?=(%many -.hav)
=(hav rov(from.moat from.moat.hav))
::
:: only a match if this request is before
@ -2612,9 +2612,9 @@
%+ roll
=- ~(tap in -)
?- -.rit
$r who:(fall red.rit *rule)
$w who:(fall wit.rit *rule)
$rw (~(uni in who:(fall red.rit *rule)) who:(fall wit.rit *rule))
%r who:(fall red.rit *rule)
%w who:(fall wit.rit *rule)
%rw (~(uni in who:(fall red.rit *rule)) who:(fall wit.rit *rule))
==
|= {w/whom s/(set @ta)}
?: |(?=(%& -.w) (~(has by cez) p.w)) s
@ -2636,9 +2636,9 @@
(emit hen %give %done ~)
::
?- -.rit
$r wake(per (put-perm per pax red.rit))
$w wake(pew (put-perm pew pax wit.rit))
$rw wake(per (put-perm per pax red.rit), pew (put-perm pew pax wit.rit))
%r wake(per (put-perm per pax red.rit))
%w wake(pew (put-perm pew pax wit.rit))
%rw wake(per (put-perm per pax red.rit), pew (put-perm pew pax wit.rit))
==
::
++ put-perm
@ -2730,7 +2730,7 @@
::
%_ wake
haw.u.ref
?. ?=($sing -.rav) haw.u.ref
?. ?=(%sing -.rav) haw.u.ref
(~(put by haw.u.ref) mood.rav ~)
==
|^
@ -2747,20 +2747,20 @@
|= =rand
^- (unit cage)
?- p.p.rand
$a ~| %no-big-ford-builds-across-network-for-now !!
$b ~| %i-guess-you-ought-to-build-your-own-marks !!
$c ~| %casts-should-be-compiled-on-your-own-ship !!
$d ~| %totally-temporary-error-please-replace-me !!
$p ~| %requesting-foreign-permissions-is-invalid !!
$r ~| %no-cages-please-they-are-just-way-too-big !!
$s ~| %please-dont-get-your-takos-over-a-network !!
$t ~| %requesting-foreign-directory-is-vaporware !!
$u ~| %prolly-poor-idea-to-get-rang-over-network !!
$v ~| %weird-shouldnt-get-v-request-from-network !!
$z `(validate-z r.rand)
$w `(validate-w r.rand)
$x (validate-x [p.p q.p q r]:rand)
$y `[p.r.rand !>(;;(arch q.r.rand))]
%a ~| %no-big-ford-builds-across-network-for-now !!
%b ~| %i-guess-you-ought-to-build-your-own-marks !!
%c ~| %casts-should-be-compiled-on-your-own-ship !!
%d ~| %totally-temporary-error-please-replace-me !!
%p ~| %requesting-foreign-permissions-is-invalid !!
%r ~| %no-cages-please-they-are-just-way-too-big !!
%s ~| %please-dont-get-your-takos-over-a-network !!
%t ~| %requesting-foreign-directory-is-vaporware !!
%u ~| %prolly-poor-idea-to-get-rang-over-network !!
%v ~| %weird-shouldnt-get-v-request-from-network !!
%z `(validate-z r.rand)
%w `(validate-w r.rand)
%x (validate-x [p.p q.p q r]:rand)
%y `[p.r.rand !>(;;(arch q.r.rand))]
==
::
:: Make sure the incoming data is a %w response
@ -2770,9 +2770,9 @@
^- cage
:- p.page
?+ p.page ~| %strange-w-over-nextwork !!
$cass !>(;;(cass q.page))
$null [[%atom %n ~] ~]
$nako !>(~|([%molding [&1 &2 &3]:q.page] ;;(nako q.page)))
%cass !>(;;(cass q.page))
%null [[%atom %n ~] ~]
%nako !>(~|([%molding [&1 &2 &3]:q.page] ;;(nako q.page)))
==
::
:: Make sure that incoming data is of the mark it claims to be.
@ -3378,8 +3378,8 @@
|= a/lobe
=> (lobe-to-blob a)
?- -
$delta p.q
$direct p.q
%delta p.q
%direct p.q
==
::
:: Checks whether two pieces of data (either cages or lobes) are the same.
@ -3491,8 +3491,8 @@
far
=+ gar=(lobe-to-blob lob)
?- -.gar
$direct (~(put in far) lob)
$delta (~(put in $(lob q.q.gar)) lob)
%direct (~(put in far) lob)
%delta (~(put in $(lob q.q.gar)) lob)
==
::
:: Probably can get rid of the cache checks because they happen in
@ -3587,10 +3587,10 @@
?+ car
(allowed-by who pax per.red)
::
$p
%p
=(who our)
::
?($y $z)
?(%y %z)
=+ tak=(~(get by hit.dom) yon)
?~ tak |
=+ yak=(tako-to-yaki u.tak)
@ -3600,7 +3600,7 @@
|= {p/path s/(set path)}
?. =(pax (scag len p)) s
%- ~(put in s)
?: ?=($z car) p
?: ?=(%z car) p
(scag +(len) p)
==
::
@ -3766,7 +3766,7 @@
::
++ read-v
|= {yon/aeon pax/path}
^- (unit (unit {$dome (hypo dome:clay)}))
^- (unit (unit {%dome (hypo dome:clay)}))
?: (lth yon let.dom)
:* ~ ~ %dome -:!>(*dome:clay)
^- dome:clay
@ -3822,17 +3822,17 @@
=+ mar=(lobe-to-mark u.lob)
:: should convert any lobe to cage
::
?. ?=($hoon mar)
?. ?=(%hoon mar)
[~ ~ %| u.lob]
:^ ~ ~ %&
:+ mar [%atom %t ~]
|- ^- @t :: (urge cord) would be faster
=+ bol=(lobe-to-blob u.lob)
?: ?=($direct -.bol)
?: ?=(%direct -.bol)
;;(@t q.q.bol)
?> ?=($delta -.bol)
?> ?=(%delta -.bol)
=+ txt=$(u.lob q.q.bol)
?> ?=($txt-diff p.r.bol)
?> ?=(%txt-diff p.r.bol)
=+ dif=;;((urge cord) q.r.bol)
=, format
=+ pac=(of-wain (lurk:differ (to-wain (cat 3 txt '\0a')) dif))
@ -3844,7 +3844,7 @@
::
++ read-y
|= {yon/aeon pax/path}
^- (unit (unit {$arch (hypo arch)}))
^- (unit (unit {%arch (hypo arch)}))
?: =(0 yon)
``[%arch -:!>(*arch) *arch]
=+ tak=(~(get by hit.dom) yon)
@ -3872,7 +3872,7 @@
::
++ read-z
|= {yon/aeon pax/path}
^- (unit (unit {$uvi (hypo @uvI)}))
^- (unit (unit {%uvi (hypo @uvI)}))
?: =(0 yon)
``uvi+[-:!>(*@uvI) *@uvI]
=+ tak=(~(get by hit.dom) yon)

View File

@ -28,7 +28,7 @@
-- => ::
|% :: protocol outward
++ mess ::
$% {$dill-belt p/(hypo dill-belt)} ::
$% {%dill-belt p/(hypo dill-belt)} ::
== ::
++ move {p/duct q/(wind note gift:able)} :: local move
++ note :: out request $->
@ -109,21 +109,21 @@
|= kyz/task:able
^+ +>
?+ -.kyz ~& [%strange-kiss -.kyz] +>
$flow +>
$harm +>
$hail (send %hey ~)
$belt (send `dill-belt`p.kyz)
$text (from %out (tuba p.kyz))
$crud :: (send `dill-belt`[%cru p.kyz q.kyz])
%flow +>
%harm +>
%hail (send %hey ~)
%belt (send `dill-belt`p.kyz)
%text (from %out (tuba p.kyz))
%crud :: (send `dill-belt`[%cru p.kyz q.kyz])
(crud p.kyz q.kyz)
$blew (send %rez p.p.kyz q.p.kyz)
$heft (dump %whey ~)
$lyra (dump kyz)
$meld (dump kyz)
$pack (dump kyz)
$crop (dump trim+p.kyz)
$veer (dump kyz)
$verb (dump kyz)
%blew (send %rez p.p.kyz q.p.kyz)
%heft (dump %whey ~)
%lyra (dump kyz)
%meld (dump kyz)
%pack (dump kyz)
%crop (dump trim+p.kyz)
%veer (dump kyz)
%verb (dump kyz)
==
::
++ crud
@ -170,28 +170,28 @@
++ from :: receive blit
|= bit/dill-blit
^+ +>
?: ?=($mor -.bit)
?: ?=(%mor -.bit)
|- ^+ +>.^$
?~ p.bit +>.^$
$(p.bit t.p.bit, +>.^$ ^$(bit i.p.bit))
?: ?=($out -.bit)
?: ?=(%out -.bit)
%+ done %blit
:~ [%lin p.bit]
[%mor ~]
see
[%hop pos]
==
?: ?=($klr -.bit)
?: ?=(%klr -.bit)
%+ done %blit
:~ [%klr p.bit]
[%mor ~]
see
[%hop pos]
==
?: ?=($pro -.bit)
?: ?=(%pro -.bit)
=. see [%lin p.bit]
(done %blit [see [%hop pos] ~])
?: ?=($pom -.bit)
?: ?=(%pom -.bit)
::NOTE treat "styled prompt" without style as plain prompt,
:: to allow rendering by older runtimes
::TODO remove me once v0.10.9+ has high/guaranteed adoption
@ -200,9 +200,9 @@
$(bit [%pro (zing (turn p.bit tail))])
=. see [%klr p.bit]
(done %blit [see [%hop pos] ~])
?: ?=($hop -.bit)
?: ?=(%hop -.bit)
(done(pos p.bit) %blit [bit ~])
?: ?=($qit -.bit)
?: ?=(%qit -.bit)
(dump %logo ~)
(done %blit [bit ~])
:: XX move
@ -223,7 +223,7 @@
=/ can (clan:title our)
=. tem ~
=. +> (pass / %g %conf ram)
=? +> ?=(?($earl $duke $king) can)
=? +> ?=(?(%earl %duke %king) can)
(ota (sein our) %kids)
:: make kids desk publicly readable, so syncs work.
::
@ -269,36 +269,36 @@
::
+>(moz :_(moz [hen %give +.sih]))
::
{$g $onto *}
{%g %onto *}
:: ~& [%take-gall-onto +>.sih]
?- -.+>.sih
%| (crud %onto p.p.+>.sih)
%& (done %blit [%lin (tuba "{<p.p.sih>}")]~)
==
::
{$g $unto *}
{%g %unto *}
:: ~& [%take-gall-unto +>.sih]
?- -.+>.sih
$poke-ack ?~(p.p.+>.sih +>.$ (crud %coup u.p.p.+>.sih))
$kick peer
$watch-ack ?~ p.p.+>.sih
%poke-ack ?~(p.p.+>.sih +>.$ (crud %coup u.p.p.+>.sih))
%kick peer
%watch-ack ?~ p.p.+>.sih
+>.$
(dump:(crud %reap u.p.p.+>.sih) %logo ~)
$fact (from ;;(dill-blit q:`vase`+>+>.sih))
%fact (from ;;(dill-blit q:`vase`+>+>.sih))
==
::
{$c $note *}
{%c %note *}
(from %out (tuba p.sih ' ' ~(ram re q.sih)))
::
{?($b $c) $writ *}
{?(%b %c) %writ *}
init
::
{?($b %c) $mere *}
{?(%b %c) %mere *}
?: ?=(%& -.p.sih)
mere
(mean >%dill-mere-fail< >p.p.p.sih< q.p.p.sih)
::
{$d $blit *}
{%d %blit *}
(done +.sih)
==
--
@ -414,7 +414,7 @@
:: without .dog
::
++ axle-1
$: $1
$: %1
hey/(unit duct)
dug/(map duct axon-3)
lit/?

View File

@ -268,7 +268,7 @@
?- -.tac
::
:: boot from keys
:: $: $dawn
:: $: %dawn
:: =seed
:: spon=ship
:: czar=(map ship [=rift =life =pass])
@ -433,9 +433,9 @@
(sources:~(feel su hen our now pki etn) [whos source]:tac)
::
:: cancel all trackers from duct
:: {$nuke whos=(set ship)}
:: {%nuke whos=(set ship)}
::
$nuke
%nuke
=/ ships=(list ship)
%~ tap in
%- ~(int in whos.tac)
@ -522,13 +522,13 @@
+>.$
::
:: watch private keys
:: {$private-keys $~}
:: {%private-keys ~}
::
%private-keys
(curd abet:~(private-keys ~(feed su hen our now pki etn) hen))
::
:: authenticated remote request
:: {$west p/ship q/path r/*}
:: {%west p/ship q/path r/*}
::
%plea
=* her ship.tac
@ -592,20 +592,20 @@
::
[%g %unto *]
?- +>-.hin
$kick ~|([%jael-unexpected-quit tea hin] !!)
$poke-ack
%kick ~|([%jael-unexpected-quit tea hin] !!)
%poke-ack
?~ p.p.+>.hin
+>.$
%- (slog leaf+"jael-bad-coup" u.p.p.+>.hin)
+>.$
::
$watch-ack
%watch-ack
?~ p.p.+>.hin
+>.$
%- (slog u.p.p.+>.hin)
~|([%jael-unexpected-reap tea hin] +>.$)
::
$fact
%fact
?> ?=([@ *] tea)
=* app i.tea
=/ =peer-sign ;;(peer-sign q.q.cage.p.+>.hin)

View File

@ -64,7 +64,7 @@
depth=_1
==
::
+$ deco ?(~ $bl $br $un) :: text decoration
+$ deco ?(~ %bl %br %un) :: text decoration
+$ json :: normal json value
$@ ~ :: null
$% [%a p=(list json)] :: array
@ -83,7 +83,7 @@
+$ styl %+ pair (unit deco) :: cascading style
(pair (unit tint) (unit tint)) ::
+$ styx (list $@(@t (pair styl styx))) :: styled text
+$ tint ?($r $g $b $c $m $y $k $w $~) :: text color
+$ tint ?(%r %g %b %c %m %y %k %w %~) :: text color
+$ turf (list @t) :: domain, tld first
:: ::
:::: ++jstd :: json standards structures
@ -812,45 +812,45 @@
|%
++ gift :: out result <-$
$% [%boon payload=*] :: ames response
{$croz rus/(map desk {r/regs w/regs})} :: rules for group
{$cruz cez/(map @ta crew)} :: permission groups
{$dirk p/@tas} :: mark mount dirty
{$ergo p/@tas q/mode} :: version update
{$hill p/(list @tas)} :: mount points
{%croz rus/(map desk {r/regs w/regs})} :: rules for group
{%cruz cez/(map @ta crew)} :: permission groups
{%dirk p/@tas} :: mark mount dirty
{%ergo p/@tas q/mode} :: version update
{%hill p/(list @tas)} :: mount points
[%done error=(unit error:ames)] :: ames message (n)ack
{$mere p/(each (set path) (pair term tang))} :: merge result
{$note p/@tD q/tank} :: debug message
{$ogre p/@tas} :: delete mount point
{$rule red/dict wit/dict} :: node r+w permissions
{$writ p/riot} :: response
{$wris p/{$da p/@da} q/(set (pair care path))} :: many changes
{%mere p/(each (set path) (pair term tang))} :: merge result
{%note p/@tD q/tank} :: debug message
{%ogre p/@tas} :: delete mount point
{%rule red/dict wit/dict} :: node r+w permissions
{%writ p/riot} :: response
{%wris p/{%da p/@da} q/(set (pair care path))} :: many changes
== ::
++ task :: in request ->$
$~ [%vega ~] ::
$% {$boat ~} :: pier rebooted
{$cred nom/@ta cew/crew} :: set permission group
{$crew ~} :: permission groups
{$crow nom/@ta} :: group usage
$% {%boat ~} :: pier rebooted
{%cred nom/@ta cew/crew} :: set permission group
{%crew ~} :: permission groups
{%crow nom/@ta} :: group usage
$>(%crud vane-task) :: error with trace
{$drop des/desk} :: cancel pending merge
{$info des/desk dit/nori} :: internal edit
{%drop des/desk} :: cancel pending merge
{%info des/desk dit/nori} :: internal edit
$>(%init vane-task) :: report install
{$into des/desk all/? fis/mode} :: external edit
$: $merg :: merge desks
{%into des/desk all/? fis/mode} :: external edit
$: %merg :: merge desks
des/desk :: target
her/@p dem/desk cas/case :: source
how/germ :: method
== ::
{$mont pot/term bem/beam} :: mount to unix
{$dirk des/desk} :: mark mount dirty
{$ogre pot/$@(desk beam)} :: delete mount point
{$park des/desk yok/yoki ran/rang} :: synchronous commit
{$perm des/desk pax/path rit/rite} :: change permissions
{$pork ~} :: resume commit
{%mont pot/term bem/beam} :: mount to unix
{%dirk des/desk} :: mark mount dirty
{%ogre pot/$@(desk beam)} :: delete mount point
{%park des/desk yok/yoki ran/rang} :: synchronous commit
{%perm des/desk pax/path rit/rite} :: change permissions
{%pork ~} :: resume commit
$>(%trim vane-task) :: trim state
$>(%vega vane-task) :: report upgrade
{$warp wer/ship rif/riff} :: internal file req
{$werp who/ship wer/ship rif/riff-any} :: external file req
{%warp wer/ship rif/riff} :: internal file req
{%werp who/ship wer/ship rif/riff-any} :: external file req
$>(%plea vane-task) :: ames request
== ::
-- ::able
@ -866,8 +866,8 @@
++ beam {{p/ship q/desk r/case} s/path} :: global name
++ beak {p/ship q/desk r/case} :: path prefix
++ blob :: fs blob
$% {$delta p/lobe q/{p/mark q/lobe} r/page} :: delta on q
{$direct p/lobe q/page} :: immediate
$% {%delta p/lobe q/{p/mark q/lobe} r/page} :: delta on q
{%direct p/lobe q/page} :: immediate
== ::
:: +cable: a reference to something on the filesystem
:: face: the face to wrap around the imported file
@ -876,11 +876,11 @@
$: face=(unit term)
file-path=term
==
++ care ?($a $b $c $d $p $r $s $t $u $v $w $x $y $z) :: clay submode
++ care ?(%a %b %c %d %p %r %s %t %u %v %w %x %y %z) :: clay submode
++ case :: ship desk case spur
$% {$da p/@da} :: date
{$tas p/@tas} :: label
{$ud p/@ud} :: number
$% {%da p/@da} :: date
{%tas p/@tas} :: label
{%ud p/@ud} :: number
== ::
++ cass {ud/@ud da/@da} :: cases for revision
++ crew (set ship) :: permissions group
@ -907,15 +907,15 @@
++ lobe @uvI :: blob ref
++ maki {p/@ta q/@ta r/@ta s/path} ::
++ miso :: ankh delta
$% {$del ~} :: delete
{$ins p/cage} :: insert
{$dif p/cage} :: mutate from diff
{$mut p/cage} :: mutate from raw
$% {%del ~} :: delete
{%ins p/cage} :: insert
{%dif p/cage} :: mutate from diff
{%mut p/cage} :: mutate from raw
== ::
++ misu :: computed delta
$% {$del ~} :: delete
{$ins p/cage} :: insert
{$dif p/lobe q/cage} :: mutate from diff
$% {%del ~} :: delete
{%ins p/cage} :: insert
{%dif p/lobe q/cage} :: mutate from diff
== ::
++ mizu {p/@u q/(map @ud tako) r/rang} :: new state
++ moar {p/@ud q/@ud} :: normal change range
@ -950,7 +950,7 @@
[%many track=? =moat] :: track range
== ::
++ real :: resolved permissions
$: mod/?($black $white) ::
$: mod/?(%black %white) ::
who/(pair (set ship) (map @ta crew)) ::
== ::
++ regs (map path rule) :: rules for paths
@ -959,12 +959,12 @@
$^ [[%1 ~] riff]
riff
++ rite :: new permissions
$% {$r red/(unit rule)} :: for read
{$w wit/(unit rule)} :: for write
{$rw red/(unit rule) wit/(unit rule)} :: for read and write
$% {%r red/(unit rule)} :: for read
{%w wit/(unit rule)} :: for write
{%rw red/(unit rule) wit/(unit rule)} :: for read and write
== ::
++ riot (unit rant) :: response+complete
++ rule {mod/?($black $white) who/(set whom)} :: node permission
++ rule {mod/?(%black %white) who/(set whom)} :: node permission
++ rump {p/care q/case r/@tas s/path} :: relative path
++ saba {p/ship q/@tas r/moar s/dome} :: patch+merge
++ soba (list {p/path q/miso}) :: delta
@ -1092,45 +1092,45 @@
++ able ^?
|%
++ gift :: out result <-$
$% {$bbye ~} :: reset prompt
{$blit p/(list blit)} :: terminal output
{$burl p/@t} :: activate url
{$init p/@p} :: set owner
{$logo ~} :: logout
$% {%bbye ~} :: reset prompt
{%blit p/(list blit)} :: terminal output
{%burl p/@t} :: activate url
{%init p/@p} :: set owner
{%logo ~} :: logout
[%lyra hoon=(unit @t) arvo=@t] :: upgrade kernel
{$meld ~} :: unify memory
{$pack ~} :: compact memory
{$trim p/@ud} :: trim kernel state
{$veer p/@ta q/path r/@t} :: install vane
{$verb ~} :: verbose mode
{%meld ~} :: unify memory
{%pack ~} :: compact memory
{%trim p/@ud} :: trim kernel state
{%veer p/@ta q/path r/@t} :: install vane
{%verb ~} :: verbose mode
[%whey ~] :: memory report
== ::
++ task :: in request ->$
$~ [%vega ~] ::
$% {$belt p/belt} :: terminal input
{$blew p/blew} :: terminal config
{$boot lit/? p/*} :: weird %dill boot
{$crop p/@ud} :: trim kernel state
$% {%belt p/belt} :: terminal input
{%blew p/blew} :: terminal config
{%boot lit/? p/*} :: weird %dill boot
{%crop p/@ud} :: trim kernel state
$>(%crud vane-task) :: error with trace
[%flee session=~] :: unwatch session
{$flog p/flog} :: wrapped error
{$flow p/@tas q/(list gill:gall)} :: terminal config
{$hail ~} :: terminal refresh
{$heft ~} :: memory report
{$hook ~} :: this term hung up
{$harm ~} :: all terms hung up
{%flog p/flog} :: wrapped error
{%flow p/@tas q/(list gill:gall)} :: terminal config
{%hail ~} :: terminal refresh
{%heft ~} :: memory report
{%hook ~} :: this term hung up
{%harm ~} :: all terms hung up
$>(%init vane-task) :: after gall ready
[%lyra hoon=(unit @t) arvo=@t] :: upgrade kernel
{$meld ~} :: unify memory
{$noop ~} :: no operation
{$pack ~} :: compact memory
{$talk p/tank} ::
{$text p/tape} ::
{$veer p/@ta q/path r/@t} :: install vane
{%meld ~} :: unify memory
{%noop ~} :: no operation
{%pack ~} :: compact memory
{%talk p/tank} ::
{%text p/tape} ::
{%veer p/@ta q/path r/@t} :: install vane
[%view session=~] :: watch session blits
$>(%trim vane-task) :: trim state
$>(%vega vane-task) :: report upgrade
{$verb ~} :: verbose mode
{%verb ~} :: verbose mode
[%knob tag=term level=?(%hush %soft %loud)] :: error verbosity
== ::
-- ::able
@ -1139,62 +1139,62 @@
::
++ blew {p/@ud q/@ud} :: columns rows
++ belt :: old belt
$% {$aro p/?($d $l $r $u)} :: arrow key
{$bac ~} :: true backspace
{$ctl p/@c} :: control-key
{$del ~} :: true delete
{$met p/@c} :: meta-key
{$ret ~} :: return
{$txt p/(list @c)} :: utf32 text
$% {%aro p/?(%d %l %r %u)} :: arrow key
{%bac ~} :: true backspace
{%ctl p/@c} :: control-key
{%del ~} :: true delete
{%met p/@c} :: meta-key
{%ret ~} :: return
{%txt p/(list @c)} :: utf32 text
== ::
++ blit :: old blit
$% {$bel ~} :: make a noise
{$clr ~} :: clear the screen
{$hop p/@ud} :: set cursor position
$% {%bel ~} :: make a noise
{%clr ~} :: clear the screen
{%hop p/@ud} :: set cursor position
[%klr p=stub] :: set styled line
{$lin p/(list @c)} :: set current line
{$mor ~} :: newline
{$sag p/path q/*} :: save to jamfile
{$sav p/path q/@} :: save to file
{$url p/@t} :: activate url
{%lin p/(list @c)} :: set current line
{%mor ~} :: newline
{%sag p/path q/*} :: save to jamfile
{%sav p/path q/@} :: save to file
{%url p/@t} :: activate url
== ::
++ dill-belt :: new belt
$% {$aro p/?($d $l $r $u)} :: arrow key
{$bac ~} :: true backspace
{$cru p/@tas q/(list tank)} :: echo error
{$ctl p/@} :: control-key
{$del ~} :: true delete
{$hey ~} :: refresh
{$met p/@} :: meta-key
{$ret ~} :: return
{$rez p/@ud q/@ud} :: resize, cols, rows
{$txt p/(list @c)} :: utf32 text
{$yow p/gill:gall} :: connect to app
$% {%aro p/?(%d %l %r %u)} :: arrow key
{%bac ~} :: true backspace
{%cru p/@tas q/(list tank)} :: echo error
{%ctl p/@} :: control-key
{%del ~} :: true delete
{%hey ~} :: refresh
{%met p/@} :: meta-key
{%ret ~} :: return
{%rez p/@ud q/@ud} :: resize, cols, rows
{%txt p/(list @c)} :: utf32 text
{%yow p/gill:gall} :: connect to app
== ::
++ dill-blit :: new blit
$% {$bel ~} :: make a noise
{$clr ~} :: clear the screen
{$hop p/@ud} :: set cursor position
{$klr p/stub} :: styled text
{$mor p/(list dill-blit)} :: multiple blits
{$pom p/stub} :: styled prompt
{$pro p/(list @c)} :: show as cursor+line
{$qit ~} :: close console
{$out p/(list @c)} :: send output line
{$sag p/path q/*} :: save to jamfile
{$sav p/path q/@} :: save to file
{$url p/@t} :: activate url
$% {%bel ~} :: make a noise
{%clr ~} :: clear the screen
{%hop p/@ud} :: set cursor position
{%klr p/stub} :: styled text
{%mor p/(list dill-blit)} :: multiple blits
{%pom p/stub} :: styled prompt
{%pro p/(list @c)} :: show as cursor+line
{%qit ~} :: close console
{%out p/(list @c)} :: send output line
{%sag p/path q/*} :: save to jamfile
{%sav p/path q/@} :: save to file
{%url p/@t} :: activate url
== ::
++ flog :: sent to %dill
$% {$crop p/@ud} :: trim kernel state
{$crud p/@tas q/(list tank)} ::
{$heft ~} ::
$% {%crop p/@ud} :: trim kernel state
{%crud p/@tas q/(list tank)} ::
{%heft ~} ::
[%lyra hoon=(unit @t) arvo=@t] :: upgrade kernel
{$meld ~} :: unify memory
{$pack ~} :: compact memory
{$text p/tape} ::
{$veer p/@ta q/path r/@t} :: install vane
{$verb ~} :: verbose mode
{%meld ~} :: unify memory
{%pack ~} :: compact memory
{%text p/tape} ::
{%veer p/@ta q/path r/@t} :: install vane
{%verb ~} :: verbose mode
== ::
-- ::dill
:: ::::
@ -1546,8 +1546,8 @@
++ hate {p/purl q/@p r/moth} :: semi-cooked request
++ hiss {p/purl q/moth} :: outbound request
++ host (each turf @if) :: http host
++ hoke %+ each {$localhost ~} :: local host
?($.0.0.0.0 $.127.0.0.1) ::
++ hoke %+ each {%localhost ~} :: local host
?(%.0.0.0.0 %.127.0.0.1) ::
++ httq :: raw http request
$: p/meth :: method
q/@t :: unparsed url
@ -1558,14 +1558,14 @@
++ math (map @t (list @t)) :: semiparsed headers
++ mess (list {p/@t q/@t}) :: raw http headers
++ meth :: http methods
$? $conn :: CONNECT
$delt :: DELETE
$get :: GET
$head :: HEAD
$opts :: OPTIONS
$post :: POST
$put :: PUT
$trac :: TRACE
$? %conn :: CONNECT
%delt :: DELETE
%get :: GET
%head :: HEAD
%opts :: OPTIONS
%post :: POST
%put :: PUT
%trac :: TRACE
== ::
++ moth {p/meth q/math r/(unit octs)} :: http operation
++ oryx @t :: CSRF secret
@ -1714,7 +1714,7 @@
++ task :: incoming request
$~ [%vega ~] ::
$% [%conf dap=term] :: start agent
[$deal p=sock q=term r=deal] :: full transmission
[%deal p=sock q=term r=deal] :: full transmission
[%goad force=? agent=(unit dude)] :: rebuild agent(s)
[%sear =ship] :: clear pending queues
$>(%init vane-task) :: set owner
@ -2191,19 +2191,19 @@
==
++ note-arvo :: out request $->
$~ [%b %wake ~]
$% {$a task:able:ames}
{$b task:able:behn}
{$c task:able:clay}
{$d task:able:dill}
$% {%a task:able:ames}
{%b task:able:behn}
{%c task:able:clay}
{%d task:able:dill}
[%e task:able:eyre]
{$g task:able:gall}
{%g task:able:gall}
[%i task:able:iris]
{$j task:able:jael}
{@tas $meta vase}
{%j task:able:jael}
{@tas %meta vase}
==
++ sign-arvo :: in result $<-
$% {$a gift:able:ames}
$: $b
$% {%a gift:able:ames}
$: %b
$% gift:able:behn
$>(%wris gift:able:clay)
$>(%writ gift:able:clay)
@ -2211,12 +2211,12 @@
$>(%unto gift:able:gall)
==
==
{$c gift:able:clay}
{$d gift:able:dill}
{%c gift:able:clay}
{%d gift:able:dill}
[%e gift:able:eyre]
{$g gift:able:gall}
{%g gift:able:gall}
[%i gift:able:iris]
{$j gift:able:jael}
{%j gift:able:jael}
==
:: $unix-task: input from unix
::
@ -5512,7 +5512,7 @@
|= dex/desk
%+ biff (slay i.t.t.pax)
|= cis/coin
?. ?=({$$ case} cis) ~
?. ?=({%$ case} cis) ~
`(unit beam)`[~ [who dex `case`p.cis] t.t.t.pax]
::
++ json-rn :: json to rn parser
@ -5611,7 +5611,7 @@
++ ar :: array as list
|* wit/fist
|= jon/json ^- (list _(wit *json))
?> ?=({$a *} jon)
?> ?=({%a *} jon)
(turn p.jon wit)
:: :: ++as:dejs:format
++ as :: array as set
@ -5621,7 +5621,7 @@
++ at :: array as tuple
|* wil/(pole fist)
|= jon/json
?> ?=({$a *} jon)
?> ?=({%a *} jon)
((at-raw wil) p.jon)
:: :: ++at-raw:dejs:format
++ at-raw :: array as tuple
@ -5637,10 +5637,10 @@
==
:: :: ++bo:dejs:format
++ bo :: boolean
|=(jon/json ?>(?=({$b *} jon) p.jon))
|=(jon/json ?>(?=({%b *} jon) p.jon))
:: :: ++bu:dejs:format
++ bu :: boolean not
|=(jon/json ?>(?=({$b *} jon) !p.jon))
|=(jon/json ?>(?=({%b *} jon) !p.jon))
:: :: ++ci:dejs:format
++ ci :: maybe transform
|* {poq/gate wit/fist}
@ -5671,16 +5671,16 @@
:: :: ++ni:dejs:format
++ ni :: number as integer
|= jon/json
?> ?=({$n *} jon)
?> ?=({%n *} jon)
(rash p.jon dem)
:: :: ++no:dejs:format
++ no :: number as cord
|=(jon/json ?>(?=({$n *} jon) p.jon))
|=(jon/json ?>(?=({%n *} jon) p.jon))
:: :: ++of:dejs:format
++ of :: object as frond
|* wer/(pole {cord fist})
|= jon/json
?> ?=({$o {@ *} $~ $~} jon)
?> ?=({%o {@ *} ~ ~} jon)
|-
?- wer :: mint-vain on empty
:: {{key/@t wit/*} t/*}
@ -5695,7 +5695,7 @@
++ ot :: object as tuple
|* wer/(pole {cord fist})
|= jon/json
?> ?=({$o *} jon)
?> ?=({%o *} jon)
((ot-raw wer) p.jon)
:: :: ++ot-raw:dejs:format
++ ot-raw :: object as tuple
@ -5712,7 +5712,7 @@
++ ou :: object of units
|* wer/(pole {cord fist})
|= jon/json
?> ?=({$o *} jon)
?> ?=({%o *} jon)
((ou-raw wer) p.jon)
:: :: ++ou-raw:dejs:format
++ ou-raw :: object of units
@ -5729,7 +5729,7 @@
++ om :: object as map
|* wit/fist
|= jon/json
?> ?=({$o *} jon)
?> ?=({%o *} jon)
(~(run by p.jon) wit)
:: :: ++op:dejs:format
++ op :: parse keys of map
@ -5750,7 +5750,7 @@
(cu |*(* [pre +<]) wit)
:: :: ++sa:dejs:format
++ sa :: string as tape
|=(jon/json ?>(?=({$s *} jon) (trip p.jon)))
|=(jon/json ?>(?=({%s *} jon) (trip p.jon)))
:: :: ++se:dejs:format
++ se :: string as aura
|= aur=@tas
@ -5758,12 +5758,12 @@
?>(?=([%s *] jon) (slav aur p.jon))
:: :: ++so:dejs:format
++ so :: string as cord
|=(jon/json ?>(?=({$s *} jon) p.jon))
|=(jon/json ?>(?=({%s *} jon) p.jon))
:: :: ++su:dejs:format
++ su :: parse string
|* sab/rule
|= jon/json ^+ (wonk *sab)
?> ?=({$s *} jon)
?> ?=({%s *} jon)
(rash p.jon sab)
:: :: ++uf:dejs:format
++ uf :: unit fall
@ -5823,7 +5823,7 @@
++ ar :: array as list
|* wit/fist
|= jon/json
?. ?=({$a *} jon) ~
?. ?=({%a *} jon) ~
%- zl
|-
?~ p.jon ~
@ -5832,7 +5832,7 @@
++ at :: array as tuple
|* wil/(pole fist)
|= jon/json
?. ?=({$a *} jon) ~
?. ?=({%a *} jon) ~
?. =((lent wil) (lent p.jon)) ~
=+ raw=((at-raw wil) p.jon)
?.((za raw) ~ (some (zp raw)))
@ -5845,10 +5845,10 @@
((at-raw +.wil) ?~(jol ~ t.jol))
::
++ bo :: boolean
|=(jon/json ?.(?=({$b *} jon) ~ [~ u=p.jon]))
|=(jon/json ?.(?=({%b *} jon) ~ [~ u=p.jon]))
::
++ bu :: boolean not
|=(jon/json ?.(?=({$b *} jon) ~ [~ u=!p.jon]))
|=(jon/json ?.(?=({%b *} jon) ~ [~ u=!p.jon]))
::
++ ci :: maybe transform
|* {poq/gate wit/fist}
@ -5862,7 +5862,7 @@
::
++ da :: UTC date
|= jon/json
?. ?=({$s *} jon) ~
?. ?=({%s *} jon) ~
(bind (stud:chrono:userlib p.jon) |=(a/date (year a)))
::
++ di :: millisecond date
@ -5884,18 +5884,18 @@
::
++ ni :: number as integer
|= jon/json
?. ?=({$n *} jon) ~
?. ?=({%n *} jon) ~
(rush p.jon dem)
::
++ no :: number as cord
|= jon/json
?. ?=({$n *} jon) ~
?. ?=({%n *} jon) ~
(some p.jon)
::
++ of :: object as frond
|* wer/(pole {cord fist})
|= jon/json
?. ?=({$o {@ *} ~ ~} jon) ~
?. ?=({%o {@ *} ~ ~} jon) ~
|-
?~ wer ~
?: =(-.-.wer p.n.p.jon)
@ -5905,7 +5905,7 @@
++ ot :: object as tuple
|* wer/(pole {cord fist})
|= jon/json
?. ?=({$o *} jon) ~
?. ?=({%o *} jon) ~
=+ raw=((ot-raw wer) p.jon)
?.((za raw) ~ (some (zp raw)))
::
@ -5919,7 +5919,7 @@
++ om :: object as map
|* wit/fist
|= jon/json
?. ?=({$o *} jon) ~
?. ?=({%o *} jon) ~
(zm (~(run by p.jon) wit))
::
++ op :: parse keys of map
@ -5943,16 +5943,16 @@
::
++ sa :: string as tape
|= jon/json
?.(?=({$s *} jon) ~ (some (trip p.jon)))
?.(?=({%s *} jon) ~ (some (trip p.jon)))
::
++ so :: string as cord
|= jon/json
?.(?=({$s *} jon) ~ (some p.jon))
?.(?=({%s *} jon) ~ (some p.jon))
::
++ su :: parse string
|* sab/rule
|= jon/json
?. ?=({$s *} jon) ~
?. ?=({%s *} jon) ~
(rush p.jon sab)
::
++ ul |=(jon/json ?~(jon (some ~) ~)) :: null
@ -6254,7 +6254,7 @@
^- tape
?~ val (weld "null" rez)
?- -.val
$a
%a
:- '['
=. rez [']' rez]
!.
@ -6263,9 +6263,9 @@
?~ t.p.val ^$(val i.p.val)
^$(val i.p.val, rez [',' $(p.val t.p.val)])
::
$b (weld ?:(p.val "true" "false") rez)
$n (weld (trip p.val) rez)
$s
%b (weld ?:(p.val "true" "false") rez)
%n (weld (trip p.val) rez)
%s
:- '"'
=. rez ['"' rez]
=+ viz=(trip p.val)
@ -6277,7 +6277,7 @@
[i.hed $(viz t.viz)]
(weld hed $(viz t.viz))
::
$o
%o
:- '{'
=. rez ['}' rez]
=+ viz=~(tap by p.val)
@ -6293,9 +6293,9 @@
=+ utf=|=(a/@ ['\\' 'u' ((x-co 4):co a)])
|= a/@ ^- tape
?+ a ?:((gth a 0x1f) [a ~] (utf a))
$10 "\\n"
$34 "\\\""
$92 "\\\\"
%10 "\\n"
%34 "\\\""
%92 "\\\\"
==
-- ::en-json
:: :: ++de-json:html
@ -6404,7 +6404,7 @@
++ apex :: top level
|= {mex/manx rez/tape}
^- tape
?: ?=({$$ {{$$ *} ~}} g.mex)
?: ?=({%$ {{%$ *} ~}} g.mex)
(escp v.i.a.g.mex rez)
=+ man=`mane`n.g.mex
=. unq |(unq =(%script man) =(%style man))
@ -6441,11 +6441,11 @@
%= $
xet t.xet
rez ?- i.xet
$34 ['&' 'q' 'u' 'o' 't' ';' rez]
$38 ['&' 'a' 'm' 'p' ';' rez]
$39 ['&' '#' '3' '9' ';' rez]
$60 ['&' 'l' 't' ';' rez]
$62 ['&' 'g' 't' ';' rez]
%34 ['&' 'q' 'u' 'o' 't' ';' rez]
%38 ['&' 'a' 'm' 'p' ';' rez]
%39 ['&' '#' '3' '9' ';' rez]
%60 ['&' 'l' 't' ';' rez]
%62 ['&' 'g' 't' ';' rez]
* [i.xet rez]
==
==
@ -6901,7 +6901,7 @@
=> .(b `,(tup -.a +.a)`b)
?~ +.a [(scot -.a b) ~]
[(scot -.a -.b) `,(paf +.a)`(..$ +.a +.b)]
:- paf=|*(a/(pole) ?~(a $~ {(odo:raid ,-.a(. %ta)) ,(..$ +.a)}))
:- paf=|*(a/(pole) ?~(a ,~ {(odo:raid ,-.a(. %ta)) ,(..$ +.a)}))
^= tup
|* {a/@tas b/(pole @tas)}
=+ c=(odo:raid a)
@ -6921,9 +6921,9 @@
|= b/*
=- a(, (- b)) :: preserve face
?+ a @
$c @c $da @da $dr @dr $f @f $if @if $is @is $p @p
$u @u $uc @uc $ub @ub $ui @ui $ux @ux $uv @uv $uw @uw
$s @s $t @t $ta @ta $tas @tas
%c @c %da @da %dr @dr %f @f %if @if %is @is %p @p
%u @u %uc @uc %ub @ub %ui @ui %ux @ux %uv @uv %uw @uw
%s @s %t @t %ta @ta %tas @tas
==
:: :: :: ++read:wired
:: ++ read :: parse odored path
@ -6974,11 +6974,11 @@
^- ship
=/ mir (clan who)
?- mir
$czar who
$king (end 3 1 who)
$duke (end 4 1 who)
$earl (end 5 1 who)
$pawn (end 4 1 who)
%czar who
%king (end 3 1 who)
%duke (end 4 1 who)
%earl (end 5 1 who)
%pawn (end 4 1 who)
==
--
|%
@ -7012,7 +7012,7 @@
|= [our=ship who=ship]
^- ?
?| =(our who)
&(?=($earl (clan who)) =(our (^sein who)))
&(?=(%earl (clan who)) =(our (^sein who)))
==
-- ::title
:: ::
@ -7653,10 +7653,10 @@
^+ =+ [*date u=unit]
*{(u _[a y]) (u _m) (u _d.t) (u _+.t) ~}
:~
|-(?~(b ~ ?.(?=($y -.i.b) $(b t.b) `+.i.b)))
|-(?~(b ~ ?.(?=($m -.i.b) $(b t.b) `+.i.b)))
|-(?~(b ~ ?.(?=($d -.i.b) $(b t.b) `+.i.b)))
|-(?~(b ~ ?.(?=($t -.i.b) $(b t.b) `+.i.b)))
|-(?~(b ~ ?.(?=(%y -.i.b) $(b t.b) `+.i.b)))
|-(?~(b ~ ?.(?=(%m -.i.b) $(b t.b) `+.i.b)))
|-(?~(b ~ ?.(?=(%d -.i.b) $(b t.b) `+.i.b)))
|-(?~(b ~ ?.(?=(%t -.i.b) $(b t.b) `+.i.b)))
==
|%
:: :: ++snug:stud:chrono: