Idris2Doc : Text.HTML.Event

Text.HTML.Event

(source)
Definitions
record WheelInfo : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkWheelInfo : Bits32 -> Double -> Double -> Double -> WheelInfo

  Projections:
  
.deltaMode : WheelInfo -> Bits32
  
.deltaX : WheelInfo -> Double
  
.deltaY : WheelInfo -> Double
  
.deltaZ : WheelInfo -> Double
.deltaMode : WheelInfo -> Bits32
  Totality: total
  Visibility: public export
deltaMode : WheelInfo -> Bits32
  Totality: total
  Visibility: public export
.deltaX : WheelInfo -> Double
  Totality: total
  Visibility: public export
deltaX : WheelInfo -> Double
  Totality: total
  Visibility: public export
.deltaY : WheelInfo -> Double
  Totality: total
  Visibility: public export
deltaY : WheelInfo -> Double
  Totality: total
  Visibility: public export
.deltaZ : WheelInfo -> Double
  Totality: total
  Visibility: public export
deltaZ : WheelInfo -> Double
  Totality: total
  Visibility: public export
record MouseInfo : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkMouseInfo : Int16 -> Bits16 -> Double -> Double -> Double -> Double -> Double -> Double -> Double -> Double -> Bool -> Bool -> Bool -> Bool -> MouseInfo

  Projections:
  
.alt : MouseInfo -> Bool
  
.button : MouseInfo -> Int16
  
.buttons : MouseInfo -> Bits16
  
.clientX : MouseInfo -> Double
  
.clientY : MouseInfo -> Double
  
.ctrl : MouseInfo -> Bool
  
.meta : MouseInfo -> Bool
  
.offsetX : MouseInfo -> Double
  
.offsetY : MouseInfo -> Double
  
.pageX : MouseInfo -> Double
  
.pageY : MouseInfo -> Double
  
.screenX : MouseInfo -> Double
  
.screenY : MouseInfo -> Double
  
.shift : MouseInfo -> Bool
.button : MouseInfo -> Int16
  Totality: total
  Visibility: public export
button : MouseInfo -> Int16
  Totality: total
  Visibility: public export
.buttons : MouseInfo -> Bits16
  Totality: total
  Visibility: public export
buttons : MouseInfo -> Bits16
  Totality: total
  Visibility: public export
.clientX : MouseInfo -> Double
  Totality: total
  Visibility: public export
clientX : MouseInfo -> Double
  Totality: total
  Visibility: public export
.clientY : MouseInfo -> Double
  Totality: total
  Visibility: public export
clientY : MouseInfo -> Double
  Totality: total
  Visibility: public export
.offsetX : MouseInfo -> Double
  Totality: total
  Visibility: public export
offsetX : MouseInfo -> Double
  Totality: total
  Visibility: public export
.offsetY : MouseInfo -> Double
  Totality: total
  Visibility: public export
offsetY : MouseInfo -> Double
  Totality: total
  Visibility: public export
.pageX : MouseInfo -> Double
  Totality: total
  Visibility: public export
pageX : MouseInfo -> Double
  Totality: total
  Visibility: public export
.pageY : MouseInfo -> Double
  Totality: total
  Visibility: public export
pageY : MouseInfo -> Double
  Totality: total
  Visibility: public export
.screenX : MouseInfo -> Double
  Totality: total
  Visibility: public export
screenX : MouseInfo -> Double
  Totality: total
  Visibility: public export
.screenY : MouseInfo -> Double
  Totality: total
  Visibility: public export
screenY : MouseInfo -> Double
  Totality: total
  Visibility: public export
.alt : MouseInfo -> Bool
  Totality: total
  Visibility: public export
alt : MouseInfo -> Bool
  Totality: total
  Visibility: public export
.ctrl : MouseInfo -> Bool
  Totality: total
  Visibility: public export
ctrl : MouseInfo -> Bool
  Totality: total
  Visibility: public export
.meta : MouseInfo -> Bool
  Totality: total
  Visibility: public export
meta : MouseInfo -> Bool
  Totality: total
  Visibility: public export
.shift : MouseInfo -> Bool
  Totality: total
  Visibility: public export
shift : MouseInfo -> Bool
  Totality: total
  Visibility: public export
record InputInfo : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkInputInfo : String -> List File -> Bool -> InputInfo

  Projections:
  
.checked : InputInfo -> Bool
  
.files : InputInfo -> List File
  
.value : InputInfo -> String
.value : InputInfo -> String
  Totality: total
  Visibility: public export
value : InputInfo -> String
  Totality: total
  Visibility: public export
.files : InputInfo -> List File
  Totality: total
  Visibility: public export
files : InputInfo -> List File
  Totality: total
  Visibility: public export
.checked : InputInfo -> Bool
  Totality: total
  Visibility: public export
checked : InputInfo -> Bool
  Totality: total
  Visibility: public export
record KeyInfo : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkKeyInfo : String -> String -> Bits32 -> Bool -> Bool -> Bool -> Bool -> Bool -> KeyInfo

  Projections:
  
.alt : KeyInfo -> Bool
  
.code : KeyInfo -> String
  
.ctrl : KeyInfo -> Bool
  
.isComposing : KeyInfo -> Bool
  
.key : KeyInfo -> String
  
.location : KeyInfo -> Bits32
  
