Idris2Doc : Web.Internal.UIEventsTypes

Web.Internal.UIEventsTypes

(source)

Definitions

data CompositionEvent : Type
Totality: total
Visibility: export
Hints:
FromFFI CompositionEvent CompositionEvent
JSType CompositionEvent
SafeCast CompositionEvent
ToFFI CompositionEvent CompositionEvent
data FocusEvent : Type
Totality: total
Visibility: export
Hints:
Callback FocusEventHandler (FocusEvent -> JSIO ())
FromFFI FocusEvent FocusEvent
JSType FocusEvent
SafeCast FocusEvent
ToFFI FocusEvent FocusEvent
data InputEvent : Type
Totality: total
Visibility: export
Hints:
Callback InputEventHandler (InputEvent -> JSIO ())
FromFFI InputEvent InputEvent
JSType InputEvent
SafeCast InputEvent
ToFFI InputEvent InputEvent
data KeyboardEvent : Type
Totality: total
Visibility: export
Hints:
Callback KeyboardEventHandler (KeyboardEvent -> JSIO ())
FromFFI KeyboardEvent KeyboardEvent
JSType KeyboardEvent
SafeCast KeyboardEvent
ToFFI KeyboardEvent KeyboardEvent
data MouseEvent : Type
Totality: total
Visibility: export
Hints:
Callback MouseEventHandler (MouseEvent -> JSIO ())
FromFFI MouseEvent MouseEvent
JSType MouseEvent
SafeCast MouseEvent
ToFFI MouseEvent MouseEvent
data UIEvent : Type
Totality: total
Visibility: export
Hints:
Callback UIEventHandler (UIEvent -> JSIO ())
FromFFI UIEvent UIEvent
JSType UIEvent
SafeCast UIEvent
ToFFI UIEvent UIEvent
data WheelEvent : Type
Totality: total
Visibility: export
Hints:
Callback WheelEventHandler (WheelEvent -> JSIO ())
FromFFI WheelEvent WheelEvent
JSType WheelEvent
SafeCast WheelEvent
ToFFI WheelEvent WheelEvent
data CompositionEventInit : Type
Totality: total
Visibility: export
Hints:
FromFFI CompositionEventInit CompositionEventInit
JSType CompositionEventInit
ToFFI CompositionEventInit CompositionEventInit
data EventModifierInit : Type
Totality: total
Visibility: export
Hints:
FromFFI EventModifierInit EventModifierInit
JSType EventModifierInit
ToFFI EventModifierInit EventModifierInit
data FocusEventInit : Type
Totality: total
Visibility: export
Hints:
FromFFI FocusEventInit FocusEventInit
JSType FocusEventInit
ToFFI FocusEventInit FocusEventInit
data InputEventInit : Type
Totality: total
Visibility: export
Hints:
FromFFI InputEventInit InputEventInit
JSType InputEventInit
ToFFI InputEventInit InputEventInit
data KeyboardEventInit : Type
Totality: total
Visibility: export
Hints:
FromFFI KeyboardEventInit KeyboardEventInit
JSType KeyboardEventInit
ToFFI KeyboardEventInit KeyboardEventInit
data MouseEventInit : Type
Totality: total
Visibility: export
Hints:
FromFFI MouseEventInit MouseEventInit
JSType MouseEventInit
ToFFI MouseEventInit MouseEventInit
data UIEventInit : Type
Totality: total
Visibility: export
Hints:
FromFFI UIEventInit UIEventInit
JSType UIEventInit
ToFFI UIEventInit UIEventInit
data WheelEventInit : Type
Totality: total
Visibility: export
Hints:
FromFFI WheelEventInit WheelEventInit
JSType WheelEventInit
ToFFI WheelEventInit WheelEventInit