Idris2Doc : WebServerRacket

WebServerRacket

(source)

Definitions

runResponder : PGAuthentication -> (Request -> InnerCont (List Frame)) -> IO ()
Visibility: export