Idris2Doc : Web.Canvas.Angle

Web.Canvas.Angle

(source)

Definitions

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

Projection: 
.radians : Angle->Double

Hint: 
ShowAngle
.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