def Network.Wai.Middleware.combineHeaders : Middleware

Combine duplicate response headers by joining their values with ", ". $$\text{combineHeaders} : \text{Middleware}$$

Equations

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

def Network.Wai.Middleware.combineHeaders.combineHeaderList (hdrs : HTTP.Types.ResponseHeaders) : HTTP.Types.ResponseHeaders

Equations

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