0 | module Node.HTTP2.Http2Server
 1 |
 2 | import Node
 3 | import Node.Event.Internal
 4 | import Node.HTTP2.Headers
 5 | import Node.HTTP2.ServerHttp2Stream
 6 | import public Node.Net.Server
 7 |
 8 | export
 9 | data Http2Server : Type where [external]
10 |
11 | export
12 | implementation ServerClass Http2Server where
13 |
14 | %foreign nodeOn2 "stream"
15 | ffi_onStream : a -> (b -> c -> PrimIO ()) -> PrimIO ()
16 |
17 | export
18 | (.onStream) : HasIO io => Http2Server -> (ServerHttp2Stream -> Headers -> IO()) -> io ()
19 | (.onStream) = on2 ffi_onStream
20 |
21 |