Searched refs:utSetSubtraction (Results 1 – 1 of 1) sorted by relevance
236 utSetSubtraction :: (Ord a) => Set a -> Set a -> Set a238 utSetSubtraction (MkSet []) (MkSet []) = (MkSet []) function239 utSetSubtraction (MkSet []) (MkSet (b:bs)) = (MkSet []) function240 utSetSubtraction (MkSet (a:as)) (MkSet []) = (MkSet (a:as)) function241 utSetSubtraction (MkSet (a:as)) (MkSet (b:bs)) function242 | a < b = MkSet (a: (unMkSet (utSetSubtraction (MkSet as) (MkSet (b:bs)))))243 | a == b = utSetSubtraction (MkSet as) (MkSet bs)244 | a > b = utSetSubtraction (MkSet (a:as)) (MkSet bs)