Idris2Doc : Node.HTTP2

Node.HTTP2

(source)

Reexports

import public Node.HTTP2.Connect
import public Node.HTTP2.ClientHttp2Session
import public Node.HTTP2.ClientHttp2Stream
import public Node.HTTP2.CreateSecureServer
import public Node.HTTP2.CreateServer
import public Node.HTTP2.Http2Server
import public Node.HTTP2.ServerHttp2Stream
import public Node.HTTP2.Static
import public Node.HTTP2.Module

Definitions

require : HasIO io => io HTTP2Module
Visibility: export