def Network.Wai.Application.staticApp (settings : WaiAppStatic.StaticSettings) : Application

Create a WAI Application that serves static files. Path segments from the request are validated as Pieces to prevent directory traversal. Lookup, caching, and directory handling are controlled by the StaticSettings. $$\text{staticApp} : \text{StaticSettings} \to \text{Application}$$

Equations

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

def Network.Wai.Application.static (root : String) : Application

Convenience: serve files from a filesystem directory. Equivalent to staticApp (defaultFileServerSettings root). $$\text{static} : \text{String} \to \text{Application}$$

Equations

• Network.Wai.Application.static root = Network.Wai.Application.staticApp (WaiAppStatic.Storage.defaultFileServerSettings root)