Searched refs:dirToCmp (Results 1 – 3 of 3) sorted by relevance
1271 addConstraint (unblockOnMeta y) $ dirToCmp (`ValueCmp` AsSizes) dir yArgs u1277 c = dirToCmp (`ValueCmp` (AsTermsOf sizeUniv)) dir xArgs v'
245 compareAsDir dir a = dirToCmp (`compareAs'` a) dir387 compareAtomDir dir a = dirToCmp (`compareAtom` a) dir
1173 dirToCmp :: (Comparison -> a -> a -> c) -> CompareDirection -> a -> a -> c1174 dirToCmp cont DirEq = cont CmpEq function1175 dirToCmp cont DirLeq = cont CmpLeq function1176 dirToCmp cont DirGeq = flip $ cont CmpLeq function