Idris2Doc : Web.Canvas.Angle
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