Searched defs:unifyExp (Results 1 – 4 of 4) sorted by relevance
142 unifyExp nm root (L _ (OpApp _ lhs1 (L _ (HsVar _ (rdrNameStr -> v))) rhs1)) function149 unifyExp nm root x@(L _ (HsApp _ x1 x2)) (L _ (HsApp _ y1 y2)) = function171 unifyExp nm root x (L _ (OpApp _ lhs2 op2@(L _ (HsVar _ op2')) rhs2)) function182 unifyExp nm root x y = (, Nothing) <$> unifyExp' nm root x y function199 unifyExp' nm root (L _ (HsVar _ (rdrNameStr -> v))) y | isUnifyVar v, not $ isTypeApp y = Just $ Su… function200 unifyExp' nm root (L _ (HsVar _ x)) (L _ (HsVar _ y)) | nm x y = Just mempty function205 unifyExp' nm root x y | not root, isJust x2 || isJust y2 = unifyExp' nm root (fromMaybe x x2) (from… function227 unifyExp' nm root x y | isOther x, isOther y = unifyDef' nm x y function237 unifyExp' _ _ _ _ = Nothing function
146 unifyExp nm root (L _ (OpApp _ lhs1 (L _ (HsVar _ (rdrNameStr -> v))) rhs1)) function153 unifyExp nm root x@(L _ (HsApp _ x1 x2)) (L _ (HsApp _ y1 y2)) = function175 unifyExp nm root x (L _ (OpApp _ lhs2 op2@(L _ (HsVar _ op2')) rhs2)) function186 unifyExp nm root x y = (, Nothing) <$> unifyExp' nm root x y function204 unifyExp' nm root (L _ (HsVar _ (rdrNameStr -> v))) y | isUnifyVar v, not $ isTypeApp y = Just $ Su… function205 unifyExp' nm root (L _ (HsVar _ x)) (L _ (HsVar _ y)) | nm x y = Just mempty function210 unifyExp' nm root x y | not root, isJust x2 || isJust y2 = unifyExp' nm root (fromMaybe x x2) (from… function236 unifyExp' nm root x y | isOther x, isOther y = unifyDef' nm x y function246 unifyExp' _ _ _ _ = Nothing function
160 fun unifyExp exp tau1 tau2 = function