是否可以保证在任何MonadIO中执行操作都无效？

Question

我有一个IO a值，但需要将IO ()传递给Xmonad函数。 我用：

void . spawn :: MonadIO f => String -> f ()

什么能保证我的行动得以执行？ 它适用于所有正确的MonadIO实例吗？

Answer 1

这正是 void的目的：执行操作并忽略结果值。 从文档中 ：

void value放弃或忽略评估结果，例如IO操作的返回值。

请注意，它说它忽略了评估结果 ，暗示评估确实发生了，即发生了副作用。

可以定义为：

void action = action >> return ()

（或者以许多其他方式base的实现更为通用）。

显然，您可能有一个虚假的定义，例如：

void _ = return ()

不会执行该操作。 AFAIK类型不足以表现出这种可能性，因此，如果您真的不信任该包，则必须编写自己的实现。