Warning: file_get_contents(/data/phpspider/zhask/data//catemap/4/fsharp/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
F# 从IHostingEnvironment迁移到IWebHostEnvironment_F#_F# Giraffe - Fatal编程技术网

F# 从IHostingEnvironment迁移到IWebHostEnvironment

F# 从IHostingEnvironment迁移到IWebHostEnvironment,f#,f#-giraffe,F#,F# Giraffe,我有这个: let configureApp (app : IApplicationBuilder) = let env = app.ApplicationServices.GetService<IHostingEnvironment>() (match env.IsDevelopment() with | true -> app.UseDeveloperExceptionPage() | false -> app.UseGiraffeE

我有这个:

let configureApp (app : IApplicationBuilder) =
    let env = app.ApplicationServices.GetService<IHostingEnvironment>()
    (match env.IsDevelopment() with
    | true  -> app.UseDeveloperExceptionPage()
    | false -> app.UseGiraffeErrorHandler errorHandler)
let-configureApp(应用程序:IApplicationBuilder)=
让env=app.ApplicationServices.GetService()
(将环境IsDevelopment()与
|true->app.UseDeveloperExceptionPage()
|false->app.UseGiraffeErrorHandler(错误处理程序)
当我尝试迁移时,我得到一个错误:

let configureApp (app : IApplicationBuilder) =
    let env = app.ApplicationServices.GetService<IWebHostEnvironment>()
    (match env. with
let-configureApp(应用程序:IApplicationBuilder)=
让env=app.ApplicationServices.GetService()
(将环境与
我不知道在此代码段中应该更改什么。

基于,您需要确保已打开名称空间
Microsoft.AspNetCore.Hosting