Searched defs:eqMaybeWith (Results 1 – 1 of 1) sorted by relevance
270 eqMaybeWith eltEq (Just e) (Just e') = eltEq e e' function271 eqMaybeWith _ Nothing Nothing = True function272 eqMaybeWith _ _ _ = False function