def http_date.parse

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

import Base

578# An IMF-fixdate (RFC 9110 §5.6.7), such as Sun, 06 Nov 1994 08:49:37 GMT.
579# The day name must be one of the seven, but it is not checked against the date.
580def http_date.parse(s: String) -> Maybe<&2, Instant>:
581  do Maybe<&2, Instant>:
582    a : P <- word(WEEKDAYS(), P{Nil{}, s})
583    b : P <- text(", ", a)
584    c : P <- num(2n, b)
585    d : P <- lit(32, c)
586    e : P <- word(MONTHS(), d)
587    f : P <- lit(32, e)
588    g : P <- num(4n, f)
589    h : P <- lit(32, g)
590    i : P <- num(2n, h)
591    j : P <- lit(58, i)
592    k : P <- num(2n, j)
593    l : P <- lit(58, k)
594    m : P <- num(2n, l)
595    n : P <- text(" GMT", m)
596    http_date.fin(n)