def pct1.parts

cswap-bend-cli@0.1.0.0 · usage/text.bend:147

import Base
import cswap-bend-cli@0.1.0.0/clock.bend as Clock

147def pct1.parts(ps: List<&2, String>) -> Maybe<&2, String>:
148  match ps:
149    case Con{+i, Nil{}}:
150      pct1.pick(Clock.all_digits(i) && Bool.not(String.is_empty(i)) && Nat.is_le(String.length(i), 6n), i, "")
151    case Con{+i, Con{+f, Nil{}}}:
152      pct1.pick(Clock.all_digits(i) && Clock.all_digits(f) && Bool.not(String.is_empty(i)) && Nat.is_le(String.length(i), 6n), i, f)
153    case _:
154      None{}