Time.http_date.parse: def of bend-kit-time@0.3.0.0
Import: import bend-kit-time@0.3.0.0/time.bend as Time
Lines 578-596 of bend-kit-time@0.3.0.0/time.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-time@0.3.0.0/time.bend&start_line=578&end_line=596

import Base

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

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=Instant
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=MONTHS
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=P
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=WEEKDAYS
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=http_date.fin
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=lit
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=num
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=text
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=word