def Iso8601.lead0

bend-time-lib@0.4.0.1 · iso8601.bend:56

import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601

import Base

56def Iso8601.lead0(s: String) -> Bool:
57  match s:
58    case SNil{}:
59      False{}
60    case SCon{h, _}:
61      Char.is_eq(h, '0')

Uses (4)

Used by (2)