Packages

redraw_dom

19.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
3 Dependencies
Dependants
Files
Activity
redraw_dom src redraw dom event ui.gleam
Raw

src/redraw/dom/event/ui.gleam 

//// The `UIEvent` interface represents simple user interface events.



import gleam/dynamic

import redraw/event.{type Event}

import redraw/internals/unsafe



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

pub type UIEvent



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

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

pub fn detail(event: UIEvent) -> Int



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

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

pub fn view(event: UIEvent) -> dynamic.Dynamic



/// `UIEvent` inherits `Event`.

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