Idris2Doc : Node.HTTP2.ServerHttp2Stream

Node.HTTP2.ServerHttp2Stream

(source)
Reexports
import public Data.Buffer
import public Node.Error
import public Node.HTTP2.Headers
import public Node.Stream
Definitions
data ServerHttp2Stream : Type
  Totality: total
  Visibility: export
  Hints:
  
ReadableClass Buffer Error ServerHttp2Stream
  
WriteableClass Buffer Error ServerHttp2Stream
.respond : HasIO io => ServerHttp2Stream -> Headers -> io ()
  Visibility: export
.pushAllowed : ServerHttp2Stream -> Bool
  Visibility: export
.pushStream : HasIO io => ServerHttp2Stream -> Headers -> (Error -> ServerHttp2Stream -> Headers -> IO ()) -> io ()
  Visibility: export