def Network.Wai.Logger.apacheFormat (req : Request) (status : HTTP.Types.Status) (bodySize : Option Nat := none) : String

Format a request in Apache Combined Log Format. $$\text{apacheFormat} : \text{Request} \to \text{Status} \to \text{Option Nat} \to \text{String}$$ The third parameter is the response body size (if known).

Equations

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

def Network.Wai.Logger.apacheFormatWithDate (date : String) (req : Request) (status : HTTP.Types.Status) (bodySize : Option Nat := none) : String

Format with a date string prepended. $$\text{apacheFormatWithDate} : \text{String} \to \text{Request} \to \text{Status} \to \text{String}$$

Equations

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

structure Network.Wai.Logger.ApacheLogger : Type

A callback-based logger for WAI. Takes a date provider and output function.

• getDate : IO String
• output : String → IO Unit

def Network.Wai.Logger.ApacheLogger.log (logger : ApacheLogger) (req : Request) (status : HTTP.Types.Status) (bodySize : Option Nat := none) : IO Unit

Log a request/response pair.

Equations

• logger.log req status bodySize = do let date ← logger.getDate have line : String := Network.Wai.Logger.apacheFormatWithDate date req status bodySize logger.output (line ++ "\n")