Searched refs:isGivenOrigin (Results 1 – 8 of 8) sorted by relevance
19 pprCtOrigin, isGivenOrigin468 isGivenOrigin :: CtOrigin -> Bool469 isGivenOrigin (GivenOrigin {}) = True function470 isGivenOrigin (FunDepOrigin1 _ o1 _ _ o2 _) = isGivenOrigin o1 && isGivenOrigin o2 function471 isGivenOrigin (FunDepOrigin2 _ o1 _ _) = isGivenOrigin o1 function472 isGivenOrigin (CycleBreakerOrigin o) = isGivenOrigin o function473 isGivenOrigin _ = False function
779 | isGivenOrigin orig -- Arising only from givens790 g1 = isGivenOrigin orig1791 g2 = isGivenOrigin orig2803 isGivenLoc loc = isGivenOrigin (ctLocOrigin loc)
19 pprCtOrigin, isGivenOrigin467 isGivenOrigin :: CtOrigin -> Bool468 isGivenOrigin (GivenOrigin {}) = True function469 isGivenOrigin (FunDepOrigin1 _ o1 _ _ o2 _) = isGivenOrigin o1 && isGivenOrigin o2 function470 isGivenOrigin (FunDepOrigin2 _ o1 _ _) = isGivenOrigin o1 function471 isGivenOrigin _ = False function
608 | isGivenOrigin orig -- Arising only from givens619 g1 = isGivenOrigin orig1620 g2 = isGivenOrigin orig2632 isGivenLoc loc = isGivenOrigin (ctLocOrigin loc)
20 pprCtOrigin, isGivenOrigin460 isGivenOrigin :: CtOrigin -> Bool461 isGivenOrigin (GivenOrigin {}) = True function462 isGivenOrigin (FunDepOrigin1 _ o1 _ _ o2 _) = isGivenOrigin o1 && isGivenOrigin o2 function463 isGivenOrigin (FunDepOrigin2 _ o1 _ _) = isGivenOrigin o1 function464 isGivenOrigin _ = False function
565 | isGivenOrigin orig -- Arising only from givens578 g1 = isGivenOrigin orig1579 g2 = isGivenOrigin orig2591 isGivenLoc loc = isGivenOrigin (ctLocOrigin loc)