structure Network.Wai.Test.SRequest : Type

A simulated request for testing.

• method : HTTP.Types.Method
• path : String
• headers : HTTP.Types.RequestHeaders
• body : ByteArray
• isSecure : Bool

structure Network.Wai.Test.SResponse : Type

A captured response from testing.

• simpleStatus : HTTP.Types.Status
• simpleHeaders : HTTP.Types.ResponseHeaders
• simpleBody : ByteArray

def Network.Wai.Test.toWaiRequest (sreq : SRequest) : Request

Build a WAI Request from an SRequest.

Equations

• One or more equations did not get rendered due to their size.

def Network.Wai.Test.runSession (app : Application) (sreq : SRequest) : IO SResponse

Run a WAI Application with a simulated request and capture the response. Runs the Green computation via Green.block. $$\text{runSession} : \text{Application} \to \text{SRequest} \to \text{IO SResponse}$$

Equations

• One or more equations did not get rendered due to their size.

def Network.Wai.Test.get (app : Application) (path : String) : IO SResponse

Convenience: GET request.

Equations

• Network.Wai.Test.get app path = Network.Wai.Test.runSession app { path := path }

def Network.Wai.Test.post (app : Application) (path : String) (body : ByteArray) (contentType : String := "application/octet-stream") : IO SResponse

Convenience: POST request with body.

Equations

• One or more equations did not get rendered due to their size.