Idris2Doc : Node.HTTPS.Server

Node.HTTPS.Server

(source)
Reexports
import public Node.HTTP.IncomingMessage
import public Node.HTTP.ServerResponse
import public Node.Net.Server
Definitions
data Server : Type
  Totality: total
  Visibility: export
  Hint: 
ServerClass Server
.onRequest : HasIO io => Server -> (IncomingMessage -> ServerResponse -> IO ()) -> io ()
  Visibility: export