Idris2Doc : Web.Canvas.Angle

Web.Canvas.Angle

(source)

Definitions

record Angle : Type
Totality: total
Visibility: public export
Constructor: 
A : Double -> Angle

Projection: 
.radians : Angle -> Double

Hint: 
Show Angle
.radians : Angle -> Double
Totality: total
Visibility: public export
radians : Angle -> Double
Totality: total
Visibility: public export
rad : Double -> Angle
Totality: total
Visibility: export
deg : Double -> Angle
Totality: total
Visibility: export
.degree : Angle -> Double
Totality: total
Visibility: export