javascript - 如何与 WebSharper 交互和设置 DOM 属性？

Question

我经常需要与我的页面的 DOM 进行交互，如何通过 WebSharper 进行交互？

例如，当我只想用 JavaScript 重定向我的页面时，我会运行:

window.location = "http://www.google.com/";

如何访问 window 并设置 location？这在 F# 中看起来如何？
此外，它如何与功能一起使用，例如与 IE 一起使用:

window.navigate("http://www.google.com/")

注意:如果有通过 WebSharper 进行重定向的内置方法，我很想知道它，但请记住，这只是一个示例。

Answer 1

打开 IntelliFactory.WebSharper.Html5 命名空间后，您可以访问 window.location 属性，该命名空间提供对标准 HTML5 API 的支持。为了使用位置对象进行导航，您可以调用 assign 或 replace 方法:

Window.Self.Location.Assign "http://www.google.com/"

提供现场演示 here .

对于特定于 vendor 的功能，您可以内联 JavaScript 并像内置到 WebSharper 中一样使用它:

[<Inline "window.navigate($uri)">]
let ieNavigate uri = X<unit>