libcspm-0.1.2: A library providing a parser, type checker and evaluator for CSPM.

CSPM.Compiler.Set

Documentation

type Set a = [a]Source

null :: Eq a => [a] -> Bool Source

member :: Eq a => a -> [a] -> Bool Source

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] -> Bool Source