Idris2Doc : Node.HTTPS.Request

Node.HTTPS.Request

(source)
Reexports
import public Node.HTTP.Headers
import public Node.HTTP.Request
import public Node.Net.Socket.Connect
import public Node.Net.Socket.Type
import public Node.TLS.Connect
import public Node.TLS.CreateSecureContext
Definitions
record Options : SocketType -> Type
  Totality: total
  Visibility: public export
  Constructor: 
MkOptions : Options Headers -> Options -> Options -> Maybe (options t) -> Options t

  Projections:
  
.context : Options t -> Options
  
.request : Options t -> Options Headers
  
.socket : Options t -> Maybe (options t)
  
.tls : Options t -> Options
.request : Options t -> Options Headers
  Visibility: public export
request : Options t -> Options Headers
  Visibility: public export
.tls : Options t -> Options
  Visibility: public export
tls : Options t -> Options
  Visibility: public export
.context : Options t -> Options
  Visibility: public export
context : Options t -> Options
  Visibility: public export
.socket : Options t -> Maybe (options t)
  Visibility: public export
socket : Options t -> Maybe (options t)
  Visibility: public export
defaultOptions : {auto t : SocketType} -> Options t
  Visibility: export
convertOptions : (t : SocketType) -> Options t -> Node (Options t)
  Visibility: export