Web.Raw.UIEvents

(source)

Definitions

data_ : CompositionEvent -> JSIO String: Totality: total
Visibility: export
relatedTarget : FocusEvent -> JSIO (Maybe EventTarget): Totality: total
Visibility: export
data_ : InputEvent -> JSIO (Maybe String): Totality: total
Visibility: export
inputType : InputEvent -> JSIO String: Totality: total
Visibility: export
isComposing : InputEvent -> JSIO Bool: Totality: total
Visibility: export
DOM_KEY_LOCATION_LEFT : Bits32: Totality: total
Visibility: public export
DOM_KEY_LOCATION_NUMPAD : Bits32: Totality: total
Visibility: public export
DOM_KEY_LOCATION_RIGHT : Bits32: Totality: total
Visibility: public export
DOM_KEY_LOCATION_STANDARD : Bits32: Totality: total
Visibility: public export
altKey : KeyboardEvent -> JSIO Bool: Totality: total
Visibility: export
charCode : KeyboardEvent -> JSIO Bits32: Totality: total
Visibility: export
code : KeyboardEvent -> JSIO String: Totality: total
Visibility: export
ctrlKey : KeyboardEvent -> JSIO Bool: Totality: total
Visibility: export
isComposing : KeyboardEvent -> JSIO Bool: Totality: total
Visibility: export
key : KeyboardEvent -> JSIO String: Totality: total
Visibility: export
keyCode : KeyboardEvent -> JSIO Bits32: Totality: total
Visibility: export
location : KeyboardEvent -> JSIO Bits32: Totality: total
Visibility: export
metaKey : KeyboardEvent -> JSIO Bool: Totality: total
Visibility: export
repeat : KeyboardEvent -> JSIO Bool: Totality: total
Visibility: export
shiftKey : KeyboardEvent -> JSIO Bool: Totality: total
Visibility: export
getModifierState : KeyboardEvent -> String -> JSIO Bool: Totality: total
Visibility: export
altKey : {auto 0 {conArg:3738} : JSType t1} -> {auto 0 _ : Elem MouseEvent (Types t1)} -> t1 -> JSIO Bool: Totality: total
Visibility: export
button : {auto 0 {conArg:3770} : JSType t1} -> {auto 0 _ : Elem MouseEvent (Types t1)} -> t1 -> JSIO Int16: Totality: total
Visibility: export
buttons : {auto 0 {conArg:3798} : JSType t1} -> {auto 0 _ : Elem MouseEvent (Types t1)} -> t1 -> JSIO Bits16: Totality: total
Visibility: export
clientX : {auto 0 {conArg:3826} : JSType t1} -> {auto 0 _ : Elem MouseEvent (Types t1)} -> t1 -> JSIO Double: Totality: total
Visibility: export
clientY : {auto 0 {conArg:3854} : JSType t1} -> {auto 0 _ : Elem MouseEvent (Types t1)} -> t1 -> JSIO Double: Totality: total
Visibility: export
ctrlKey : {auto 0 {conArg:3882} : JSType t1} -> {auto 0 _ : Elem MouseEvent (Types t1)} -> t1 -> JSIO Bool: Totality: total
Visibility: export
metaKey : {auto 0 {conArg:3914} : JSType t1} -> {auto 0 _ : Elem MouseEvent (Types t1)} -> t1 -> JSIO Bool: Totality: total
Visibility: export
offsetX : {auto 0 {conArg:3946} : JSType t1} -> {auto 0 _ : Elem MouseEvent (Types t1)} -> t1 -> JSIO Double: Totality: total
Visibility: export
offsetY : {auto 0 {conArg:3974} : JSType t1} -> {auto 0 _ : Elem MouseEvent (Types t1)} -> t1 -> JSIO Double: Totality: total
Visibility: export
pageX : {auto 0 {conArg:4002} : JSType t1} -> {auto 0 _ : Elem MouseEvent (Types t1)} -> t1 -> JSIO Double: Totality: total
Visibility: export
pageY : {auto 0 {conArg:4030} : JSType t1} -> {auto 0 _ : Elem MouseEvent (Types t1)} -> t1 -> JSIO Double: Totality: total
Visibility: export
relatedTarget : {auto 0 {conArg:4058} : JSType t1} -> {auto 0 _ : Elem MouseEvent (Types t1)} -> t1 -> JSIO (Maybe EventTarget): Totality: total
Visibility: export
screenX : {auto 0 {conArg:4094} : JSType t1} -> {auto 0 _ : Elem MouseEvent (Types t1)} -> t1 -> JSIO Double: Totality: total
Visibility: export
screenY : {auto 0 {conArg:4122} : JSType t1} -> {auto 0 _ : Elem MouseEvent (Types t1)} -> t1 -> JSIO Double: Totality: total
Visibility: export
shiftKey : {auto 0 {conArg:4150} : JSType t1} -> {auto 0 _ : Elem MouseEvent (Types t1)} -> t1 -> JSIO Bool: Totality: total
Visibility: export
x : {auto 0 {conArg:4182} : JSType t1} -> {auto 0 _ : Elem MouseEvent (Types t1)} -> t1 -> JSIO Double: Totality: total
Visibility: export
y : {auto 0 {conArg:4210} : JSType t1} -> {auto 0 _ : Elem MouseEvent (Types t1)} -> t1 -> JSIO Double: Totality: total
Visibility: export
getModifierState : {auto 0 {conArg:4238} : JSType t1} -> {auto 0 _ : Elem MouseEvent (Types t1)} -> t1 -> String -> JSIO Bool: Totality: total
Visibility: export
detail : {auto 0 {conArg:4273} : JSType t1} -> {auto 0 _ : Elem UIEvent (Types t1)} -> t1 -> JSIO Int32: Totality: total
Visibility: export
view : {auto 0 {conArg:4301} : JSType t1} -> {auto 0 _ : Elem UIEvent (Types t1)} -> t1 -> JSIO (Maybe Window): Totality: total
Visibility: export
which : {auto 0 {conArg:4338} : JSType t1} -> {auto 0 _ : Elem UIEvent (Types t1)} -> t1 -> JSIO Bits32: Totality: total
Visibility: export
DOM_DELTA_LINE : Bits32: Totality: total
Visibility: public export
DOM_DELTA_PAGE : Bits32: Totality: total
Visibility: public export
DOM_DELTA_PIXEL : Bits32: Totality: total
Visibility: public export
deltaMode : WheelEvent -> JSIO Bits32: Totality: total
Visibility: export
deltaX : WheelEvent -> JSIO Double: Totality: total
Visibility: export
deltaY : WheelEvent -> JSIO Double: Totality: total
Visibility: export
deltaZ : WheelEvent -> JSIO Double: Totality: total
Visibility: export
new' : Optional String -> JSIO CompositionEventInit: Totality: total
Visibility: export
new : JSIO CompositionEventInit: Totality: total
Visibility: export
data_ : {auto 0 {conArg:4415} : JSType t} -> {auto 0 _ : Elem CompositionEventInit (Types t)} -> t -> Attribute True Optional String: Totality: total
Visibility: export
new' : Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> JSIO EventModifierInit: Totality: total
Visibility: export
new : JSIO EventModifierInit: Totality: total
Visibility: export
altKey : {auto 0 {conArg:4603} : JSType t} -> {auto 0 _ : Elem EventModifierInit (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
ctrlKey : {auto 0 {conArg:4642} : JSType t} -> {auto 0 _ : Elem EventModifierInit (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
metaKey : {auto 0 {conArg:4681} : JSType t} -> {auto 0 _ : Elem EventModifierInit (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
modifierAltGraph : {auto 0 {conArg:4720} : JSType t} -> {auto 0 _ : Elem EventModifierInit (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
modifierCapsLock : {auto 0 {conArg:4758} : JSType t} -> {auto 0 _ : Elem EventModifierInit (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
modifierFn : {auto 0 {conArg:4796} : JSType t} -> {auto 0 _ : Elem EventModifierInit (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
modifierFnLock : {auto 0 {conArg:4834} : JSType t} -> {auto 0 _ : Elem EventModifierInit (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
modifierHyper : {auto 0 {conArg:4872} : JSType t} -> {auto 0 _ : Elem EventModifierInit (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
modifierNumLock : {auto 0 {conArg:4910} : JSType t} -> {auto 0 _ : Elem EventModifierInit (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
modifierScrollLock : {auto 0 {conArg:4948} : JSType t} -> {auto 0 _ : Elem EventModifierInit (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
modifierSuper : {auto 0 {conArg:4986} : JSType t} -> {auto 0 _ : Elem EventModifierInit (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
modifierSymbol : {auto 0 {conArg:5024} : JSType t} -> {auto 0 _ : Elem EventModifierInit (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
modifierSymbolLock : {auto 0 {conArg:5062} : JSType t} -> {auto 0 _ : Elem EventModifierInit (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
shiftKey : {auto 0 {conArg:5100} : JSType t} -> {auto 0 _ : Elem EventModifierInit (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
new' : {auto 0 {conArg:5139} : JSType t1} -> {auto 0 _ : Elem EventTarget (Types t1)} -> Optional (Maybe t1) -> JSIO FocusEventInit: Totality: total
Visibility: export
new : JSIO FocusEventInit: Totality: total
Visibility: export
relatedTarget : {auto 0 {conArg:5171} : JSType t} -> {auto 0 _ : Elem FocusEventInit (Types t)} -> t -> Attribute True Optional (Maybe EventTarget): Totality: total
Visibility: export
new' : Optional (Maybe String) -> Optional Bool -> Optional String -> JSIO InputEventInit: Totality: total
Visibility: export
new : JSIO InputEventInit: Totality: total
Visibility: export
data_ : {auto 0 {conArg:5260} : JSType t} -> {auto 0 _ : Elem InputEventInit (Types t)} -> t -> Attribute True Optional (Maybe String): Totality: total
Visibility: export
inputType : {auto 0 {conArg:5312} : JSType t} -> {auto 0 _ : Elem InputEventInit (Types t)} -> t -> Attribute True Optional String: Totality: total
Visibility: export
isComposing : {auto 0 {conArg:5353} : JSType t} -> {auto 0 _ : Elem InputEventInit (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
new' : Optional String -> Optional String -> Optional Bits32 -> Optional Bool -> Optional Bool -> JSIO KeyboardEventInit: Totality: total
Visibility: export
new : JSIO KeyboardEventInit: Totality: total
Visibility: export
code : {auto 0 {conArg:5449} : JSType t} -> {auto 0 _ : Elem KeyboardEventInit (Types t)} -> t -> Attribute True Optional String: Totality: total
Visibility: export
isComposing : {auto 0 {conArg:5490} : JSType t} -> {auto 0 _ : Elem KeyboardEventInit (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
key : {auto 0 {conArg:5530} : JSType t} -> {auto 0 _ : Elem KeyboardEventInit (Types t)} -> t -> Attribute True Optional String: Totality: total
Visibility: export
location : {auto 0 {conArg:5571} : JSType t} -> {auto 0 _ : Elem KeyboardEventInit (Types t)} -> t -> Attribute True Optional Bits32: Totality: total
Visibility: export
repeat : {auto 0 {conArg:5612} : JSType t} -> {auto 0 _ : Elem KeyboardEventInit (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
new' : {auto 0 {conArg:5651} : JSType t3} -> {auto 0 _ : Elem EventTarget (Types t3)} -> Optional Int16 -> Optional Bits16 -> Optional (Maybe t3) -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> JSIO MouseEventInit: Totality: total
Visibility: export
new : JSIO MouseEventInit: Totality: total
Visibility: export
button : {auto 0 {conArg:5743} : JSType t} -> {auto 0 _ : Elem MouseEventInit (Types t)} -> t -> Attribute True Optional Int16: Totality: total
Visibility: export
buttons : {auto 0 {conArg:5784} : JSType t} -> {auto 0 _ : Elem MouseEventInit (Types t)} -> t -> Attribute True Optional Bits16: Totality: total
Visibility: export
clientX : {auto 0 {conArg:5825} : JSType t} -> {auto 0 _ : Elem MouseEventInit (Types t)} -> t -> Attribute True Optional Double: Totality: total
Visibility: export
clientY : {auto 0 {conArg:5866} : JSType t} -> {auto 0 _ : Elem MouseEventInit (Types t)} -> t -> Attribute True Optional Double: Totality: total
Visibility: export
relatedTarget : {auto 0 {conArg:5907} : JSType t} -> {auto 0 _ : Elem MouseEventInit (Types t)} -> t -> Attribute True Optional (Maybe EventTarget): Totality: total
Visibility: export
screenX : {auto 0 {conArg:5956} : JSType t} -> {auto 0 _ : Elem MouseEventInit (Types t)} -> t -> Attribute True Optional Double: Totality: total
Visibility: export
screenY : {auto 0 {conArg:5997} : JSType t} -> {auto 0 _ : Elem MouseEventInit (Types t)} -> t -> Attribute True Optional Double: Totality: total
Visibility: export
new' : Optional (Maybe Window) -> Optional Int32 -> JSIO UIEventInit: Totality: total
Visibility: export
new : JSIO UIEventInit: Totality: total
Visibility: export
detail : {auto 0 {conArg:6069} : JSType t} -> {auto 0 _ : Elem UIEventInit (Types t)} -> t -> Attribute True Optional Int32: Totality: total
Visibility: export
view : {auto 0 {conArg:6110} : JSType t} -> {auto 0 _ : Elem UIEventInit (Types t)} -> t -> Attribute True Optional (Maybe Window): Totality: total
Visibility: export
new' : Optional Double -> Optional Double -> Optional Double -> Optional Bits32 -> JSIO WheelEventInit: Totality: total
Visibility: export
new : JSIO WheelEventInit: Totality: total
Visibility: export
deltaMode : {auto 0 {conArg:6204} : JSType t} -> {auto 0 _ : Elem WheelEventInit (Types t)} -> t -> Attribute True Optional Bits32: Totality: total
Visibility: export
deltaX : {auto 0 {conArg:6245} : JSType t} -> {auto 0 _ : Elem WheelEventInit (Types t)} -> t -> Attribute True Optional Double: Totality: total
Visibility: export
deltaY : {auto 0 {conArg:6286} : JSType t} -> {auto 0 _ : Elem WheelEventInit (Types t)} -> t -> Attribute True Optional Double: Totality: total
Visibility: export
deltaZ : {auto 0 {conArg:6327} : JSType t} -> {auto 0 _ : Elem WheelEventInit (Types t)} -> t -> Attribute True Optional Double: Totality: total
Visibility: export