Idris2Doc : Text.CSS.Angle

Text.CSS.Angle

(source)
Definitions
data Angle : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Deg : Double -> Angle
  
Rad : Double -> Angle
  
Grad : Double -> Angle
  
Turn : Double -> Angle

  Hints:
  
Cast Angle LinearDirection
  
Interpolation Angle
deg : Cast Angle a => Double -> a
  Totality: total
  Visibility: export
rad : Cast Angle a => Double -> a
  Totality: total
  Visibility: export
grad : Cast Angle a => Double -> a
  Totality: total
  Visibility: export
turn : Cast Angle a => Double -> a
  Totality: total
  Visibility: export