def Network.Wai.Middleware.routed (predicate : Request → Bool) (middle : Middleware) : Middleware

Apply middleware only to requests matching the given path predicate. $$\text{routed} : (\text{Request} \to \text{Bool}) \to \text{Middleware} \to \text{Middleware}$$

Equations

• Network.Wai.Middleware.routed predicate middle app req respond = if predicate req = true then middle app req respond else app req respond

def Network.Wai.Middleware.routedPrefix (pathPrefix : String) (middle : Middleware) : Middleware

Apply middleware only to requests with the given path prefix. $$\text{routedPrefix} : \text{String} \to \text{Middleware} \to \text{Middleware}$$

Equations

• Network.Wai.Middleware.routedPrefix pathPrefix middle = Network.Wai.Middleware.routed (fun (req : Network.Wai.Request) => req.rawPathInfo.startsWith pathPrefix) middle

theorem Network.Wai.Middleware.routed_true (middle : Middleware) : routed (fun (x : Request) => true) middle = middle

Routing with always-true predicate applies the middleware.

theorem Network.Wai.Middleware.routed_false (middle : Middleware) : routed (fun (x : Request) => false) middle = id

Routing with always-false predicate is identity.