Packages

redraw_dom

19.2.2
19.2.2 19.2.1 19.2.0 retired 19.1.1 19.1.0 19.0.6 19.0.5 19.0.4 19.0.3 19.0.2 19.0.1 19.0.0 2.1.0 2.0.1 2.0.0 1.1.0 1.0.0

Redraw DOM renderer. Take a look at Redraw to use it.

HexDocs

Current section

Files

Jump to
Readme
17 Versions
3 Dependencies
Dependants
Files
Activity
redraw_dom src redraw dom event animation.gleam
Raw

src/redraw/dom/event/animation.gleam 

//// The `AnimationEvent` interface represents events providing information

//// related to [animations](https://developer.mozilla.org/docs/Web/CSS/CSS_animations/Using_CSS_animations).



import redraw/event.{type Event}

import redraw/internal/unsafe



/// [Documentation](https://developer.mozilla.org/docs/Web/API/AnimationEvent)

pub type AnimationEvent



/// [Documentation](https://developer.mozilla.org/docs/Web/API/AnimationEvent/animationName)

@external(javascript, "./events.ffi.mjs", "animationName")

pub fn animation_name(event: AnimationEvent) -> String



/// [Documentation](https://developer.mozilla.org/docs/Web/API/AnimationEvent/elapsedTime)

@external(javascript, "./events.ffi.mjs", "elapsedTime")

pub fn elapsed_time(event: AnimationEvent) -> Float



/// [Documentation](https://developer.mozilla.org/docs/Web/API/AnimationEvent/pseudoElement)

@external(javascript, "./events.ffi.mjs", "pseudoElement")

pub fn pseudo_element(event: AnimationEvent) -> String



/// `AnimationEvent` inherits `Event`.

pub const as_event: fn(AnimationEvent) -> Event = unsafe.coerce