Index - M
| Map | |
| 1 (Type/Class) | Control.Allegory |
| 2 (Data Constructor) | Control.Allegory |
| mapDiscrete | Control.Category.Discrete |
| mapW | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
| meet | Control.Allegory |
| meta | |
| 1 (Function) | Control.Morphism.Meta.Erwig |
| 2 (Function) | Control.Morphism.Meta.Gibbons |
| mkAp | Control.Functor.Combinators.Lift |
| mkOn | Control.Functor.Combinators.Biff |
| mkPAp | Control.Functor.Combinators.Biff |
| modifyC | Control.Comonad.Context |
| modifySupply | Control.Comonad.Supply |
| MonadFree | Control.Monad.Free |
| MonadIdeal | Control.Monad.Ideal |
| Monoidal | Control.Category.Monoidal, Control.Category.Cartesian |
| Mutual | |
| 1 (Type/Class) | Control.Comonad.Coideal, Control.Monad.Ideal |
| 2 (Data Constructor) | Control.Comonad.Coideal, Control.Monad.Ideal |