Idris2Doc : Web.Canvas

Web.Canvas

(source)
Reexports
import public Web.Canvas.Angle
import public Web.Canvas.Hints
import public Web.Canvas.Scene
import public Web.Canvas.Shape
import public Web.Canvas.Style
import public Web.Canvas.Transformation
Definitions
record CanvasDims : Type
  Canvas dimensions

  Totality: total
  Visibility: public export
  Constructor: 
CD : Double -> Double -> CanvasDims

  Projections:
  
.cheight : CanvasDims -> Double
  
.cwidth : CanvasDims -> Double

  Hints:
  
Eq CanvasDims
  
Show CanvasDims
.cwidth : CanvasDims -> Double
  Totality: total
  Visibility: public export
cwidth : CanvasDims -> Double
  Totality: total
  Visibility: public export
.cheight : CanvasDims -> Double
  Totality: total
  Visibility: public export
cheight : CanvasDims -> Double
  Totality: total
  Visibility: public export
canvasDims : Has JSErr es => Ref Canvas -> JS es CanvasDims
  Totality: total
  Visibility: export
setCanvasDims : Has JSErr es => Ref Canvas -> CanvasDims -> JS es ()
  Totality: total
  Visibility: export
context2D : Has JSErr es => HTMLCanvasElement -> JS es CanvasRenderingContext2D
  Totality: total
  Visibility: export
render : Has JSErr es => Ref Canvas -> (CanvasRenderingContext2D => IO1 ()) -> JS es ()
  Render a scene in a canvas in the DOM.

  Totality: total
  Visibility: export