IdrisGL.SDL.SDL_gfx

Definitions

pixel : HasIO io => Renderer -> Coordinate -> Color -> io ()

  Draw a pixel.

Visibility: export

thickLine : HasIO io => Renderer -> Coordinate -> Coordinate -> Color -> Int -> io ()

  Draw a line with given thickness.
  @ width Thickness.

Visibility: export

aaline : HasIO io => Renderer -> Coordinate -> Coordinate -> Color -> io ()

  Draw an anti-aliased line.

Visibility: export

rectangle : HasIO io => Renderer -> Rect -> Color -> io ()

  Draw a rectangle.

Visibility: export

roundedRect : HasIO io => Renderer -> Rect -> Color -> Int -> io ()

  Draw a rounded-corner rectangle.
  @ rad The radius of the corner arc.

Visibility: export

filledRect : HasIO io => Renderer -> Rect -> Color -> io ()

  Draw a rectangle filled with the given color.

Visibility: export

roundedFilledRect : HasIO io => Renderer -> Rect -> Color -> Int -> io ()

  Draw a rounded-corner rectangle filled with the given color.
  @ rad The radius of the corner arc.

Visibility: export

circle : HasIO io => Renderer -> Coordinate -> Color -> Int -> io ()

  Draw a circle.
  @ rad	Radius in pixels of the circle.

Visibility: export

aaCircle : HasIO io => Renderer -> Coordinate -> Color -> Int -> io ()

  Draw an anti-aliased circle.
  @ rad	Radius in pixels of the circle.

Visibility: export

filledCircle : HasIO io => Renderer -> Coordinate -> Color -> Int -> io ()

  Draw a circle filled with given color.
  @ rad	Radius in pixels of the circle.

Visibility: export

thickCircle : HasIO io => Renderer -> Coordinate -> Color -> Int -> Int -> io ()

  Draw a circle with the given radius and thickness.
  @ rad	  Radius in pixels of the circle.
  @ width Thickness.

Visibility: export

arc : HasIO io => Renderer -> Coordinate -> Color -> Int -> Int -> Int -> io ()

  Draw a circular arc drawn counter-clockwise between two angles (in degrees).
  @ rad	  Radius in pixels of the circle.
  @ start The angle of start point.
  @ end   The angle of end point.

Visibility: export

ellipse : HasIO io => Renderer -> Coordinate -> Int -> Int -> Color -> io ()

  Draw an ellipse.
  @ rx Horizontal radius in pixels of the ellipse.
  @ ry Vertical radius in pixels of the ellipse.

Visibility: export

filledEllipse : HasIO io => Renderer -> Coordinate -> Int -> Int -> Color -> io ()

  Draw an ellipse filled with given color.
  @ rx Horizontal radius in pixels of the ellipse.
  @ ry Vertical radius in pixels of the ellipse.

Visibility: export

aaellipse : HasIO io => Renderer -> Coordinate -> Int -> Int -> Color -> io ()

  Draw an anti-aliased ellipse.
  @ rx Horizontal radius in pixels of the ellipse.
  @ ry Vertical radius in pixels of the ellipse.

Visibility: export

pie : HasIO io => Renderer -> Coordinate -> Color -> Int -> Int -> Int -> io ()

  Draw a pie.
  @ rad	  Radius in pixels of the circle.
  @ start The angle of start point.
  @ end   The angle of end point.

Visibility: export

filledPie : HasIO io => Renderer -> Coordinate -> Color -> Int -> Int -> Int -> io ()

  Draw a filled pie.
  @ rad	  Radius in pixels of the circle.
  @ start The angle of start point.
  @ end   The angle of end point.

Visibility: export

trigon : HasIO io => Renderer -> Coordinate -> Coordinate -> Coordinate -> Color -> io ()

  Draw a trigon.

Visibility: export

filledTrigon : HasIO io => Renderer -> Coordinate -> Coordinate -> Coordinate -> Color -> io ()

  Draw a trigon filled with given color.

Visibility: export

aatrigon : HasIO io => Renderer -> Coordinate -> Coordinate -> Coordinate -> Color -> io ()

  Draw an anti-aliased trigon.

Visibility: export