| %. | Control.Monad.Imperative.Operators, Control.Monad.Imperative |
| %=: | Control.Monad.Imperative.Operators, Control.Monad.Imperative |
| & | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| &&. | Control.Monad.Imperative.Operators, Control.Monad.Imperative |
| *. | Control.Monad.Imperative.Operators, Control.Monad.Imperative |
| *=: | Control.Monad.Imperative.Operators, Control.Monad.Imperative |
| +. | Control.Monad.Imperative.Operators, Control.Monad.Imperative |
| +=: | Control.Monad.Imperative.Operators, Control.Monad.Imperative |
| -. | Control.Monad.Imperative.Operators, Control.Monad.Imperative |
| -=: | Control.Monad.Imperative.Operators, Control.Monad.Imperative |
| /. | Control.Monad.Imperative.Operators, Control.Monad.Imperative |
| <. | Control.Monad.Imperative.Operators, Control.Monad.Imperative |
| <=. | Control.Monad.Imperative.Operators, Control.Monad.Imperative |
| =: | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| ==. | Control.Monad.Imperative.Operators, Control.Monad.Imperative |
| >. | Control.Monad.Imperative.Operators, Control.Monad.Imperative |
| >=. | Control.Monad.Imperative.Operators, Control.Monad.Imperative |
| auto | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| break' | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| C | Control.Monad.Imperative.Internals |
| continue' | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| CState | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| defer' | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| for' | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| function | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| HasValue | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| if' | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| io | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| liftOp | Control.Monad.Imperative.FunctionFactory, Control.Monad.Imperative |
| liftOp2 | Control.Monad.Imperative.Operators |
| Lit | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| MIO | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| modifyOp | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| new | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| return' | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| runImperative | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| TyComp | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| TyInFunc | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| TyInLoop | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| TyVal | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| TyVar | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| V | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| val | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| while' | Control.Monad.Imperative.Internals, Control.Monad.Imperative |
| ||. | Control.Monad.Imperative.Operators, Control.Monad.Imperative |
| ~. | Control.Monad.Imperative.Operators, Control.Monad.Imperative |