~/jendhub

def Time.parse.seps

bend-kube-runtime@0.2.0.0 · src/time.bend:147

import bend-kube-runtime@0.2.0.0/src/time.bend as Time
import Base

147def Time.parse.seps(+s: String) -> Bool:
148  Bool.and(Bool.and(String.eq(Time.sub(s, 4n, 1n), "-"), String.eq(Time.sub(s, 7n, 1n), "-")),
149    Bool.and(Bool.and(String.eq(Time.sub(s, 10n, 1n), "T"), String.eq(Time.sub(s, 13n, 1n), ":")),
150      Bool.and(String.eq(Time.sub(s, 16n, 1n), ":"), String.ends_with(s, "Z"))))

Uses (6)

Used by (1)