Http.request.is: def of gralha-http-core@0.1.0.0
Import: import gralha-http-core@0.1.0.0/http.bend as Http
Lines 302-304 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=302&end_line=304

import Base

# Whether the request is method on path, e.g. request.is(r, "GET", "/").
def request.is(+r: Request, method: String, path: String) -> Bool:
  String.eq(request.method(r), method) && String.eq(request.path(r), path)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=Request
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=request.method
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=request.path