middleware_gzip.ml
sihl
sihl.app
sihl.authn
sihl.authz
sihl.cmd
sihl.configuration
sihl.core
sihl.data
sihl.email
sihl.http
sihl.log
sihl.message
sihl.middleware
sihl.queue
sihl.schedule
sihl.server
sihl.session
sihl.storage
sihl.token
sihl.user
sihl.utils
sihl.web
1 2 3 4 5 6 7 8 9 10 (* TODO https://docs.djangoproject.com/en/3.0/ref/middleware/#module-django.middleware.gzip *) let m = let filter handler req = Logs.warn (fun m -> m "gzip middleware is not implemented"); handler req in Opium.Std.Rock.Middleware.create ~name:"gzip" ~filter
1 2 3 4 5 6 7 8 9 10
(* TODO https://docs.djangoproject.com/en/3.0/ref/middleware/#module-django.middleware.gzip *) let m = let filter handler req = Logs.warn (fun m -> m "gzip middleware is not implemented"); handler req in Opium.Std.Rock.Middleware.create ~name:"gzip" ~filter