def Time.parse.go

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

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

139def Time.parse.go(y: Maybe<&2, U32>, mo: Maybe<&2, U32>, d: Maybe<&2, U32>, h: Maybe<&2, U32>,
140  mi: Maybe<&2, U32>, se: Maybe<&2, U32>, ok: Bool) -> Maybe<&2, U32>:
141  match y mo d h mi se ok:
142    case Some{+y1} Some{+mo1} Some{+d1} Some{h1} Some{mi1} Some{se1} True{}:
143      Some{(Time.days(y1, mo1, d1) * 86400 + h1 * 3600 + mi1 * 60 + se1 : U32)}
144    case _ _ _ _ _ _ _:
145      None{}

Uses (6)

Used by (1)