0 | module Web.Internal.UIEventsTypes
12 | export data CompositionEvent : Type where [external]
15 | ToFFI CompositionEvent CompositionEvent where toFFI = id
18 | FromFFI CompositionEvent CompositionEvent where fromFFI = Just
21 | SafeCast CompositionEvent where
22 | safeCast = unsafeCastOnPrototypeName "CompositionEvent"
24 | export data FocusEvent : Type where [external]
27 | ToFFI FocusEvent FocusEvent where toFFI = id
30 | FromFFI FocusEvent FocusEvent where fromFFI = Just
33 | SafeCast FocusEvent where
34 | safeCast = unsafeCastOnPrototypeName "FocusEvent"
36 | export data InputEvent : Type where [external]
39 | ToFFI InputEvent InputEvent where toFFI = id
42 | FromFFI InputEvent InputEvent where fromFFI = Just
45 | SafeCast InputEvent where
46 | safeCast = unsafeCastOnPrototypeName "InputEvent"
48 | export data KeyboardEvent : Type where [external]
51 | ToFFI KeyboardEvent KeyboardEvent where toFFI = id
54 | FromFFI KeyboardEvent KeyboardEvent where fromFFI = Just
57 | SafeCast KeyboardEvent where
58 | safeCast = unsafeCastOnPrototypeName "KeyboardEvent"
60 | export data MouseEvent : Type where [external]
63 | ToFFI MouseEvent MouseEvent where toFFI = id
66 | FromFFI MouseEvent MouseEvent where fromFFI = Just
69 | SafeCast MouseEvent where
70 | safeCast = unsafeCastOnPrototypeName "MouseEvent"
72 | export data UIEvent : Type where [external]
75 | ToFFI UIEvent UIEvent where toFFI = id
78 | FromFFI UIEvent UIEvent where fromFFI = Just
81 | SafeCast UIEvent where
82 | safeCast = unsafeCastOnPrototypeName "UIEvent"
84 | export data WheelEvent : Type where [external]
87 | ToFFI WheelEvent WheelEvent where toFFI = id
90 | FromFFI WheelEvent WheelEvent where fromFFI = Just
93 | SafeCast WheelEvent where
94 | safeCast = unsafeCastOnPrototypeName "WheelEvent"
101 | export data CompositionEventInit : Type where [external]
104 | ToFFI CompositionEventInit CompositionEventInit where toFFI = id
107 | FromFFI CompositionEventInit CompositionEventInit where fromFFI = Just
109 | export data EventModifierInit : Type where [external]
112 | ToFFI EventModifierInit EventModifierInit where toFFI = id
115 | FromFFI EventModifierInit EventModifierInit where fromFFI = Just
117 | export data FocusEventInit : Type where [external]
120 | ToFFI FocusEventInit FocusEventInit where toFFI = id
123 | FromFFI FocusEventInit FocusEventInit where fromFFI = Just
125 | export data InputEventInit : Type where [external]
128 | ToFFI InputEventInit InputEventInit where toFFI = id
131 | FromFFI InputEventInit InputEventInit where fromFFI = Just
133 | export data KeyboardEventInit : Type where [external]
136 | ToFFI KeyboardEventInit KeyboardEventInit where toFFI = id
139 | FromFFI KeyboardEventInit KeyboardEventInit where fromFFI = Just
141 | export data MouseEventInit : Type where [external]
144 | ToFFI MouseEventInit MouseEventInit where toFFI = id
147 | FromFFI MouseEventInit MouseEventInit where fromFFI = Just
149 | export data UIEventInit : Type where [external]
152 | ToFFI UIEventInit UIEventInit where toFFI = id
155 | FromFFI UIEventInit UIEventInit where fromFFI = Just
157 | export data WheelEventInit : Type where [external]
160 | ToFFI WheelEventInit WheelEventInit where toFFI = id
163 | FromFFI WheelEventInit WheelEventInit where fromFFI = Just