Searched defs:tcIsForAllTy (Results 1 – 4 of 4) sorted by relevance
1284 tcIsForAllTy ty | Just ty' <- tcView ty = tcIsForAllTy ty' function1285 tcIsForAllTy (ForAllTy {}) = True function1286 tcIsForAllTy _ = False function
1243 tcIsForAllTy ty | Just ty' <- tcView ty = tcIsForAllTy ty' function1244 tcIsForAllTy (ForAllTy {}) = True function1245 tcIsForAllTy _ = False function
1191 tcIsForAllTy ty | Just ty' <- tcView ty = tcIsForAllTy ty' function1192 tcIsForAllTy (ForAllTy {}) = True function1193 tcIsForAllTy _ = False function