Yaml.Num.fin: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/yaml.bend as Yaml
Lines 387-398 of bend-kube-runtime@0.2.0.0/src/yaml.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/yaml.bend&start_line=387&end_line=398

import Base

# The number as JSON writes it, or None when s is not one.
def Num.fin(st: Num) -> Maybe<&2, String>:
  match st:
    case NInt{n, i}:
      Some{Num.sign(n) ++ Num.int(List.reverse(&2, Char, i))}
    case NFrac{n, i, f}:
      Some{Num.sign(n) ++ Num.int(List.reverse(&2, Char, i)) ++ Num.frac(f)}
    case NExpD{n, i, f, x}:
      Some{Num.sign(n) ++ Num.int(List.reverse(&2, Char, i)) ++ Num.frac(f) ++
        String.from_list(List.reverse(&2, Char, x))}
    case _:
      None{}

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.from_list
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/yaml.bend&name=Num
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/yaml.bend&name=Num.frac
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/yaml.bend&name=Num.int
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/yaml.bend&name=Num.sign