Lines Matching refs:Set
94 [Set a] -- The topologically sorted components
106 (Set a, [a]) -> -- state: visited set,
109 (Set a, [a]) -- final state
128 (Set a, [Set a]) -> -- Current state: visited set,
131 (Set a, [Set a]) -- Final state
159 data Set e = MkSet [e] function
163 unMkSet :: (Ord a) => Set a -> [a]
170 utSetEmpty :: (Ord a) => Set a
177 utSetIsEmpty :: (Ord a) => Set a -> Bool
184 utSetSingleton :: (Ord a) => a -> Set a
191 utSetFromList :: (Ord a) => [a] -> Set a
202 utSetToList :: (Ord a) => Set a -> [a]
210 utSetUnion :: (Ord a) => Set a -> Set a -> Set a
223 utSetIntersection :: (Ord a) => Set a -> Set a -> Set a
236 utSetSubtraction :: (Ord a) => Set a -> Set a -> Set a
249 utSetElementOf :: (Ord a) => a -> Set a -> Bool
258 utSetSubsetOf :: (Ord a) => Set a -> Set a -> Bool
267 utSetUnionList :: (Ord a) => [Set a] -> Set a