hydra-0.1.0: Type-aware transformations for data and functional programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Lib.Sets

Documentation

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

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

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

isEmpty :: Set a -> Bool Source #

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

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

singleton :: a -> Set a Source #

size :: Set a -> Int Source #

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