Searched refs:MkSet (Results 1 – 1 of 1) sorted by relevance
159 data Set e = MkSet [e] constructor165 unMkSet (MkSet s) = s172 utSetEmpty = MkSet []179 utSetIsEmpty (MkSet s) = s == []186 utSetSingleton x = MkSet [x]193 utSetFromList x = (MkSet . rmdup . sort) x204 utSetToList (MkSet xs) = xs212 utSetUnion (MkSet []) (MkSet []) = (MkSet [])213 utSetUnion (MkSet []) (MkSet (b:bs)) = (MkSet (b:bs))214 utSetUnion (MkSet (a:as)) (MkSet []) = (MkSet (a:as))[all …]