Idris2Doc : Web.MVC.Canvas

Web.MVC.Canvas

(source)
Reexports
import public Web.MVC.Canvas.Angle
import public Web.MVC.Canvas.Scene
import public Web.MVC.Canvas.Shape
import public Web.MVC.Canvas.Style
import public Web.MVC.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 : Ref Canvas -> JSIO CanvasDims
  Totality: total
  Visibility: export
setCanvasDims : Ref Canvas -> CanvasDims -> JSIO ()
  Totality: total
  Visibility: export
context2D : HTMLCanvasElement -> JSIO CanvasRenderingContext2D
  Totality: total
  Visibility: export
renderWithMetrics : Ref Canvas -> (TextMeasure => CanvasDims -> Scene) -> JSIO ()
  Render a scene in a canvas in the DOM.

  Totality: total
  Visibility: export
render : Ref Canvas -> (CanvasDims -> Scene) -> JSIO ()
  Render a scene in a canvas in the DOM.

  Totality: total
  Visibility: export