class MouseEvent():

  constructor (

    ~kind: kind :: MouseEvent.Kind = #'motion,

    ~down: down :: Set.of(MouseEvent.DownSymbol) = Set{},

    ~x: x :: Int = 0,

    ~y: y :: Int = 0,

    ~timestamp: timestamp :: Int = 0,

  )

property (ev :: MouseEvent).kind

  :: MouseEvent.Kind

property (ev :: MouseEvent).down

  :: Set.of(MouseEvent.DownSymbol)

method (ev :: MouseEvent).is_down(

  sym :: MouseEvent.DownSymbol

) :: Boolean

method (ev :: MouseEvent).is_button_changed(

  which :: MouseEvent.Button = #'any

) :: Boolean

method (ev :: MouseEvent).is_button_press(

  which :: MouseEvent.Button = #'any

) :: Boolean

method (ev :: MouseEvent).is_button_release(

  which :: MouseEvent.Button = #'any

) :: Boolean

method (ev :: MouseEvent).is_dragging()

  :: Boolean

class KeyEvent():

  constructor (

    code :: (Char || KeyEvent.Key),

    ~release_code: r_code :: (Char || KeyEvent.Key) = #'press,

    ~other_caps_code: oc_code :: maybe(Char || KeyEvent.Key) = #false,

    ~other_shift_code: os_code :: maybe(Char || KeyEvent.Key) = #false,

    ~other_altgr_code: oa_code :: maybe(Char || KeyEvent.Key) = #false,

    ~other_shift_altgr_code: osa_code :: maybe(Char || KeyEvent.Key) = #false,

    ~down: down :: Set.of(KeyEvent.DownSymbol) = Set{},

    ~x: x :: Int = 0,

    ~y: y :: Int = 0,

    ~timestamp: timestamp :: Int = 0,

    ~use_altgr: use_altgr :: Any = #true,

  )

property (ev :: KeyEvent).code

  :: (Char || KeyEvent.Key)

property (ev :: KeyEvent).release_code

  :: (Char || KeyEvent.Key)

property (ev :: KeyEvent).other_caps_code

  :: maybe(Char || KeyEvent.Key)

property (ev :: KeyEvent).other_shift_code

  :: maybe(Char || KeyEvent.Key)

property (ev :: KeyEvent).other_altgr_code

  :: maybe(Char || KeyEvent.Key)

property (ev :: KeyEvent).other_shift_altgr_code

  :: maybe(Char || KeyEvent.Key)

property (ev :: KeyEvent).down

  :: Set.of(KeyEvent.DownSymbol)

method (ev :: KeyEvent).is_down(

  sym :: KeyEvent.DownSymbol

) :: Boolean