Nastavitev proxyja FSharp.Data s parametrom customizeHttpRequest

HTTP orodja FSharp.Data izpostavljajo parameter customizeHttpRequest. Ta sprejme osnovni HttpWebRequest in vrne zahtevo, ki jo je treba uporabiti:

open System.Net
open FSharp.Data

let body =
    Http.RequestString(
        "https://example.net/data",
        customizeHttpRequest = fun request ->
            request.Proxy <- WebProxy("http://proxy.example.net:8080")
            request
    )

Povratni klic nastavi proxy na tej zahtevi. Pri tej javni zahtevi HTTPS lahko nepreverjeni kandidat s seznama proxyjev HTTP nadomesti vzorčno končno točko, kadar je ta pot dovoljena. Njegov zadnji izraz vrne objekt zahteve, kar ustreza dokumentiranemu tipu funkcije HttpWebRequest -> HttpWebRequest.

Isti parameter prilagajanja je na voljo tudi pri ustreznih podrobnih in asinhronih metodah HTTP. Povratni klic ohranite pri klicu ali pomožni funkciji za večkratno uporabo, ki potrebuje to pot. Preostali del aplikacije lahko še naprej uporablja svojo konfiguracijo zahtev.