Idris2Doc : Web.MVC.Canvas.Angle

Web.MVC.Canvas.Angle

(source)
Definitions
data Angle : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Radians : Double -> Angle
  
Degree : Double -> Angle

  Hint: 
Show Angle
rad : Double -> Angle
  Totality: total
  Visibility: export
deg : Double -> Angle
  Totality: total
  Visibility: export
toRadians : Angle -> Double
  Totality: total
  Visibility: export
toDegree : Angle -> Double
  Totality: total
  Visibility: export