Idris2Doc : IdrisGL.Picture

IdrisGL.Picture

(source)
Loads pictures using SDL bindings.

Definitions

loadPicture : Picture -> Renderer -> Win -> IO ()
  Loads pictures using SDL bindings.
  
  @ pic Picture.
  @ ren Renderer.
  @ win Window.

Visibility: export