Searched refs:tIsError (Results 1 – 5 of 5) sorted by relevance
25 Unsolvable -> case tIsError p of
402 tIsError :: Type -> Maybe Type403 tIsError ty = case tNoUser ty of function775 | Just _ <- tIsError x = x777 | Just _ <- tIsError rest = rest
311 | Just t <- msum (map tIsError ts) = Just (tError t)
408 p | Just t <- tIsError p ->
106 | Just _ <- tIsError t1 = pure Unsolvable107 | Just _ <- tIsError t2 = pure Unsolvable