def fmt.int.pick

bend-toon-codec@0.1.0.0 · src/num.bend:208

import bend-toon-codec@0.1.0.0/src/num.bend as Num

import Base

208def fmt.int.pick(+fits: Bool, +k: U32, +d: String) -> String:
209  match fits:
210    case True{}:
211      d ++ zeros((k - len32(d) : U32))
212    case False{}:
213      String.take(d, U32.to_nat(k)) ++ "." ++ String.drop(d, U32.to_nat(k))

Uses (10)

Used by (1)

bend-toon-codec@0.1.0.0/src/num:fmt.int