Searched refs:utSetUnion (Results 1 – 1 of 1) sorted by relevance
120 (utSetUnion visited (utSetSingleton vertex), sequence)142 (utSetUnion visited (utSetSingleton vertex), [])210 utSetUnion :: (Ord a) => Set a -> Set a -> Set a212 utSetUnion (MkSet []) (MkSet []) = (MkSet []) function213 utSetUnion (MkSet []) (MkSet (b:bs)) = (MkSet (b:bs)) function214 utSetUnion (MkSet (a:as)) (MkSet []) = (MkSet (a:as)) function215 utSetUnion (MkSet (a:as)) (MkSet (b:bs)) 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))))[all …]