Module Js.Global

Identify an interval started by setInterval

Identify timeout started by setTimeout

Clear an interval started by setInterval

(* API for a somewhat aggressive snoozing alarm clock *)

let interval = ref Js.Nullable.null

let remind () =
  Js.log "Wake Up!";
  IO.punchSleepyGuy ()

let snooze mins =
  interval := Js.Nullable.return (Js.Global.setInterval remind (mins * 60 * 1000))

let cancel () =
  Js.Nullable.iter !interval (fun[\@u] intervalId -> Js.Global.clearInterval intervalId)

• see https://developer.mozilla.org/en-US/docs/Web/API/WindowOrWorkerGlobalScope/clearInterval

  MDN

Clear a timeout started by setTimeout

(* A simple model of a code monkey's brain *)

let timer = ref Js.Nullable.null

let work () =
  IO.closeHackerNewsTab ()

let procrastinate mins =
  Js.Nullable.iter !timer (fun[\@u] timer -> Js.Global.clearTimeout timer);
  timer := Js.Nullable.return (Js.Global.setTimeout work (mins * 60 * 1000))

• see https://developer.mozilla.org/en-US/docs/Web/API/WindowOrWorkerGlobalScope/clearTimeout

  MDN

Repeatedly executes a callback with a specified interval (in milliseconds) between calls

Return an intervalId that can be passed to clearInterval to cancel the timeout

• see https://developer.mozilla.org/en-US/docs/Web/API/WindowOrWorkerGlobalScope/setInterval

  MDN

  (* Will count up and print the count to the console every second *)
  
  let count = ref 0
  
  let tick () =
    count := !count + 1; Js.log (string_of_int !count)
  
  let _ =
    Js.Global.setInterval tick 1000

Repeatedly executes a callback with a specified interval (in milliseconds) between calls

Return an intervalId that can be passed to clearInterval to cancel the timeout

• see https://developer.mozilla.org/en-US/docs/Web/API/WindowOrWorkerGlobalScope/setInterval

  MDN

  (* Will count up and print the count to the console every second *)
  
  let count = ref 0
  
  let tick () =
    count := !count + 1; Js.log (string_of_int !count)
  
  let _ =
    Js.Global.setIntervalFloat tick 1000.0

Execute a callback after a specified delay (in milliseconds)

returns a timeoutId that can be passed to clearTimeout to cancel the timeout

• see https://developer.mozilla.org/en-US/docs/Web/API/WindowOrWorkerGlobalScope/setTimeout

  MDN

  (* Prints "Timed out!" in the console after one second *)
  
  let message = "Timed out!"
  
  let _ =
    Js.Global.setTimeout (fun () -> Js.log message) 1000

Execute a callback after a specified delay (in milliseconds)

returns a timeoutId that can be passed to clearTimeout to cancel the timeout

• see https://developer.mozilla.org/en-US/docs/Web/API/WindowOrWorkerGlobalScope/setTimeout

  MDN

  (* Prints "Timed out!" in the console after one second *)
  
  let message = "Timed out!"
  
  let _ =
    Js.Global.setTimeoutFloat (fun () -> Js.log message) 1000.0

URL-encodes a string.

• see https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/encodeURI

  MDN

Decodes a URL-enmcoded string produced by encodeURI

• see https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/decodeURI

  MDN

URL-encodes a string, including characters with special meaning in a URI.

• see https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/encodeURIComponent

  MDN

Decodes a URL-enmcoded string produced by encodeURIComponent

• see https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/decodeURIComponent

  MDN