 EdisonCore1.2.1.2: A library of efficent, purelyfunctional data structures (Core Implementations)  Source code  Contents  Index 

Data.Edison.Coll.StandardSet  Portability  GHC, Hugs (MPTC and FD)  Stability  stable  Maintainer  robdockins AT fastmail DOT fm 





Description 
The standard library Data.Set repackaged as an Edison collection.


Synopsis 

type Set = Set   empty :: Set a   singleton :: a > Set a   fromSeq :: (Ord a, Sequence seq) => seq a > Set a   insert :: Ord a => a > Set a > Set a   insertSeq :: (Ord a, Sequence seq) => seq a > Set a > Set a   union :: Ord a => Set a > Set a > Set a   unionSeq :: (Ord a, Sequence seq) => seq (Set a) > Set a   delete :: Ord a => a > Set a > Set a   deleteAll :: Ord a => a > Set a > Set a   deleteSeq :: (Ord a, Sequence seq) => seq a > Set a > Set a   null :: Set a > Bool   size :: Set a > Int   member :: Ord a => a > Set a > Bool   count :: Ord a => a > Set a > Int   strict :: Ord a => Set a > Set a   toSeq :: (Ord a, Sequence seq) => Set a > seq a   lookup :: Ord a => a > Set a > a   lookupM :: (Ord a, Monad m) => a > Set a > m a   lookupAll :: (Ord a, Sequence seq) => a > Set a > seq a   lookupWithDefault :: Ord a => a > a > Set a > a   fold :: (a > b > b) > b > Set a > b   fold' :: (a > b > b) > b > Set a > b   fold1 :: (a > a > a) > Set a > a   fold1' :: (a > a > a) > Set a > a   filter :: Ord a => (a > Bool) > Set a > Set a   partition :: Ord a => (a > Bool) > Set a > (Set a, Set a)   strictWith :: Ord a => (a > b) > Set a > Set a   structuralInvariant :: Ord a => Set a > Bool   deleteMin :: Ord a => Set a > Set a   deleteMax :: Ord a => Set a > Set a   unsafeInsertMin :: Ord a => a > Set a > Set a   unsafeInsertMax :: Ord a => a > Set a > Set a   unsafeFromOrdSeq :: (Ord a, Sequence seq) => seq a > Set a   unsafeAppend :: Ord a => Set a > Set a > Set a   filterLT :: Ord a => a > Set a > Set a   filterLE :: Ord a => a > Set a > Set a   filterGT :: Ord a => a > Set a > Set a   filterGE :: Ord a => a > Set a > Set a   partitionLT_GE :: Ord a => a > Set a > (Set a, Set a)   partitionLE_GT :: Ord a => a > Set a > (Set a, Set a)   partitionLT_GT :: Ord a => a > Set a > (Set a, Set a)   minView :: (Ord a, Monad m) => Set a > m (a, Set a)   minElem :: Set a > a   maxView :: (Ord a, Monad m) => Set a > m (a, Set a)   maxElem :: Set a > a   foldr :: (a > b > b) > b > Set a > b   foldr' :: (a > b > b) > b > Set a > b   foldl :: (b > a > b) > b > Set a > b   foldl' :: (b > a > b) > b > Set a > b   foldr1 :: (a > a > a) > Set a > a   foldr1' :: (a > a > a) > Set a > a   foldl1 :: (a > a > a) > Set a > a   foldl1' :: (a > a > a) > Set a > a   toOrdSeq :: (Ord a, Sequence seq) => Set a > seq a   unsafeMapMonotonic :: Ord a => (a > a) > Set a > Set a   intersection :: Ord a => Set a > Set a > Set a   difference :: Ord a => Set a > Set a > Set a   symmetricDifference :: Ord a => Set a > Set a > Set a   properSubset :: Ord a => Set a > Set a > Bool   subset :: Ord a => Set a > Set a > Bool   fromSeqWith :: (Ord a, Sequence seq) => (a > a > a) > seq a > Set a   insertWith :: Ord a => (a > a > a) > a > Set a > Set a   insertSeqWith :: (Ord a, Sequence seq) => (a > a > a) > seq a > Set a > Set a   unionl :: Ord a => Set a > Set a > Set a   unionr :: Ord a => Set a > Set a > Set a   unionWith :: Ord a => (a > a > a) > Set a > Set a > Set a   unionSeqWith :: (Ord a, Sequence seq) => (a > a > a) > seq (Set a) > Set a   intersectionWith :: Ord a => (a > a > a) > Set a > Set a > Set a   moduleName :: String 



Set type




CollX operations
































Coll operations












fold :: (a > b > b) > b > Set a > b  Source 


fold' :: (a > b > b) > b > Set a > b  Source 














OrdCollX operations




























OrdColl operations










foldr :: (a > b > b) > b > Set a > b  Source 


foldr' :: (a > b > b) > b > Set a > b  Source 


foldl :: (b > a > b) > b > Set a > b  Source 


foldl' :: (b > a > b) > b > Set a > b  Source 














SetX operations












Set operations


















Documentation




Produced by Haddock version 2.3.0 