mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-11-11 04:48:00 +03:00
b3901ab42f
git-subtree-dir: pkg/arvo git-subtree-mainline:9c8f40bf6c
git-subtree-split:c20e2a185f
32 lines
711 B
Plaintext
32 lines
711 B
Plaintext
:: Untyped best-guess printer
|
|
::
|
|
:::: /hoon/pretty-file/lib
|
|
::
|
|
/? 310
|
|
::
|
|
=< pretty-file
|
|
|%
|
|
++ pretty-noun
|
|
|= pri/* ^- tank
|
|
?~ pri
|
|
leaf+"~"
|
|
?@ pri
|
|
leaf+?:(((sane %tas) pri) <`@tas`pri> <pri>)
|
|
=< rose+[" " ?:(- "~[" "[") "]"]^+
|
|
|- ^- {? (list tank)}
|
|
?~ +.pri
|
|
[& ^$(pri -.pri) ~]
|
|
?@ +.pri
|
|
[| ^$(pri -.pri) ^$(pri +.pri) ~]
|
|
[+< - +>]:[^$(pri -.pri) $(pri +.pri)]
|
|
::
|
|
++ vale-cord |=(a/cord `?`(levy (trip a) |=(b/@ |((gte b 32) =(10 b)))))
|
|
::
|
|
++ wain-to-tang |=(a/wain (turn a |=(b/cord leaf+(trip b))))
|
|
++ pretty-file
|
|
|= fyl/* ^- tang
|
|
=+ `(unit wain)`?@(fyl `(to-wain:format fyl) ((soft wain) fyl))
|
|
?^ - (wain-to-tang u)
|
|
[(pretty-noun fyl)]~
|
|
--
|