Index - M
| Machine | Data.Machine.Type, Data.Machine |
| MachineT | |
| 1 (Type/Class) | Data.Machine.Type, Data.Machine |
| 2 (Data Constructor) | Data.Machine.Type, Data.Machine |
| mapping | Data.Machine.Process, Data.Machine |
| maybeYield | Data.Machine.Plan, Data.Machine |
| Mealy | |
| 1 (Type/Class) | Data.Machine.Mealy, Data.Machine |
| 2 (Data Constructor) | Data.Machine.Mealy, Data.Machine |
| MealyT | |
| 1 (Type/Class) | Data.Machine.MealyT |
| 2 (Data Constructor) | Data.Machine.MealyT |
| Moore | |
| 1 (Type/Class) | Data.Machine.Moore, Data.Machine |
| 2 (Data Constructor) | Data.Machine.Moore, Data.Machine |
| MooreT | |
| 1 (Type/Class) | Data.Machine.MooreT |
| 2 (Data Constructor) | Data.Machine.MooreT |