Idris2Doc : Web.MVC.Event

Web.MVC.Event

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