Idris2Doc : Rhone.JS.Event

Rhone.JS.Event

(source)
Definitions
mouseInfo : MouseEvent -> JSIO MouseInfo
  Totality: total
  Visibility: export
keyInfo : KeyboardEvent -> JSIO KeyInfo
  Totality: total
  Visibility: export
inputInfo : InputEvent -> JSIO InputInfo
  Totality: total
  Visibility: export
changeInfo : Event -> JSIO InputInfo
  Totality: total
  Visibility: export
wheelInfo : WheelEvent -> JSIO WheelInfo
  Totality: total
  Visibility: export