def split

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

import Base
import bend-toon-codec@0.1.0.0/src/head.bend as Hd

138# `-?digits(.digits)?([eE][+-]?digits)?`, as parts.
139def split(+s: String) -> Maybe<&2, Num>:
140  split.pick(Hd.lead(s, 45), s)