EdisonCore-1.2.1: A library of efficient, purely-functional data structures (Core Implementations) Contents Index

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

Contents Set type CollX operations Coll operations OrdCollX operations OrdColl operations SetX operations Set operations Documentation

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

type Set = Set

CollX operations

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

Coll operations

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

OrdCollX operations

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)

OrdColl operations

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

SetX operations

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

Set operations

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

Documentation

moduleName :: String

Produced by Haddock version 0.8