反应性香蕉时间延迟

Question

我已经搜索了反应性香蕉的文档,我找不到指定显式时间延迟的方法.比方说,比方说,我想把Event t a它的所有事件转移到未来1秒; 或者从现在(内Moment t)开始1秒钟的事件; 或类似的东西.反应性香蕉中是否存在明确的延迟？如果没有,用户如何实现,例如,呼叫输入延迟一秒？

Answer 1

正如 Ben 指出的那样，这是正确的：reactive-banana 没有内置的时间和延迟概念。

主要原因是很难保证逻辑时间和实时时间一致。当鼠标点击在一个无法计算的事件的逻辑时间之前实时发生时会发生什么，即其实时时间落后于其逻辑时间？

但是，仍然可以通过使用外部定时器事件来处理时间。查看Wave.hs示例。