message-types/input-msg.sml

signature INPUT_MESSAGE =
sig
  datatype t =
    MOUSE_MOVE of {x: Real32.real, y: Real32.real}
  | MOUSE_LEFT_CLICK
  | MOUSE_LEFT_RELEASE
  | RESIZE_WINDOW of {width: int, height: int}
end

structure InputMessage :> INPUT_MESSAGE =
struct
  datatype t =
    MOUSE_MOVE of {x: Real32.real, y: Real32.real}
  | MOUSE_LEFT_CLICK
  | MOUSE_LEFT_RELEASE
  | RESIZE_WINDOW of {width: int, height: int}
end
code function that indicates which area, if any, was clicked 2024-07-30 19:04:36 +01:00			`signature INPUT_MESSAGE =`
add callbacks for mouse movement and mouse clicking 2024-07-30 17:10:48 +01:00			`sig`
			`datatype t =`
reduce number of type conversoins required for mouse move callback (and fix the other code which uses it too) 2024-08-01 21:17:39 +01:00			`MOUSE_MOVE of {x: Real32.real, y: Real32.real}`
add callbacks for mouse movement and mouse clicking 2024-07-30 17:10:48 +01:00			`\| MOUSE_LEFT_CLICK`
			`\| MOUSE_LEFT_RELEASE`
add framebufferSize callback (FFI scaffolding and creating new variant of input_message type but don't react to this message in a meaningful way yet) 2024-08-01 23:33:54 +01:00			`\| RESIZE_WINDOW of {width: int, height: int}`
add callbacks for mouse movement and mouse clicking 2024-07-30 17:10:48 +01:00			`end`

code function that indicates which area, if any, was clicked 2024-07-30 19:04:36 +01:00			`structure InputMessage :> INPUT_MESSAGE =`
add callbacks for mouse movement and mouse clicking 2024-07-30 17:10:48 +01:00			`struct`
			`datatype t =`
reduce number of type conversoins required for mouse move callback (and fix the other code which uses it too) 2024-08-01 21:17:39 +01:00			`MOUSE_MOVE of {x: Real32.real, y: Real32.real}`
add callbacks for mouse movement and mouse clicking 2024-07-30 17:10:48 +01:00			`\| MOUSE_LEFT_CLICK`
			`\| MOUSE_LEFT_RELEASE`
add framebufferSize callback (FFI scaffolding and creating new variant of input_message type but don't react to this message in a meaningful way yet) 2024-08-01 23:33:54 +01:00			`\| RESIZE_WINDOW of {width: int, height: int}`
add callbacks for mouse movement and mouse clicking 2024-07-30 17:10:48 +01:00			`end`