Idris2Doc : Node.HTTP.Static

Node.HTTP.Static

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