Searched refs:unMkSet (Results 1 – 1 of 1) sorted by relevance
163 unMkSet :: (Ord a) => Set a -> [a]165 unMkSet (MkSet s) = s function216 | 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))))230 | a == b = MkSet (a: (unMkSet (utSetIntersection (MkSet as) (MkSet bs))))242 | a < b = MkSet (a: (unMkSet (utSetSubtraction (MkSet as) (MkSet (b:bs)))))