def Network.HTTP.Client.connectPlain (host : String) (port : UInt16) : IO Connection

Connect to a host:port over plain TCP. $$\text{connectPlain} : \text{String} \to \text{UInt16} \to \text{IO Connection}$$

Equations

• One or more equations did not get rendered due to their size.

def Network.HTTP.Client.connectTLS (host : String) (port : UInt16) : IO Connection

Connect to a host:port over TLS (HTTPS). Creates a fresh TLS client context, performs TCP connect, then TLS handshake. Server certificate is verified against system CA trust store with SNI. $$\text{connectTLS} : \text{String} \to \text{UInt16} \to \text{IO Connection}$$

Equations

• One or more equations did not get rendered due to their size.

def Network.HTTP.Client.connect (host : String) (port : UInt16) (secure : Bool) : IO Connection

Connect to a host:port, choosing plain TCP or TLS based on the secure flag. $$\text{connect} : \text{String} \to \text{UInt16} \to \text{Bool} \to \text{IO Connection}$$

Equations

• Network.HTTP.Client.connect host port secure = if secure = true then Network.HTTP.Client.connectTLS host port else Network.HTTP.Client.connectPlain host port

def Network.HTTP.Client.defaultPort (secure : Bool) : UInt16

Default port for the given security mode: 443 for HTTPS, 80 for HTTP.

Equations

• Network.HTTP.Client.defaultPort secure = if secure = true then 443 else 80