Idris2Doc : IdrisGL.SDL.SDL_video

IdrisGL.SDL.SDL_video

(source)
Definitions
createWin : HasIO io => Display -> io Win
  Create a window.

  Visibility: export
closeWin : HasIO io => Win -> io ()
  Close an opended window.

  Visibility: export
getWinSur : HasIO io => Win -> io Sur
  Get surface of a window.

  Visibility: export
updateWinSur : HasIO io => Win -> io ()
  Update a surface of window.

  Visibility: export