++wash
Render tank at width
Render tac with indent tab and maximum width edg. If tac cannot be
rendered in-line in less than tac characters, it will be split into multiple
lines if possible. If tac cannot be made to fit, wash will crash.
Accepts
[tab=@ edg=@] - tab is the number of characters of indentation and edge is
the maximum number of characters of width.
tac is a tank.
Produces
A wall (list of tapes).
Source
++ wash
|= [[tab=@ edg=@] tac=tank] ^- wall
(~(win re tac) tab edg)
Examples
> =rose `tank`[%rose [" " "[" "]"] ~['abc' 'def' 'ghi']]
> ((slog (crip (of-wall:format (wash [0 80] rose))) ~) ~)
[abc def ghi]
> ((slog (crip (of-wall:format (wash [0 8] rose))) ~) ~)
[ abc
def
ghi
]
> ((slog (crip (of-wall:format (wash [3 15] rose))) ~) ~)
[ abc
def
ghi
]++re
Pretty-printing engine
Container core for a pretty-printing engine that accepts a tank sample and contains arms that perform computation on it.
Accepts
tac is a tank.
Source
++ re
|_ tac=tank
++ram:re
Flatten to tape
Flatten tank out into a tape.
Accepts
tac is a tank, taken from sample of ++re core.
Produces
A tape.
Source
++ ram
^- tape
?@ tac
(trip tac)
?- -.tac
%leaf p.tac
::
:: flat %palm rendered as %rose with welded openers
::
%palm
=* mid p.p.tac
=* for (weld q.p.tac r.p.tac)
=* end s.p.tac
ram(tac [%rose [mid for end] q.tac])
::
:: flat %rose rendered with open/mid/close
::
%rose
=* mid p.p.tac
=* for q.p.tac
=* end r.p.tac
=* lit q.tac
%+ weld
for
|- ^- tape
?~ lit
end
%+ weld
ram(tac i.lit)
=* voz $(lit t.lit)
?~(t.lit voz (weld mid voz))
==
Examples
> ~(ram re leaf+"foo")
"foo"
> ~(ram re [%rose [" " "[" "]"] ~['abc' 'def' 'ghi']])
"[abc def ghi]"++win:re
Render at indent
Render at indent level tab and width edg.
Accepts
tac is a tank, taken from sample of ++re core.
tab and edg are atoms.
Produces
A wall (list of tape).
Source
++ win
|= [tab=@ud edg=@ud]
:: output stack
::
=| lug=wall
|^ ^- wall
?@ tac
(rig (trip tac))
?- -.tac
%leaf (rig p.tac)
::
%palm
=/ hom ram
?: (lte (lent hom) (sub edg tab))
(rig hom)
::
=* for q.p.tac
=* lit q.tac
?~ lit
(rig for)
?~ t.lit
=: tab (add 2 tab)
lug $(tac i.lit)
==
(rig for)
::
=> .(lit `(list tank)`lit)
=/ lyn (mul 2 (lent lit))
=. lug
|- ^- wall
?~ lit
lug
=/ nyl (sub lyn 2)
%= ^$
tac i.lit
tab (add tab nyl)
lug $(lit t.lit, lyn nyl)
==
(wig for)
::
%rose
=/ hom ram
?: (lte (lent hom) (sub edg tab))
(rig hom)
::
=* for q.p.tac
=* end r.p.tac
=* lit q.tac
=. lug
|- ^- wall
?~ lit
?~(end lug (rig end))
%= ^$
tac i.lit
tab (mod (add 2 tab) (mul 2 (div edg 3)))
lug $(lit t.lit)
==
?~(for lug (wig for))
==
:: +rig: indent tape and cons with output stack
::
++ rig
|= hom=tape
^- wall
[(runt [tab ' '] hom) lug]
:: +wig: indent tape and cons with output stack
::
:: joined with the top line if whitespace/indentation allow
::
++ wig
|= hom=tape
^- wall
?~ lug
(rig hom)
=/ wug :(add 1 tab (lent hom))
?. =+ mir=i.lug
|- ^- ?
?~ mir |
?| =(0 wug)
?&(=(' ' i.mir) $(mir t.mir, wug (dec wug)))
==
(rig hom) :: ^ XX regular form?
:_ t.lug
%+ runt [tab ' ']
(weld hom `tape`[' ' (slag wug i.lug)])
--
Examples
> =rose `tank`[%rose [" " "[" "]"] ~['abc' 'def' 'ghi']]
> ((slog (crip (of-wall:format (~(win re rose) 0 80))) ~) ~)
[abc def ghi]
> ((slog (crip (of-wall:format (~(win re rose) 3 80))) ~) ~)
[abc def ghi]
> ((slog (crip (of-wall:format (~(win re rose) 0 10))) ~) ~)
[ abc
def
ghi
]
> ((slog (crip (of-wall:format (~(win re rose) 3 15))) ~) ~)
[ abc
def
ghi
]++show
Pretty-printer (deprecated)
Pretty prints noun vem, producing a tank. This function is deprecated and in
most cases produces outdated syntax or incorrect results.
Accepts
vem is a noun.
Produces
A tank.
Source
++ show
|= vem=*
|^ ^- tank
?: ?=(@ vem)
[%leaf (mesc (trip vem))]
?- vem
[s=~ c=*]
[%leaf '\'' (weld (mesc (tape +.vem)) `tape`['\'' ~])]
::
[s=%a c=@] [%leaf (mesc (trip c.vem))]
[s=%b c=*] (shop c.vem |=(a=@ ~(rub at a)))
[s=[%c p=@] c=*]
:+ %palm
[['.' ~] ['-' ~] ~ ~]
[[%leaf (mesc (trip p.s.vem))] $(vem c.vem) ~]
::
[s=%d c=*] (shop c.vem |=(a=@ ~(rud at a)))
[s=%k c=*] (tank c.vem)
[s=%h c=*]
:+ %rose
[['/' ~] ['/' ~] ~]
=+ yol=((list @ta) c.vem)
(turn yol |=(a=@ta [%leaf (trip a)]))
::
[s=%l c=*] (shol c.vem)
[s=%o c=*]
%= $
vem
:- [%m '%h::[%d %d].[%d %d]>']
[-.c.vem +<-.c.vem +<+.c.vem +>-.c.vem +>+.c.vem ~]
==
::
[s=%p c=*] (shop c.vem |=(a=@ ~(rup at a)))
[s=%q c=*] (shop c.vem |=(a=@ ~(r at a)))
[s=%r c=*] $(vem [[%r ' ' '{' '}'] c.vem])
[s=%t c=*] (shop c.vem |=(a=@ ~(rt at a)))
[s=%v c=*] (shop c.vem |=(a=@ ~(ruv at a)))
[s=%x c=*] (shop c.vem |=(a=@ ~(rux at a)))
[s=[%m p=@] c=*] (shep p.s.vem c.vem)
[s=[%r p=@] c=*]
$(vem [[%r ' ' (cut 3 [0 1] p.s.vem) (cut 3 [1 1] p.s.vem)] c.vem])
::
[s=[%r p=@ q=@ r=@] c=*]
:+ %rose
:* p=(mesc (trip p.s.vem))
q=(mesc (trip q.s.vem))
r=(mesc (trip r.s.vem))
==
|- ^- (list tank)
?@ c.vem
~
[^$(vem -.c.vem) $(c.vem +.c.vem)]
::
[s=%z c=*] $(vem [[%r %$ %$ %$] c.vem])
* !!
==
++ shep
|= [fom=@ gar=*]
^- tank
=+ l=(met 3 fom)
=+ i=0
:- %leaf
|- ^- tape
?: (gte i l)
~
=+ c=(cut 3 [i 1] fom)
?. =(37 c)
(weld (mesc [c ~]) $(i +(i)))
=+ d=(cut 3 [+(i) 1] fom)
?. .?(gar)
['\\' '#' $(i (add 2 i))]
(weld ~(ram re (show d -.gar)) $(i (add 2 i), gar +.gar))
::
++ shop
|= [aug=* vel=$-(a=@ tape)]
^- tank
?: ?=(@ aug)
[%leaf (vel aug)]
:+ %rose
[[' ' ~] ['[' ~] [']' ~]]
=> .(aug `*`aug)
|- ^- (list tank)
?: ?=(@ aug)
[^$ ~]
[^$(aug -.aug) $(aug +.aug)]
::
++ shol
|= lim=*
:+ %rose
[['.' ~] ~ ~]
|- ^- (list tank)
?: ?=(@ lim) ~
:_ $(lim +.lim)
?+ -.lim (show '#')
~ (show '$')
c=@ (show c.lim)
[%& %1] (show '.')
[%& c=@]
[%leaf '+' ~(rud at c.lim)]
::
[%| @ ~] (show ',')
[%| n=@ ~ c=@]
[%leaf (weld (reap n.lim '^') ?~(c.lim "$" (trip c.lim)))]
==
--