Index - A
| absSq | Ring |
| Add | Complex |
| adjointedRoot | |
| 1 (Function) | IdealExtension |
| 2 (Function) | SimpleExtension |
| Alg | Algebraic |
| annihilatingPolynomial | Smith |
| Approx | Complex |
| approx | Complex |
| Arbitrary | Testing |
| arbitrary | Testing |
| arbitraryBoundedIntegral | Testing |
| arbitraryBoundedRandom | Testing |
| arbitrarySizedBoundedIntegral | Testing |
| arbitrarySizedFractional | Testing |
| arbitrarySizedIntegral | Testing |
| areAssociated | Ring |
| areCoprime | Euclidean |
| Args | |
| 1 (Data Constructor) | Testing |
| 2 (Type/Class) | Testing |
| AST | Complex |
| asTypeOfProxy | Proxy, TypeLevelNat |