~/jendhub

def DateTime.http_date

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

import bend-kit-time@0.3.0.0/time.bend as Time
import Base

368def DateTime.http_date(t: DateTime) -> String:
369  match t:
370    case DateTime{+date, h, mi, s, n}:
371      Date{y, mo, d} = date
372      String.concat([name(WEEKDAYS(), (Date.weekday(date) - 1 : U32)), ", ", pad(d, 2n), " ",
373        name(MONTHS(), (mo - 1 : U32)), " ", pad(y, 4n), " ", pad(h, 2n), ":", pad(mi, 2n), ":",
374        pad(s, 2n), " GMT"])

Uses (12)

Used by (1)