Http.cookie.date.fin: def of bend-kit-http@0.38.2.0
Import: import bend-kit-http@0.38.2.0/http.bend as Http
Lines 2135-2140 of bend-kit-http@0.38.2.0/http.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http@0.38.2.0/http.bend&start_line=2135&end_line=2140

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

def cookie.date.fin(st: Cdate) -> Maybe<&2, Time.Instant>:
  match st:
    case Cdate{Some{Hms{h, mi, s}}, Some{d}, Some{mo}, Some{y}}:
      cookie.date.at(cookie.date.fix(y), d, mo, h, mi, s)
    case _:
      None{}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Cdate
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Hms
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=cookie.date.at
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=cookie.date.fix
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=Instant