有条件地使用 Reflex 添加 DOM 元素

Question

我有一个函数，它接收一个动态，并且必须显示一个 dom 元素，该元素将根据动态中的值包含不同类型的子元素。有没有办法使用反射和反射-Dom来做这样的事情？如果动态中的值可以通过模式匹配解包，则代码将如下所示：

myNode :: MonadWidget t m => Dynamic t Bool -> m (Event t ())
myNode (Dynamic True) = elClass "div" "foo" $
elClass "div" "bar"
myNode (Dynamic False) = blank

Answer 1

我已经找到了解决方案。函数 dyn 可用于这些情况。另请参阅另一个堆栈溢出问题。