Idris2Doc : Node.HTTP2.ClientHttp2Session

Node.HTTP2.ClientHttp2Session

(source)

Definitions

dataClientHttp2Session : Type
Totality: total
Visibility: export
.get : HasIOio=>ClientHttp2Session->String->Headers->ioClientHttp2Stream
Visibility: export
.post : HasIOio=>ClientHttp2Session->String->Headers->ioClientHttp2Stream
Visibility: export
.close : HasIOio=>ClientHttp2Session->io ()
Visibility: export
.onStream : HasIOio=>ClientHttp2Session-> (ClientHttp2Stream->Headers->IO ()) ->io ()
Visibility: export
.onError : HasIOio=>ClientHttp2Session-> (Error->IO ()) ->io ()
Visibility: export