Idris2Doc : Node.HTTP2.Connect

Node.HTTP2.Connect

(source)
Definitions
record Options : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkOptions : String -> Bool -> Options

  Projections:
  
.ca : Options -> String
  
.rejectUnauthorized : Options -> Bool
.ca : Options -> String
  Visibility: public export
ca : Options -> String
  Visibility: public export
.rejectUnauthorized : Options -> Bool
  Visibility: public export
rejectUnauthorized : Options -> Bool
  Visibility: public export
defaultOptions : Options
  Visibility: export
convertOptions : Options -> Node Options
  Visibility: export