Idris2Doc : TyTTP.Adapter.Node.HTTP2

TyTTP.Adapter.Node.HTTP2

(source)
Reexports
import public Data.Buffer
import public Node.Error
import public Node.HTTP2
import public TyTTP.Adapter.Node.Error
Definitions
data RequestPseudoHeaderField : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Method : RequestPseudoHeaderField
  
Scheme : RequestPseudoHeaderField
  
Authority : RequestPseudoHeaderField
  
Path : RequestPseudoHeaderField

  Hint: 
Show RequestPseudoHeaderField
data ResponsePseudoHeaderField : Type
  Totality: total
  Visibility: public export
  Constructor: 
Status : ResponsePseudoHeaderField

  Hint: 
Show ResponsePseudoHeaderField
RawHttpRequest : Type
  Visibility: public export
RawHttpResponse : Type
  Visibility: public export
PushContext : Type
  Visibility: public export
record Options : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkOptions : Options -> Options -> Options -> (String -> RawHttpResponse) -> Options

  Projections:
  
.errorHandler : Options -> String -> RawHttpResponse
  
.listenOptions : Options -> Options
  
.netServerOptions : Options -> Options
  
.serverOptions : Options -> Options
.netServerOptions : Options -> Options
  Visibility: public export
netServerOptions : Options -> Options
  Visibility: public export
.serverOptions : Options -> Options
  Visibility: public export
serverOptions : Options -> Options
  Visibility: public export
.listenOptions : Options -> Options
  Visibility: public export
listenOptions : Options -> Options
  Visibility: public export
.errorHandler : Options -> String -> RawHttpResponse
  Visibility: public export
errorHandler : Options -> String -> RawHttpResponse
  Visibility: public export
defaultOptions : Options
  Visibility: export
listen : HasIO io => HasIO pushIO => Error e => HTTP2Module -> Options -> ((Lazy PushContext -> pushIO ()) -> Context Method SimpleURL Version StringHeaders Status StringHeaders (Publisher IO Error Buffer) () -> Promise e IO (Context Method SimpleURL Version StringHeaders Status StringHeaders b (Publisher IO Error Buffer))) -> io Http2Server
  Visibility: export
listen' : HasIO io => HasIO pushIO => Error e => HTTP2Module => ((Lazy PushContext -> pushIO ()) -> Context Method SimpleURL Version StringHeaders Status StringHeaders (Publisher IO Error Buffer) () -> Promise e IO (Context Method SimpleURL Version StringHeaders Status StringHeaders b (Publisher IO Error Buffer))) -> io Http2Server
  Visibility: export
record Options : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkOptions : Options -> Options -> Options -> Options -> Options -> (String -> RawHttpResponse) -> Options

  Projections:
  
.errorHandler : Options -> String -> RawHttpResponse
  
.listenOptions : Options -> Options
  
.netServerOptions : Options -> Options
  
.serverOptions : Options -> Options
  
.tlsContextOptions : Options -> Options
  
.tlsServerOptions : Options -> Options
.netServerOptions : Options -> Options
  Visibility: public export
netServerOptions : Options -> Options
  Visibility: public export
.tlsServerOptions : Options -> Options
  Visibility: public export
tlsServerOptions : Options -> Options
  Visibility: public export
.tlsContextOptions : Options -> Options
  Visibility: public export
tlsContextOptions : Options -> Options
  Visibility: public export
.serverOptions : Options -> Options
  Visibility: public export
serverOptions : Options -> Options
  Visibility: public export
.listenOptions : Options -> Options
  Visibility: public export
listenOptions : Options -> Options
  Visibility: public export
.errorHandler : Options -> String -> RawHttpResponse
  Visibility: public export
errorHandler : Options -> String -> RawHttpResponse
  Visibility: public export
defaultOptions : Options
  Visibility: export
listen : HasIO io => HasIO pushIO => Error e => HTTP2Module -> Options -> ((Lazy PushContext -> pushIO ()) -> Context Method SimpleURL Version StringHeaders Status StringHeaders (Publisher IO Error Buffer) () -> Promise e IO (Context Method SimpleURL Version StringHeaders Status StringHeaders b (Publisher IO Error Buffer))) -> io Http2Server
  Visibility: export