def PostgREST.Response.Performance.serverTimingHeader : String

The Server-Timing header name.

Equations

• PostgREST.Response.Performance.serverTimingHeader = "Server-Timing"

def PostgREST.Response.Performance.serverTimingValue (totalMs : Nat) : String

Format a Server-Timing header value. Format: "total;dur=123.4"

Equations

• PostgREST.Response.Performance.serverTimingValue totalMs = toString "total;dur=" ++ toString totalMs

def PostgREST.Response.Performance.timingHeaders (totalMs : Nat) (planMs execMs : Option Nat := none) : List (String × String)

Format timing headers for a response.

Equations

• One or more equations did not get rendered due to their size.
• PostgREST.Response.Performance.timingHeaders totalMs = [(PostgREST.Response.Performance.serverTimingHeader, ", ".intercalate ([toString "total;dur=" ++ toString totalMs] ++ [] ++ []))]