Idris2Doc : Web.Internal.UIEventsTypes

Web.Internal.UIEventsTypes

(source)

Definitions

dataCompositionEvent : Type
Totality: total
Visibility: export
Hints:
FromFFICompositionEventCompositionEvent
JSTypeCompositionEvent
SafeCastCompositionEvent
ToFFICompositionEventCompositionEvent
dataFocusEvent : Type
Totality: total
Visibility: export
Hints:
CallbackFocusEventHandler (FocusEvent->JSIO ())
FromFFIFocusEventFocusEvent
JSTypeFocusEvent
SafeCastFocusEvent
ToFFIFocusEventFocusEvent
dataInputEvent : Type
Totality: total
Visibility: export
Hints:
CallbackInputEventHandler (InputEvent->JSIO ())
FromFFIInputEventInputEvent
JSTypeInputEvent
SafeCastInputEvent
ToFFIInputEventInputEvent
dataKeyboardEvent : Type
Totality: total
Visibility: export
Hints:
CallbackKeyboardEventHandler (KeyboardEvent->JSIO ())
FromFFIKeyboardEventKeyboardEvent
JSTypeKeyboardEvent
SafeCastKeyboardEvent
ToFFIKeyboardEventKeyboardEvent
dataMouseEvent : Type
Totality: total
Visibility: export
Hints:
CallbackMouseEventHandler (MouseEvent->JSIO ())
FromFFIMouseEventMouseEvent
JSTypeMouseEvent
SafeCastMouseEvent
ToFFIMouseEventMouseEvent
dataUIEvent : Type
Totality: total
Visibility: export
Hints:
CallbackUIEventHandler (UIEvent->JSIO ())
FromFFIUIEventUIEvent
JSTypeUIEvent
SafeCastUIEvent
ToFFIUIEventUIEvent
dataWheelEvent : Type
Totality: total
Visibility: export
Hints:
CallbackWheelEventHandler (WheelEvent->JSIO ())
FromFFIWheelEventWheelEvent
JSTypeWheelEvent
SafeCastWheelEvent
ToFFIWheelEventWheelEvent
dataCompositionEventInit : Type
Totality: total
Visibility: export
Hints:
FromFFICompositionEventInitCompositionEventInit
JSTypeCompositionEventInit
ToFFICompositionEventInitCompositionEventInit
dataEventModifierInit : Type
Totality: total
Visibility: export
Hints:
FromFFIEventModifierInitEventModifierInit
JSTypeEventModifierInit
ToFFIEventModifierInitEventModifierInit
dataFocusEventInit : Type
Totality: total
Visibility: export
Hints:
FromFFIFocusEventInitFocusEventInit
JSTypeFocusEventInit
ToFFIFocusEventInitFocusEventInit
dataInputEventInit : Type
Totality: total
Visibility: export
Hints:
FromFFIInputEventInitInputEventInit
JSTypeInputEventInit
ToFFIInputEventInitInputEventInit
dataKeyboardEventInit : Type
Totality: total
Visibility: export
Hints:
FromFFIKeyboardEventInitKeyboardEventInit
JSTypeKeyboardEventInit
ToFFIKeyboardEventInitKeyboardEventInit
dataMouseEventInit : Type
Totality: total
Visibility: export
Hints:
FromFFIMouseEventInitMouseEventInit
JSTypeMouseEventInit
ToFFIMouseEventInitMouseEventInit
dataUIEventInit : Type
Totality: total
Visibility: export
Hints:
FromFFIUIEventInitUIEventInit
JSTypeUIEventInit
ToFFIUIEventInitUIEventInit
dataWheelEventInit : Type
Totality: total
Visibility: export
Hints:
FromFFIWheelEventInitWheelEventInit
JSTypeWheelEventInit
ToFFIWheelEventInitWheelEventInit