Lines Matching refs:bs

213 utSetUnion (MkSet [])     (MkSet (b:bs))        = (MkSet (b:bs))
215 utSetUnion (MkSet (a:as)) (MkSet (b:bs))
216     | a < b   = MkSet (a: (unMkSet (utSetUnion (MkSet as) (MkSet (b:bs)))))
217     | a == b  = MkSet (a: (unMkSet (utSetUnion (MkSet as) (MkSet bs))))
218     | a > b   = MkSet (b: (unMkSet (utSetUnion (MkSet (a:as)) (MkSet bs))))
226 utSetIntersection (MkSet [])     (MkSet (b:bs)) = (MkSet [])
228 utSetIntersection (MkSet (a:as)) (MkSet (b:bs))
229     | a < b   = utSetIntersection (MkSet as) (MkSet (b:bs))
230     | a == b  = MkSet (a: (unMkSet (utSetIntersection (MkSet as) (MkSet bs))))
231     | a > b   = utSetIntersection (MkSet (a:as)) (MkSet bs)
239 utSetSubtraction (MkSet [])     (MkSet (b:bs))  = (MkSet [])
241 utSetSubtraction (MkSet (a:as)) (MkSet (b:bs))
242     | 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)
260 utSetSubsetOf (MkSet [])        (MkSet bs) = True  function
261 utSetSubsetOf (MkSet (a:as))    (MkSet bs)
262     = utSetElementOf a (MkSet bs) && utSetSubsetOf (MkSet as) (MkSet bs)