Idris2Doc : Node.Net

Node.Net

(source)
Reexports
import public Node.Net.CreateServer
import public Node.Net.Server
import public Node.Net.Socket
import public Node.Net.Static
import public Node.Net.Module
Definitions
require : HasIO io => io NetModule
  Visibility: export