Searched refs:disjointBM (Results 1 – 3 of 3) sorted by relevance
690 disjoint t1@(Bin _ _ _ _) (Tip kx2 bm2) = disjointBM t1691 where disjointBM (Bin p1 m1 l1 r1) | nomatch kx2 p1 m1 = True function692 | zero kx2 m1 = disjointBM l1693 | otherwise = disjointBM r1694 disjointBM (Tip kx1 bm1) | kx1 == kx2 = (bm1 .&. bm2) == 0 function696 disjointBM Nil = True function700 disjoint (Tip kx1 bm1) t2 = disjointBM t2701 where disjointBM (Bin p2 m2 l2 r2) | nomatch kx1 p2 m2 = True function702 | zero kx1 m2 = disjointBM l2704 disjointBM (Tip kx2 bm2) | kx1 == kx2 = (bm1 .&. bm2) == 0 function[all …]
740 disjoint t1@(Bin _ _ _ _) (Tip kx2 bm2) = disjointBM t1741 where disjointBM (Bin p1 m1 l1 r1) | nomatch kx2 p1 m1 = True function742 | zero kx2 m1 = disjointBM l1743 | otherwise = disjointBM r1744 disjointBM (Tip kx1 bm1) | kx1 == kx2 = (bm1 .&. bm2) == 0 function746 disjointBM Nil = True function750 disjoint (Tip kx1 bm1) t2 = disjointBM t2751 where disjointBM (Bin p2 m2 l2 r2) | nomatch kx1 p2 m2 = True function752 | zero kx1 m2 = disjointBM l2754 disjointBM (Tip kx2 bm2) | kx1 == kx2 = (bm1 .&. bm2) == 0 function[all …]