Idris2Doc : Node.HTTP2.ClientHttp2Session

Node.HTTP2.ClientHttp2Session

(source)

Definitions

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