Idris2Doc : Web.Canvas.Shape

Web.Canvas.Shape

(source)

Definitions

clearRect : CanvasRect=>Double->Double->Double->Double->IO1 ()
Totality: total
Visibility: export
fillRect : CanvasRect=>Double->Double->Double->Double->IO1 ()
Totality: total
Visibility: export
strokeRect : CanvasRect=>Double->Double->Double->Double->IO1 ()
Totality: total
Visibility: export
arc : CanvasPath=>Double->Double->Double->Angle->Angle-> {defaultfalse_ : Boolean} ->IO1 ()
Totality: total
Visibility: export
arcTo : CanvasPath=>Double->Double->Double->Double->Double->IO1 ()
Totality: total
Visibility: export
circle : CanvasPath=>Double->Double->Double->IO1 ()
Totality: total
Visibility: export
bezierCurveTo : CanvasPath=>Double->Double->Double->Double->Double->Double->IO1 ()
Totality: total
Visibility: export
closePath : CanvasPath=>IO1 ()
Totality: total
Visibility: export
ellipse : CanvasPath=>Double->Double->Double->Double->Angle->Angle->Angle-> {defaultfalse_ : Boolean} ->IO1 ()
Totality: total
Visibility: export
lineTo : CanvasPath=>Double->Double->IO1 ()
Totality: total
Visibility: export
moveTo : CanvasPath=>Double->Double->IO1 ()
Totality: total
Visibility: export
rect : CanvasPath=>Double->Double->Double->Double->IO1 ()
Totality: total
Visibility: export
quadraticCurveTo : CanvasPath=>Double->Double->Double->Double->IO1 ()
Totality: total
Visibility: export
beginPath : CanvasDrawPath=>IO1 ()
Totality: total
Visibility: export
clip : CanvasDrawPath=>IO1 ()
Totality: total
Visibility: export
fill : CanvasDrawPath=>IO1 ()
Totality: total
Visibility: export
stroke : CanvasDrawPath=>IO1 ()
Totality: total
Visibility: export
fillText : CanvasText=>String->Double->Double-> {defaultundef_ : UndefOrDouble} ->IO1 ()
Totality: total
Visibility: export
strokeText : CanvasText=>String->Double->Double-> {defaultundef_ : UndefOrDouble} ->IO1 ()
Totality: total
Visibility: export