libcspm-0.2.0: A library providing a parser, type checker and evaluator for CSPM.
CSPM.Compiler.Set
type Set a = [a]Source
null :: Eq a => [a] -> BoolSource
member :: Eq a => a -> [a] -> BoolSource
empty :: [a]Source
unions :: Eq a => [[a]] -> [a]Source
union :: Eq a => [a] -> [a] -> [a]Source
difference :: Eq a => [a] -> [a] -> [a]Source
fromList :: a -> aSource
toList :: a -> aSource
unionMap :: Ord b => (a -> Set b) -> Set a -> Set bSource
split :: Set a -> (a, Set a)Source
subseteq :: Eq a => [a] -> [a] -> BoolSource