Http.request.line: def of gralha-http-core@0.1.0.0
Import: import gralha-http-core@0.1.0.0/http.bend as Http
Lines 232-237 of gralha-http-core@0.1.0.0/http.bend: https://jend.leeeet.dev/read.txt?path=gralha-http-core@0.1.0.0/http.bend&start_line=232&end_line=237

import Base

def request.line(parts: List<&2, String>, headers: List<&2, Header>, body: String) -> Maybe<&2, Request>:
  match parts:
    case Con{m, Con{t, Con{v, Nil{}}}}:
      Some{Request{m, t, v, headers, body}}
    case _:
      None{}

Uses (5):
  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=String
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=Header
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=Request