def http_date.fin

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

import Base

571def http_date.fin(p: P) -> Maybe<&2, Instant>:
572  match p:
573    case P{Con{s, Con{mi, Con{h, Con{y, Con{mo, Con{d, Con{wd, Nil{}}}}}}}}, SNil{}}:
574      mk(DateTime{Date{y, (mo + 1 : U32), d}, h, mi, s, 0})
575    case _:
576      None{}