| Alternative | Control.Coverage.Internal |
| applyRedundant | Control.Coverage.Internal |
| applyUncovered | Control.Coverage.Internal |
| Binder | Control.Coverage.Internal, Control.Coverage |
| Binders | Control.Coverage.Internal |
| CatchAll | Control.Coverage.Internal, Control.Coverage |
| Check | |
| 1 (Type/Class) | Control.Coverage.Internal, Control.Coverage |
| 2 (Data Constructor) | Control.Coverage.Internal, Control.Coverage |
| check | Control.Coverage |
| defaultEnv | Control.Coverage.Internal |
| DontKnow | Control.Coverage.Internal, Control.Coverage |
| envInfo | Control.Coverage.Internal |
| Environment | |
| 1 (Type/Class) | Control.Coverage.Internal |
| 2 (Data Constructor) | Control.Coverage.Internal |
| genericMerge | Control.Coverage.Internal |
| getRedundant | Control.Coverage.Internal, Control.Coverage |
| getUncovered | Control.Coverage.Internal, Control.Coverage |
| Guard | Control.Coverage.Internal, Control.Coverage |
| initialize | Control.Coverage.Internal |
| Lit | Control.Coverage.Internal, Control.Coverage |
| makeCheck | Control.Coverage.Internal |
| makeEnv | Control.Coverage.Internal, Control.Coverage |
| missingAlternative | Control.Coverage.Internal |
| missingCases | Control.Coverage.Internal |
| missingMultiple | Control.Coverage.Internal |
| missingSingle | Control.Coverage.Internal |
| Name | Control.Coverage.Internal |
| NotRedundant | Control.Coverage.Internal, Control.Coverage |
| Opaque | Control.Coverage.Internal, Control.Coverage |
| Product | Control.Coverage.Internal, Control.Coverage |
| Record | Control.Coverage.Internal, Control.Coverage |
| Redundant | |
| 1 (Type/Class) | Control.Coverage.Internal, Control.Coverage |
| 2 (Data Constructor) | Control.Coverage.Internal, Control.Coverage |
| Tagged | Control.Coverage.Internal, Control.Coverage |
| Var | Control.Coverage.Internal, Control.Coverage |
| wildcard | Control.Coverage.Internal |