1
0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-22 06:11:31 +03:00
urbit/base/arvo/zuse.hoon

2594 lines
107 KiB
Plaintext
Raw Normal View History

2014-04-10 04:06:33 +04:00
::
2014-08-05 05:19:15 +04:00
:: zuse (3), standard library (tang)
2013-09-29 00:21:18 +04:00
::
2014-12-04 02:21:55 +03:00
~% %zuse + ~
2015-02-27 09:35:41 +03:00
!:
2013-09-29 00:21:18 +04:00
|%
:::::::::::::::::::::::::::::::::::::::::::::::::::::: ::
:::: chapter 3b, Arvo libraries ::::
:: ::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 3bA, lite number theory ::
::
2014-12-04 02:21:55 +03:00
++ dope
~/ %dope
|= a=@
~& [%dope-zuse (mug +>)]
:(mul a a a)
::
2013-09-29 00:21:18 +04:00
++ fu :: modulo (mul p q)
|= a=[p=@ q=@]
=+ b=?:(=([0 0] a) 0 (~(inv fo p.a) (~(sit fo p.a) q.a)))
|%
++ dif
|= [c=[@ @] d=[@ @]]
[(~(dif fo p.a) -.c -.d) (~(dif fo q.a) +.c +.d)]
::
++ exp
|= [c=@ d=[@ @]]
:- (~(exp fo p.a) (mod c (dec p.a)) -.d)
2013-09-29 00:21:18 +04:00
(~(exp fo q.a) (mod c (dec q.a)) +.d)
::
++ out :: garner's formula
|= c=[@ @]
%+ add
+.c
(mul q.a (~(pro fo p.a) b (~(dif fo p.a) -.c (~(sit fo p.a) +.c))))
::
++ pro
|= [c=[@ @] d=[@ @]]
[(~(pro fo p.a) -.c -.d) (~(pro fo q.a) +.c +.d)]
::
++ sum
|= [c=[@ @] d=[@ @]]
[(~(sum fo p.a) -.c -.d) (~(sum fo q.a) +.c +.d)]
::
++ sit
|= c=@
[(mod c p.a) (mod c q.a)]
--
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 3bB, cryptosuites ::
::
++ crua !: :: cryptosuite A (RSA)
2014-04-10 04:28:22 +04:00
^- acru
=| [mos=@ pon=(unit ,[p=@ q=@ r=[p=@ q=@] s=_*fu])]
=> |%
++ mx (dec (met 0 mos)) :: bit length
++ dap :: OEAP decode
|= [wid=@ xar=@ dog=@] ^- [p=@ q=@]
=+ pav=(sub wid xar)
=+ qoy=(cut 0 [xar pav] dog)
=+ dez=(mix (end 0 xar dog) (shaw %pad-b xar qoy))
[dez (mix qoy (shaw %pad-a pav dez))]
::
++ pad :: OEAP encode
|= [wid=@ rax=[p=@ q=@] meg=@] ^- @
=+ pav=(sub wid p.rax)
?> (gte pav (met 0 meg))
^- @
=+ qoy=(mix meg (shaw %pad-a pav q.rax))
=+ dez=(mix q.rax (shaw %pad-b p.rax qoy))
(can 0 [p.rax dez] [pav qoy] ~)
::
++ pull |=(a=@ (~(exp fo mos) 3 a))
++ push |=(a=@ (~(exp fo mos) 5 a))
++ pump
|= a=@ ^- @
?~ pon !!
(out.s.u.pon (exp.s.u.pon p.r.u.pon (sit.s.u.pon a)))
::
++ punt
|= a=@ ^- @
?~ pon !!
(out.s.u.pon (exp.s.u.pon q.r.u.pon (sit.s.u.pon a)))
--
|%
++ as
=> |%
2014-04-10 04:28:22 +04:00
++ haul :: revealing haul
|= a=pass
=+ [mag=(end 3 1 a) bod=(rsh 3 1 a)]
?> =('a' mag)
..as(mos bod, pon ~)
--
^?
|% ++ seal
|= [a=pass b=@ c=@]
^- @
=> .(c (sign b c))
=+ her=(haul a)
=+ det=(lte (add 256 (met 0 c)) mx.her)
=+ lip=?:(det c 0)
=- (add ?:(p.mav 0 1) (lsh 0 1 q.mav))
^= mav ^- [p=? q=@]
:- det
=+ dog=(pad mx.her [256 b] lip)
=+ hog=(push.her dog)
=+ ben=(en b c)
?:(det hog (jam hog ben))
++ sign
|= [a=@ b=@] ^- @
=- (add ?:(p.mav 0 1) (lsh 0 1 q.mav))
^= mav ^- [p=? q=@]
=+ det=(lte (add 128 (met 0 b)) mx)
:- det
=+ hec=(shaf (mix %agis a) b)
=+ dog=(pad mx [128 hec] ?:(det b 0))
=+ hog=(pump dog)
?:(det hog (jam hog b))
++ sure
|= [a=@ b=@]
^- (unit ,@)
=+ [det==(0 (end 0 1 b)) bod=(rsh 0 1 b)]
=+ gox=?:(det [p=bod q=0] ((hard ,[p=@ q=@]) (cue bod)))
=+ dog=(pull p.gox)
=+ pig=(dap mx 128 dog)
=+ log=?:(det q.pig q.gox)
?.(=(p.pig (shaf (mix %agis a) log)) ~ [~ log])
++ tear
|= [a=pass b=@]
^- (unit ,[p=@ q=@])
=+ her=(haul a)
=+ [det==(0 (end 0 1 b)) bod=(rsh 0 1 b)]
=+ gox=?:(det [p=bod q=0] ((hard ,[p=@ q=@]) (cue bod)))
=+ dog=(punt p.gox)
=+ pig=(dap mx 256 dog)
=+ ^= cow
^- (unit ,@)
?: det
2014-04-10 00:03:02 +04:00
[~ q.pig]
(de p.pig q.gox)
?~ cow ~
=> .(cow (sure:as.her p.pig u.cow))
?~ cow ~
[~ p.pig u.cow]
--
::
++ de
|+ [key=@ cep=@] ^- (unit ,@)
=+ toh=(met 8 cep)
?: (lth toh 2)
~
=+ adj=(dec toh)
=+ [hax=(end 8 1 cep) bod=(rsh 8 1 cep)]
=+ msg=(mix (~(raw og (mix hax key)) (mul 256 adj)) bod)
?. =(hax (shax (mix key (shax (mix adj msg)))))
~
[~ msg]
::
++ dy |+([a=@ b=@] (need (de a b)))
++ en
|+ [key=@ msg=@] ^- @ux
=+ len=(met 8 msg)
=+ adj=?:(=(0 len) 1 len)
=+ hax=(shax (mix key (shax (mix adj msg))))
(rap 8 hax (mix msg (~(raw og (mix hax key)) (mul 256 adj))) ~)
::
++ ex ^?
|% ++ fig ^- @uvH (shaf %afig mos)
++ pac ^- @uvG (end 6 1 (shaf %acod sec))
++ pub ^- pass (cat 3 'a' mos)
++ sec ^- ring ?~(pon !! (cat 3 'A' (jam p.u.pon q.u.pon)))
--
::
++ nu
=> |%
++ elcm
|= [a=@ b=@]
(div (mul a b) d:(egcd a b))
::
++ eldm
|= [a=@ b=@ c=@]
(~(inv fo (elcm (dec b) (dec c))) a)
::
++ ersa
|= [a=@ b=@]
[a b [(eldm 3 a b) (eldm 5 a b)] (fu a b)]
--
^?
|% ++ com
|= a=@
^+ ^?(..nu)
..nu(mos a, pon ~)
::
++ pit
|= [a=@ b=@]
=+ c=(rsh 0 1 a)
=+ [d=(ramp c [3 5 ~] b) e=(ramp c [3 5 ~] +(b))]
^+ ^?(..nu)
..nu(mos (mul d e), pon [~ (ersa d e)])
::
++ nol
|= a=@
^+ ^?(..nu)
=+ b=((hard ,[p=@ q=@]) (cue a))
..nu(mos (mul p.b q.b), pon [~ (ersa p.b q.b)])
--
--
2014-04-10 04:28:22 +04:00
++ bruw :: create keypair
2013-09-29 00:21:18 +04:00
|= [a=@ b=@] :: width seed
2014-04-10 04:28:22 +04:00
^- acru
(pit:nu:crua a b)
2013-09-29 00:21:18 +04:00
::
2014-04-10 04:28:22 +04:00
++ haul :: activate public key
2013-09-29 00:21:18 +04:00
|= a=pass
2014-04-10 04:28:22 +04:00
^- acru
2013-09-29 00:21:18 +04:00
=+ [mag=(end 3 1 a) bod=(rsh 3 1 a)]
?> =('a' mag)
2014-04-10 04:28:22 +04:00
(com:nu:crua bod)
2013-09-29 00:21:18 +04:00
::
2014-04-10 04:28:22 +04:00
++ weur :: activate secret key
2013-09-29 00:21:18 +04:00
|= a=ring
2014-04-10 04:28:22 +04:00
^- acru
2013-09-29 00:21:18 +04:00
=+ [mag=(end 3 1 a) bod=(rsh 3 1 a)]
?> =('A' mag)
2014-04-10 04:28:22 +04:00
(nol:nu:crua bod)
2013-09-29 00:21:18 +04:00
::
2014-04-10 04:28:22 +04:00
++ trua :: test rsa
2013-09-29 00:21:18 +04:00
|= msg=@tas
^- @
2014-04-10 04:28:22 +04:00
=+ ali=(bruw 1.024 (shax 'ali'))
=+ bob=(bruw 1.024 (shax 'bob'))
=+ tef=(sign:as.ali [0 msg])
=+ lov=(sure:as.ali [0 tef])
?. &(?=(^ lov) =(msg u.lov))
~|(%test-fail-sign !!)
2013-09-29 00:21:18 +04:00
=+ key=(shax (shax (shax msg)))
=+ sax=(seal:as.ali pub:ex.bob key msg)
=+ tin=(tear:as.bob pub:ex.ali sax)
2013-09-29 00:21:18 +04:00
?. &(?=(^ tin) =(key p.u.tin) =(msg q.u.tin))
~|(%test-fail-seal !!)
msg
::
++ crub :: cryptosuite B (Ed)
2014-05-19 21:48:10 +04:00
^- acru
=| [puc=pass sed=ring]
=> |%
++ dap :: OEAP decode
|= [wid=@ xar=@ dog=@] ^- [p=@ q=@]
=+ pav=(sub wid xar)
=+ qoy=(cut 0 [xar pav] dog)
=+ dez=(mix (end 0 xar dog) (shaw %pad-b xar qoy))
[dez (mix qoy (shaw %pad-a pav dez))]
::
++ pad :: OEAP encode
|= [wid=@ rax=[p=@ q=@] meg=@] ^- @
=+ pav=(sub wid p.rax)
?> (gte pav (met 0 meg))
^- @
=+ qoy=(mix meg (shaw %pad-a pav q.rax))
=+ dez=(mix q.rax (shaw %pad-b p.rax qoy))
(can 0 [p.rax dez] [pav qoy] ~)
--
|%
++ as
=> |%
++ haul :: revealing haul
|= a=pass
!!
--
^?
|% ++ seal
|= [a=pass b=@ c=@]
^- @
!!
++ sign
|= [a=@ b=@] ^- @
!!
++ sure
|= [a=@ b=@]
^- (unit ,@)
!!
++ tear
|= [a=pass b=@]
^- (unit ,[p=@ q=@])
!!
--
::
++ de
|+ [key=@ cep=@] ^- (unit ,@)
!!
::
++ dy
|+ [a=@ b=@] ^- @
!!
++ en
|+ [key=@ msg=@] ^- @ux
!!
::
++ ex ^?
|% ++ fig ^- @uvH (shaf %bfig puc)
++ pac ^- @uvG (end 6 1 (shaf %acod sec))
++ pub ^- pass (cat 3 'b' puc)
++ sec ^- ring sed
--
::
++ nu
^?
|% ++ com
|= a=@
^+ ^?(..nu)
2014-05-21 02:51:07 +04:00
..nu(sed ~, puc a)
2014-05-19 21:48:10 +04:00
::
++ pit
|= [a=@ b=@]
^+ ^?(..nu)
2014-05-21 02:51:07 +04:00
..nu(sed b, puc (puck:ed b))
2014-05-19 21:48:10 +04:00
::
++ nol
|= a=@
^+ ^?(..nu)
2014-05-21 02:51:07 +04:00
..nu(sed a, puc (puck:ed a))
2014-05-19 21:48:10 +04:00
--
--
++ brew :: create keypair
|= [a=@ b=@] :: width seed
^- acru
(pit:nu:crub a b)
::
++ hail :: activate public key
|= a=pass
^- acru
=+ [mag=(end 3 1 a) bod=(rsh 3 1 a)]
?> =('b' mag)
(com:nu:crub bod)
::
++ wear :: activate secret key
|= a=ring
^- acru
=+ [mag=(end 3 1 a) bod=(rsh 3 1 a)]
?> =('b' mag)
(nol:nu:crub bod)
::
++ trub :: test ed
|= msg=@tas
^- @
2014-05-19 21:48:10 +04:00
=+ ali=(brew 1.024 (shax 'ali'))
=+ bob=(brew 1.024 (shax 'bob'))
=+ tef=(sign:as.ali [0 msg])
=+ lov=(sure:as.ali [0 tef])
?. &(?=(^ lov) =(msg u.lov))
~|(%test-fail-sign !!)
=+ key=(shax (shax (shax msg)))
=+ sax=(seal:as.ali pub:ex.bob key msg)
=+ tin=(tear:as.bob pub:ex.ali sax)
?. &(?=(^ tin) =(key p.u.tin) =(msg q.u.tin))
~|(%test-fail-seal !!)
msg
::
2014-06-01 03:49:48 +04:00
++ hmac :: HMAC-SHA1
|= [key=@ mes=@]
2014-08-08 02:37:25 +04:00
=+ ip=(fil 3 64 0x36)
=+ op=(fil 3 64 0x5c)
=+ ^= kex
?: (gth (met 3 key) 64)
(lsh 3 44 (shan (swap 3 key)))
(lsh 3 (sub 64 (met 3 key)) (swap 3 key))
=+ inn=(shan (swap 3 (cat 3 (swap 3 mes) (mix ip kex))))
(shan (swap 3 (cat 3 inn (mix op kex))))
::
2013-09-29 00:21:18 +04:00
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
2014-04-19 07:27:19 +04:00
:: section 3bC, UTC :: Gregorian only
::
++ dawn :: Jan 1 weekday
|= yer=@ud
=+ yet=(sub yer 1)
%- mod :_ 7
:(add 1 (mul 5 (mod yet 4)) (mul 4 (mod yet 100)) (mul 6 (mod yet 400)))
2014-04-19 07:27:19 +04:00
::
++ daws :: date weekday
|= yed=date
%- mod :_ 7
(add (dawn y.yed) (sub (yawn [y.yed m.yed d.t.yed]) (yawn y.yed 1 1)))
::
2014-04-19 07:27:19 +04:00
++ deal :: to leap sec time
|= yer=@da
=+ n=0
=+ yud=(yore yer)
|- ^- date
?: (gte yer (add (snag n lef:yu) ~s1))
(yore (year yud(s.t (add n s.t.yud))))
?: &((gte yer (snag n lef:yu)) (lth yer (add (snag n lef:yu) ~s1)))
yud(s.t (add +(n) s.t.yud))
?: =(+(n) (lent lef:yu))
(yore (year yud(s.t (add +(n) s.t.yud))))
$(n +(n))
::
++ lead :: from leap sec time
|= ley=date
=+ ler=(year ley)
=+ n=0
|- ^- @da
=+ led=(sub ler (mul n ~s1))
?: (gte ler (add (snag n les:yu) ~s1))
led
?: &((gte ler (snag n les:yu)) (lth ler (add (snag n les:yu) ~s1)))
?: =(s.t.ley 60)
(sub led ~s1)
led
?: =(+(n) (lent les:yu))
(sub led ~s1)
$(n +(n))
::
++ dust :: print UTC format
|= yed=date
^- tape
=+ wey=(daws yed)
;: weld
`tape`(snag wey (turn wik:yu |=(a=tape (scag 3 a))))
", " ~(rud at d.t.yed) " "
2014-04-19 07:27:19 +04:00
`tape`(snag (dec m.yed) (turn mon:yu |=(a=tape (scag 3 a))))
" " (scag 1 ~(rud at y.yed)) (slag 2 ~(rud at y.yed)) " "
~(rud at h.t.yed) ":" ~(rud at m.t.yed) ":" ~(rud at s.t.yed)
2014-04-19 07:27:19 +04:00
" " "+0000"
==
::
2014-12-12 01:46:17 +03:00
++ stud !: :: parse UTC format
=< |= a=cord :: expose parsers
%+ biff (rush a (more sepa elem))
|= b=(list ,_(wonk *elem)) ^- (unit date)
=- ?.((za:jo -) ~ (some (zp:jo -)))
^+ =+ [*date u=unit]
*[(u ,_[a y]) (u ,_m) (u ,_d.t) (u ,_+.t) ~]
:~ :: XX types
|-(?~(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
|= a=wall
|= b=tape
=+ [pos=1 len=(lent b)]
|- ^- (unit ,@u)
?~ a ~
?: =(b (scag len i.a))
`pos
$(pos +(pos), a t.a)
::
::
++ sepa ;~(pose ;~(plug com (star ace)) (plus ace))
++ elem
;~ pose
(stag %t t) (stag %y y) (stag %m m) (stag %d d)
(stag %w w) (stag %z z)
==
::
++ y (stag %& (bass 10 (stun 3^4 dit)))
++ m (sear (snug mon:yu) (plus alf))
++ d (bass 10 (stun 1^2 dit))
++ t [;~(plug - - + (easy ~))]:[;~(sfix d col) d]
++ w (sear (snug wik:yu) (plus alf))
++ z [;~(plug (mask "-+") . .)]:(bass 10 (stun 2^2 dit))
--
::
++ unt :: UGT to UTC time
|= a=@
(div (sub a ~1970.1.1) ~s1)
2014-04-19 07:27:19 +04:00
::
++ yu :: UTC format constants
|%
2014-04-19 07:27:19 +04:00
++ mon ^- (list tape)
:~ "January" "February" "March" "April" "May" "June" "July"
"August" "September" "October" "November" "December"
==
::
++ wik ^- (list tape)
:~ "Sunday" "Monday" "Tuesday" "Wednesday" "Thursday"
"Friday" "Saturday"
2014-04-19 07:27:19 +04:00
==
::
++ les ^- (list ,@da)
:~ ~2012.7.1 ~2009.1.1 ~2006.1.1 ~1999.1.1 ~1997.7.1 ~1996.1.1
~1994.7.1 ~1993.7.1 ~1992.7.1 ~1991.1.1 ~1990.1.1 ~1988.1.1
~1985.7.1 ~1983.7.1 ~1982.7.1 ~1981.7.1 ~1980.1.1 ~1979.1.1
~1978.1.1 ~1977.1.1 ~1976.1.1 ~1975.1.1 ~1974.1.1 ~1973.1.1
~1972.7.1
2014-04-19 07:27:19 +04:00
==
++ lef ^- (list ,@da)
:~ ~2012.6.30..23.59.59 ~2008.12.31..23.59.58
2014-04-19 07:27:19 +04:00
~2005.12.31..23.59.57 ~1998.12.31..23.59.56
~1997.6.30..23.59.55 ~1995.12.31..23.59.54
~1994.6.30..23.59.53 ~1993.6.30..23.59.52
~1992.6.30..23.59.51 ~1990.12.31..23.59.50
~1989.12.31..23.59.49 ~1987.12.31..23.59.48
~1985.6.30..23.59.47 ~1983.6.30..23.59.46
~1982.6.30..23.59.45 ~1981.6.30..23.59.44
~1979.12.31..23.59.43 ~1978.12.31..23.59.42
~1977.12.31..23.59.41 ~1976.12.31..23.59.40
~1975.12.31..23.59.39 ~1974.12.31..23.59.38
~1973.12.31..23.59.37 ~1972.12.31..23.59.36
2014-04-19 07:27:19 +04:00
~1972.6.30..23.59.35
==
--
::
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 3bD, JSON and XML ::
2013-09-29 00:21:18 +04:00
::
++ moon :: mime type to text
2014-03-13 05:04:58 +04:00
|= myn=mite
2015-02-06 08:00:35 +03:00
%- crip
2013-09-29 00:21:18 +04:00
|- ^- tape
?~ myn ~
2013-12-24 00:49:15 +04:00
?: =(~ t.myn) (trip i.myn)
(weld (trip i.myn) `tape`['/' $(myn t.myn)])
2014-04-15 21:32:48 +04:00
::
2014-08-14 05:46:10 +04:00
++ perk :: pars cube fork
|* a=(pole ,@tas)
?~ a fail
;~ pose
(cold -.a (jest -.a))
$(a +.a)
==
::
++ poja :: parse JSON
2015-01-27 02:24:31 +03:00
=< |=(a=cord `(unit json)`(rush a apex))
2014-01-22 03:14:05 +04:00
|%
++ apex :: JSON value
2014-07-12 22:24:52 +04:00
%+ knee *json |. ~+
2014-12-12 01:46:17 +03:00
%+ ifix [spac spac]
;~ pose
(cold ~ (jest 'null'))
(stag %b bool)
(stag %s stri)
(cook |=(s=tape [%n p=(rap 3 s)]) numb)
abox
obox
2014-02-12 14:53:12 +04:00
==
++ tops ;~(pose abox obox) :: JSON strict
2014-02-12 14:53:12 +04:00
:: JSON arrays
++ abox (stag %a (ifix [sel (ws ser)] (more (ws com) apex)))
2014-02-12 14:53:12 +04:00
:: JSON objects
++ pair ;~(plug ;~(sfix (ws stri) (ws col)) apex)
2014-02-12 14:53:12 +04:00
++ obje (ifix [(ws kel) (ws ker)] (more (ws com) pair))
2014-10-28 21:55:44 +03:00
++ obox (stag %o (cook mo obje))
2014-02-12 14:53:12 +04:00
:: JSON booleans
++ bool ;~(pose (cold & (jest 'true')) (cold | (jest 'false')))
:: JSON strings
2014-10-28 21:55:44 +03:00
++ stri (cook crip (ifix [doq doq] (star jcha)))
++ jcha ;~(pose ;~(less doq bas prn) esca) :: character in string
2014-02-12 14:53:12 +04:00
++ esca :: Escaped character
;~ pfix bas
;~ pose
2014-10-28 21:55:44 +03:00
doq fas soq bas
(sear ~(get by `(map ,@t ,@)`(mo b/8 t/9 n/10 f/12 r/13 ~)) low)
;~(pfix (just 'u') (cook tuft qix:ab)) :: 4-digit hex to UTF-8
2014-01-22 03:14:05 +04:00
==
2014-02-12 14:53:12 +04:00
==
:: JSON numbers
++ numb
;~ (comp twel)
(mayb (piec hep))
;~ pose
(piec (just '0'))
2014-10-28 21:55:44 +03:00
;~(plug (shim '1' '9') digs)
2014-01-22 03:14:05 +04:00
==
2014-02-12 14:53:12 +04:00
(mayb frac)
(mayb expo)
==
++ digs (star (shim '0' '9'))
2014-10-28 21:55:44 +03:00
++ expo :: Exponent part
2014-02-12 14:53:12 +04:00
;~ (comp twel)
(piec (mask "eE"))
(mayb (piec (mask "+-")))
digs
==
2014-10-28 21:55:44 +03:00
++ frac ;~(plug dot digs) :: Fractional part
2014-02-12 14:53:12 +04:00
:: whitespace
++ spac (star (mask [`@`9 `@`10 `@`13 ' ' ~]))
++ ws |*(sef=_rule ;~(pfix spac sef))
:: plumbing
++ mayb |*(bus=_rule ;~(pose bus (easy "")))
++ twel |=([a=tape b=tape] (weld a b))
++ piec
2014-04-15 21:32:48 +04:00
|* bus=_rule
(cook |=(a=@ [a ~]) bus)
--
2013-09-29 00:21:18 +04:00
::
++ pojo :: print json
2014-07-12 22:24:52 +04:00
|= val=json
2013-09-29 00:21:18 +04:00
^- tape
?~ val "null"
?- -.val
%a
;: weld
"["
=| rez=tape
|- ^+ rez
?~ p.val rez
$(p.val t.p.val, rez :(weld rez ^$(val i.p.val) ?~(t.p.val ~ ",")))
"]"
==
::
%b ?:(p.val "true" "false")
%n (trip p.val)
2014-02-12 14:53:12 +04:00
%s
2014-07-06 01:26:35 +04:00
;: welp
2014-02-12 14:53:12 +04:00
"\""
%+ reel
(turn (trip p.val) jesc)
2014-07-06 01:26:35 +04:00
|=([p=tape q=tape] (welp +<))
2014-02-12 14:53:12 +04:00
"\""
==
2013-09-29 00:21:18 +04:00
%o
2014-07-06 01:26:35 +04:00
;: welp
2013-09-29 00:21:18 +04:00
"\{"
=+ viz=(~(tap by p.val) ~)
=| rez=tape
|- ^+ rez
?~ viz rez
%= $
viz t.viz
rez
2014-07-06 01:26:35 +04:00
:(welp rez "\"" (trip p.i.viz) "\":" ^$(val q.i.viz) ?~(t.viz ~ ","))
2013-09-29 00:21:18 +04:00
==
"}"
==
==
2014-04-15 21:32:48 +04:00
::
2014-10-30 23:33:15 +03:00
::
++ poxo :: node to tape
=< |=(a=manx `tape`(apex a ~))
2015-03-12 21:39:22 +03:00
|_ _[unq=`?`| cot=`?`|] :: self-close all tags
2014-10-31 06:13:40 +03:00
++ apex :: top level
2014-10-30 23:33:15 +03:00
|= [mex=manx rez=tape]
^- tape
?: ?=([%$ [[%$ *] ~]] g.mex)
(escp v.i.a.g.mex rez)
=+ man=`mane`n.g.mex
=. unq |(unq =(%script man) =(%style man))
=+ tam=(name man)
=+ att=`mart`a.g.mex
:- '<'
%+ welp tam
2014-12-04 07:58:49 +03:00
=- ?~(att rez [' ' (attr att rez)])
^- rez=tape
2015-03-12 21:39:22 +03:00
?: &(?=(~ c.mex) |(cot (clot man)))
[' ' '/' '>' rez]
2014-12-04 07:58:49 +03:00
:- '>'
(many c.mex :(weld "</" tam ">" rez))
:: ::
2014-10-30 23:33:15 +03:00
++ attr :: attributes to tape
|= [tat=mart rez=tape]
^- tape
?~ tat rez
=. rez $(tat t.tat)
;: weld
(name n.i.tat)
"=\""
(escp(unq |) v.i.tat '"' ?~(t.tat rez [' ' rez]))
==
::
++ escp :: escape for xml
|= [tex=tape rez=tape]
?: unq
(weld tex rez)
=+ xet=`tape`(flop tex)
|- ^- tape
?~ xet rez
%= $
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]
* [i.xet rez]
==
==
::
++ many :: nodelist to tape
|= [lix=(list manx) rez=tape]
|- ^- tape
?~ lix rez
(apex i.lix $(lix t.lix))
2015-03-12 21:39:22 +03:00
::
++ name :: name to tape
|= man=mane ^- tape
?@ man (trip man)
(weld (trip -.man) `tape`[':' (trip +.man)])
::
++ clot ~+ :: self-closing tags
%~ has in
%- sa ^- (list term) :~
%area %base %br %col %command %embed %hr %img %input %keygen
%link %meta %param %source %track %wbr
==
2014-10-30 23:33:15 +03:00
--
::
++ poxa :: xml parser
=< |=(a=cord (rush a apex))
2014-12-09 01:51:27 +03:00
|_ ent=_`(map term ,@t)`[[%apos '\''] ~ ~]
2014-10-30 23:33:15 +03:00
++ apex
=+ spa=;~(pose comt whit)
%+ knee *manx |. ~+
%+ ifix [(star spa) (star spa)]
;~ pose
%+ sear |=([a=marx b=marl c=mane] ?.(=(c n.a) ~ (some [a b])))
2014-12-04 07:58:49 +03:00
;~(plug head many tail)
2014-10-30 23:33:15 +03:00
empt
==
2014-12-04 07:58:49 +03:00
::
2014-10-30 23:33:15 +03:00
++ attr :: attributes
%+ knee *mart |. ~+
%- star
;~ pfix (plus whit)
;~ plug
;~(sfix name tis)
;~ pose
(ifix [doq doq] (star ;~(less doq escp)))
(ifix [soq soq] (star ;~(less soq escp)))
==
==
==
::
++ chrd :: character data
%+ cook |=(a=tape ^-(mars :/(a)))
2014-12-09 01:51:27 +03:00
(plus ;~(less doq ;~(pose (just `@`10) escp)))
2014-10-30 23:33:15 +03:00
::
++ comt :: comments
=- (ifix [(jest '<!--') (jest '-->')] (star -))
;~ pose
;~(less hep prn)
whit
;~(less (jest '-->') hep)
==
2014-12-09 01:51:27 +03:00
::
++ escp ;~(pose ;~(less gal gar pam prn) enty)
++ enty :: entity
%+ ifix pam^sem
2014-10-30 23:33:15 +03:00
;~ pose
2014-12-09 01:51:27 +03:00
=+ def=`_ent`(mo [%gt '>'] [%lt '<'] [%amp '&'] [%quot '"'] ~)
%+ sear ~(get by (~(uni by def) ent))
(cook crip ;~(plug alf (stun 1^31 aln)))
%+ cook |=(a=@c ?:((gth a 0x10.ffff) '<27>' (tuft a)))
=< ;~(pfix hax ;~(pose - +))
:- (bass 10 (stun 1^8 dit))
(bass 16 ;~(pfix (mask "xX") (stun 1^8 hit)))
2014-10-30 23:33:15 +03:00
==
2014-12-09 01:51:27 +03:00
::
2014-10-30 23:33:15 +03:00
++ empt :: self-closing tag
%+ ifix [gal (jest '/>')]
;~(plug ;~(plug name attr) (cold ~ (star whit)))
::
++ head :: opening tag
(ifix [gal gar] ;~(plug name attr))
::
2014-12-04 07:58:49 +03:00
++ many
(more (star comt) ;~(pose apex chrd))
::
2014-10-30 23:33:15 +03:00
++ name :: tag name
=+ ^= chx
%+ cook crip
;~ plug
;~(pose cab alf)
(star ;~(pose cab dot alp))
==
;~(pose ;~(plug ;~(sfix chx col) chx) chx)
::
++ tail (ifix [(jest '</') gar] name) :: closing tag
++ whit (mask ~[' ' `@`0x9 `@`0xa]) :: whitespace
--
::
2014-07-21 07:15:02 +04:00
++ jo :: json reparser
=> |% ++ grub (unit ,*)
++ fist $+(json grub)
--
|%
++ ar :: array as list
|* wit=fist
|= jon=json
?. ?=([%a *] jon) ~
%- zl
|-
?~ p.jon ~
[i=(wit i.p.jon) t=$(p.jon t.p.jon)]
::
++ at :: array as tuple
2014-07-03 06:56:33 +04:00
|* wil=(pole fist)
|= jon=json
2014-07-09 11:37:47 +04:00
?. ?=([%a *] jon) ~
=+ raw=((at-raw wil) p.jon)
2014-07-03 06:56:33 +04:00
?.((za raw) ~ (some (zp raw)))
::
++ at-raw :: array as tuple
|* wil=(pole fist)
2014-07-09 11:37:47 +04:00
|= jol=(list json)
?~ wil ~
2014-07-09 11:37:47 +04:00
:- ?~(jol ~ (-.wil i.jol))
((at-raw +.wil) ?~(jol ~ t.jol))
::
++ bo :: boolean
|=(jon=json ?.(?=([%b *] jon) ~ [~ u=p.jon]))
::
++ bu :: boolean not
|=(jon=json ?.(?=([%b *] jon) ~ [~ u=!p.jon]))
::
2014-12-06 04:18:31 +03:00
++ ci :: maybe transform
|* [poq=$+(* *) wit=fist]
|= jon=json
(biff (wit jon) poq)
::
++ cu :: transform
|* [poq=$+(* *) wit=fist]
|= jon=json
(bind (wit jon) poq)
::
++ da :: UTC date
|= jon=json
?. ?=([%s *] jon) ~
2014-12-12 01:46:17 +03:00
(bind (stud p.jon) |=(a=date (year a)))
::
++ di :: millisecond date
%- cu :_ ni
|= a=@u ^- @da
(add ~1970.1.1 (div (mul ~s1 a) 1.000))
::
++ mu :: true unit
|* wit=fist
|= jon=json
2014-10-29 04:31:16 +03:00
?~(jon (some ~) (bind (wit jon) some))
::
++ ne :: number as real
|= jon=json
^- (unit ,@rd)
!!
::
++ ni :: number as integer
|= jon=json
?. ?=([%n *] jon) ~
(rush p.jon dem)
::
++ no :: number as cord
|= jon=json
?. ?=([%n *] jon) ~
(some p.jon)
::
++ of :: object as frond
2014-07-08 22:38:07 +04:00
|* wer=(pole ,[cord fist])
|= jon=json
?. ?=([%o [@ *] ~ ~] jon) ~
|-
?~ wer ~
2014-07-08 22:38:07 +04:00
?: =(-.-.wer p.n.p.jon)
((pe -.-.wer +.-.wer) q.n.p.jon)
((of +.wer) jon)
::
++ ot :: object as tuple
2014-07-08 22:38:07 +04:00
|* wer=(pole ,[cord fist])
2014-07-03 06:56:33 +04:00
|= jon=json
2014-07-09 11:37:47 +04:00
?. ?=([%o *] jon) ~
=+ raw=((ot-raw wer) p.jon)
2014-07-03 06:56:33 +04:00
?.((za raw) ~ (some (zp raw)))
::
++ ot-raw :: object as tuple
2014-07-08 22:38:07 +04:00
|* wer=(pole ,[cord fist])
2014-07-09 11:37:47 +04:00
|= jom=(map ,@t json)
?~ wer ~
2014-07-09 11:37:47 +04:00
=+ ten=(~(get by jom) -.-.wer)
[?~(ten ~ (+.-.wer u.ten)) ((ot-raw +.wer) jom)]
::
++ om :: object as map
|* wit=fist
|= jon=json
?. ?=([%o *] jon) ~
(zm (~(run by p.jon) wit))
::
2015-01-08 04:49:57 +03:00
++ op :: parse keys of map
|* [fel=_rule wit=fist]
%+ cu mo
%- ci :_ (om wit)
|= a=(map cord ,_(need *wit))
^- (unit (list ,_[(wonk *fel) (need *wit)]))
=- (zl (turn (~(tap by a)) -))
|* [a=cord b=*]
=+ nit=(rush a fel)
?~ nit ~
(some [u.nit b])
::
++ pe :: prefix
|* [pre=* wit=fist]
(cu |*(a=* [pre a]) wit)
::
++ sa :: string as tape
|= jon=json
?.(?=([%s *] jon) ~ (some (trip p.jon)))
::
++ so :: string as cord
|= jon=json
?.(?=([%s *] jon) ~ (some p.jon))
::
++ su :: parse string
|* sab=rule
|= jon=json
?. ?=([%s *] jon) ~
(rush p.jon sab)
::
++ ul |=(jon=json ?~(jon (some ~) ~)) :: null
2014-07-03 06:56:33 +04:00
++ za :: full unit pole
|* pod=(pole (unit))
?~ pod &
?~ -.pod |
(za +.pod)
::
++ zl :: collapse unit list
|* lut=(list (unit))
?. |- ^- ?
?~(lut & ?~(i.lut | $(lut t.lut)))
~
%- some
|-
?~ lut ~
2014-07-16 03:07:39 +04:00
[i=u:+.i.lut t=$(lut t.lut)]
::
2014-07-03 06:56:33 +04:00
++ zp :: unit tuple
|* but=(pole (unit))
?~ but !!
?~ +.but
u:->.but
[u:->.but (zp +.but)]
::
++ zm :: collapse unit map
|* lum=(map term (unit))
2015-01-09 02:56:48 +03:00
?: (~(rep by lum) |=([[@ a=(unit)] b=_|] |(b ?=(~ a))))
~
(some (~(run by lum) need))
--
::
++ joba :: object from k-v pair
2014-07-12 22:24:52 +04:00
|= [p=@t q=json]
2014-04-15 21:32:48 +04:00
^- json
[%o [[p q] ~ ~]]
::
++ jobe :: object from k-v list
2014-07-12 22:24:52 +04:00
|= a=(list ,[p=@t q=json])
2014-04-15 21:32:48 +04:00
^- json
2014-07-12 22:24:52 +04:00
[%o (~(gas by *(map ,@t json)) a)]
2014-04-15 21:32:48 +04:00
::
++ jape :: string from tape
2014-04-16 04:49:11 +04:00
|= a=tape
2014-07-12 22:24:52 +04:00
^- json
2014-04-16 04:49:11 +04:00
[%s (crip a)]
::
++ jone :: number from unsigned
|= a=@u
2014-07-12 22:24:52 +04:00
^- json
2014-04-16 04:49:11 +04:00
:- %n
?: =(0 a) '0'
(crip (flop |-(^-(tape ?:(=(0 a) ~ [(add '0' (mod a 10)) $(a (div a 10))])))))
::
2015-01-11 11:00:36 +03:00
++ jode :: ms timestamp
|= a=time
=- (jone (div (mul - 1.000) ~s1))
(add (div ~s1 2.000) (sub a ~1970.1.1))
::
2014-04-16 04:49:11 +04:00
++ jesc
2015-04-17 02:22:30 +03:00
=+ utf=|=(a=@ ['\\' 'u' ((x-co 4):co a)])
2014-04-16 04:49:11 +04:00
|= a=@ ^- tape
2015-04-17 02:22:30 +03:00
?+ a ?:((gth a 0x1f) [a ~] (utf a))
2014-08-11 22:51:48 +04:00
10 "\\n"
34 "\\\""
92 "\\\\"
==
2014-03-23 01:42:25 +04:00
::
2014-08-13 03:16:30 +04:00
++ scanf :: formatted scan
|* [tape (pole ,_:/(*$&(_rule tape)))]
=> .(+< [a b]=+<)
(scan a (parsf b))
++ parsf :: make parser from:
2014-08-18 03:43:33 +04:00
|^ |* a=(pole ,_:/(*$&(_rule tape))) :: ;"chars{rule}chars"
2014-08-13 03:16:30 +04:00
%- cook :_ (bill (norm a))
|* (list)
?~ +< ~
?~ t i
[i $(+< t)]
2014-08-18 03:43:33 +04:00
::
2014-08-13 03:16:30 +04:00
:: .= (norm [;"{n}, {n}"]:n=dim:ag) ~[[& dim] [| ", "] [& dim]]:ag
++ norm
|* (pole ,_:/(*$&(_rule tape)))
?~ +< ~
=> .(+< [i=+<- t=+<+])
:_ t=$(+< t)
=+ rul=->->.i
^= i
?~ rul [%| p=rul]
?~ +.rul [%| p=rul]
?@ &2.rul [%| p=;;(tape rul)]
[%& p=rul]
2014-08-18 03:43:33 +04:00
::
2014-08-13 03:16:30 +04:00
:: .= (bill ~[[& dim] [| ", "] [& dim]]:ag)
:: ;~(plug dim ;~(pfix com ace ;~(plug dim (easy)))):ag
++ bill
|* (list (each ,_rule tape))
?~ +< (easy ~)
?: ?=(| -.i) ;~(pfix (jest (crip p.i)) $(+< t))
%+ cook |*([* *] [i t]=+<)
;~(plug p.i $(+< t))
--
::
2014-03-23 01:42:25 +04:00
++ taco :: atom to octstream
|= tam=@ ^- octs
[(met 3 tam) tam]
2013-09-29 00:21:18 +04:00
::
++ tact :: tape to octstream
|= tep=tape ^- octs
2014-03-23 01:42:25 +04:00
(taco (rap 3 tep))
2013-09-29 00:21:18 +04:00
::
2014-03-12 23:50:39 +04:00
++ tell :: wall to octstream
|= wol=wall ^- octs
=+ buf=(rap 3 (turn wol |=(a=tape (crip (weld a `tape`[`@`10 ~])))))
[(met 3 buf) buf]
2013-09-29 00:21:18 +04:00
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
2014-10-30 02:30:15 +03:00
:: section 3bF, filesystem interface ::
2013-09-29 00:21:18 +04:00
::
2014-10-30 02:30:15 +03:00
++ feel :: simple file write
2015-02-27 09:35:41 +03:00
|= [pax=path val=cage]
2014-10-30 02:30:15 +03:00
^- miso
=+ dir=((hard arch) .^(%cy pax))
?~ q.dir [%ins val]
=+ for=((hard mark) -:(flop pax))
[%mut [for [%atom %$] .^(%cx pax)] val]
2014-10-30 02:30:15 +03:00
::
++ file :: simple file load
|= pax=path
^- (unit)
=+ dir=((hard arch) .^(%cy pax))
?~(q.dir ~ [~ .^(%cx pax)])
::
++ foal :: high-level write
2015-02-27 09:35:41 +03:00
|= [pax=path val=cage]
2014-10-30 02:30:15 +03:00
^- toro
?> ?=([* * * *] pax)
[i.t.pax [%& [*cart [[t.t.t.pax (feel pax val)] ~]]]]
::
++ fray :: high-level delete
|= pax=path
^- toro
?> ?=([* * * *] pax)
2015-02-27 09:35:41 +03:00
[i.t.pax [%& [*cart [[t.t.t.pax [%del %$ !>(.^(%cx pax))]] ~]]]]
2014-10-30 02:30:15 +03:00
::
++ furl :: unify changes
|= [one=toro two=toro]
^- toro
~| %furl
?> ?& =(p.one p.two) :: same path
&(?=(& -.q.one) ?=(& -.q.two)) :: both deltas
==
2015-02-27 09:35:41 +03:00
[p.one [%& [*cart (weld q.p.q.one q.p.q.two)]]]
2014-10-30 02:30:15 +03:00
::
++ tame :: parse kite path
|= hap=path
^- (unit kite)
?. ?=([@ @ @ @ *] hap) ~
=+ :* hyr=(slay i.hap)
fal=(slay i.t.hap)
dyc=(slay i.t.t.hap)
ved=(slay i.t.t.t.hap)
:: ved=(slay i.t.hap)
:: fal=(slay i.t.t.hap)
:: dyc=(slay i.t.t.t.hap)
tyl=t.t.t.t.hap
==
?. ?=([~ %$ %tas @] hyr) ~
?. ?=([~ %$ %p @] fal) ~
?. ?=([~ %$ %tas @] dyc) ~
?. ?=([~ %$ case] ved) ~
=+ his=`@p`q.p.u.fal
=+ [dis=(end 3 1 q.p.u.hyr) rem=(rsh 3 1 q.p.u.hyr)]
?. ?&(?=(%c dis) ?=(?(%v %w %x %y %z) rem)) ~
[~ rem p.u.ved q.p.u.fal q.p.u.dyc tyl]
::
++ tome :: parse path to beam
|= pax=path
^- (unit beam)
?. ?=([* * * *] pax) ~
%+ biff (slaw %p i.pax)
|= who=ship
%+ biff (slaw %tas i.t.pax)
|= dex=desk
%+ biff (slay i.t.t.pax)
|= cis=coin
?. ?=([%$ case] cis) ~
`(unit beam)`[~ [who dex `case`p.cis] (flop t.t.t.pax)]
::
++ tope :: beam to path
|= bem=beam
^- path
[(scot %p p.bem) q.bem (scot r.bem) (flop s.bem)]
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 3bG, URL handling ::
2013-09-29 00:21:18 +04:00
::
++ deft :: parse url extension
2013-09-29 00:21:18 +04:00
|= rax=(list ,@t)
|- ^- pork
?~ rax
[~ ~]
?^ t.rax
2015-02-26 04:20:45 +03:00
[p.pok [ire q.pok]]:[pok=$(rax t.rax) ire=i.rax]
2015-02-10 01:15:34 +03:00
=+ ^- raf=(like tape)
%. [1^1 (flop (trip i.rax))]
2015-02-26 04:20:45 +03:00
;~(sfix (star ;~(less dot next)) dot)
2015-02-10 01:15:34 +03:00
?~ q.raf
[~ [i.rax ~]]
2015-02-10 01:15:34 +03:00
=+ `[ext=tape [@ @] fyl=tape]`u.q.raf
2015-02-26 04:20:45 +03:00
:- ?:(=(~ ext) ~ [~ (crip (flop ext))])
2015-03-18 00:21:21 +03:00
?:(=(~ fyl) ~ [(crip (flop fyl)) ~])
2013-09-29 00:21:18 +04:00
::
2014-07-10 03:12:26 +04:00
++ fuel :: parse fcgi
|= [bem=beam but=path]
^- epic
2014-07-10 04:48:53 +04:00
?> ?=([%web @ *] but)
=+ dyb=(slay i.t.but)
2014-03-20 05:05:42 +04:00
?> ?& ?=([~ %many *] dyb)
2014-03-26 04:48:22 +04:00
?=([* * *] p.u.dyb)
2015-02-06 08:00:35 +03:00
?=([%$ %ta *] i.p.u.dyb)
2014-03-26 04:48:22 +04:00
?=([%blob *] i.t.p.u.dyb)
2014-03-20 05:05:42 +04:00
==
2014-03-26 04:48:22 +04:00
=+ ced=((hard cred) p.i.t.p.u.dyb)
2014-07-09 13:40:49 +04:00
:: =+ nep=q.p.i.p.u.dyb
2014-03-20 05:05:42 +04:00
=+ ^= gut ^- (list ,@t)
2014-03-26 04:48:22 +04:00
%+ turn t.t.p.u.dyb
2014-03-20 05:05:42 +04:00
|= a=coin ^- @t
?> ?=([%$ %t @] a)
?>(((sane %t) q.p.a) q.p.a)
=+ ^= quy
2014-03-20 05:05:42 +04:00
|- ^- (list ,[p=@t q=@t])
?~ gut ~
?> ?=(^ t.gut)
[[i.gut i.t.gut] $(gut t.t.gut)]
2014-07-09 11:37:47 +04:00
:* (~(gas by *(map cord cord)) quy)
2014-03-20 05:05:42 +04:00
ced
2014-08-02 03:39:15 +04:00
bem
2014-07-10 04:48:53 +04:00
t.t.but
2014-03-20 05:05:42 +04:00
==
::
2014-10-30 02:30:15 +03:00
++ sifo :: 64-bit encode
|= tig=@
^- tape
2014-10-30 03:09:03 +03:00
=+ poc=(~(dif fo 3) 0 (met 3 tig))
2014-10-30 02:30:15 +03:00
=+ pad=(lsh 3 poc (swap 3 tig))
2014-10-30 03:09:03 +03:00
=+ ^= cha
'ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/'
2014-10-30 02:30:15 +03:00
=+ ^= sif
|- ^- tape
?~ pad
~
=+ d=(end 0 6 pad)
2014-11-03 10:49:09 +03:00
[(cut 3 [d 1] cha) $(pad (rsh 0 6 pad))]
2015-03-09 23:06:00 +03:00
(weld (flop (slag poc sif)) (reap poc '='))
::
2015-03-11 21:13:56 +03:00
++ ofis :: XX broken
2015-03-09 23:06:00 +03:00
=- |=(a=cord (rash a fel))
2015-03-11 21:13:56 +03:00
=- fel=;~(sfix (boss 64 (plus siw)) (stun 0^2 tis))
2015-03-09 23:06:00 +03:00
^= siw
;~ pose
dit
(cook |=(a=@ (sub a (sub 'A' 10))) (shim 'A' 'Z'))
(cook |=(a=@ (sub a (sub 'a' 36))) (shim 'a' 'z'))
2015-03-11 21:13:56 +03:00
(cold 62 (just '+'))
(cold 63 (just '/'))
2015-03-09 23:06:00 +03:00
==
2014-10-30 02:30:15 +03:00
::
:: .= ~[p=~.ack q=~.~sarnel r=~..y]
:: (dray ~[p=%tas q=%p r=%f] %ack ~sarnel &)
++ dray :: load tuple into path
=- |* [a=[@tas (pole ,@tas)] b=*] ^- (paf a)
=> .(b `(tup a)`b)
?~ +.a [(scot -.a b) ~]
[(scot -.a -.b) `(paf +.a)`(..$ +.a +.b)]
:- paf=|*(a=(pole) ?~(a ,~ ,[(odo:raid -.a(. %ta)) (..$ +.a)]))
tup=|*([a=@tas b=(pole ,@tas)] =+(c=(odo:raid a) ?~(b c ,[c (..$ b)])))
::
2015-03-12 02:25:07 +03:00
:: .= [p=%ack q=~sarnel r=&]
:: (raid /ack/~sarnel/.y p=%tas q=%p r=%f ~)
++ raid :: demand path odors
=- |* [a=path b=[@tas (pole ,@tas)]]
?~ +.b `(odo -.b)`(slav -.b -.a)
[`(odo -.b)`(slav -.b -.a) (..$ +.a +.b)]
^= odo
|* a=@tas
|= 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
==
::
++ read :: parse odored path
=< |*([a=path b=[@tas (pole ,@tas)]] ((+> b) a))
|* b=[@tas (pole ,@tas)]
|= a=path
?~ a ~
=+ hed=(slaw -.b i.a)
?~ +.b
^- (unit (odo:raid -.b))
?^(+.a ~ hed)
^- (unit ,[(odo:raid -.b) _(need *(..^$ +.b))])
(both hed ((..^$ +.b) +.a))
2014-10-30 02:30:15 +03:00
::
2014-04-21 21:02:09 +04:00
++ urle :: URL encode
|= tep=tape
^- tape
%- zing
%+ turn tep
|= tap=char
=+ xen=|=(tig=@ ?:((gte tig 10) (add tig 55) (add tig '0')))
?: ?| &((gte tap 'a') (lte tap 'z'))
&((gte tap 'A') (lte tap 'Z'))
&((gte tap '0') (lte tap '9'))
=('.' tap)
=('-' tap)
=('~' tap)
=('_' tap)
2014-04-21 21:02:09 +04:00
==
[tap ~]
['%' (xen (rsh 0 4 tap)) (xen (end 0 4 tap)) ~]
2014-04-21 21:02:09 +04:00
::
++ urld :: URL decode
|= tep=tape
^- (unit tape)
?~ tep [~ ~]
?: =('%' i.tep)
?. ?=([@ @ *] t.tep) ~
=+ nag=(mix i.t.tep (lsh 3 1 i.t.t.tep))
=+ val=(rush nag hex:ag)
?~ val ~
=+ nex=$(tep t.t.t.tep)
?~(nex ~ [~ [`@`u.val u.nex]])
=+ nex=$(tep t.tep)
?~(nex ~ [~ i.tep u.nex])
::
2014-11-03 11:05:07 +03:00
++ earl :: localize purl
2014-04-21 21:02:09 +04:00
|= [who=@p pul=purl]
^- purl
pul(q.q [(rsh 3 1 (scot %p who)) q.q.pul])
::
++ earn :: purl to tape
2015-02-17 01:06:58 +03:00
=< |=(pul=purl `tape`(apex ~ pul))
|%
++ apex
|= qur=quri
?- -.qur
%& (weld (head p.p.qur) `tape`['/' $(qur [%| +.p.qur])])
%| (weld (body p.qur) (tail q.qur))
==
2014-04-21 21:02:09 +04:00
::
++ body
2014-11-03 11:05:07 +03:00
|= pok=pork ^- tape
2014-11-03 11:28:58 +03:00
?~ q.pok ~
|-
2014-11-03 11:05:07 +03:00
=+ seg=(trip i.q.pok)
2014-11-03 11:28:58 +03:00
?~ t.q.pok
?~(p.pok seg (welp seg '.' (trip u.p.pok)))
(welp seg '/' $(q.pok t.q.pok))
2014-04-21 21:02:09 +04:00
::
++ head
2014-11-03 11:05:07 +03:00
|= har=hart
2014-04-21 21:02:09 +04:00
^- tape
;: weld
2015-01-15 04:47:51 +03:00
?:(&(p.har !?=(hoke r.har)) "https://" "http://")
2014-04-21 21:02:09 +04:00
::
2014-11-03 11:05:07 +03:00
?- -.r.har
| (trip (rsh 3 1 (scot %if p.r.har)))
& =+ rit=(flop p.r.har)
2014-04-21 21:02:09 +04:00
|- ^- tape
?~(rit ~ (weld (trip i.rit) ?~(t.rit "" `tape`['.' $(rit t.rit)])))
==
::
2014-11-03 11:05:07 +03:00
?~(q.har ~ `tape`[':' (trip (rsh 3 2 (scot %ui u.q.har)))])
2014-04-21 21:02:09 +04:00
==
::
++ tail
2014-11-03 11:05:07 +03:00
|= kay=quay
2014-04-21 21:02:09 +04:00
^- tape
2014-11-03 11:05:07 +03:00
?: =(~ kay) ~
2014-04-21 21:02:09 +04:00
:- '?'
|- ^- tape
2014-11-03 11:05:07 +03:00
?~ kay ~
2015-02-17 01:06:58 +03:00
;: welp
2014-11-03 11:28:58 +03:00
(urle (trip p.i.kay))
2015-02-17 01:06:58 +03:00
?~(q.i.kay ~ ['=' (urle (trip q.i.kay))])
2014-11-03 11:05:07 +03:00
?~(t.kay ~ `tape`['&' $(kay t.kay)])
2014-04-21 21:02:09 +04:00
==
--
::
2015-03-27 22:43:27 +03:00
++ urlp :: url/header parser
2013-09-29 00:21:18 +04:00
|%
++ apat :: 2396 abs_path
%+ cook deft
(ifix [fas ;~(pose fas (easy ~))] (more fas smeg))
2014-11-04 23:32:09 +03:00
++ auri :: 2396 URL
2014-04-23 21:02:36 +04:00
%+ cook
|= a=purl
2015-01-15 04:47:51 +03:00
?.(?=(hoke r.p.a) a a(p.p &))
2013-09-29 00:21:18 +04:00
;~ plug
;~ plug
%+ sear
|= a=@t
2013-09-29 00:21:18 +04:00
^- (unit ,?)
?+(a ~ %http [~ %|], %https [~ %&])
;~(sfix scem ;~(plug col fas fas))
thor
==
2014-03-03 02:31:03 +04:00
;~(plug ;~(pose apat (easy *pork)) yque)
==
2014-03-04 23:17:34 +04:00
++ cock :: cookie
(most ;~(plug sem ace) ;~(plug toke ;~(pfix tis tosk)))
2013-09-29 00:21:18 +04:00
++ dlab :: 2396 domainlabel
%+ sear
|= a=@ta
2014-10-11 01:16:19 +04:00
?.(=('-' (rsh 3 (dec (met 3 a)) a)) [~ u=a] ~)
2013-09-29 00:21:18 +04:00
%+ cook cass
;~(plug aln (star alp))
::
++ fque (cook crip (plus pquo)) :: normal query field
++ fquu (cook crip (star pquo)) :: optional field
2013-09-29 00:21:18 +04:00
++ pcar ;~(pose pure pesc psub col pat) :: 2396 path char
2014-11-04 23:32:09 +03:00
++ pcok ;~(less bas sem com doq prn) :: cookie char
2013-09-29 00:21:18 +04:00
++ pesc ;~(pfix cen mes) :: 2396 escaped
++ pold (cold ' ' (just '+')) :: old space code
++ pque ;~(pose pcar fas wut) :: 3986 query char
2015-02-17 01:06:58 +03:00
++ pquo ;~(pose pure pesc pold fas wut) :: normal query char
2013-09-29 00:21:18 +04:00
++ pure ;~(pose aln hep dot cab sig) :: 2396 unreserved
++ psub ;~ pose :: 3986 sub-delims
zap buc pam soq pel per
2013-09-29 00:21:18 +04:00
tar lus com sem tis
==
2014-03-04 23:17:34 +04:00
++ ptok ;~ pose :: 2616 token
aln zap hax buc cen pam soq tar lus
2014-03-20 05:05:42 +04:00
hep dot ket cab tec bar sig
2014-03-04 23:17:34 +04:00
==
2013-09-29 00:21:18 +04:00
++ scem :: 2396 scheme
%+ cook cass
;~(plug alf (star ;~(pose aln lus hep dot)))
::
++ smeg (cook crip (plus pcar)) :: 2396 segment
2014-03-04 23:17:34 +04:00
++ tock (cook crip (plus pcok)) :: 6265 cookie-value
++ tosk ;~(pose tock (ifix [doq doq] tock)) :: 6265 cookie-value
++ toke (cook crip (plus ptok)) :: 2616 token
2013-09-29 00:21:18 +04:00
++ thor :: 2396 host/port
2013-12-21 06:35:33 +04:00
%+ cook |*(a=[* *] [+.a -.a])
2013-09-29 00:21:18 +04:00
;~ plug
thos
;~((bend) (easy ~) ;~(pfix col dim:ag))
2013-09-29 00:21:18 +04:00
==
++ thos :: 2396 host, no local
;~ plug
;~ pose
%+ stag %&
%+ sear :: LL parser weak here
|= a=(list ,@t)
=+ b=(flop a)
?> ?=(^ b)
=+ c=(end 3 1 i.b)
?.(&((gte c 'a') (lte c 'z')) ~ [~ u=b])
(most dot dlab)
::
%+ stag %|
=+ tod=(ape:ag ted:ab)
2013-09-29 00:21:18 +04:00
%+ bass 256
;~(plug tod (stun [3 3] ;~(pfix dot tod)))
==
==
++ yque :: query ending
;~ pose
;~(pfix wut yquy)
(easy ~)
==
++ yquy :: query
;~ pose :: proper query
%+ more
;~(pose pam sem)
;~(plug fque ;~(pose ;~(pfix tis fquu) (easy '')))
2013-09-29 00:21:18 +04:00
::
%+ cook :: funky query
|=(a=tape [[%$ (crip a)] ~])
(star pque)
==
++ zest :: 2616 request-uri
;~ pose
(stag %& (cook |=(a=purl a) auri))
(stag %| ;~(plug apat yque))
==
--
2015-03-27 22:43:27 +03:00
++ epur :: url/header parser
=>(urlp |=(a=cord `(unit purl)`(rush a auri)))
2013-09-29 00:21:18 +04:00
::
2014-10-30 02:30:15 +03:00
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 3bH, names etc ::
2014-03-06 01:42:47 +04:00
::
2014-10-30 02:30:15 +03:00
++ clan :: ship to rank
|= who=ship ^- rank
=+ wid=(met 3 who)
?: (lte wid 1) %czar
?: =(2 wid) %king
?: (lte wid 4) %duke
?: (lte wid 8) %earl
?> (lte wid 16) %pawn
2014-03-06 01:42:47 +04:00
::
2014-10-30 03:09:03 +03:00
++ glam :: carrier names
2014-10-28 21:55:44 +03:00
|= zar=@pD ^- tape
2014-08-01 00:23:02 +04:00
%+ snag zar
^- (list tape)
:~ "Tianming" "Pepin the Short" "Haile Selassie" "Alfred the Great"
"Tamerlane" "Pericles" "Talleyrand" "Yongle" "Seleucus"
"Uther Pendragon" "Louis XVI" "Ahmad Shāh Durrānī" "Constantine"
"Wilhelm I" "Akbar" "Louis XIV" "Nobunaga" "Alexander VI"
"Philippe II" "Julius II" "David" "Niall Noígíallach" "Kublai Khan"
"Öz Beg Khan" "Ozymandias" "Ögedei Khan" "Jiang Jieshi" "Darius"
"Shivaji" "Qianlong" "Bolesław I Chrobry" "Tigranes" "Han Wudi"
"Charles X" "Naresuan" "Frederick II" "Simeon" "Kangxi"
"Suleiman the Magnificent" "Pedro II" "Genghis Khan" "Laozi"
"Porfirio Díaz" "Pakal" "Wu Zetian" "Garibaldi" "Matthias Corvinus"
"Leopold II" "Leonidas" "Sitting Bull" "Nebuchadnezzar II"
"Rhodes" "Henry VIII" "Attila" "Catherine II" "Chulalongkorn"
"Uthmān" "Augustus" "Faustin" "Chongde" "Justinian"
"Afonso de Albuquerque" "Antoninus Pius" "Cromwell" "Innocent X"
"Fidel" "Frederick the Great" "Canute" "Vytautas" "Amina"
"Hammurabi" "Suharto" "Victoria" "Hiawatha" "Paul V" "Shaka"
"Lê Thánh Tông" "Ivan Asen II" "Tiridates" "Nefertiti" "Gwangmu"
"Ferdinand & Isabella" "Askia" "Xuande" "Boris Godunov" "Gilgamesh"
"Maximillian I" "Mao" "Charlemagne" "Narai" "Hanno" "Charles I & V"
"Alexander II" "Mansa Musa" "Zoe Porphyrogenita" "Metternich"
"Robert the Bruce" "Pachacutec" "Jefferson" "Solomon" "Nicholas I"
"Barbarossa" "FDR" "Pius X" "Gwanggaeto" "Abbas I" "Julius Caesar"
"Lee Kuan Yew" "Ranavalona I" "Go-Daigo" "Zenobia" "Henry V"
"Bảo Đại" "Casimir III" "Cyrus" "Charles the Wise" "Sandrokottos"
"Agamemnon" "Clement VII" "Suppiluliuma" "Deng Xiaoping"
"Victor Emmanuel" "Ajatasatru" "Jan Sobieski" "Huangdi" "Xuantong"
"Narmer" "Cosimo de' Medici" "Möngke Khan" "Stephen Dušan" "Henri IV"
"Mehmed Fatih" "Conn Cétchathach" "Francisco Franco" "Leo X"
"Kammu" "Krishnadevaraya" "Elizabeth I" "Norton I" "Washington"
"Meiji" "Umar" "TR" "Peter the Great" "Agustin I" "Ashoka"
"William the Conqueror" "Kongolo Mwamba" "Song Taizu"
"Ivan the Terrible" "Yao" "Vercingetorix" "Geronimo" "Rurik"
"Urban VIII" "Alexios Komnenos" "Maria I" "Tamar" "Bismarck"
"Arthur" "Jimmu" "Gustavus Adolphus" "Suiko" "Basil I" "Montezuma"
"Santa Anna" "Xerxes" "Beyazıt Yıldırım" "Samudragupta" "James I"
"George III" "Kamehameha" "Francesco Sforza" "Trajan"
"Rajendra Chola" "Hideyoshi" "Cleopatra" "Alexander"
"Ashurbanipal" "Paul III" "Vespasian" "Tecumseh" "Narasimhavarman"
"Suryavarman II" "Bokassa I" "Charles Canning" "Theodosius"
"Francis II" "Zhou Wen" "William Jardine" "Ahmad al-Mansur"
"Lajos Nagy" "Theodora" "Mussolini" "Samuil" "Osman Gazi"
"Kim Il-sung" "Maria Theresa" "Lenin" "Tokugawa" "Marcus Aurelius"
"Nzinga Mbande" "Edward III" "Joseph II" "Pulakesi II" "Priam"
"Qin Shi Huang" "Shah Jahan" "Sejong" "Sui Wendi" "Otto I"
"Napoleon III" "Prester John" "Dido" "Joao I" "Gregory I"
"Gajah Mada" "Abd-ar Rahmān III" "Taizong" "Franz Josef I"
"Nicholas II" "Gandhi" "Chandragupta II" "Peter III"
"Oba Ewuare" "Louis IX" "Napoleon" "Selim Yavuz" "Shun"
"Hayam Wuruk" "Jagiełło" "Nicaule" "Sargon" "Saladin" "Charles II"
"Brian Boru" "Da Yu" "Antiochus III" "Charles I"
"Jan Pieterszoon Coen" "Hongwu" "Mithridates" "Hadrian" "Ptolemy"
"Benito Juarez" "Sun Yat-sen" "Raja Raja Chola" "Bolivar" "Pius VII"
"Shapur II" "Taksin" "Ram Khamhaeng" "Hatshepsut" "Alī" "Matilda"
"Ataturk"
==
2013-09-29 00:21:18 +04:00
::
2014-10-30 03:09:03 +03:00
++ glon :: ISO language codes
2013-09-29 00:21:18 +04:00
|= lag=lang
^- (unit tape)
?+ lag ~
2014-08-01 00:23:02 +04:00
%aa [~ "Afar"]
%ab [~ "Abkhazian"]
%ae [~ "Avestan"]
%af [~ "Afrikaans"]
%ak [~ "Akan"]
%am [~ "Amharic"]
%an [~ "Aragonese"]
%ar [~ "Arabic"]
%as [~ "Assamese"]
%av [~ "Avaric"]
%ay [~ "Aymara"]
%az [~ "Azerbaijani"]
%ba [~ "Bashkir"]
%be [~ "Belarusian"]
%bg [~ "Bulgarian"]
%bh [~ "Bihari"]
%bi [~ "Bislama"]
%bm [~ "Bambara"]
%bn [~ "Bengali"]
%bo [~ "Tibetan"]
%br [~ "Breton"]
%bs [~ "Bosnian"]
%ca [~ "Catalan"]
%ce [~ "Chechen"]
%ch [~ "Chamorro"]
%co [~ "Corsican"]
%cr [~ "Cree"]
%cs [~ "Czech"]
%cu [~ "Slavonic"]
%cv [~ "Chuvash"]
%cy [~ "Welsh"]
%da [~ "Danish"]
%de [~ "German"]
%dv [~ "Maldivian"]
%dz [~ "Dzongkha"]
%ee [~ "Ewe"]
%el [~ "Greek"]
%en [~ "English"]
%eo [~ "Esperanto"]
%es [~ "Spanish"]
%et [~ "Estonian"]
%eu [~ "Basque"]
%fa [~ "Persian"]
%ff [~ "Fulah"]
%fi [~ "Finnish"]
%fj [~ "Fijian"]
%fo [~ "Faroese"]
%fr [~ "French"]
%fy [~ "Frisian"]
%ga [~ "Irish Gaelic"]
%gd [~ "Scottish Gaelic"]
%gl [~ "Galician"]
%gn [~ "Guarani"]
%gu [~ "Gujarati"]
%gv [~ "Manx"]
%ha [~ "Hausa"]
%he [~ "Hebrew"]
%hi [~ "Hindi"]
%ho [~ "Hiri Motu"]
%hr [~ "Croatian"]
%ht [~ "Haitian Creole"]
%hu [~ "Hungarian"]
%hy [~ "Armenian"]
%hz [~ "Herero"]
%ia [~ "Interlingua"]
%id [~ "Indonesian"]
%ie [~ "Occidental"]
%ig [~ "Igbo"]
%ii [~ "Nuosu"]
%ik [~ "Inupiaq"]
%io [~ "Ido"]
%is [~ "Icelandic"]
%it [~ "Italian"]
%iu [~ "Inuktitut"]
%ja [~ "Japanese"]
%jv [~ "Javanese"]
%ka [~ "Georgian"]
%kg [~ "Kongo"]
%ki [~ "Kikuyu"]
%kj [~ "Kwanyama"]
%kk [~ "Kazakh"]
%kl [~ "Kalaallisut"]
%km [~ "Central Khmer"]
%kn [~ "Kannada"]
%ko [~ "Korean"]
%kr [~ "Kanuri"]
%ks [~ "Kashmiri"]
%ku [~ "Kurdish"]
%kv [~ "Komi"]
%kw [~ "Cornish"]
%ky [~ "Kyrgyz"]
%la [~ "Latin"]
%lb [~ "Luxembourgish"]
%lg [~ "Ganda"]
%li [~ "Limburgish"]
%ln [~ "Lingala"]
%lo [~ "Lao"]
%lt [~ "Lithuanian"]
%lu [~ "Luba-Katanga"]
%lv [~ "Latvian"]
%mg [~ "Malagasy"]
%mh [~ "Marshallese"]
%mi [~ "Maori"]
%mk [~ "Macedonian"]
%ml [~ "Malayalam"]
%mn [~ "Mongolian"]
%mr [~ "Marathi"]
%ms [~ "Malay"]
%mt [~ "Maltese"]
%my [~ "Burmese"]
%na [~ "Nauru"]
%nb [~ "Norwegian Bokmål"]
%nd [~ "North Ndebele"]
%ne [~ "Nepali"]
%ng [~ "Ndonga"]
%nl [~ "Dutch"]
%nn [~ "Norwegian Nynorsk"]
%no [~ "Norwegian"]
%nr [~ "South Ndebele"]
%nv [~ "Navajo"]
%ny [~ "Chichewa"]
%oc [~ "Occitan"]
%oj [~ "Ojibwa"]
%om [~ "Oromo"]
%or [~ "Oriya"]
%os [~ "Ossetian"]
%pa [~ "Punjabi"]
%pi [~ "Pali"]
%pl [~ "Polish"]
%ps [~ "Pashto"]
%pt [~ "Portuguese"]
%qu [~ "Quechua"]
%rm [~ "Romansh"]
%rn [~ "Rundi"]
%ro [~ "Romanian"]
%ru [~ "Russian"]
%rw [~ "Kinyarwanda"]
%sa [~ "Sanskrit"]
%sc [~ "Sardinian"]
%sd [~ "Sindhi"]
%se [~ "Northern Sami"]
%sg [~ "Sango"]
%si [~ "Sinhala"]
%sk [~ "Slovak"]
%sl [~ "Slovenian"]
%sm [~ "Samoan"]
%sn [~ "Shona"]
%so [~ "Somali"]
%sq [~ "Albanian"]
%sr [~ "Serbian"]
%ss [~ "Swati"]
%st [~ "Sotho"]
%su [~ "Sundanese"]
%sv [~ "Swedish"]
%sw [~ "Swahili"]
%ta [~ "Tamil"]
%te [~ "Telugu"]
%tg [~ "Tajik"]
%th [~ "Thai"]
%ti [~ "Tigrinya"]
%tk [~ "Turkmen"]
%tl [~ "Tagalog"]
%tn [~ "Tswana"]
%to [~ "Tonga"]
%tr [~ "Turkish"]
%ts [~ "Tsonga"]
%tt [~ "Tatar"]
%tw [~ "Twi"]
%ty [~ "Tahitian"]
%ug [~ "Uighur"]
%uk [~ "Ukrainian"]
%ur [~ "Urdu"]
%uz [~ "Uzbek"]
%ve [~ "Venda"]
%vi [~ "Vietnamese"]
%vo [~ "Volapük"]
%wa [~ "Walloon"]
%wo [~ "Wolof"]
%xh [~ "Xhosa"]
%yi [~ "Yiddish"]
%yo [~ "Yoruba"]
%za [~ "Zhuang"]
%zh [~ "Chinese"]
%zu [~ "Zulu"]
2013-09-29 00:21:18 +04:00
==
::
2014-10-30 02:30:15 +03:00
++ gnom :: ship display name
|= [[our=@p now=@da] him=@p] ^- @t
=+ yow=(scot %p him)
=+ pax=[(scot %p our) %name (scot %da now) yow ~]
=+ woy=((hard ,@t) .^(%a pax))
?: =(%$ woy) yow
(rap 3 yow ' ' woy ~)
::
2013-09-29 00:21:18 +04:00
++ gnow
|= [who=@p gos=gcos] ^- @t
?- -.gos
%czar (rap 3 '|' (rap 3 (glam who)) '|' ~)
%king (rap 3 '_' p.gos '_' ~)
%earl (rap 3 ':' p.gos ':' ~)
%pawn ?~(p.gos %$ (rap 3 '.' u.p.gos '.' ~))
%duke
?: ?=(%anon -.p.gos) %$
%+ rap 3
^- (list ,@)
?- -.p.gos
2013-11-08 05:36:28 +04:00
%punk ~['"' q.p.gos '"']
2013-09-29 00:21:18 +04:00
?(%lord %lady)
=+ ^= nad
=+ nam=`name`s.p.p.gos
%+ rap 3
:~ p.nam
?~(q.nam 0 (cat 3 ' ' u.q.nam))
?~(r.nam 0 (rap 3 ' (' u.r.nam ')' ~))
' '
s.nam
==
?:(=(%lord -.p.gos) ~['[' nad ']'] ~['(' nad ')'])
==
==
::
2014-07-02 02:51:42 +04:00
++ hunt :: first of unit dates
2013-09-29 00:21:18 +04:00
|= [one=(unit ,@da) two=(unit ,@da)]
^- (unit ,@da)
?~ one two
?~ two one
?:((lth u.one u.two) one two)
::
2015-02-10 04:52:29 +03:00
:: ++ mojo :: compiling load
:: |= [pax=path src=*]
:: ^- (each twig (list tank))
:: ?. ?=(@ src)
:: [%| ~[[leaf/"musk: malformed: {<pax>}"]]]
:: =+ ^= mud
:: %- mule |.
:: ((full vest) [1 1] (trip src))
:: ?: ?=(| -.mud) mud
:: ?~ q.p.mud
:: :~ %|
:: leaf/"musk: syntax error: {<pax>}"
:: leaf/"musk: line {<p.p.p.mud>}, column {<q.p.p.mud>}"
:: ==
:: [%& p.u.q.p.mud]
:: ::
2014-05-07 21:42:31 +04:00
++ mole :: new to old sky
|= ska=$+(* (unit (unit)))
|= a=*
^- (unit)
=+ b=(ska a)
?~ b ~
?~ u.b ~
[~ u.u.b]
2015-02-10 04:52:29 +03:00
:: ::
:: ++ much :: constructing load
:: |= [pax=path src=*]
:: ^- gank
:: =+ moj=(mojo pax src)
:: ?: ?=(| -.moj) moj
:: (mule |.((slap !>(+>.$) `twig`p.moj)))
:: ::
:: ++ musk :: compiling apply
:: |= [pax=path src=* sam=vase]
:: ^- gank
:: =+ mud=(much pax src)
:: ?: ?=(| -.mud) mud
:: (mule |.((slam p.mud sam)))
:: ::
2015-01-14 08:38:39 +03:00
++ pack :: light path encoding
|= [a=term b=path] ^- span
%+ rap 3 :- (wack a)
(turn b |=(c=span (cat 3 '_' (wack c))))
::
2015-05-09 04:08:18 +03:00
++ puck :: light path decoding
2015-01-26 22:15:35 +03:00
=+ fel=(most cab (sear wick urt:ab))
|=(a=span `(unit ,[p=term q=path])`(rush a fel))
2015-02-27 09:35:41 +03:00
::
2013-09-29 00:21:18 +04:00
++ saxo :: autocanon
|= who=ship
^- (list ship)
?: (lth who 256) [who ~]
[who $(who (sein who))]
::
2014-03-12 23:50:39 +04:00
++ sein :: autoboss
2013-09-29 00:21:18 +04:00
|= who=ship ^- ship
=+ mir=(clan who)
?- mir
%czar who
%king (end 3 1 who)
%duke (end 4 1 who)
%earl (end 5 1 who)
%pawn `@p`0
==
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
2015-05-10 01:55:05 +03:00
:: section 3bI, Arvo structures ::
2013-09-29 00:21:18 +04:00
::
++ acru :: asym cryptosuite
$_ ^? |% :: opaque object
++ as ^? :: asym ops
2014-10-31 06:13:40 +03:00
|% ++ seal |=([a=pass b=@ c=@] *@) :: encrypt to a
++ sign |=([a=@ b=@] *@) :: certify as us
++ sure |=([a=@ b=@] *(unit ,@)) :: authenticate from us
2014-07-26 04:29:01 +04:00
++ tear |= [a=pass b=@] :: accept from a
*(unit ,[p=@ q=@]) ::
-- ::
++ de |+([a=@ b=@] *(unit ,@)) :: symmetric de, soft
2014-10-31 06:13:40 +03:00
++ dy |+([a=@ b=@] *@) :: symmetric de, hard
++ en |+([a=@ b=@] *@) :: symmetric en
++ ex ^? :: export
2014-10-31 06:13:40 +03:00
|% ++ fig *@uvH :: fingerprint
++ pac *@uvG :: default passcode
++ pub *pass :: public key
++ sec *ring :: private key
2014-09-09 04:21:40 +04:00
-- ::
++ nu ^? :: reconstructors
2014-07-03 02:08:02 +04:00
|% ++ pit |=([a=@ b=@] ^?(..nu)) :: from [width seed]
++ nol |=(a=@ ^?(..nu)) :: from naked ring
++ com |=(a=@ ^?(..nu)) :: from naked pass
2014-09-09 04:21:40 +04:00
-- ::
-- ::
++ aeon ,@ud ::
++ agon (map ,[p=ship q=desk] ,[p=@ud q=@ud r=waks]) :: mergepts
2013-10-12 23:38:08 +04:00
++ ankh :: fs node (new)
2013-09-29 00:21:18 +04:00
$: p=cash :: recursive hash
2015-02-27 09:35:41 +03:00
q=(unit ,[p=cash q=cage]) :: file
2013-09-29 00:21:18 +04:00
r=(map ,@ta ankh) :: folders
== ::
++ apex ,[p=@uvI q=(map ,@ta ,@uvI) r=(map ,@ta ,~)] :: node report (old)
2014-07-24 06:02:50 +04:00
++ ares (unit ,[p=term q=(list tank)]) :: possible error
2013-09-29 00:21:18 +04:00
++ ball ,@uw :: statement payload
++ bait ,[p=skin q=@ud r=dove] :: fmt nrecvd spec
++ bath :: convo per client
$: sop=shed :: not stalled
raz=(map path race) :: statements inbound
ryl=(map path rill) :: statements outbound
2013-09-29 00:21:18 +04:00
== ::
2014-06-07 22:36:31 +04:00
++ beam ,[[p=ship q=desk r=case] s=path] :: global name
2014-05-02 03:33:15 +04:00
++ beak ,[p=ship q=desk r=case] :: garnish with beak
2013-09-29 00:21:18 +04:00
++ bird :: packet in travel
$: gom=soap :: message identity
mup=@ud :: pktno in msg
nux=@ud :: xmission count
lys=@da :: last sent
pac=rock :: packet data
== ::
2015-03-04 04:05:41 +03:00
++ blob :: fs blob
2015-03-11 02:56:08 +03:00
$% [%delta p=lobe q=[p=mark q=lobe] r=page] :: delta on q
[%direct p=lobe q=page] :: immediate
[%indirect p=lobe q=page r=lobe s=page] :: both
== ::
2013-09-29 00:21:18 +04:00
++ boat ,[(list slip) tart] :: user stage
++ boon :: fort output
$% [%beer p=ship q=@uvG] :: gained ownership
2014-07-24 06:02:50 +04:00
[%cake p=sock q=soap r=coop s=duct] :: e2e message result
[%coke p=sock q=soap r=cape s=duct] :: message result
2013-09-29 00:21:18 +04:00
[%mead p=lane q=rock] :: accept packet
[%milk p=sock q=soap r=*] :: accept message
2014-07-24 06:02:50 +04:00
[%mulk p=sock q=soap r=*] :: e2e pass message
2013-09-29 00:21:18 +04:00
[%ouzo p=lane q=rock] :: transmit packet
[%wine p=sock q=tape] :: notify user
== ::
++ bowl ,[p=(list gift) q=(unit boat)] :: app product
++ bray ,[p=life q=(unit life) r=ship s=@da] :: our parent us now
++ brow ,[p=@da q=@tas] :: browser version
++ buck ,[p=mace q=will] :: all security data
++ cake ,[p=sock q=skin r=@] :: top level packet
++ cape :: end-to-end result
$? %good :: delivered
%dead :: rejected
== ::
++ cart ,[p=cash q=cash] :: hash change
2014-07-24 19:11:40 +04:00
++ care ?(%u %v %w %x %y %z) :: clay submode
2014-05-02 03:33:15 +04:00
++ case :: ship desk case spur
2013-09-29 00:21:18 +04:00
$% [%da p=@da] :: date
[%tas p=@tas] :: label
[%ud p=@ud] :: number
== ::
++ cash ,@uvH :: ankh hash
2014-07-23 22:25:53 +04:00
++ chum ,@uvI :: hashed passcode
2014-06-19 22:53:16 +04:00
++ clot :: symmetric record
2013-09-29 00:21:18 +04:00
$: yed=(unit ,[p=hand q=code]) :: outbound
heg=(map hand code) :: proposed
2013-09-29 00:21:18 +04:00
qim=(map hand code) :: inbound
== ::
++ coal ,* :: untyped vase
++ code ,@uvI :: symmetric key
++ cone :: reconfiguration
2013-12-15 11:07:57 +04:00
$% [& p=twig] :: transform
2013-09-29 00:21:18 +04:00
[| p=(list ,@tas)] :: alter
== ::
++ chum ,@uvI :: hashed passcode
2014-07-29 02:46:03 +04:00
++ claw :: startup chain
$: joy=(unit coal) :: local context
2013-09-29 00:21:18 +04:00
ran=(unit coal) :: arguments
pux=(unit path) :: execution path
jiv=(unit coal) :: app configuration
kyq=(unit coal) :: app customization
gam=(unit coal) :: app image
== ::
++ clip (each ,@if ,@is) :: client IP
2014-07-23 22:25:53 +04:00
++ coal ,* :: untyped vase
++ code ,@uvI :: symmetric key
++ cone :: reconfiguration
$% [& p=twig] :: transform
[| p=(list ,@tas)] :: alter
== ::
2014-07-24 06:02:50 +04:00
++ coop (unit ares) :: e2e ack
2014-07-23 22:25:53 +04:00
++ corn :: flow by server
$: hen=duct :: admin channel
nys=(map flap bait) :: packets incoming
olz=(map flap cape) :: packets completed
wab=(map ship bath) :: relationship
== ::
2014-03-20 05:05:42 +04:00
++ cred :: credential
2015-05-12 23:10:22 +03:00
$: hut=hart :: client host
2014-04-23 21:02:36 +04:00
aut=(jug ,@tas ,@t) :: client identities
2014-03-20 05:05:42 +04:00
orx=oryx :: CSRF secret
acl=(unit ,@t) :: accept-language
2014-03-20 05:05:42 +04:00
cip=(each ,@if ,@is) :: client IP
cum=(map ,@tas ,*) :: custom dirt
== ::
2014-06-04 03:39:28 +04:00
++ deed ,[p=@ q=step r=?] :: sig, stage, fake?
2013-09-29 00:21:18 +04:00
++ dome :: project state
2015-02-27 09:35:41 +03:00
$: ank=ankh :: state
2014-07-28 18:25:07 +04:00
let=@ud :: top id
2014-07-22 22:56:04 +04:00
hit=(map ,@ud tako) :: changes by id
2013-09-29 00:21:18 +04:00
lab=(map ,@tas ,@ud) :: labels
== ::
2014-07-21 07:15:02 +04:00
++ dore :: foreign contact
2013-09-29 00:21:18 +04:00
$: wod=road :: connection to
wyl=will :: inferred mirror
2014-06-19 22:53:16 +04:00
caq=clot :: symmetric key state
2013-09-29 00:21:18 +04:00
== ::
++ dove ,[p=@ud q=(map ,@ud ,@)] :: count hash 13-blocks
2014-03-26 04:48:22 +04:00
++ epic :: FCGI parameters
2014-07-09 11:37:47 +04:00
$: qix=(map ,@t ,@t) :: query
2014-03-26 04:48:22 +04:00
ced=cred :: client credentials
2014-08-02 03:39:15 +04:00
bem=beam :: original path
2014-03-26 04:48:22 +04:00
but=path :: ending
== ::
2013-09-29 00:21:18 +04:00
++ flap ,@uvH :: network packet id
++ flow :: packet connection
$: rtt=@dr :: decaying avg rtt
wid=@ud :: logical wdow msgs
== ::
2014-06-27 08:02:05 +04:00
++ fort :: formal state
2014-05-31 02:04:20 +04:00
$: %0 :: version
gad=duct :: client interface
2014-05-31 02:04:20 +04:00
hop=@da :: network boot date
2014-06-27 08:02:05 +04:00
ton=town :: security
2014-01-21 01:50:54 +04:00
zac=(map ship corn) :: flows by server
2013-09-29 00:21:18 +04:00
== ::
2014-03-12 23:50:39 +04:00
++ gank (each vase (list tank)) :: abstract result
2013-09-29 00:21:18 +04:00
++ gift :: one-way effect
$% [%$ p=vase] :: trivial output
[%cc p=(unit case)] :: change case
[%ck p=@tas] :: change desk
[%cs p=path] :: change spur
[%de p=@ud q=tank] :: debug/level
[%ex p=(unit vase) q=lath] :: exec/patch
2014-02-10 21:50:20 +04:00
::[%fd p=vase] :: fundamental down
::[%fo p=vase] :: fundamental forward
::[%fu p=vase] :: fundamental up
2013-09-29 00:21:18 +04:00
[%ha p=tank] :: single error
[%ho p=(list tank)] :: multiple error
[%la p=tank] :: single statement
[%lo p=(list tank)] :: multiple statement
[%mu p=type q=(list)] :: batch emit
[%mx p=(list gift)] :: batch gift
2014-03-06 00:21:52 +04:00
[%ok p=@ta q=nori] :: save changes
2014-07-24 19:11:40 +04:00
[%og p=@ta q=mizu] :: save direct
2013-09-29 00:21:18 +04:00
[%sc p=(unit skit)] :: stack library
[%sp p=(list lark)] :: spawn task(s)
[%sq p=ship q=@tas r=path s=*] :: send request
[%sr p=ship q=path r=*] :: send response
2013-09-29 00:21:18 +04:00
[%te p=(list ,@t)] :: dump lines
[%th p=@ud q=love] :: http response
2013-10-27 07:55:53 +04:00
[%tq p=path q=hiss] :: http request
2013-09-29 00:21:18 +04:00
[%va p=@tas q=(unit vase)] :: set/clear variable
2014-06-06 03:51:59 +04:00
[%xx p=curd] :: return card
[%xy p=path q=curd] :: push card
2014-07-03 02:08:02 +04:00
[%zz p=path q=path r=curd] ::
2013-09-29 00:21:18 +04:00
== ::
++ gilt ,[@tas *] :: presumed gift
++ gens ,[p=lang q=gcos] :: general identity
2015-02-27 09:35:41 +03:00
++ germ ?(%init %fine %that %this %mate %meet %meld) :: merge style
2013-09-29 00:21:18 +04:00
++ gcos :: id description
$% [%czar ~] :: 8-bit ship
[%duke p=what] :: 32-bit ship
[%earl p=@t] :: 64-bit ship
[%king p=@t] :: 16-bit ship
[%pawn p=(unit ,@t)] :: 128-bit ship
2013-09-29 00:21:18 +04:00
== ::
++ goad :: common note
$% [%eg p=riot] :: simple result
[%gr p=mark q=*] :: gall rush/rust
2013-10-27 07:55:53 +04:00
[%hp p=httr] :: http response
2014-03-12 23:50:39 +04:00
:: [%ht p=@ud q=scab r=cred s=moth] :: http request
2013-09-29 00:21:18 +04:00
[%it p=~] :: interrupt event
[%lq p=ship q=path r=*] :: client request
2013-09-29 00:21:18 +04:00
[%ly p=newt q=tape] :: lifecycle event
[%ow p=cape] :: one-way reaction
[%rt p=(unit)] :: roundtrip response
2013-09-29 00:21:18 +04:00
[%up p=@t] :: prompt response
[%wa ~] :: alarm
== ::
++ goal :: app request
$% [%$ p=type] :: open for input
[%do p=vase q=vase] :: call gate sample
[%eg p=kite] :: single request
2014-05-02 03:33:15 +04:00
[%es p=ship q=desk r=rave] :: subscription
2014-07-03 02:08:02 +04:00
[%gr ~] :: gall response
2013-09-29 00:21:18 +04:00
[%ht p=(list rout)] :: http server
2013-10-27 07:55:53 +04:00
[%hp ~] :: http response
[%lq p=@tas] :: listen for service
[%ow ~] :: one-way reaction
[%rt ~] :: roundtrip response
[%up p=prod] :: user prompt
2013-09-29 00:21:18 +04:00
[%wa p=@da] :: alarm
== ::
++ govt path :: country/postcode
++ hand ,@uvH :: hash of code
2014-04-03 05:06:45 +04:00
++ hart ,[p=? q=(unit ,@ud) r=host] :: http sec/port/host
2014-03-05 23:00:27 +04:00
++ hate ,[p=purl q=@p r=moth] :: semi-cooked request
2014-03-12 23:50:39 +04:00
++ heir ,[p=@ud q=mess r=(unit love)] :: status/headers/data
2014-02-27 05:58:40 +04:00
++ hiss ,[p=purl q=moth] :: outbound request
2013-09-29 00:21:18 +04:00
++ hist ,[p=@ud q=(list ,@t)] :: depth texts
2014-03-20 05:05:42 +04:00
++ hole ,@t :: session identity
2013-09-29 00:21:18 +04:00
++ hort ,[p=(unit ,@ud) q=host] :: http port/host
++ host $%([& p=(list ,@t)] [| p=@if]) :: http host
2015-01-15 04:47:51 +03:00
++ hoke %+ each ,[%localhost ~] :: local host
?(%.0.0.0.0 %.127.0.0.1) ::
2013-09-29 00:21:18 +04:00
++ httq :: raw http request
2014-03-12 23:50:39 +04:00
$: p=meth :: method
2013-09-29 00:21:18 +04:00
q=@t :: unparsed url
r=(list ,[p=@t q=@t]) :: headers
s=(unit octs) :: body
== ::
++ httr ,[p=@ud q=mess r=(unit octs)] :: raw http response
++ httx :: encapsulated http
$: p=? :: https?
q=clip :: source IP
r=httq ::
== ::
2014-05-02 03:33:15 +04:00
++ kite ,[p=care q=case r=ship s=desk t=spur] :: parsed global name
2014-06-19 07:27:36 +04:00
++ json :: normal json value
$| ~ :: null
2014-06-19 07:27:36 +04:00
$% [%a p=(list json)] :: array
[%b p=?] :: boolean
[%o p=(map ,@t json)] :: object
[%n p=@ta] :: number
2014-12-12 03:01:56 +03:00
[%s p=@t] :: string
2013-09-29 00:21:18 +04:00
== ::
++ lamb :: short path
$% [& p=@tas] :: auto
2013-12-15 11:07:57 +04:00
[| p=twig] :: manual
2013-09-29 00:21:18 +04:00
== ::
++ lane :: packet route
2014-06-04 01:01:40 +04:00
$% [%if p=@da q=@ud r=@if] :: IP4/public UDP/addr
2013-09-29 00:21:18 +04:00
[%is p=@ud q=(unit lane) r=@is] :: IPv6 w/alternates
[%ix p=@da q=@ud r=@if] :: IPv4 provisional
== ::
++ lang ,@ta :: IETF lang as code
++ lark ,[p=(unit ,@tas) q=lawn] :: parsed command
++ lass ?(%0 %1 %2) :: power increment
++ lath $% :: pipeline stage
2013-12-15 11:07:57 +04:00
[%0 p=lass q=lamb r=(list cone) s=twig] :: command
[%1 p=twig] :: generator
[%2 p=twig] :: filter
2013-09-29 00:21:18 +04:00
== ::
++ lawn (list lath) ::
++ lice ,[p=ship q=buck] :: full license
++ life ,@ud :: regime number
++ lint (list rock) :: fragment array
2015-04-02 02:57:38 +03:00
++ lobe ,@uvI :: blob ref
2013-09-29 00:21:18 +04:00
++ love $% :: http response
[%ham p=manx] :: html node
2014-03-13 05:04:58 +04:00
[%mid p=mite q=octs] :: mime-typed data
2013-09-29 00:21:18 +04:00
[%raw p=httr] :: raw http response
2014-03-12 23:50:39 +04:00
[%wan p=wain] :: text lines
[%zap p=@ud q=(list tank)] :: status/error
2013-09-29 00:21:18 +04:00
== ::
2014-05-20 21:33:59 +04:00
++ maki ,[p=@ta q=@ta r=@ta s=path] ::
2013-09-29 00:21:18 +04:00
++ mace (list ,[p=life q=ring]) :: private secrets
++ math (map ,@t (list ,@t)) :: semiparsed headers
++ meal :: payload
$% [%back p=cape q=flap r=@dr] :: acknowledgment
2014-07-24 06:02:50 +04:00
[%buck p=coop q=flap r=@dr] :: e2e ack
[%bond p=life q=path r=@ud s=*] :: message
2014-07-24 06:02:50 +04:00
[%bund p=life q=path r=@ud s=*] :: e2e message
2013-09-29 00:21:18 +04:00
[%carp p=@ q=@ud r=@ud s=flap t=@] :: skin/inx/cnt/hash
[%fore p=ship q=(unit lane) r=@] :: forwarded packet
== ::
++ mess (list ,[p=@t q=@t]) :: raw http headers
++ meta :: path metadata
$% [& q=@uvI] :: hash
[| q=(list ,@ta)] :: dir
== ::
2014-03-12 23:50:39 +04:00
++ meth :: http methods
$? %conn :: CONNECT
%delt :: DELETE
%get :: GET
%head :: HEAD
%opts :: OPTIONS
%post :: POST
%put :: PUT
%trac :: TRACE
2014-05-26 22:59:21 +04:00
== ::
2015-02-27 09:35:41 +03:00
++ mime ,[p=mite q=octs] :: mimetyped data
2014-03-13 05:04:58 +04:00
++ mite (list ,@ta) :: mime type
2013-09-29 00:21:18 +04:00
++ miso :: ankh delta
2015-02-27 09:35:41 +03:00
$% [%del p=cage] :: delete
[%ins p=cage] :: insert
[%dif p=cage] :: mutate from diff
[%mut p=cage q=cage] :: mutate from raw
== ::
++ misu :: computed delta
$% [%del p=cage] :: delete
[%ins p=cage] :: insert
2015-04-14 03:29:54 +03:00
[%dif p=lobe q=cage] :: mutate from diff
2013-09-29 00:21:18 +04:00
== ::
2014-07-24 19:11:40 +04:00
++ mizu ,[p=@u q=(map ,@ud tako) r=rang] :: new state
2013-09-29 00:21:18 +04:00
++ moar ,[p=@ud q=@ud] :: normal change range
++ moat ,[p=case q=case r=path] :: change range
2013-09-29 00:21:18 +04:00
++ mood ,[p=care q=case r=path] :: request in desk
++ moth ,[p=meth q=math r=(unit octs)] :: http operation
++ name ,[p=@t q=(unit ,@t) r=(unit ,@t) s=@t] :: first mid/nick last
++ newt ?(%boot %kick %mess %slay %wake) :: lifecycle events
++ nose :: response, kernel
2014-01-04 11:28:16 +04:00
$? [%$ p=(unit ,[p=tutu q=(list)])] :: standard input
goad ::
2013-09-29 00:21:18 +04:00
== ::
++ note :: response, user
$? [%$ p=(unit ,[p=type q=(list)])] :: standard input
[%do p=vase] :: execution result
goad ::
== ::
++ nori :: repository action
2015-02-27 09:35:41 +03:00
$% [& p=soba] :: delta
[| p=@tas] :: label
== ::
++ nuri :: repository action
$% [& p=suba] :: delta
2013-09-29 00:21:18 +04:00
[| p=@tas] :: label
== ::
2015-02-06 08:00:35 +03:00
++ octs ,[p=@ud q=@t] :: octet-stream
2014-03-04 23:17:34 +04:00
++ oryx ,@t :: CSRF secret
2015-03-11 02:56:08 +03:00
++ page (cask) :: untyped cage
2013-09-29 00:21:18 +04:00
++ pail ?(%none %warm %cold) :: connection status
2014-05-30 02:00:13 +04:00
++ plan (trel view (pair ,@da (unit ,@dr)) path) :: subscription
2013-09-29 00:21:18 +04:00
++ plea ,[p=@ud q=[p=? q=@t]] :: live prompt
2015-03-11 00:11:48 +03:00
++ plop blob :: unvalidated blob
2014-03-04 02:47:59 +04:00
++ pork ,[p=(unit ,@ta) q=(list ,@t)] :: fully parsed url
2014-03-20 05:05:42 +04:00
++ pred ,[p=@ta q=@tas r=@ta ~] :: proto-path
2013-09-29 00:21:18 +04:00
++ prod ,[p=prom q=tape r=tape] :: prompt
++ prom ?(%text %pass %none) :: format type
++ purl ,[p=hart q=pork r=quay] :: parsed url
++ putt :: outgoing message
$: ski=snow :: sequence acked/sent
wyv=(list rock) :: packet list XX gear
== ::
++ pyre :: cascade stash
$: p=(map ,[p=path q=path r=coal] coal) :: by path
q=(map ,[p=path q=@uvI r=coal] coal) :: by source hash
2013-12-15 11:07:57 +04:00
r=(map ,[p=* q=coal] coal) :: by (soft) twig
2013-09-29 00:21:18 +04:00
== ::
2014-03-12 23:50:39 +04:00
++ quay (list ,[p=@t q=@t]) :: parsed url query
2013-09-29 00:21:18 +04:00
++ quri :: request-uri
$% [& p=purl] :: absolute
[| p=pork q=quay] :: relative
== ::
++ race :: inbound stream
$: did=@ud :: filled sequence
2014-07-26 06:10:24 +04:00
dod=? :: not processing
bum=(map ,@ud ares) :: nacks
mis=(map ,@ud ,[p=cape q=lane r=flap s=(unit)]) :: misordered
== ::
2013-09-29 00:21:18 +04:00
++ rank ?(%czar %king %duke %earl %pawn) :: ship width class
2014-07-22 22:56:04 +04:00
++ rang $: hut=(map tako yaki) ::
lat=(map lobe blob) ::
== ::
2015-03-14 00:47:29 +03:00
++ rand :: unvalidated rant
$: p=[p=care q=case r=@tas] :: clade release book
q=path :: spur
r=page :: data
== ::
2013-09-29 00:21:18 +04:00
++ rant :: namespace binding
$: p=[p=care q=case r=@tas] :: clade release book
q=path :: spur
2015-02-27 09:35:41 +03:00
r=cage :: data
== ::
2013-09-29 00:21:18 +04:00
++ rave :: general request
2015-03-27 02:26:39 +03:00
$% [%sing p=mood] :: single request
2015-04-30 04:23:46 +03:00
[%next p=mood] :: next version
2015-03-27 02:26:39 +03:00
[%many p=? q=moat] :: change range
2013-09-29 00:21:18 +04:00
== ::
++ rill :: outbound stream
$: sed=@ud :: sent
san=(map ,@ud duct) :: outstanding
== ::
++ riot (unit rant) :: response/complete
++ road :: secured oneway route
$: exp=@da :: expiration date
lun=(unit lane) :: route to friend
2013-10-10 06:45:57 +04:00
lew=will :: will of friend
2013-09-29 00:21:18 +04:00
== ::
++ rock ,@uvO :: packet
++ rout ,[p=(list host) q=path r=oryx s=path] :: http route (new)
++ rump ,[p=care q=case r=@tas s=path] :: relative path
2014-07-24 19:11:40 +04:00
++ saba ,[p=ship q=@tas r=moar s=dome] :: patch/merge
2014-06-26 16:18:30 +04:00
++ sack ,[p=ship q=ship] :: incoming [our his]
2014-04-10 04:28:22 +04:00
++ sufi :: domestic host
2013-09-29 00:21:18 +04:00
$: hoy=(list ship) :: hierarchy
2014-04-10 04:28:22 +04:00
val=wund :: private keys
2013-09-29 00:21:18 +04:00
law=will :: server will
seh=(map hand ,[p=ship q=@da]) :: key cache
2014-07-21 07:15:02 +04:00
hoc=(map ship dore) :: neighborhood
2013-09-29 00:21:18 +04:00
== ::
++ salt ,@uv :: entropy
++ seal :: auth conversation
$: whu=(unit ship) :: client identity
pul=purl :: destination url
wit=? :: wait for partner
foy=(unit ,[p=ship q=hole]) :: partner to notify
pus=(unit ,@ta) :: password
== ::
2013-09-29 00:21:18 +04:00
++ sect ?(%black %blue %red %orange %white) :: banner
++ shed :: packet flow
$: $: rtt=@dr :: smoothed rtt
rto=@dr :: retransmit timeout
rtn=(unit ,@da) :: next timeout
rue=(unit ,@da) :: last heard from
== ::
$: nus=@ud :: number sent
nif=@ud :: number live
nep=@ud :: next expected
caw=@ud :: logical window
cag=@ud :: congest thresh
== ::
$: diq=(map flap ,@ud) :: packets sent
pyz=(map soup ,@ud) :: message/unacked
puq=(qeu ,[p=@ud q=soul]) :: packet queue
== ::
== ::
++ skit ,[p=(unit ,@ta) q=(list ,@ta) r=(list ,@ta)] :: tracking path
++ skin ?(%none %open %fast %full) :: encoding stem
2013-10-27 07:55:53 +04:00
++ slip ,[p=path q=goal] :: traceable request
2013-09-29 00:21:18 +04:00
++ snow ,[p=@ud q=@ud r=(set ,@ud)] :: window exceptions
++ soap ,[p=[p=life q=life] q=path r=@ud] :: statement id
++ soup ,[p=path q=@ud] :: new statement id
2013-09-29 00:21:18 +04:00
++ soul :: packet in travel
$: gom=soup :: message identity
nux=@ud :: xmission count
liv=? :: deemed live
lys=@da :: last sent
pac=rock :: packet data
== ::
++ soba ,[p=cart q=(list ,[p=path q=miso])] :: delta
2014-06-26 16:18:30 +04:00
++ sock ,[p=ship q=ship] :: outgoing [from to]
2014-05-02 03:33:15 +04:00
++ spur path :: ship desk case spur
2013-09-29 00:21:18 +04:00
++ step ,[p=bray q=gens r=pass] :: identity stage
2015-02-27 09:35:41 +03:00
++ suba ,[p=cart q=(list ,[p=path q=misu])] :: delta
2014-07-17 22:27:14 +04:00
++ tako ,@ :: yaki ref
2014-01-06 05:52:37 +04:00
++ tart $+([@da path note] bowl) :: process core
2013-09-29 00:21:18 +04:00
++ tick ,@ud :: process id
2014-03-06 00:21:52 +04:00
++ toro ,[p=@ta q=nori] :: general change
2014-06-27 08:02:05 +04:00
++ town :: all security state
2013-09-29 00:21:18 +04:00
$: lit=@ud :: imperial modulus
any=@ :: entropy
2014-04-10 04:28:22 +04:00
urb=(map ship sufi) :: all keys and routes
2014-07-03 02:08:02 +04:00
fak=? ::
2013-09-29 00:21:18 +04:00
== ::
2014-03-12 23:50:39 +04:00
++ tube ,[p=@ta q=@ta r=@ta s=path] :: canonical path
2014-01-04 11:28:16 +04:00
++ tutu ,* :: presumed type
2014-07-17 22:27:14 +04:00
++ yaki ,[p=(list tako) q=(map path lobe) r=tako t=@da] :: commit
2014-05-30 02:00:13 +04:00
++ view ?(%u %v %w %x %y %z) :: view mode
++ waks (map path woof) :: list file states
2013-09-29 00:21:18 +04:00
++ what :: logical identity
$% [%anon ~] :: anonymous
[%lady p=whom] :: female person ()
[%lord p=whom] :: male person []
2013-11-08 04:34:44 +04:00
[%punk p=sect q=@t] :: opaque handle ""
2013-09-29 00:21:18 +04:00
== ::
++ whom ,[p=@ud q=govt r=sect s=name] :: year/govt/id
++ woof $| %know :: udon transform
[%chan (list $|(@ud [p=@ud q=@ud]))] ::
++ wund (list ,[p=life q=ring r=acru]) :: mace in action
2013-09-29 00:21:18 +04:00
++ will (list deed) :: certificate
2015-01-27 03:25:27 +03:00
++ zuse %310 :: hoon/zuse kelvin
2015-05-09 23:38:33 +03:00
:: ::
2015-05-12 23:10:22 +03:00
:::: :::: this will become `%york`, vane structures.
:: ::
++ gift-ames :: out result <-$
$% [%hear p=lane q=@] :: receive packet
[%init p=@p] :: report install
[%mass p=mass] :: memory usage
[%send p=lane q=@] :: transmit packet
[%waft p=sock q=*] :: response message
[%wart p=sock q=@tas r=path s=*] :: network request
[%went p=ship q=cape] :: reaction message
[%woot p=ship q=coop] :: e2e reaction message
== ::
++ kiss-ames :: in request ->$
$% [%barn ~] :: new unix process
[%crud p=@tas q=(list tank)] :: error with trace
[%cash p=@p q=buck] :: civil license
[%hear p=lane q=@] :: receive packet
[%hole p=lane q=@] :: packet failed
[%junk p=@] :: entropy
[%kick p=@da] :: wake up
[%make p=(unit ,@t) q=@ud r=@ s=?] :: wild license
[%sith p=@p q=@uw r=?] :: imperial generator
[%wake ~] :: timer activate
[%want p=sock q=path r=*] :: send message
[%wegh ~] :: report memory
[%wont p=sock q=path r=*] :: e2e send message
== ::
::
:::: %clay
::
++ khan ::
$: fil=(unit (unit cage)) :: XX see khan-to-soba
dir=(map ,@ta khan) ::
== ::
++ mick (list ,[path (unit mime)])
++ riff ,[p=desk q=(unit rave)] :: request/desist
:::: ::
++ gift-clay :: out result <-$
$% [%ergo p=@p q=@tas r=@ud s=mick] :: version update
[%mass p=mass] :: memory usage
[%mere p=(each (set path) (pair term tang))] :: merge result
[%note p=@tD q=tank] :: debug message
[%writ p=riot] :: response
== ::
++ kiss-clay :: in request ->$
$% [%font p=@p q=@tas r=@p s=@tas] :: set upstream
[%info p=@p q=@tas r=nori] :: internal edit
[%init p=@p] :: report install
[%into p=@p q=@tas r=khan] :: external edit
[%lynx p=@p q=@tas r=(unit ,?)] :: sync to unix
[%merg p=@p q=@tas r=@p s=@tas t=germ] :: merge desks
[%plug p=@p q=@tas r=@p s=@tas] :: unset upstream
[%wart p=sock q=@tas r=path s=*] :: network request
[%warp p=sock q=riff] :: file request
[%wegh ~] :: report memory
== ::
::
::::
::
++ 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
== ::
++ blit :: old blit
$% [%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
== ::
++ 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
[%met p=@] :: 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 :: new blit
$% [%bel ~] :: make a noise
[%clr ~] :: clear the screen
[%hop p=@ud] :: set cursor position
[%mor p=(list dill-blit)] :: multiple blits
[%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
== ::
++ flog :: sent to %dill
$% [%crud p=@tas q=(list tank)] ::
[%text p=tape] ::
[%veer p=@ta q=path r=@t] :: install vane
[%vega p=path] :: reboot by path
[%verb ~] :: verbose mode
== ::
++ gill (pair ship term) :: general contact
::::
++ gift-dill :: out result <-$
$% [%bbye ~] :: reset prompt
[%blit p=(list blit)] :: terminal output
[%init p=@p] :: set owner
[%logo ~] :: logout
[%veer p=@ta q=path r=@t] :: install vane
[%vega p=path] :: reboot by path
[%verb ~] :: verbose mode
== ::
++ kiss-dill :: 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] ::
[%veer p=@ta q=path r=@t] :: install vane
[%vega p=path] :: reboot by path
[%verb ~] :: verbose mode
== ::
::
:::: %eyre
::
++ gram :: inter-ship message
$? [[%lon ~] p=hole] :: login request
[[%aut ~] p=hole] :: login reply
[[%hat ~] p=hole q=hart] :: login redirect
[[%get ~] p=@uvH q=[? clip httq]] :: remote request
[[%got ~] p=@uvH q=httr] :: remote response
== ::
:::: ::
++ kiss-eyre :: in request ->$
$% [%born ~] :: new unix process
[%crud p=@tas q=(list tank)] :: XX rethink
[%init p=@p] :: report install
[%them p=(unit hiss)] :: outbound request
[%they p=@ud q=httr] :: inbound response
[%this p=? q=clip r=httq] :: inbound request
[%thud ~] :: inbound cancel
[%wart p=sack q=@tas r=_`[path *]`*gram] :: urbit message
[%wegh ~] :: report memory
== ::
++ gift-eyre :: out result <-$
$% [%mass p=mass] :: memory usage
[%thou p=httr] :: raw http response
[%thus p=@ud q=(unit hiss)] :: http request/cancel
[%veer p=@ta q=path r=@t] :: drop-through
[%vega p=path] :: drop-through
== ::
::
:::: %ford
::
++ hood :: assembly plan
$: zus=@ud :: zuse kelvin
sur=(list hoot) :: structures
lib=(list hoof) :: libraries
fan=(list horn) :: resources
src=(list hoop) :: program
== ::
++ hoof (pair term (unit (pair case ship))) :: resource reference
++ hoot (pair bean hoof) :: structure gate/core
++ hoop :: source in hood
$% [%& p=twig] :: direct twig
[%| p=beam] :: resource location
== ::
++ horn :: resource tree
$% [%ape p=twig] :: /~ twig by hand
[%arg p=twig] :: /$ argument
[%day p=horn] :: /| list by @dr
[%dub p=term q=horn] :: /= apply face
[%fan p=(list horn)] :: /. list
[%for p=path q=horn] :: /, descend
[%hel p=@ud q=horn] :: /% propagate heel
[%hub p=horn] :: /@ list by @ud
[%man p=(map span horn)] :: /* hetero map
[%nap p=horn] :: /_ homo map
[%now p=horn] :: /& list by @da
[%saw p=twig q=horn] :: /; operate on
[%see p=beam q=horn] :: /: relative to
[%sic p=tile q=horn] :: /^ cast
[%toy p=mark] :: /mark/ static
== ::
++ milk (trel ship desk silk) :: sourced silk
++ silk :: construction layer
$& [p=silk q=silk] :: cons
$% [%bake p=mark q=beam r=path] :: local synthesis
[%boil p=mark q=beam r=path] :: general synthesis
[%bunt p=mark] :: example of mark
[%call p=silk q=silk] :: slam
[%cast p=mark q=silk] :: translate
[%diff p=silk q=silk] :: diff
[%done p=(set beam) q=gage] :: literal
[%dude p=tank q=silk] :: error wrap
[%dune p=(set beam) q=(unit gage)] :: unit literal
[%file p=beam] :: from clay
2015-05-15 21:27:44 +03:00
[%flag p=@uvH q=silk] :: re-apply user deps
2015-05-12 23:10:22 +03:00
[%join p=mark q=silk r=silk] :: merge
[%mash p=mark q=milk r=milk] :: annotate
[%mute p=silk q=(list (pair wing silk))] :: mutant
[%pact p=silk q=silk] :: patch
[%plan p=beam q=spur r=hood] :: structured assembly
[%reef ~] :: kernel reef
[%ride p=twig q=silk] :: silk thru twig
[%tabl p=(list (pair silk silk))] :: list
[%vale p=mark q=ship r=*] :: validate [our his]
[%volt p=(set beam) q=(cask ,*)] :: unsafe add type
== ::
::::
++ gift-ford :: out result <-$
$% [%made p=@uvH q=(each gage tang)] :: computed result
[%mass p=mass] :: memory usage
[%news ~] :: fresh depends
== ::
++ kiss-ford :: in request ->$
$% [%exec p=@p q=beak r=(unit silk)] :: make / kill
[%wasp p=@p q=@uvH] :: depends query
[%wegh ~] :: report memory
== ::
::
:::: %gall
::
++ club :: agent action
$% [%peer p=path] :: subscribe
[%poke p=cage] :: apply
[%pull ~] :: unsubscribe
[%pump ~] :: pump yes/no
== ::
++ cuft :: internal gift
$% [%coup p=(unit tang)] :: poke result
[%diff p=cage] :: subscription output
[%quit ~] :: close subscription
[%reap p=(unit tang)] :: peer result
== ::
++ culm :: config action
$% [%load p=scup] :: load/reload
:: [%kick ~] :: restart everything
:: [%stop ~] :: toggle suspend
:: [%wipe ~] :: destroy all state
== ::
++ cush (pair term club) :: internal kiss
++ dude term :: server identity
++ scup (pair ship desk) :: autoupdate
2015-05-14 22:24:43 +03:00
++ well (pair desk term)
2015-05-12 23:10:22 +03:00
++ suss (trel dude ,@tas ,@da) :: config report
:::: ::
++ kiss-gall :: incoming request
$% [%conf p=dock q=culm] :: configure app
[%init p=ship] :: set owner
[%deal p=sock q=cush] :: full transmission
[%rote p=sack q=path r=*] :: remote request
[%roth p=sack q=path r=*] :: remote response
== ::
++ gift-gall :: outgoing result
$% [%onto p=(each suss tang)] :: about agent
[%unto p=cuft] :: within agent
[%mack p=(unit tang)] :: message ack
== ::
::
:::: %time
::
++ gift-time :: out result <-$
$% [%mass p=mass] :: memory usage
[%wake ~] :: wakey-wakey
== ::
++ kiss-time :: in request ->$
$% [%rest p=@da] :: cancel alarm
[%wait p=@da] :: set alarm
[%wake ~] :: timer activate
[%wegh ~] :: report memory
== ::
::
:::: %arvo
::
++ gift-arvo :: out result <-$
$? gift-ames
gift-clay
gift-dill
gift-eyre
gift-ford
gift-gall
gift-time
==
++ kiss-arvo :: in request ->$
$? kiss-ames
kiss-clay
kiss-dill
kiss-eyre
kiss-ford
kiss-gall
kiss-time
==
++ note-arvo :: out request $->
$? [@tas %meta vase]
$% [%a kiss-ames]
[%c kiss-clay]
[%d kiss-dill]
[%e kiss-eyre]
[%f kiss-ford]
[%g kiss-gall]
[%t kiss-time]
== ==
++ sign-arvo :: in result $<-
$% [%a gift-ames]
[%c gift-clay]
[%d gift-dill]
[%e gift-eyre]
[%f gift-ford]
[%g gift-gall]
[%t gift-time]
==
2013-09-29 00:21:18 +04:00
--