Searched refs:eqMaybeWith (Results 1 – 1 of 1) sorted by relevance
264 t1 == t2 && eqMaybeWith eqBid c1 c2 && a1 == a2 && r1 == r2 && u1 == u2 && g1 == g2269 eqMaybeWith :: (a -> b -> Bool) -> Maybe a -> Maybe b -> Bool270 eqMaybeWith eltEq (Just e) (Just e') = eltEq e e' function271 eqMaybeWith _ Nothing Nothing = True function272 eqMaybeWith _ _ _ = False function