Idris2Doc : IdrisGL.SDL.SDL_timer

IdrisGL.SDL.SDL_timer

(source)
Definitions
delayWin : HasIO io => Int -> io ()
  Wait a specified number of milliseconds before returning.

  Visibility: export
getTicks : HasIO io => io Int
  Get the number of milliseconds since SDL library initialization.

  Visibility: export
getSecondsTicks : HasIO io => io Double
  Get the number of seconds since SDL library initialization.

  Visibility: export