def Network.Wai.Handler.Warp.run (port : UInt16) (app : Application) : IO Unit

Run a WAI application on the given port with default settings. $$\text{run} : \text{UInt16} \to \text{Application} \to \text{IO}(\text{Unit})$$

Equations

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