forked from rescript-lang/rescript
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathjs_global.ml
179 lines (121 loc) · 5.74 KB
/
js_global.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
(* Copyright (C) 2017 Authors of BuckleScript
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU Lesser General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* In addition to the permissions granted to you by the LGPL, you may combine
* or link a "work that uses the Library" with a publicly distributed version
* of this file to produce a combined library or application, then distribute
* that combined work under the terms of your choosing, with no requirement
* to comply with the obligations normally placed on you by section 4 of the
* LGPL version 3 (or the corresponding section of a later version of the LGPL
* should you choose to use a later version).
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
(** Contains functions available in the global scope
([window] in a browser context) *)
type intervalId
(** Identify an interval started by {! setInterval} *)
type timeoutId
(** Identify timeout started by {! setTimeout} *)
(** Clear an interval started by {! setInterval}
@example {[
(* 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[\@bs] intervalId -> Js.Global.clearInterval intervalId)
]}
@see <https://developer.mozilla.org/en-US/docs/Web/API/WindowOrWorkerGlobalScope/clearInterval> MDN
*)
external clearInterval : intervalId -> unit = "clearInterval" [@@bs.val]
(** Clear a timeout started by {! setTimeout}
@example {[
(* 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[\@bs] 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
*)
external clearTimeout : timeoutId -> unit = "clearTimeout" [@@bs.val]
(** {i Repeatedly} executes a callback with a specified interval (in milliseconds) between calls
{b 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
@example {[
(* 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
]}
*)
external setInterval : (unit -> unit) -> int -> intervalId = "setInterval" [@@bs.val]
(** {i Repeatedly} executes a callback with a specified interval (in milliseconds) between calls
{b 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
@example {[
(* 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
]}
*)
external setIntervalFloat : (unit -> unit) -> float -> intervalId = "setInterval" [@@bs.val]
(** Execute a callback after a specified delay (in milliseconds)
{b 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
@example {[
(* Prints "Timed out!" in the console after one second *)
let message = "Timed out!"
let _ =
Js.Global.setTimeout (fun () -> Js.log message) 1000
]}
*)
external setTimeout : (unit -> unit) -> int -> timeoutId = "setTimeout" [@@bs.val]
(** Execute a callback after a specified delay (in milliseconds)
{b 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
@example {[
(* Prints "Timed out!" in the console after one second *)
let message = "Timed out!"
let _ =
Js.Global.setTimeoutFloat (fun () -> Js.log message) 1000.0
]}
*)
external setTimeoutFloat : (unit -> unit) -> float -> timeoutId = "setTimeout" [@@bs.val]
(** URL-encodes a string.
@see <https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/encodeURI> MDN
*)
external encodeURI : string -> string = "encodeURI" [@@bs.val]
(** Decodes a URL-enmcoded string produced by [encodeURI]
@see <https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/decodeURI> MDN
*)
external decodeURI : string -> string = "decodeURI" [@@bs.val]
(** 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
*)
external encodeURIComponent : string -> string = "encodeURIComponent" [@@bs.val]
(** Decodes a URL-enmcoded string produced by [encodeURIComponent]
@see <https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/decodeURIComponent> MDN
*)
external decodeURIComponent : string -> string = "decodeURIComponent" [@@bs.val]