Idris2Doc : IdrisGL.SDL.SDL_render

IdrisGL.SDL.SDL_render

(source)

Definitions

createRenderer : HasIO io => Win -> io Renderer
  Create a 2D rendering context for a window.

Visibility: export
createTargetTexture : HasIO io => Win -> Renderer -> io Texture
  Create a texture as rendering target.

Visibility: export
setRenderTarget : HasIO io => Renderer -> Texture -> io ()
  Set a texture as the rendering target.

Visibility: export
resetRenderTarget : HasIO io => Renderer -> io ()
  Reset a null pointer as the rendering target.

Visibility: export
setRenderDrawColor : HasIO io => Renderer -> Color -> io ()
  Set the color used for drawing operations (Rect, Line and Clear).

Visibility: export
createTextureFromSur : HasIO io => Renderer -> Sur -> io Texture
  Create a texture from surface.

Visibility: export
renderClear : HasIO io => Renderer -> io ()
  Clear the rendering target with the drawing color.

Visibility: export
renderPresent : HasIO io => Renderer -> io ()
  Update the screen with any rendering performed since the previous call.

Visibility: export
renderCopy : HasIO io => Renderer -> Texture -> Rect -> io ()
  Copy a portion of the texture to the current rendering target.

Visibility: export
renderCopyEx : HasIO io => Renderer -> Texture -> Rect -> Double -> Coordinate -> FlipSetting -> io ()
  Copy a portion of the texture to the current rendering, with optional rotation and flipping.
@ angle An angle in degrees that indicates the rotation in a clockwise direction.

Visibility: export
renderCopyExWin : HasIO io => Win -> Renderer -> Texture -> Double -> Coordinate -> FlipSetting -> io ()
  Copy a portion of the texture to the current rendering, with optional rotation and flipping.
The difference between it and renderCopyEx is the size has been set to the window size.
@ angle An angle in degrees that indicates the rotation in a clockwise direction.

Visibility: export
freeRender : HasIO io => Renderer -> io ()
  Release sources of a renderer.

Visibility: export
renderFillRect : HasIO io => Renderer -> Rect -> Color -> io ()
  Fill a rectangle on the current rendering target with the drawing color.

Visibility: export
renderDrawRect : HasIO io => Renderer -> Rect -> Color -> io ()
  Draw a rectangle on the current rendering target.

Visibility: export
renderDrawLine : HasIO io => Renderer -> Coordinate -> Coordinate -> Color -> io ()
  Draw a line on the current rendering target.

Visibility: export
renderDrawPoint : HasIO io => Renderer -> Coordinate -> Color -> io ()
  Draw a point on the current rendering target.

Visibility: export