Idris2Doc : Web.Canvas.Shape
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 -> {default false _ : 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 -> {default false _ : 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 -> {default undef _ : UndefOr Double} -> IO1 ()- Totality: total
Visibility: export strokeText : CanvasText => String -> Double -> Double -> {default undef _ : UndefOr Double} -> IO1 ()- Totality: total
Visibility: export