Idris2Doc : Node.Net.Server

Node.Net.Server

(source)

Reexports

import public Node
import public Node.Error
import public Node.Net.Server.Listen

Definitions

unsafeServerOnClose : HasIO io => s -> IO () -> io ()
Visibility: export
unsafeServerOnConnection : HasIO io => s -> (socket -> IO ()) -> io ()
Visibility: export
unsafeServerOnError : HasIO io => s -> (Error -> IO ()) -> io ()
Visibility: export
unsafeServerOnListening : HasIO io => s -> IO () -> io ()
Visibility: export
unsafeServerOnDrop : HasIO io => s -> (drop -> IO ()) -> io ()
Visibility: export
unsafeServerListen : HasIO io => s -> Options -> io ()
Visibility: export
unsafeServerClose : HasIO io => s -> io ()
Visibility: export
interface ServerClass : Type -> Type
Parameters: s
Methods:
.onClose : HasIO io => s -> IO () -> io ()
.onConnection : HasIO io => s -> (socket -> IO ()) -> io ()
.onError : HasIO io => s -> (Error -> IO ()) -> io ()
.onListening : HasIO io => s -> IO () -> io ()
.onDrop : HasIO io => s -> (drop -> IO ()) -> io ()
.listen : HasIO io => s -> Options -> io ()
.close : HasIO io => s -> io ()

Implementations:
ServerClass Http2Server
ServerClass Server
ServerClass Server
ServerClass Server
.onClose : ServerClass s => HasIO io => s -> IO () -> io ()
Visibility: public export
.onConnection : ServerClass s => HasIO io => s -> (socket -> IO ()) -> io ()
Visibility: public export
.onError : ServerClass s => HasIO io => s -> (Error -> IO ()) -> io ()
Visibility: public export
.onListening : ServerClass s => HasIO io => s -> IO () -> io ()
Visibility: public export
.onDrop : ServerClass s => HasIO io => s -> (drop -> IO ()) -> io ()
Visibility: public export
.listen : ServerClass s => HasIO io => s -> Options -> io ()
Visibility: public export
.close : ServerClass s => HasIO io => s -> io ()
Visibility: public export
data Server : Type
Totality: total
Visibility: export
Hint: 
ServerClass Server