Index - M
| M | Algebra.Category.BlockMatrix |
| mapVars | |
| 1 (Function) | Algebra.Morphism.LinComb |
| 2 (Function) | Algebra.Morphism.Affine |
| Mat | |
| 1 (Type/Class) | Algebra.Linear |
| 2 (Data Constructor) | Algebra.Linear |
| Mat2x2 | |
| 1 (Type/Class) | Algebra.Linear |
| 2 (Data Constructor) | Algebra.Linear |
| Mat3x3 | |
| 1 (Type/Class) | Algebra.Linear |
| 2 (Data Constructor) | Algebra.Linear |
| matFlat | Algebra.Linear |
| matMul | Algebra.Linear |
| matVecMul | Algebra.Linear |
| mod | Algebra.Classes |
| Module | Algebra.Classes |
| Monoidal | Algebra.Category |
| MonoidalRec | |
| 1 (Type/Class) | Algebra.CategoryRecords |
| 2 (Data Constructor) | Algebra.CategoryRecords |
| monoidalRec | Algebra.Category |
| MRepr | Algebra.Types |
| mult | Algebra.Classes |
| multDefault | Algebra.Classes |
| Multiplicative | Algebra.Classes |
| mulVarsMonotonic | Algebra.Morphism.LinComb |