inductive Network.Wai.Middleware.OutputFormat : Type

Log output format.

• apache : OutputFormat
• dev : OutputFormat

@[implicit_reducible]

instance Network.Wai.Middleware.instBEqOutputFormat : BEq OutputFormat

Equations

• Network.Wai.Middleware.instBEqOutputFormat = { beq := Network.Wai.Middleware.instBEqOutputFormat.beq }

def Network.Wai.Middleware.instBEqOutputFormat.beq : OutputFormat → OutputFormat → Bool

Equations

• Network.Wai.Middleware.instBEqOutputFormat.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

structure Network.Wai.Middleware.RequestLoggerSettings : Type

Request logger settings.

• outputFormat : OutputFormat
• destination : System.Log.FastLogger.LogType

def Network.Wai.Middleware.logRequests (settings : RequestLoggerSettings := { }) : IO Middleware

Request logging middleware. Logs each request after the response is sent. $$\text{logRequests} : \text{RequestLoggerSettings} \to \text{IO Middleware}$$

Equations

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

def Network.Wai.Middleware.logStdoutDev : IO Middleware

Convenience: simple stdout logger with dev format.

Equations

• Network.Wai.Middleware.logStdoutDev = Network.Wai.Middleware.logRequests