Render.clean: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ledger/render.bend as Render Lines 156-161 of ezx@1.11.0.0/src/ledger/render.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ledger/render.bend&start_line=156&end_line=161 import Base # whether a name or value can be written as it is: it holds no `"`, no `\` # and no newline. The pinned eztoml reader (v0.1.0) neither writes nor reads # escapes, a newline would end the line, and a quote or a backslash would make # the file mean something else to every other TOML reader, nix's among them. def clean(+text: String) -> Bool: Bool.and(clear(text, '"'), Bool.and(clear(text, '\\'), clear(text, '\n'))) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/render.bend&name=clear