| 1 | |
| 2 | module pretty |
| 3 | { |
| 4 | |
| 5 | # Skeleton for something like "Strictly Pretty", e.g. |
| 6 | # |
| 7 | # https://justinpombrio.net/2024/02/23/a-twist-on-Wadlers-printer.html |
| 8 | # https://lobste.rs/s/1r0aak/twist_on_wadler_s_printer |
| 9 | # |
| 10 | # https://lobste.rs/s/aevptj/why_is_prettier_rock_solid |
| 11 | # |
| 12 | |
| 13 | doc = |
| 14 | Newline |
| 15 | | Text(str s, int width) |
| 16 | | Indent(int ind, List[doc] children) |
| 17 | | Cat(doc left, doc right) |
| 18 | } |
| 19 |