EdisonCore-1.2.1.3: A library of efficent, purely-functional data structures (Core Implementations)

PortabilityGHC, Hugs (MPTC and FD)
Stabilityinternal (unstable)
Maintainerrobdockins AT fastmail DOT fm

Data.Edison.Assoc.Defaults

Description

This module provides default implementations of many of the associative collection operations. These function are used to fill in collection implementations and are not intended to be used directly by end users.

Documentation

singletonUsingInsert :: Assoc m k => k -> a -> m aSource

fromSeqUsingInsertSeq :: (AssocX m k, Sequence seq) => seq (k, a) -> m aSource

insertSeqUsingFoldr :: (AssocX m k, Sequence seq) => seq (k, a) -> m a -> m aSource

unionSeqUsingReduce :: (AssocX m k, Sequence seq) => seq (m a) -> m aSource

deleteSeqUsingFoldr :: (AssocX m k, Sequence seq) => seq k -> m a -> m aSource

memberUsingLookupM :: AssocX m k => k -> m a -> BoolSource

countUsingMember :: AssocX m k => k -> m a -> IntSource

lookupAllUsingLookupM :: (AssocX m k, Sequence seq) => k -> m a -> seq aSource

lookupWithDefaultUsingLookupM :: AssocX m k => a -> k -> m a -> aSource

partitionUsingFilter :: AssocX m k => (a -> Bool) -> m a -> (m a, m a)Source

fold1UsingElements :: AssocX m k => (a -> a -> a) -> m a -> aSource

elementsUsingFold :: (AssocX m k, Sequence seq) => m a -> seq aSource

insertWithUsingLookupM :: FiniteMapX m k => (a -> a -> a) -> k -> a -> m a -> m aSource

fromSeqWithUsingInsertSeqWith :: (FiniteMapX m k, Sequence seq) => (a -> a -> a) -> seq (k, a) -> m aSource

fromSeqWithKeyUsingInsertSeqWithKey :: (FiniteMapX m k, Sequence seq) => (k -> a -> a -> a) -> seq (k, a) -> m aSource

insertWithKeyUsingInsertWith :: FiniteMapX m k => (k -> a -> a -> a) -> k -> a -> m a -> m aSource

insertSeqWithUsingInsertWith :: (FiniteMapX m k, Sequence seq) => (a -> a -> a) -> seq (k, a) -> m a -> m aSource

insertSeqWithKeyUsingInsertWithKey :: (FiniteMapX m k, Sequence seq) => (k -> a -> a -> a) -> seq (k, a) -> m a -> m aSource

unionSeqWithUsingReduce :: (FiniteMapX m k, Sequence seq) => (a -> a -> a) -> seq (m a) -> m aSource

unionSeqWithUsingFoldr :: (FiniteMapX m k, Sequence seq) => (a -> a -> a) -> seq (m a) -> m aSource

toSeqUsingFoldWithKey :: (Assoc m k, Sequence seq) => m a -> seq (k, a)Source

keysUsingFoldWithKey :: (Assoc m k, Sequence seq) => m a -> seq kSource

unionWithUsingInsertWith :: FiniteMap m k => (a -> a -> a) -> m a -> m a -> m aSource

unionWithKeyUsingInsertWithKey :: FiniteMap m k => (k -> a -> a -> a) -> m a -> m a -> m aSource

unionSeqWithKeyUsingReduce :: (FiniteMap m k, Sequence seq) => (k -> a -> a -> a) -> seq (m a) -> m aSource

unionSeqWithKeyUsingFoldr :: (FiniteMap m k, Sequence seq) => (k -> a -> a -> a) -> seq (m a) -> m aSource

intersectionWithUsingLookupM :: FiniteMap m k => (a -> b -> c) -> m a -> m b -> m cSource

intersectionWithKeyUsingLookupM :: FiniteMap m k => (k -> a -> b -> c) -> m a -> m b -> m cSource

differenceUsingDelete :: FiniteMap m k => m a -> m b -> m aSource

subsetUsingMember :: FiniteMap m k => m a -> m b -> BoolSource

submapByUsingLookupM :: FiniteMap m k => (a -> a -> Bool) -> m a -> m a -> BoolSource

properSubmapByUsingSubmapBy :: FiniteMapX m k => (a -> a -> Bool) -> m a -> m a -> BoolSource

sameMapByUsingOrdLists :: OrdFiniteMap m k => (a -> a -> Bool) -> m a -> m a -> BoolSource

sameMapByUsingSubmapBy :: FiniteMapX m k => (a -> a -> Bool) -> m a -> m a -> BoolSource

lookupAndDeleteDefault :: AssocX m k => k -> m a -> (a, m a)Source

lookupAndDeleteMDefault :: (Monad rm, AssocX m k) => k -> m a -> rm (a, m a)Source

lookupAndDeleteAllDefault :: (Sequence seq, AssocX m k) => k -> m a -> (seq a, m a)Source

adjustOrInsertUsingMember :: AssocX m k => (a -> a) -> a -> k -> m a -> m aSource

adjustOrDeleteDefault :: AssocX m k => (a -> Maybe a) -> k -> m a -> m aSource

adjustOrDeleteAllDefault :: AssocX m k => (a -> Maybe a) -> k -> m a -> m aSource

toOrdSeqUsingFoldrWithKey :: (OrdAssoc m k, Sequence seq) => m a -> seq (k, a)Source

showsPrecUsingToList :: (Show k, Show a, Assoc m k) => Int -> m a -> ShowSSource

compareUsingToOrdList :: (Ord a, OrdAssoc m k) => m a -> m a -> OrderingSource