def tenths.parts

cswap-bend-cli@0.1.0.0 · poll.bend:103

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

103def tenths.parts(ps: List<&2, String>) -> Maybe<&2, U32>:
104  match ps:
105    case Con{+i, Nil{}}:
106      tenths.pick(Clock.all_digits(i) && Bool.not(String.is_empty(i)) && Nat.is_le(String.length(i), 7n), i, "")
107    case Con{+i, Con{+f, Nil{}}}:
108      tenths.pick(Clock.all_digits(i) && Clock.all_digits(f) && Bool.not(String.is_empty(i)) && Nat.is_le(String.length(i), 7n), i, f)
109    case _:
110      None{}