hbc-library-0.17: HBC library
OrdSet
data OrdSet a
Instances
empty :: OrdSet a
singleton :: a -> OrdSet a
union :: Ord a => OrdSet a -> OrdSet a -> OrdSet a
unionMany :: Ord a => [OrdSet a] -> OrdSet a
add :: Ord a => a -> OrdSet a -> OrdSet a
addMany :: Ord a => [a] -> OrdSet a -> OrdSet a
toList :: OrdSet a -> [a]
fromList :: Ord a => [a] -> OrdSet a
length :: OrdSet a -> Int
null :: OrdSet t -> Bool
isSingleton :: OrdSet a -> Bool
elem :: Ord a => a -> OrdSet a -> Bool