Idris2Doc : Web.Async.Event

Web.Async.Event

(source)
Definitions
toRect : DOMRect -> IO1 Rect
  Totality: total
  Visibility: export
mouseInfo : MouseEvent -> IO1 MouseInfo
  Totality: total
  Visibility: export
keyInfo : KeyboardEvent -> IO1 KeyInfo
  Totality: total
  Visibility: export
changeInfo : Event -> IO1 InputInfo
  Totality: total
  Visibility: export
inputInfo : InputEvent -> IO1 InputInfo
  Totality: total
  Visibility: export
elemScrollInfo : Element -> IO1 ScrollInfo
  Totality: total
  Visibility: export
scrollInfo : Event -> IO1 ScrollInfo
  Totality: total
  Visibility: export
wheelInfo : WheelEvent -> IO1 WheelInfo
  Totality: total
  Visibility: export