| Failed | Test.Target.Types, Test.Target |
| failWithDs | Language.Haskell.Liquid.Desugar.DsMonad |
| falsePmExpr | Language.Haskell.Liquid.Desugar.TmOracle |
| fargs | Language.Haskell.Liquid.Constraint.Types |
| fastStringText | Language.Haskell.Liquid.GHC.Misc |
| FE | Language.Haskell.Liquid.Constraint.Types |
| feBinds | Language.Haskell.Liquid.Constraint.Types |
| feEnv | Language.Haskell.Liquid.Constraint.Types |
| feIdEnv | Language.Haskell.Liquid.Constraint.Types |
| FEnv | Language.Haskell.Liquid.Constraint.Types |
| fEnv | Language.Haskell.Liquid.Constraint.Types |
| fenv | Language.Haskell.Liquid.Constraint.Types |
| field | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
| filePath | Test.Target.Monad |
| files | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
| filterBinds | Language.Haskell.Liquid.UX.DiffCheck |
| filterComplex | Language.Haskell.Liquid.Desugar.TmOracle |
| filterPVar | Language.Haskell.Liquid.Desugar.DsMonad |
| findPVar | Language.Haskell.Liquid.Types.RefType |
| findVarDef | Language.Haskell.Liquid.GHC.Misc |
| first3M | Language.Haskell.Liquid.Misc |
| firstElems | Language.Haskell.Liquid.Misc |
| firstJust | Language.Haskell.Liquid.Misc |
| firstM | Language.Haskell.Liquid.Misc |
| firstMaybes | Language.Haskell.Liquid.Misc |
| firstPat | Language.Haskell.Liquid.Desugar.DsUtils |
| fixConfig | Language.Haskell.Liquid.Constraint.ToFixpoint |
| fixCs | Language.Haskell.Liquid.Constraint.Types |
| fixDs | Language.Haskell.Liquid.Desugar.DsMonad |
| FixSubC | Language.Haskell.Liquid.Constraint.Types |
| FixWfC | Language.Haskell.Liquid.Constraint.Types |
| fixWfs | Language.Haskell.Liquid.Constraint.Types |
| flattenPmVarEnv | Language.Haskell.Liquid.Desugar.TmOracle |
| foldlM | Language.Haskell.Liquid.Desugar.DsMonad |
| foldReft | Language.Haskell.Liquid.Types |
| foldReft' | Language.Haskell.Liquid.Types |
| foldrM | Language.Haskell.Liquid.Desugar.DsMonad |
| ForAllCo | Language.Haskell.Liquid.GHC.TypeRep |
| ForAllTy | Language.Haskell.Liquid.GHC.TypeRep |
| force | Language.Haskell.Liquid.Prelude |
| fourth4 | |
| 1 (Function) | Language.Haskell.Liquid.Misc |
| 2 (Function) | Test.Target.Util |
| fpLen | Language.Haskell.Liquid.Foreign |
| freeLabels | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
| freeLabelTy | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
| freePred | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
| freePredTy | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
| freeSymbols | Language.Haskell.Liquid.Bare.Misc |
| freesyms | Test.Target.Monad |
| freeTyVars | |
| 1 (Function) | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
| 2 (Function) | Language.Haskell.Liquid.Types.RefType |
| freeTyVarsTy | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
| FreeVar | Language.Haskell.Liquid.Types.RefType |
| freeVars | Language.Haskell.Liquid.Types.Visitors |
| fresh | |
| 1 (Function) | Language.Haskell.Liquid.Constraint.Fresh |
| 2 (Function) | Test.Target.Monad |
| Freshable | Language.Haskell.Liquid.Constraint.Fresh |
| freshChoice | Test.Target.Monad |
| freshIndex | Language.Haskell.Liquid.Constraint.Types |
| freshInt | Test.Target.Monad |
| freshTy_expr | Language.Haskell.Liquid.Constraint.Fresh |
| freshTy_type | Language.Haskell.Liquid.Constraint.Fresh |
| fromListHEnv | Language.Haskell.Liquid.Constraint.Types |
| fromListREnv | Language.Haskell.Liquid.Constraint.Env |
| fromRISig | Language.Haskell.Liquid.Types.Dictionaries |
| fromRTypeRep | Language.Haskell.Liquid.Types |
| fSrcSpan | Language.Haskell.Liquid.GHC.Misc |
| fSrcSpanSrcSpan | Language.Haskell.Liquid.GHC.Misc |
| fst4 | Language.Haskell.Liquid.Misc |
| fuel | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
| fullcheck | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
| FunPrec | Language.Haskell.Liquid.GHC.TypeRep |
| FunTy | Language.Haskell.Liquid.GHC.TypeRep |