Idris2Doc : Web.Async.Event

Web.Async.Event

(source)

Definitions

toRect : DOMRect->IO1Rect
Totality: total
Visibility: export
mouseInfo : MouseEvent->IO1MouseInfo
Totality: total
Visibility: export
keyInfo : KeyboardEvent->IO1KeyInfo
Totality: total
Visibility: export
changeInfo : Event->IO1InputInfo
Totality: total
Visibility: export
inputInfo : InputEvent->IO1InputInfo
Totality: total
Visibility: export
elemScrollInfo : Element->IO1ScrollInfo
Totality: total
Visibility: export
scrollInfo : Event->IO1ScrollInfo
Totality: total
Visibility: export
wheelInfo : WheelEvent->IO1WheelInfo
Totality: total
Visibility: export