Idris2Doc : Node.Net.Server

Node.Net.Server

(source)

Reexports

importpublic Node
importpublic Node.Error
importpublic Node.Net.Server.Listen

Definitions

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

Implementations:
ServerClassHttp2Server
ServerClassServer
ServerClassServer
ServerClassServer
.onClose : ServerClasss=>HasIOio=>s->IO () ->io ()
Visibility: public export
.onConnection : ServerClasss=>HasIOio=>s-> (socket->IO ()) ->io ()
Visibility: public export
.onError : ServerClasss=>HasIOio=>s-> (Error->IO ()) ->io ()
Visibility: public export
.onListening : ServerClasss=>HasIOio=>s->IO () ->io ()
Visibility: public export
.onDrop : ServerClasss=>HasIOio=>s-> (drop->IO ()) ->io ()
Visibility: public export
.listen : ServerClasss=>HasIOio=>s->Options->io ()
Visibility: public export
.close : ServerClasss=>HasIOio=>s->io ()
Visibility: public export
dataServer : Type
Totality: total
Visibility: export
Hint: 
ServerClassServer