purescript - 如何在 PureScript v0.7 中使用 setTimeout

Question

我想像这样在 PureScript 中使用 setTimeout 动画。

loop n =
  if n > 100
  then do
    return Unit
  else do
    print n
    timeout (loop n+1) 30

purescript-timers在 v0.7 中不再起作用。

我不知道如何实现这一点。

Answer 1

最简单的方法是为 setTimeout 定义自己的外部导入。 :

module SetTimeout where

foreign import data TIMEOUT :: !

foreign import timeout :: forall eff a. 
                               Int -> 
                               Eff (timeout :: TIMEOUT | eff) a -> 
                               Eff (timeout :: TIMEOUT | eff) Unit

在你的国外Javascript模块中，你可以定义 setTimeout如下:

"use strict";

// module SetTimeout

exports.timeout = function(millis) {
    return function(action) {
        return function() {
            setTimeout(action, millis);
        };
    };
};

您可以扩展它以使用 clearTimeout 之类的东西。如果需要的话。

其他一些可能的方法:

发送拉取请求以更新 purescript-timers遵循 wiki 上的迁移指南:https://github.com/purescript/purescript/wiki/0.7-Migration-Guide

使用later'来自 purescript-aff : doc