Index
| Angle | Data.Angle |
| arccosine | Data.Angle |
| arcsine | Data.Angle |
| arctangent | Data.Angle |
| cosine | Data.Angle |
| Degrees | |
| 1 (Type/Class) | Data.Angle |
| 2 (Data Constructor) | Data.Angle |
| degrees | Data.Angle |
| Radians | |
| 1 (Type/Class) | Data.Angle |
| 2 (Data Constructor) | Data.Angle |
| radians | Data.Angle |
| sine | Data.Angle |
| tangent | Data.Angle |