| Warn | Language.Haskell.Liquid.Bare.Env |
| warnAboutEmptyEnumerations | Language.Haskell.Liquid.Desugar.MatchLit |
| warnAboutIdentities | Language.Haskell.Liquid.Desugar.MatchLit |
| warnDs | Language.Haskell.Liquid.Desugar.DsMonad |
| WfC | |
| 1 (Type/Class) | Language.Haskell.Liquid.Constraint.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Constraint.Types |
| whenGOptM | Language.Haskell.Liquid.Desugar.DsMonad |
| whenVerbose | Test.Target.Monad |
| whichOf | Test.Target.Targetable |
| wiredDataCons | Language.Haskell.Liquid.WiredIn |
| wiredSortedSyms | Language.Haskell.Liquid.WiredIn |
| wiredTyCons | Language.Haskell.Liquid.WiredIn |
| withContext | Language.Haskell.Liquid.Model |
| WithModel | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
| withPragmas | Language.Haskell.Liquid.UX.CmdLine |
| withVArgs | Language.Haskell.Liquid.Bare.Env |
| World | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types |
| wrapBind | Language.Haskell.Liquid.Desugar.DsUtils |
| wrapBinds | Language.Haskell.Liquid.Desugar.DsUtils |
| wrapParens | Language.Haskell.Liquid.GHC.Misc |