From 152fcf0b2734523d84c56c124b604e3cbccc9ea4 Mon Sep 17 00:00:00 2001 From: Will Hanlen Date: Wed, 19 Jun 2024 11:17:04 -0400 Subject: [PATCH] revert vase pretty-printing --- pkg/arvo/neo/cod/std/src/con/vase-htmx.hoon | 81 ++++++++++++--------- 1 file changed, 45 insertions(+), 36 deletions(-) diff --git a/pkg/arvo/neo/cod/std/src/con/vase-htmx.hoon b/pkg/arvo/neo/cod/std/src/con/vase-htmx.hoon index b36ae9cf8e..949c4f1e77 100644 --- a/pkg/arvo/neo/cod/std/src/con/vase-htmx.hoon +++ b/pkg/arvo/neo/cod/std/src/con/vase-htmx.hoon @@ -2,19 +2,26 @@ :- [%vase %$ %htmx] |= vax=vase |= =bowl:neo +=; revert :: XX fix vase printing + ;/ (of-wall:format (~(win re (sell vax)) 0 80)) :: =/ depth=@ud 2 =/ ty p.vax |- ^- manx =* loop $ |^ ^- manx -?: =(depth 0) - ;/ "Bottoming out" -=/ arms (slow:neo ty) -=/ items=(list item:dprint:neo) - (zing (turn arms |=(ls=(list term) `(list item:dprint:neo)`(drop (find-item-in-type:dprint:neo ls ty))))) -;div - ;* (turn items print-item) -== + ?: =(depth 0) + ;/ "Bottoming out" + =/ arms (slow:neo ty) + =/ items=(list item:dprint:neo) + (zing (turn arms |=(ls=(list term) `(list item:dprint:neo)`(drop (find-item-in-type:dprint:neo ls ty))))) + ;div + ;* + ?: =(0 (lent items)) + ;= + ;+ ;/ (of-wall:format (~(win re (sell vax)) 0 80)) + == + (turn items print-item) + == ++ print-item |= val=item:dprint:neo ^- manx @@ -22,7 +29,7 @@ %core (print-core +.val) %chapter (print-chapter +.val) %arm (print-arm +.val) - %view + %view ;div ;* (turn items.val print-overview-item) == @@ -30,7 +37,7 @@ ++ print-overview-item |= tim=overview-item:dprint:neo ^- manx - ?- -.tim + ?- -.tim %header (print-overview-header +.tim) %item (print-overview-item-actual +.tim) == @@ -80,7 +87,7 @@ ;div ;* (print-what "Overview" docs) ;* (print-what "Tome" p.tom) - ;* + ;* %+ turn ~(tap by q.tom) |= [=term =hoon] ^- manx @@ -101,31 +108,33 @@ =/ t (~(play ut sut) gen) ^- manx - ;div - ;h3 - ; + - ; {name} - == - ;div - ;details - ;summary: Signature - ;code - ;pre - ;* - %+ turn (wash [0 80] ~(duck easy-print:neo t)) - |= tap=tape - ;div: {tap} - == + ;div.fc.g2 + ;h3: {(weld "+" name)} + ;details.br1.bd1 + ;summary.br1.b1.p-1: signature + ;code.p2 + ;pre.mono + ;* + %+ turn (wash [0 80] ~(duck easy-print:neo t)) + |= tap=tape + ;div: {tap} == == - ;div: Docs - ;* (print-what "" adoc) - ;* (print-what "Product" pdoc) - ;* (print-what "$" cdoc) == - ;div: Children - ;+ - loop(ty (~(play ut ty) gen), depth (dec depth)) + ;details.br1.bd1 + ;summary.br1.b1.p-1: docs + ;div.p2.fc.g1 + ;* (print-what "" adoc) + ;* (print-what "Product" pdoc) + ;* (print-what "$" cdoc) + == + == + ;details.br1.bd1 + ;summary.br1.b1.p-1: children + ;div.p2 + ;+ loop(ty (~(play ut ty) gen), depth (dec depth)) + == + == == :: ++ print-what @@ -138,11 +147,11 @@ ;div ; {(trip p.u.wat)} == - ;details - ;summary + ;details.br1.bd1 + ;summary.p-1.b1.br1 ; {(trip p.u.wat)} == - ;div + ;div.p2 ;* (turn q.u.wat print-sect) == ==