.meta : KeyInfo -> Bool
  
.shift : KeyInfo -> Bool
.key : KeyInfo -> String
  Totality: total
  Visibility: public export
key : KeyInfo -> String
  Totality: total
  Visibility: public export
.code : KeyInfo -> String
  Totality: total
  Visibility: public export
code : KeyInfo -> String
  Totality: total
  Visibility: public export
.location : KeyInfo -> Bits32
  Totality: total
  Visibility: public export
location : KeyInfo -> Bits32
  Totality: total
  Visibility: public export
.isComposing : KeyInfo -> Bool
  Totality: total
  Visibility: public export
isComposing : KeyInfo -> Bool
  Totality: total
  Visibility: public export
.alt : KeyInfo -> Bool
  Totality: total
  Visibility: public export
alt : KeyInfo -> Bool
  Totality: total
  Visibility: public export
.ctrl : KeyInfo -> Bool
  Totality: total
  Visibility: public export
ctrl : KeyInfo -> Bool
  Totality: total
  Visibility: public export
.meta : KeyInfo -> Bool
  Totality: total
  Visibility: public export
meta : KeyInfo -> Bool
  Totality: total
  Visibility: public export
.shift : KeyInfo -> Bool
  Totality: total
  Visibility: public export
shift : KeyInfo -> Bool
  Totality: total
  Visibility: public export
record ScrollInfo : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkScrollInfo : Double -> Int32 -> Int32 -> ScrollInfo

  Projections:
  
.clientHeight : ScrollInfo -> Int32
  
.scrollHeight : ScrollInfo -> Int32
  
.scrollTop : ScrollInfo -> Double
.scrollTop : ScrollInfo -> Double
  Totality: total
  Visibility: public export
scrollTop : ScrollInfo -> Double
  Totality: total
  Visibility: public export
.scrollHeight : ScrollInfo -> Int32
  Totality: total
  Visibility: public export
scrollHeight : ScrollInfo -> Int32
  Totality: total
  Visibility: public export
.clientHeight : ScrollInfo -> Int32
  Totality: total
  Visibility: public export
clientHeight : ScrollInfo -> Int32
  Totality: total
  Visibility: public export
record Rect : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkRect : Double -> Double -> Double -> Double -> Double -> Double -> Double -> Double -> Rect

  Projections:
  
.bottom : Rect -> Double
  
.height : Rect -> Double
  
.left : Rect -> Double
  
.rectX : Rect -> Double
  
.rectY : Rect -> Double
  
.right : Rect -> Double
  
.top : Rect -> Double
  
.width : Rect -> Double
.rectX : Rect -> Double
  Totality: total
  Visibility: public export
rectX : Rect -> Double
  Totality: total
  Visibility: public export
.rectY : Rect -> Double
  Totality: total
  Visibility: public export
rectY : Rect -> Double
  Totality: total
  Visibility: public export
.height : Rect -> Double
  Totality: total
  Visibility: public export
height : Rect -> Double
  Totality: total
  Visibility: public export
.width : Rect -> Double
  Totality: total
  Visibility: public export
width : Rect -> Double
  Totality: total
  Visibility: public export
.top : Rect -> Double
  Totality: total
  Visibility: public export
top : Rect -> Double
  Totality: total
  Visibility: public export
.bottom : Rect -> Double
  Totality: total
  Visibility: public export
bottom : Rect -> Double
  Totality: total
  Visibility: public export
.left : Rect -> Double
  Totality: total
  Visibility: public export
left : Rect -> Double
  Totality: total
  Visibility: public export
.right : Rect -> Double
  Totality: total
  Visibility: public export
right : Rect -> Double
  Totality: total
  Visibility: public export
data DOMEvent : Type -> Type
  Totality: total
  Visibility: public export
  Constructors:
  
Click : (MouseInfo -> Maybe a) -> DOMEvent a
  
DblClick : (MouseInfo -> Maybe a) -> DOMEvent a
  
MouseDown : (MouseInfo -> Maybe a) -> DOMEvent a
  
MouseUp : (MouseInfo -> Maybe a) -> DOMEvent a
  
MouseEnter : (MouseInfo -> Maybe a) -> DOMEvent a
  
MouseLeave : (MouseInfo -> Maybe a) -> DOMEvent a
  
MouseOver : (MouseInfo -> Maybe a) -> DOMEvent a
  
MouseOut : (MouseInfo -> Maybe a) -> DOMEvent a
  
MouseMove : (MouseInfo -> Maybe a) -> DOMEvent a
  
Blur : a -> DOMEvent a
  
Focus : a -> DOMEvent a
  
KeyDown : (KeyInfo -> Maybe a) -> DOMEvent a
  
KeyUp : (KeyInfo -> Maybe a) -> DOMEvent a
  
Change : (InputInfo -> Maybe a) -> DOMEvent a
  
Input : (InputInfo -> Maybe a) -> DOMEvent a
  
HashChange : a -> DOMEvent a
  
Scroll : (ScrollInfo -> Maybe a) -> DOMEvent a
  
Wheel : (WheelInfo -> Maybe a) -> DOMEvent a
  
Resize : (Rect -> Maybe a) -> DOMEvent a
  
Remove : a -> DOMEvent a
  
Close : a -> DOMEvent a

  Hint: 
Functor DOMEvent