Merge pull request #242 from mattearnshaw/spare-arms

ruthlessly amputate extraneous arms
This commit is contained in:
cgyarvin 2015-01-12 14:20:10 -08:00
commit f41d4fd6b9
6 changed files with 1 additions and 114 deletions

View File

@ -546,11 +546,6 @@
?~ dyv ~
[~ u.dyv ..kuch]
::
++ trox :: trox:lax:as:go
|= [now=@da] :: expire by date
^+ +>
+> :: XX
::
++ wasc :: wasc:lax:as:go
|= key=code :: hear foreign code
^+ +>

View File

@ -133,7 +133,6 @@
== ::
++ dual ,[p=@ud q=(each ,[p=ship q=hole] ship)] :: request handle
++ dude ,[p=@tas q=@] :: client identity
++ loco ,[p=? q=(unit ,@tas) r=path] :: logical construct
++ pest :: request in progress
$| $? %new :: virgin
%way :: waiting

View File

@ -151,16 +151,6 @@
^- cafe ::
[(grom p.a p.b) (grum q.a q.b)] ::
:: ::
++ colt :: reduce to save
|= lex=axle ::
^- axle
%= lex
pol
%- ~(run by pol.lex)
|= bay=baby
bay(jav ~)
==
::
++ faun |=([a=cafe b=vase] (fine a `cage`noun/b)) :: vase to cage
++ feel |=([a=cafe b=cage] (fine a q.b)) :: cage to vase
++ fest |*([a=cafe b=*] (fine a [~ u=b])) :: bolt to unit

View File

@ -71,7 +71,6 @@
$: @tas :: to any
$% [%meta p=vase] ::
== == == ::
++ rapt |*(a=$+(* *) (qual path path ,@da a)) :: versioned result
++ rave :: see %clay
$% [& p=mood] :: single request
[| p=moat] :: change range
@ -158,16 +157,6 @@
++ toil (pair duct knob) :: work in progress
-- ::::::::::::::::::::::::::::::::::::::::::::::::::::::
|% :::::::::::::::::::::::::::::::::::::::::::::::::::::: functions
++ byby :: double bind
|* [a=(unit (unit)) b=$+(* *)]
?~ a ~
?~ u.a [~ u=~]
[~ u=[~ u=(b u.u.a)]]
:: ::
++ colt :: reduce to save
|= all=axle ::
all
::
++ read :: read permission
|= law=(unit cuff)
^- (unit (set monk))

View File

