~/jendhub

def canon.opt

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

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

279def canon.opt(+m: Maybe<&2, Num>) -> Maybe<&2, String>:
280  match m:
281    case None{}:
282      None{}
283    case Some{Num{neg, ip, fp, eneg, ex}}:
284      canon.parts(Nat.is_le(String.length(ex), 9n), neg, ip, fp, eneg, ex)

Uses (6)

Used by (1)