def span.quote.fin

emerging-eztoml@0.9.0.0 · main.bend:5752

import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
import Base

5752# quotes around a plain span, or the escaping writer when a character needs it
5753def span.quote.fin(hit: Sq, src: String, +nn: U32) -> String:
5754  match hit:
5755    case SqNo{}:
5756      key.basic(span.str(src, nn, U32.is_zero(nn)))
5757    case SqOk{rev}:
5758      buf.str('"' <> rev)

Uses (9)

Used by (1)