implementation module StdDynSet import StdEnv import StdDynamic class Set a | TC, ==, toString a :: Set = Set [Dynamic] instance zero Set where zero = abort "zero instance voor Set nog niet geimplementeerd.\n" instance toString Set where toString a = abort "toString instance voor Set nog niet geimplementeerd.\n" instance == Set where == a b = abort "== instance voor Set nog niet geimplementeerd.\n" toSet :: a -> Set | Set a toSet a = abort "toSet nog niet geimplementeerd.\n" nrOfElts :: Set -> Int nrOfElts a = abort "nrOfElts nog niet geimplementeerd.\n" isEmptySet :: Set -> Bool isEmptySet a = abort "isEmptySet nog niet geimplementeerd.\n" memberOfSet :: a Set -> Bool | Set a memberOfSet x a = abort "memberOfSet nog niet geimplementeerd.\n" isSubset :: Set Set -> Bool isSubset a b = abort "isSubset nog niet geimplementeerd.\n" isStrictSubset :: Set Set -> Bool isStrictSubset a b = abort "isStrictSubset nog niet geimplementeerd.\n" union :: Set Set -> Set union a b = abort "union nog niet geimplementeerd.\n" intersection :: Set Set -> Set intersection a b = abort "intersection nog niet geimplementeerd.\n" without :: Set Set -> Set without a b = abort "without nog niet geimplementeerd.\n"