IdrisGL.Animate

Animate a picture in a window.

Definitions

animate : Display -> Color -> Double -> (Double -> Picture) -> IO ()

  Open a new window and display the given animation.
  
  @ window  Display mode.
  @ bgColor Background color.
  @ tpf     Time per frame. Providing frames per seconds control. (FPS) = 1/<value> (0: unlimited FPS)
  @ picF    Function to produce the next frame of animation. It is passed the time in seconds since the program started.

Visibility: export