def Network.HTTP.Client.executeWithRedirects (maxRedirects : Nat) (req : Request) : IO Response

Execute an HTTP request, following redirects up to maxRedirects times.

Uses a bounded Nat counter for termination.

$$\text{executeWithRedirects} : \mathbb{N} \to \text{Request} \to \text{IO Response}$$

Equations

• Network.HTTP.Client.executeWithRedirects maxRedirects req = Network.HTTP.Client.executeWithRedirects.go maxRedirects req

def Network.HTTP.Client.executeWithRedirects.go : Nat → Request → IO Response

Equations

• One or more equations did not get rendered due to their size.
• Network.HTTP.Client.executeWithRedirects.go 0 a✝ = do let conn ← Network.HTTP.Client.connect a✝.host a✝.port a✝.isSecure tryFinally (Network.HTTP.Client.performRequest conn a✝) conn.connClose

def Network.HTTP.Client.execute (req : Request) (maxRedirects : Nat := 10) : IO Response

Execute a full HTTP request with default redirect following (up to 10). $$\text{execute} : \text{Request} \to \text{Nat} \to \text{IO Response}$$

Equations

• Network.HTTP.Client.execute req maxRedirects = Network.HTTP.Client.executeWithRedirects maxRedirects req