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 #