Searched refs:tryCaptureConstraints (Results 1 – 2 of 2) sorted by relevance
101 discardConstraints, captureConstraints, tryCaptureConstraints,1145 tryCaptureConstraints :: TcM a -> TcM (Maybe a, WantedConstraints)1151 tryCaptureConstraints thing_inside function1169 = do { (mb_res, lie) <- tryCaptureConstraints thing_inside1189 = do { (mb_r, lie) <- tryCaptureConstraints thing_inside
102 TcM.tryCaptureConstraints thing_inside