@[reducible, inline]

abbrev Std.Http.Internal.Test.TestHandler : Type

@[implicit_reducible]

instance Std.Http.Internal.Test.instHandlerTestHandler : Server.Handler TestHandler

def Std.Http.Internal.Test.defaultConfig : Config

Default config for server tests. Short lingering timeout, no Date header.

def Std.Http.Internal.Test.runGroup (name : String) (tests : IO Unit) : IO Unit

Run tests and wrap any failure message with the group name. Use as #eval runGroup "Topic" do ....

def Std.Http.Internal.Test.check (name raw : String) (handler : TestHandler) (expect : ByteArray → IO Unit) (config : Config := defaultConfig) : IO Unit

Create a fresh mock connection, send raw, and run assertions.

def Std.Http.Internal.Test.checkClose (name raw : String) (handler : TestHandler) (expect : ByteArray → IO Unit) (config : Config := defaultConfig) : IO Unit

Like check but closes the client channel before running the server. Use for tests involving truncated input or silent-close (EOF-triggered behavior).

def Std.Http.Internal.Test.checkTimed (name : String) (ms : Nat := 2000) (raw : String) (handler : TestHandler) (expect : ByteArray → IO Unit) (config : Config := defaultConfig) : IO Unit

Like check wrapped in a wall-clock timeout. Required when the test involves streaming, async timers, or keep-alive behavior.

def Std.Http.Internal.Test.assertStatus (response : ByteArray) (prefix_ : String) : IO Unit

Assert the response starts with prefix_ (e.g. "HTTP/1.1 200").

def Std.Http.Internal.Test.assertExact (response : ByteArray) (expected : String) : IO Unit

Assert the response is byte-for-byte equal to expected. Use sparingly — prefer assertStatus + assertContains for 200 responses.

def Std.Http.Internal.Test.assertContains (response : ByteArray) (needle : String) : IO Unit

Assert needle appears anywhere in the response.

def Std.Http.Internal.Test.assertAbsent (response : ByteArray) (needle : String) : IO Unit

Assert needle does NOT appear in the response.

def Std.Http.Internal.Test.assertResponseCount (response : ByteArray) (n : Nat) : IO Unit

Assert the response contains exactly n occurrences of "HTTP/1.1 ".

def Std.Http.Internal.Test.r400 : String

def Std.Http.Internal.Test.r408 : String

def Std.Http.Internal.Test.r413 : String

def Std.Http.Internal.Test.r417 : String

def Std.Http.Internal.Test.r431 : String

def Std.Http.Internal.Test.r505 : String

def Std.Http.Internal.Test.okHandler : TestHandler

Always respond 200 "ok" without reading the request body.

def Std.Http.Internal.Test.echoHandler : TestHandler

Read the full request body and echo it back as text/plain.

def Std.Http.Internal.Test.uriHandler : TestHandler

Respond 200 with the request URI as the body.

def Std.Http.Internal.Test.mkGet (path : String := "/") (extra : String := "") : String

Minimal GET request. extra is appended as raw header lines (each ending with \x0d\n) before the blank line.

def Std.Http.Internal.Test.mkGetClose (path : String := "/") : String

GET with Connection: close.

def Std.Http.Internal.Test.mkPost (path body : String) (extra : String := "") : String

POST with a fixed Content-Length body. extra is appended before the blank line.

def Std.Http.Internal.Test.mkChunked (path chunkedBody : String) (extra : String := "") : String

POST with Transfer-Encoding: chunked. chunkedBody is the pre-formatted body (use chunk + chunkEnd to build it).

def Std.Http.Internal.Test.chunk (data : String) : String

Format a single chunk: <hex-size>\x0d\n<data>\x0d\n.

def Std.Http.Internal.Test.chunkEnd : String

The terminal zero-chunk that ends a chunked body.