Idris2Doc : Rhone.Canvas

Rhone.Canvas

(source)
Reexports
import public Rhone.Canvas.Angle
import public Rhone.Canvas.Scene
import public Rhone.Canvas.Shape
import public Rhone.Canvas.Style
import public Rhone.Canvas.Transformation
Definitions
record Canvas : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkCanvas : ElemRef HTMLCanvasElement -> Double -> Double -> Scene -> Canvas

  Projections:
  
.height : Canvas -> Double
  
.ref : Canvas -> ElemRef HTMLCanvasElement
  
.scene : Canvas -> Scene
  
.width : Canvas -> Double
.ref : Canvas -> ElemRef HTMLCanvasElement
  Totality: total
  Visibility: public export
ref : Canvas -> ElemRef HTMLCanvasElement
  Totality: total
  Visibility: public export
.width : Canvas -> Double
  Totality: total
  Visibility: public export
.height : Canvas -> Double
  Totality: total
  Visibility: public export
width : Canvas -> Double
  Totality: total
  Visibility: public export
height : Canvas -> Double
  Totality: total
  Visibility: public export
.scene : Canvas -> Scene
  Totality: total
  Visibility: public export
scene : Canvas -> Scene
  Totality: total
  Visibility: public export
context2D : ElemRef HTMLCanvasElement -> JSIO CanvasRenderingContext2D
  Totality: total
  Visibility: export
render : Canvas -> JSIO ()
  Totality: total
  Visibility: export