bucklescript-tea
Version:
TEA for Bucklescript
65 lines (52 loc) • 1.55 kB
JavaScript
// Generated by BUCKLESCRIPT, PLEASE EDIT WITH CARE
;
var Block = require("bs-platform/lib/js/block.js");
var Curry = require("bs-platform/lib/js/curry.js");
var Tea_sub = require("./tea_sub.js");
var Web_window = require("./web_window.js");
function every(key, interval, tagger) {
var enableCall = function (callbacks) {
var id = Web_window.$$setInterval((function (param) {
return Curry._1(callbacks.enqueue, Curry._1(tagger, Date.now()));
}), interval);
return (function (param) {
return window.clearTimeout(id);
});
};
return Tea_sub.registration(key, enableCall);
}
function delay(msTime, msg) {
return /* EnqueueCall */Block.__(2, [(function (callbacks) {
Web_window.$$setTimeout((function (param) {
return Curry._1(callbacks.contents.enqueue, msg);
}), msTime);
return /* () */0;
})]);
}
var second = 1000.0 * 1.0;
var minute = 60.0 * second;
var hour = 60.0 * minute;
function inMilliseconds(t) {
return t;
}
function inSeconds(t) {
return t / second;
}
function inMinutes(t) {
return t / minute;
}
function inHours(t) {
return t / hour;
}
var millisecond = 1.0;
exports.every = every;
exports.delay = delay;
exports.millisecond = millisecond;
exports.second = second;
exports.minute = minute;
exports.hour = hour;
exports.inMilliseconds = inMilliseconds;
exports.inSeconds = inSeconds;
exports.inMinutes = inMinutes;
exports.inHours = inHours;
/* No side effect */