http/request.bend checks

raw source on the hub · import 0x90b8f1a2bac415251e8ad069cd6d29ec/http/request.bend as Request

5 imports

import Base
import ./text.bend as T
import ./method.bend as M
import ./headers.bend as H
import ./query.bend as Q

Types

type Request source · line 10 · raw

Data

a request as the server hands it over: the method, the target as sent (origin-form, RFC 9112 §3.2.1: /path?query), the headers, and the body's bytes, read up to the server's limit

Request

@method:0x90b8f1a2bac415251e8ad069cd6d29ec/http/method.Method -> @target:String -> @headers:List<&2, 0x90b8f1a2bac415251e8ad069cd6d29ec/http/headers.Header> -> @body:List<&2, U32> -> Request

Definitions

def method source · line 16 · raw

@r:Request -> 0x90b8f1a2bac415251e8ad069cd6d29ec/http/method.Method

def target source · line 21 · raw

@r:Request -> String

def path.of source · line 26 · raw

@c:0x90b8f1a2bac415251e8ad069cd6d29ec/http/text.Cut -> String

def path source · line 32 · raw

@r:Request -> String

the target's path, before any ?

def query.of source · line 37 · raw

@c:0x90b8f1a2bac415251e8ad069cd6d29ec/http/text.Cut -> List<&2, 0x90b8f1a2bac415251e8ad069cd6d29ec/http/query.Param>

def query source · line 45 · raw

@r:Request -> List<&2, 0x90b8f1a2bac415251e8ad069cd6d29ec/http/query.Param>

the target's query pairs, decoded

def headers source · line 50 · raw

@r:Request -> List<&2, 0x90b8f1a2bac415251e8ad069cd6d29ec/http/headers.Header>

def header source · line 56 · raw

@r:Request -> @+name:String -> Maybe<&2, String>

the first value of a header, whose name compares ignoring case

def body source · line 61 · raw

@r:Request -> List<&2, U32>