def tz.clock.part

bend-kit-time@0.3.0.0 · time.bend:846

import Base

846def tz.clock.part(s: String) -> Maybe<&2, TzField>:
847  match s:
848    case SCon{Chr{58}, t}:
849      do Maybe<&2, TzField>:
850        n : TzField <- tz.number(t)
851        tz.clock.tail(n, 59)
852    case _:
853      Some{TzField{0, s}}