Packages

redraw_dom

2.0.0
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
2 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/internals/coerce.{coerce}



/// [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 fn as_event(event: AnimationEvent) -> Event {

  coerce(event)

}