
  0 | module Web.Canvas.Angle
  1 | 
  2 | %default total
  3 | 
  4 | --------------------------------------------------------------------------------
  5 | --          Angle
  6 | --------------------------------------------------------------------------------
  7 | 
  8 | public export
  9 | record Angle where
 10 |   constructor A
 11 |   radians : Double
 12 | 
 13 | export %inline
 14 | rad : Double -> Angle
 15 | rad = A
 16 | 
 17 | export %inline
 18 | deg : Double -> Angle
 19 | deg x = rad (x / 180 * pi)
 20 | 
 21 | export
 22 | (.degree) : Angle -> Double
 23 | (.degree) (A x) = (x / pi) * 180
 24 | 
 25 | export
 26 | Show Angle where
 27 |   show x = show x.degree
 28 |