def fixed.go

emerging-ezjson@1.3.0.0 · src/fixed.bend:309

import Base

309# Some of the text with `nn` decimals when `ok`, else None
310def fixed.go(ok: Bool, raw: String, +nn: Nat) -> Maybe<&2, String>:
311  match ok:
312    case True{}:
313      Some{text(raw, nn)}
314    case False{}:
315      None{}