| uError | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
| unapply | Test.Target.Targetable |
| unboxArg | Language.Haskell.Liquid.Desugar.DsCCall |
| unfold | Test.Target.Targetable |
| unionTCvSubst | Language.Haskell.Liquid.GHC.TypeRep |
| UniqSupply | Language.Haskell.Liquid.Desugar.DsMonad |
| uniqueHash | Language.Haskell.Liquid.GHC.Misc |
| UnivCo | Language.Haskell.Liquid.GHC.TypeRep |
| UnivCoProvenance | Language.Haskell.Liquid.GHC.TypeRep |
| unpackRealSrcSpan | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
| Unsafe | Language.Haskell.Liquid.UX.ACSS |
| UnsafeCoerceProv | Language.Haskell.Liquid.GHC.TypeRep |
| unsafeError | Language.Haskell.Liquid.Prelude |
| unsetGOptM | Language.Haskell.Liquid.Desugar.DsMonad |
| unsetWOptM | Language.Haskell.Liquid.Desugar.DsMonad |
| unTick | Language.Haskell.Liquid.GHC.Misc |
| unTickExpr | Language.Haskell.Liquid.GHC.Misc |
| untidyCore | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
| updateLocA | Language.Haskell.Liquid.Constraint.Monad |
| updateRTVar | Language.Haskell.Liquid.Types.RefType |
| updKVProf | Language.Haskell.Liquid.Types |
| uPVar | Language.Haskell.Liquid.Types.RefType |
| UReft | Language.Haskell.Liquid.Types |
| uReft | Language.Haskell.Liquid.Types.RefType |
| UReftable | Language.Haskell.Liquid.Types |
| uRType | Language.Haskell.Liquid.Types.RefType |
| uRType' | Language.Haskell.Liquid.Types.RefType |
| uRTypeGen | Language.Haskell.Liquid.Types.RefType |
| ur_pred | Language.Haskell.Liquid.Types |
| ur_reft | Language.Haskell.Liquid.Types |
| ur_strata | Language.Haskell.Liquid.Types |
| UsedPVar | Language.Haskell.Liquid.Types |
| UserError | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
| useSpcQuals | Language.Haskell.Liquid.Constraint.Qualifier |
| useVars | Language.Haskell.Liquid.Types |
| uTop | Language.Haskell.Liquid.Types.RefType |