Packages
plinth
0.5.5
0.10.2
0.10.1
0.10.0
0.9.3
0.9.2
0.9.1
0.9.0
0.8.2
0.8.1
0.8.0
0.7.2
0.7.1
0.7.0
0.6.1
0.6.0
0.5.9
0.5.8
0.5.7
0.5.6
0.5.5
0.5.4
0.5.3
0.5.2
0.5.1
0.5.0
0.4.15
0.4.14
0.4.13
0.4.12
0.4.11
0.4.10
0.4.9
0.4.8
0.4.7
0.4.6
0.4.5
0.4.4
0.4.3
0.4.2
0.4.1
0.4.0
0.3.0
0.2.0
0.1.13
0.1.12
0.1.11
0.1.9
0.1.8
0.1.7
0.1.6
0.1.5
0.1.4
0.1.3
0.1.2
0.1.1
0.1.0
Bindings to Node.js and browser platform APIs
Current section
Files
Jump to
Current section
Files
src/plinth/javascript/global.gleam
@external(javascript, "../../global_ffi.mjs", "encodeURI")
pub fn encode_uri(a: String) -> String
@external(javascript, "../../global_ffi.mjs", "decodeURI")
pub fn decode_uri(a: String) -> String
@external(javascript, "../../global_ffi.mjs", "decodeURIComponent")
pub fn decode_uri_component(a: String) -> String
pub type TimerID
// https://tc39.es/ecma262/multipage/global-object.html#sec-globalthis
@external(javascript, "../../global_ffi.mjs", "setTimeout")
pub fn set_timeout(delay: Int, callback: fn() -> anything) -> TimerID
@external(javascript, "../../global_ffi.mjs", "clearTimeout")
pub fn clear_timeout(timer: TimerID) -> Nil
@external(javascript, "../../global_ffi.mjs", "setInterval")
pub fn set_interval(delay: Int, callback: fn() -> anything) -> TimerID
@external(javascript, "../../global_ffi.mjs", "clearInterval")
pub fn clear_interval(id: TimerID) -> Nil