IdrisGL.SDL.SDL_event

Definitions

data Eve : Type

  Events.

Totality: total
Visibility: public export
Constructors:

E_UNAVAILABLE : Eve

  Unavailable event.

E_QUIT : Eve

  Quit event.

E_KEYDOWN : Key -> Eve

  Key pressed event.

E_KEYUP : Key -> Eve

  Key release event.

E_MOUSEMOTION : (Int, Int) -> Eve

  Moving mouse and its position.

E_L_MOUSEBUTTONDOWN : (Int, Int) -> Eve

  Mouse button pressed and its position.

E_M_MOUSEBUTTONDOWN : (Int, Int) -> Eve

E_R_MOUSEBUTTONDOWN : (Int, Int) -> Eve

E_L_MOUSEBUTTONUP : (Int, Int) -> Eve

  Mouse button released and its position.

E_M_MOUSEBUTTONUP : (Int, Int) -> Eve

E_R_MOUSEBUTTONUP : (Int, Int) -> Eve

E_MOUSEWHEEL : (Int, Int) -> Eve

  Mouse wheel event and its position.

newEve : HasIO io => io Event

  An SDL_Event pointer wrapper.

Visibility: export

eveType : Event -> Eve

  Poll events and get its type.

Visibility: export

freeEve : HasIO io => Event -> io ()

  Free an event initialized by newEve.

Visibility: export