~/jendhub

def text

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

import emerging-ezjson@1.3.0.0/src/fixed.bend as Fixed
import Base

301# a number's text with `nn` decimals
302def text(txt: String, +nn: Nat) -> String:
303  match txt:
304    case SNil{}:
305      unsigned("", nn)
306    case SCon{+hd, tl}:
307      text.at(Char.is_eq(hd, '-'), hd, tl, nn)

Uses (6)

Used by (1)