Claudius.Eventtype t = | KeyDown of Key.tA keyboard key was pressed down. Key.t identifies which key.
| KeyUp of Key.tA keyboard key was released. Key.t identifies which key.
| MouseButtonDown of Mouse.button * int * intA mouse button was pressed. (button, (x,y)) where button is the mouse button, and (x,y) are the coordinates at the time of press.
| MouseButtonUp of Mouse.button * int * intA mouse button was released. (button, (x,y)) where button is the mouse button, and (x,y) are the coordinates at the time of release.
| MouseMotion of int * intThe mouse pointer moved. (x,y) are the new coordinates of the cursor.
| MouseWheel of intThe mouse wheel was scrolled. int is the scroll amount (positive for up, negative for down).
| MouseDrag of Mouse.button * int * intA drag event with a mouse button held. (button, (x,y)) where button is the button being dragged, and (x,y) are the current cursor coordinates.
| DropFile of stringA file drop event containing the dropped file path.
*)High-level representation of input events.