Idris2Doc : Node.HTTP2.Http2Server

Node.HTTP2.Http2Server

(source)
Reexports
import public Node.Net.Server
Definitions
data Http2Server : Type
  Totality: total
  Visibility: export
  Hint: 
ServerClass Http2Server
.onStream : HasIO io => Http2Server -> (ServerHttp2Stream -> Headers -> IO ()) -> io ()
  Visibility: export