Idris2Doc : Node.HTTPS.Static

Node.HTTPS.Static

(source)
Reexports
import public Node.HTTP.ClientRequest
import public Node.HTTPS.Request
Definitions
.createServer : HasIO io => HTTPSModule -> Options -> io Server
  Visibility: export
.get : HasIO io => HTTPSModule -> String -> {auto t : SocketType} -> Options t -> (IncomingMessage -> IO ()) -> io ClientRequest
  Visibility: export
.request : HasIO io => HTTPSModule -> String -> {auto t : SocketType} -> Options t -> (IncomingMessage -> IO ()) -> io ClientRequest
  Visibility: export
.post : HasIO io => HTTPSModule -> String -> {auto t : SocketType} -> Options t -> (IncomingMessage -> IO ()) -> io ClientRequest
  Visibility: export