~/jendhub

def exp.done

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

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

67# After the exponent digits: nothing may follow.
68def exp.done(+neg: Bool, +ip: String, +fp: String, +eneg: Bool, +r: Sp) -> Maybe<&2, Num>:
69  match r:
70    case Sp{+ds, +rest}:
71      num.opt(String.is_empty(rest) && Bool.not(String.is_empty(ds)), Num{neg, ip, fp, eneg, ds})

Uses (9)

Used by (1)