autolib-data
Safe HaskellSafe-Inferred
LanguageHaskell98

Autolib.Simple_Set

Description

simple Implementierung, die möglichst lazy ist

Documentation

data Set a Source #

Instances

Instances details
Eq a => Eq (Set a) Source # 
Instance details

Defined in Autolib.Simple_Set

Methods

(==) :: Set a -> Set a -> Bool #

(/=) :: Set a -> Set a -> Bool #

emptySet :: Set a Source #

mkSet :: Ord a => [a] -> Set a Source #

setToList :: Set a -> [a] Source #

unitSet :: a -> Set a Source #

singletonSet :: a -> Set a Source #

union :: Ord a => Set a -> Set a -> Set a Source #

unionManySets :: Ord a => [Set a] -> Set a Source #

minusSet :: Ord a => Set a -> Set a -> Set a Source #

mapSet :: Ord a => (b -> a) -> Set b -> Set a Source #

intersect :: Ord a => Set a -> Set a -> Set a Source #

elementOf :: Ord a => a -> Set a -> Bool Source #

isEmptySet :: Set a -> Bool Source #

cardinality :: Set a -> Int Source #