@ -62,9 +62,6 @@
++ cord ,@t :: text atom (UTF-8)
++ date ,[[a=? y=@ud] m=@ud t=tarp] :: parsed date
++ dime ,[p=@ta q=@] ::
++ dram $% [| p=(map ,@tas dram)] :: simple unix dir
[& p=@ud q=@] ::
== ::
++ each |*([a=$+(* *) b=$+(* *)] $%([& p=a] [| p=b])) :: either a or b
++ edge ,[p=hair q=(unit ,[p=* q=nail])] :: parsing output
++ foot $% [%ash p=twig] :: dry arm, geometric
@ -726,13 +723,6 @@
+<+.b
$(a t.a, b b(+<+ (b i.a +<+.b)))
::
++ skid :: separate
|* [a=(list) b=$+(* ?)]
|- ^+ [p=a q=a]
?~ a [~ ~]
=+ c=$(a t.a)
?:((b i.a) [[i.a p.c] q.c] [p.c [i.a q.c]])
::
++ skim :: only
~/ %skim
|* [a=(list) b=_|=(p=* .?(p))]
@ -1383,9 +1373,6 @@
:: black magic values
++ vl
|%
++ uzer |= [b=@u p=@u]
(szer b p %.y)
++ szer |= [b=@u p=@u s=?]
[s=s e=`@s`(dec (^mul b 2)) a=(lia p 0b1)]
@ -4451,22 +4438,6 @@
$(hol t.hol, +> (merg (flop `(list ,@ud)`?~(guy ~ u.guy))))
--
::
++ locz :: trivial algorithm
|= [hel=tape hev=tape]
^- tape
=+ [leh=(lent hel) veh=(lent hev)]
=- (flop q.yun)
^= yun
|- ^- [p=@ud q=tape]
~+
?: |(=(0 leh) =(0 veh)) [0 ~]
=+ [dis=(snag (dec leh) hel) dat=(snag (dec veh) hev)]
?: =(dis dat)
=+ say=$(leh (dec leh), veh (dec veh))
[+(p.say) [dis q.say]]
=+ [lef=$(leh (dec leh)) rig=$(veh (dec veh))]
?:((gth p.lef p.rig) lef rig)
::
++ lore :: atom to line list
~/ %lore
|= lub=@
@ -6023,10 +5994,6 @@
|= vax=vase ^- tape
~(ram re (sell vax))
::
++ loot :: cord pretty-print
|= vax=vase ^- @ta
(rap 3 (pave vax))
::
++ slam :: slam a gate
|= [gat=vase sam=vase] ^- vase
=+ :- ^= typ ^- type
@ -6074,15 +6041,6 @@
[%wtgr [%wtts [%leaf %tas -.q.vax] [%$ 2]~] [%$ 1]]
(~(fuse ut p.vax) [%cell %noun %noun])
::
++ slew :: get axis in vase
|= [axe=@ vax=vase] ^- (unit vase)
?. |- ^- ?
?: =(1 axe) &
?. ?=(^ q.vax) |
$(axe (mas axe), q.vax .*(q.vax [0 (cap axe)]))
~
`[(~(peek ut p.vax) %free axe) .*(q.vax [0 axe])]
::
++ slab
|= [cog=@tas typ=type]
!=(~ q:(~(fino ut typ) 0 %free cog))
@ -6099,16 +6057,6 @@
|= [axe=@ vax=vase] ^- vase
[(~(peek ut p.vax) %free axe) .*(q.vax [0 axe])]
::
++ slum
|= [vax=vase wad=(map term vase)] ^- vase
?- wad
~ vax
[* ~ ~] [[%cell p.vax [%face p.n.wad p.q.n.wad]] [q.vax q.q.n.wad]]
[* ~ *] $(wad [n.wad ~ ~], vax $(wad r.wad))
[* * ~] $(wad [n.wad ~ ~], vax $(wad l.wad))
[* * *] $(wad [n.wad ~ r.wad], vax $(wad l.wad))
==
::
++ wash :: render tank at width
|= [[tab=@ edg=@] tac=tank] ^- wall
(~(win re tac) tab edg)
@ -6881,7 +6829,6 @@
==
::
++ dank |=(pax=path ^-(tank (dish [~ %path] pax)))
++ dart |=(pax=path ^-(tape ~(ram re (dank pax))))
++ deal |=(lum=* (dish dole lum))
++ dial
|= ham=calf
@ -9231,7 +9178,7 @@
++ expq |.(;~(gunk rope loaf loaf)) :: wing and two twigs
++ expr |.(;~(gunk loaf wisp)) :: twig and core tail
++ exps |.((butt hank)) :: closed gapped twigs
++ expt |.((butt ;~(gunk loaf race))) :: twig, [tile twig]s
:: expt
++ expu |.(;~(gunk lobe wisp)) :: tile, core tail
++ expv |.(lobe) :: tile
++ expw |.(;~(gunk lobe teak)) :: tile and tiki
@ -9239,8 +9186,6 @@
++ expy |.((butt ;~(gunk teak loaf race))) :: tiki twig [tile twig]s
++ expz |.(loaf(bug &)) :: twig with tracing
:: Hint syntaces (nock 10)
++ hina |. :: unused
;~(gunk (ifix [sel ser] ;~(gunk dem dem)) loaf)
++ hinb |.(;~(gunk bont loaf)) :: hint and twig
++ hinc |. :: optional =en, twig
;~(pose ;~(gunk bony loaf) ;~(plug (easy ~) loaf))
@ -9613,7 +9558,6 @@
== ::
++ curd ,[p=@tas q=*] :: typeless card
++ duct (list wire) :: causal history
++ herd (hypo curd) :: typed card
++ hide :: standard app state
$: $: our=ship :: owner/operator
app=term :: app identity
@ -9626,7 +9570,6 @@
eny=@uvI :: entropy
lat=@da :: date of last tick
== == ::
++ hilt ?(0 1 2) :: lead iron gold
++ hypo |*(a=$+(* *) (pair type a)) :: type associated
++ hobo |* a=$+(* *) :: kiss wrapper
$? $% [%soft p=*] ::

View File

@ -997,10 +997,6 @@
=+ buf=(rap 3 (turn wol |=(a=tape (crip (weld a `tape`[`@`10 ~])))))
[(met 3 buf) buf]
::
::
++ txml :: string to xml
|= tep=tape ^- mars
[[%$ [%$ tep] ~] ~]
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 3bE, tree sync ::
::
@ -2004,11 +2000,6 @@
==
[p.one [%& [*cart (weld q.q.q.one q.q.q.two)]]]
::
++ meat :: kite to .^ path
|= kit=kite
^- path
[(cat 3 'c' p.kit) (scot %p r.kit) s.kit (scot `dime`q.kit) t.kit]
::
++ tame :: parse kite path
|= hap=path
^- (unit kite)
@ -2065,16 +2056,6 @@
[~ [i.rax ~]]
[q.u.raf [p.u.raf ~]]
::
++ fain :: path restructure
|= [hom=path raw=path]
=+ bem=(need (tome raw))
=+ [mer=(flop s.bem) moh=(flop hom)]
|- ^- (pair beam path)
?~ moh
[bem(s hom) (flop mer)]
?> &(?=(^ mer) =(i.mer i.moh))
$(mer t.mer, moh t.moh)
::
++ fuel :: parse fcgi
|= [bem=beam but=path]
^- epic
@ -2701,7 +2682,6 @@
q=(unit ,[p=cash q=*]) :: file
r=(map ,@ta ankh) :: folders
== ::
++ ankz ,[p=@ (map ,@ta ankz)] :: trimmed ankh
++ apex ,[p=@uvI q=(map ,@ta ,@uvI) r=(map ,@ta ,~)] :: node report (old)
++ ares (unit ,[p=term q=(list tank)]) :: possible error
++ ball ,@uw :: statement payload
@ -2832,7 +2812,6 @@
ton=town :: security
zac=(map ship corn) :: flows by server
== ::
++ frog ,[p=@da q=nori] :: time and change
++ gank (each vase (list tank)) :: abstract result
++ gift :: one-way effect
$% [%$ p=vase] :: trivial output
@ -2945,10 +2924,6 @@
[%n p=@ta] :: number
[%s p=@t] :: string
== ::
++ jsot :: strict json top
$% [%a p=(list json)] :: array
[%o p=(map ,@t json)] :: object
== ::
++ lamb :: short path
$% [& p=@tas] :: auto
[| p=twig] :: manual
@ -2978,10 +2953,8 @@
[%wan p=wain] :: text lines
[%zap p=@ud q=(list tank)] :: status/error
== ::
++ luge ,[p=mark q=*] :: fully typed content
++ maki ,[p=@ta q=@ta r=@ta s=path] ::
++ mace (list ,[p=life q=ring]) :: private secrets
++ marv ?(%da %tas %ud) :: release form
++ math (map ,@t (list ,@t)) :: semiparsed headers
++ meal :: payload
$% [%back p=cape q=flap r=@dr] :: acknowledgment
@ -3143,7 +3116,6 @@
++ step ,[p=bray q=gens r=pass] :: identity stage
++ tako ,@ :: yaki ref
++ tart $+([@da path note] bowl) :: process core
++ taxi ,[p=lane q=rock] :: routed packet
++ tick ,@ud :: process id
++ toro ,[p=@ta q=nori] :: general change
++ town :: all security state
@ -3168,6 +3140,5 @@
[%chan (list $|(@ud [p=@ud q=@ud]))] ::
++ wund (list ,[p=life q=ring r=acru]) :: mace in action
++ will (list deed) :: certificate
++ worm ,* :: vase of tart
++ zuse %314 :: hoon/zuse kelvin
--