def wf.atom

emerging-eztoml@0.9.0.0 · main.bend:6250

import Base

6250# a string, a number, a boolean or a datetime, well-formed. Nothing else is a
6251# scalar
6252def wf.atom(vv: Val) -> Bool:
6253  match vv:
6254    case VStr{text}:
6255      wf.text(text)
6256    case VSpan{src, +n}:
6257      wf.span(src, n, U32.is_zero(n))
6258    case VInt{+sign, +digits}:
6259      wf.int(sign, digits)
6260    case VFlo{_sign, +text}:
6261      wf.flo(text)
6262    case VBool{_bit}:
6263      True{}
6264    case VWhen{w}:
6265      wf.when(w)
6266    case _:
6267      False{}