ws-replace 类似于 ws-hole ，不是吗？

Question

ws-replace

属性 ws-replace 创建一个 Doc 或 seq 洞。设置此属性的元素将替换为提供的 Doc(s)。孔的名称是 ws-replace 属性的值。

ws-hole

属性 ws-hole 创建一个 Doc 或 seq 孔。设置此属性的元素的 contents 将替换为提供的 Doc(s)。洞的名字就是ws-hole属性的值。

---

你能帮我清楚区分这两个概念吗？

---

https://developers.websharper.com/docs/v4.x/fs/ui#reactive

Answer 1

ws-replace 替换了整个元素，而ws-hole 只是替换了内容。查看documentation you linked to 中的示例。注意ws-replace，<div> 元素消失了，完全被“欢迎”段落所取代。而对于ws-hole，<div> 元素仍然存在，包裹在“欢迎”段落周围。

使用ws-replace

<div ws-replace="Content"></div>

变成：

<p>Welcome to my site.</p>

使用ws-hole

<div ws-hole="Content"></div>

变成：

<div>
    <p>Welcome to my site.</p>
</div>