تنظیم پروکسی FSharp.Data با customizeHttpRequest
پروکسی HttpWebRequest زیرین را از طریق پارامتر مستند customizeHttpRequest در FSharp.Data تنظیم کنید.
ابزارهای HTTP در FSharp.Data پارامتری به نام customizeHttpRequest ارائه میدهند. این پارامتر HttpWebRequest زیرین را دریافت میکند و درخواستی را که باید استفاده شود برمیگرداند:
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
)
تابع فراخوانی برگشتی پروکسی را روی این درخواست تنظیم میکند. برای این درخواست عمومی HTTPS، یک نامزد تأییدنشده از فهرست پروکسی HTTP میتواند نقطه پایانی نمونه را جایگزین کند، در صورتی که آن مسیر مجاز باشد. آخرین عبارت آن شیء درخواست را برمیگرداند که با نوع تابع مستند HttpWebRequest -> HttpWebRequest مطابقت دارد.
همین پارامتر سفارشیسازی در متدهای HTTP تفصیلی و ناهمگام متناظر نیز در دسترس است. تابع فراخوانی برگشتی را همراه با فراخوانی یا کمکی قابل استفاده مجدد که به این مسیر نیاز دارد نگه دارید. بقیه برنامه میتواند پیکربندی درخواست خود را ادامه دهد.