Packages

glendix

2.0.16
4.0.5 4.0.4 4.0.3 4.0.2 4.0.1 4.0.0 3.0.2 3.0.0 2.0.20 2.0.19 2.0.18 2.0.17 2.0.16 2.0.15 2.0.14 2.0.13 2.0.11 2.0.10 2.0.9 2.0.8 2.0.7 2.0.6 2.0.4 2.0.3 2.0.2 2.0.1 2.0.0 1.2.2 1.2.1 1.2.0 1.1.1 1.1.0 1.0.0

Gleam bindings for Mendix Pluggable Widget API — delegates React to redraw/redraw_dom, TEA to lustre, Mendix types/widgets/marketplace to mendraw

HexDocs

Current section

Files

Jump to
Readme
33 Versions
3 Dependencies
Dependants
Files
Activity
glendix src glendix js timer.gleam
Raw

src/glendix/js/timer.gleam 

// 타이머 API — setTimeout / setInterval 래퍼




/// 타이머 식별자 (숫자 조작 방지용 opaque type)


pub type TimerId



/// 지연 실행 타이머 설정


@external(javascript, "./timer_ffi.mjs", "set_timeout")

pub fn set_timeout(callback: fn() -> Nil, ms: Int) -> TimerId



/// setTimeout 취소


@external(javascript, "./timer_ffi.mjs", "clear_timeout")

pub fn clear_timeout(id: TimerId) -> Nil



/// 반복 실행 타이머 설정


@external(javascript, "./timer_ffi.mjs", "set_interval")

pub fn set_interval(callback: fn() -> Nil, ms: Int) -> TimerId



/// setInterval 취소


@external(javascript, "./timer_ffi.mjs", "clear_interval")

pub fn clear_interval(id: TimerId) -> Nil