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 |