Safe Haskell | Safe |
---|---|
Language | Haskell98 |
- class C set where
- cube :: C set => Set a -> Int -> set a
- unions :: (C set, Ord a) => [set a] -> set a
- insertSortedBy :: (a -> a -> Ordering) -> a -> [a] -> [a]
- intersections :: (C set, Ord a) => [set a] -> set a
- intersectionsSort :: (C set, Ord a) => [set a] -> set a
- (*&) :: C set => Set a -> set a -> set a
- (#*&) :: C set => a -> set a -> set a
Documentation
empty, union, intersection, unit, leftNonEmptyProduct, flatten, symbols, null, size, select, representationSize, compress
union, intersection :: Ord a => set a -> set a -> set a Source #
leftNonEmptyProduct :: Set a -> set a -> set a Source #
the left operand must be non-empty
flatten :: Ord a => set a -> [[a]] Source #
symbols :: Ord a => set a -> Set a Source #
null :: set a -> Bool Source #
size :: set a -> Integer Source #
select :: set a -> Integer -> [a] Source #
representationSize :: set a -> Int Source #
compress :: Ord a => set a -> set a Source #
simplify set representation by combining set products where possible
insertSortedBy :: (a -> a -> Ordering) -> a -> [a] -> [a] Source #
intersections :: (C set, Ord a) => [set a] -> set a Source #
intersectionsSort :: (C set, Ord a) => [set a] -> set a Source #