| EdisonCore-1.2.1: A library of efficient, purely-functional data structures (Core Implementations) | Contents | Index |
|
Data.Edison.Assoc.StandardMap | Portability | GHC, Hugs (MPTC and FD) | Stability | stable | Maintainer | robdockins AT fastmail DOT fm |
|
|
|
|
|
Description |
The standard library Data.Map repackaged as an Edison
associative collection.
|
|
Synopsis |
|
type FM = Map | | empty :: FM k a | | singleton :: Ord k => k -> a -> FM k a | | fromSeq :: (Ord k, Sequence seq) => seq (k, a) -> FM k a | | insert :: Ord k => k -> a -> FM k a -> FM k a | | insertSeq :: (Ord k, Sequence seq) => seq (k, a) -> FM k a -> FM k a | | union :: Ord k => FM k a -> FM k a -> FM k a | | unionSeq :: (Ord k, Sequence seq) => seq (FM k a) -> FM k a | | delete :: Ord k => k -> FM k a -> FM k a | | deleteAll :: Ord k => k -> FM k a -> FM k a | | deleteSeq :: (Ord k, Sequence seq) => seq k -> FM k a -> FM k a | | null :: FM k a -> Bool | | size :: FM k a -> Int | | member :: Ord k => k -> FM k a -> Bool | | count :: Ord k => k -> FM k a -> Int | | lookup :: Ord k => k -> FM k a -> a | | lookupM :: (Ord k, Monad m) => k -> FM k a -> m a | | lookupAll :: (Ord k, Sequence seq) => k -> FM k a -> seq a | | lookupAndDelete :: Ord k => k -> FM k a -> (a, FM k a) | | lookupAndDeleteM :: (Ord k, Monad m) => k -> FM k a -> m (a, FM k a) | | lookupAndDeleteAll :: (Ord k, Sequence seq) => k -> FM k a -> (seq a, FM k a) | | lookupWithDefault :: Ord k => a -> k -> FM k a -> a | | adjust :: Ord k => (a -> a) -> k -> FM k a -> FM k a | | adjustAll :: Ord k => (a -> a) -> k -> FM k a -> FM k a | | adjustOrInsert :: Ord k => (a -> a) -> a -> k -> FM k a -> FM k a | | adjustAllOrInsert :: Ord k => (a -> a) -> a -> k -> FM k a -> FM k a | | adjustOrDelete :: Ord k => (a -> Maybe a) -> k -> FM k a -> FM k a | | adjustOrDeleteAll :: Ord k => (a -> Maybe a) -> k -> FM k a -> FM k a | | strict :: Ord k => FM k a -> FM k a | | strictWith :: Ord k => (a -> b) -> FM k a -> FM k a | | map :: (Ord k, Functor (FM k)) => (a -> b) -> FM k a -> FM k b | | fold :: Ord k => (a -> b -> b) -> b -> FM k a -> b | | fold' :: Ord k => (a -> b -> b) -> b -> FM k a -> b | | fold1 :: Ord k => (a -> a -> a) -> FM k a -> a | | fold1' :: Ord k => (a -> a -> a) -> FM k a -> a | | filter :: Ord k => (a -> Bool) -> FM k a -> FM k a | | partition :: Ord k => (a -> Bool) -> FM k a -> (FM k a, FM k a) | | elements :: (Ord k, Sequence seq) => FM k a -> seq a | | structuralInvariant :: Ord k => FM k a -> Bool | | fromSeqWith :: (Ord k, Sequence seq) => (a -> a -> a) -> seq (k, a) -> FM k a | | fromSeqWithKey :: (Ord k, Sequence seq) => (k -> a -> a -> a) -> seq (k, a) -> FM k a | | insertWith :: Ord k => (a -> a -> a) -> k -> a -> FM k a -> FM k a | | insertWithKey :: Ord k => (k -> a -> a -> a) -> k -> a -> FM k a -> FM k a | | insertSeqWith :: (Ord k, Sequence seq) => (a -> a -> a) -> seq (k, a) -> FM k a -> FM k a | | insertSeqWithKey :: (Ord k, Sequence seq) => (k -> a -> a -> a) -> seq (k, a) -> FM k a -> FM k a | | unionl :: Ord k => FM k a -> FM k a -> FM k a | | unionr :: Ord k => FM k a -> FM k a -> FM k a | | unionWith :: Ord k => (a -> a -> a) -> FM k a -> FM k a -> FM k a | | unionSeqWith :: (Ord k, Sequence seq) => (a -> a -> a) -> seq (FM k a) -> FM k a | | intersectionWith :: Ord k => (a -> b -> c) -> FM k a -> FM k b -> FM k c | | difference :: Ord k => FM k a -> FM k b -> FM k a | | properSubset :: Ord k => FM k a -> FM k b -> Bool | | subset :: Ord k => FM k a -> FM k b -> Bool | | properSubmapBy :: Ord k => (a -> a -> Bool) -> FM k a -> FM k a -> Bool | | submapBy :: Ord k => (a -> a -> Bool) -> FM k a -> FM k a -> Bool | | sameMapBy :: Ord k => (a -> a -> Bool) -> FM k a -> FM k a -> Bool | | properSubmap :: (Ord k, Eq a) => FM k a -> FM k a -> Bool | | submap :: (Ord k, Eq a) => FM k a -> FM k a -> Bool | | sameMap :: (Ord k, Eq a) => FM k a -> FM k a -> Bool | | minView :: (Ord k, Monad m) => FM k a -> m (a, FM k a) | | minElem :: Ord k => FM k a -> a | | deleteMin :: Ord k => FM k a -> FM k a | | unsafeInsertMin :: Ord k => k -> a -> FM k a -> FM k a | | maxView :: (Ord k, Monad m) => FM k a -> m (a, FM k a) | | maxElem :: Ord k => FM k a -> a | | deleteMax :: Ord k => FM k a -> FM k a | | unsafeInsertMax :: Ord k => k -> a -> FM k a -> FM k a | | foldr :: Ord k => (a -> b -> b) -> b -> FM k a -> b | | foldr' :: Ord k => (a -> b -> b) -> b -> FM k a -> b | | foldl :: Ord k => (b -> a -> b) -> b -> FM k a -> b | | foldl' :: Ord k => (b -> a -> b) -> b -> FM k a -> b | | foldr1 :: Ord k => (a -> a -> a) -> FM k a -> a | | foldr1' :: Ord k => (a -> a -> a) -> FM k a -> a | | foldl1 :: Ord k => (a -> a -> a) -> FM k a -> a | | foldl1' :: Ord k => (a -> a -> a) -> FM k a -> a | | unsafeFromOrdSeq :: (Ord k, Sequence seq) => seq (k, a) -> FM k a | | unsafeAppend :: Ord k => FM k a -> FM k a -> FM k a | | filterLT :: Ord k => k -> FM k a -> FM k a | | filterLE :: Ord k => k -> FM k a -> FM k a | | filterGT :: Ord k => k -> FM k a -> FM k a | | filterGE :: Ord k => k -> FM k a -> FM k a | | partitionLT_GE :: Ord k => k -> FM k a -> (FM k a, FM k a) | | partitionLE_GT :: Ord k => k -> FM k a -> (FM k a, FM k a) | | partitionLT_GT :: Ord k => k -> FM k a -> (FM k a, FM k a) | | toSeq :: (Ord k, Sequence seq) => FM k a -> seq (k, a) | | keys :: (Ord k, Sequence seq) => FM k a -> seq k | | mapWithKey :: Ord k => (k -> a -> b) -> FM k a -> FM k b | | foldWithKey :: Ord k => (k -> a -> b -> b) -> b -> FM k a -> b | | foldWithKey' :: Ord k => (k -> a -> b -> b) -> b -> FM k a -> b | | filterWithKey :: Ord k => (k -> a -> Bool) -> FM k a -> FM k a | | partitionWithKey :: Ord k => (k -> a -> Bool) -> FM k a -> (FM k a, FM k a) | | minViewWithKey :: (Ord k, Monad m) => FM k a -> m ((k, a), FM k a) | | minElemWithKey :: Ord k => FM k a -> (k, a) | | maxViewWithKey :: (Ord k, Monad m) => FM k a -> m ((k, a), FM k a) | | maxElemWithKey :: Ord k => FM k a -> (k, a) | | foldrWithKey :: (k -> a -> b -> b) -> b -> FM k a -> b | | foldrWithKey' :: (k -> a -> b -> b) -> b -> FM k a -> b | | foldlWithKey :: (b -> k -> a -> b) -> b -> FM k a -> b | | foldlWithKey' :: (b -> k -> a -> b) -> b -> FM k a -> b | | toOrdSeq :: (Ord k, Sequence seq) => FM k a -> seq (k, a) | | unionWithKey :: Ord k => (k -> a -> a -> a) -> FM k a -> FM k a -> FM k a | | unionSeqWithKey :: (Ord k, Sequence seq) => (k -> a -> a -> a) -> seq (FM k a) -> FM k a | | intersectionWithKey :: Ord k => (k -> a -> b -> c) -> FM k a -> FM k b -> FM k c | | moduleName :: String |
|
|
|
Type of standard finite maps
|
|
type FM = Map |
|
AssocX operations
|
|
empty :: FM k a |
|
singleton :: Ord k => k -> a -> FM k a |
|
fromSeq :: (Ord k, Sequence seq) => seq (k, a) -> FM k a |
|
insert :: Ord k => k -> a -> FM k a -> FM k a |
|
insertSeq :: (Ord k, Sequence seq) => seq (k, a) -> FM k a -> FM k a |
|
union :: Ord k => FM k a -> FM k a -> FM k a |
|
unionSeq :: (Ord k, Sequence seq) => seq (FM k a) -> FM k a |
|
delete :: Ord k => k -> FM k a -> FM k a |
|
deleteAll :: Ord k => k -> FM k a -> FM k a |
|
deleteSeq :: (Ord k, Sequence seq) => seq k -> FM k a -> FM k a |
|
null :: FM k a -> Bool |
|
size :: FM k a -> Int |
|
member :: Ord k => k -> FM k a -> Bool |
|
count :: Ord k => k -> FM k a -> Int |
|
lookup :: Ord k => k -> FM k a -> a |
|
lookupM :: (Ord k, Monad m) => k -> FM k a -> m a |
|
lookupAll :: (Ord k, Sequence seq) => k -> FM k a -> seq a |
|
lookupAndDelete :: Ord k => k -> FM k a -> (a, FM k a) |
|
lookupAndDeleteM :: (Ord k, Monad m) => k -> FM k a -> m (a, FM k a) |
|
lookupAndDeleteAll :: (Ord k, Sequence seq) => k -> FM k a -> (seq a, FM k a) |
|
lookupWithDefault :: Ord k => a -> k -> FM k a -> a |
|
adjust :: Ord k => (a -> a) -> k -> FM k a -> FM k a |
|
adjustAll :: Ord k => (a -> a) -> k -> FM k a -> FM k a |
|
adjustOrInsert :: Ord k => (a -> a) -> a -> k -> FM k a -> FM k a |
|
adjustAllOrInsert :: Ord k => (a -> a) -> a -> k -> FM k a -> FM k a |
|
adjustOrDelete :: Ord k => (a -> Maybe a) -> k -> FM k a -> FM k a |
|
adjustOrDeleteAll :: Ord k => (a -> Maybe a) -> k -> FM k a -> FM k a |
|
strict :: Ord k => FM k a -> FM k a |
|
strictWith :: Ord k => (a -> b) -> FM k a -> FM k a |
|
map :: (Ord k, Functor (FM k)) => (a -> b) -> FM k a -> FM k b |
|
fold :: Ord k => (a -> b -> b) -> b -> FM k a -> b |
|
fold' :: Ord k => (a -> b -> b) -> b -> FM k a -> b |
|
fold1 :: Ord k => (a -> a -> a) -> FM k a -> a |
|
fold1' :: Ord k => (a -> a -> a) -> FM k a -> a |
|
filter :: Ord k => (a -> Bool) -> FM k a -> FM k a |
|
partition :: Ord k => (a -> Bool) -> FM k a -> (FM k a, FM k a) |
|
elements :: (Ord k, Sequence seq) => FM k a -> seq a |
|
structuralInvariant :: Ord k => FM k a -> Bool |
|
FiniteMapX operations
|
|
fromSeqWith :: (Ord k, Sequence seq) => (a -> a -> a) -> seq (k, a) -> FM k a |
|
fromSeqWithKey :: (Ord k, Sequence seq) => (k -> a -> a -> a) -> seq (k, a) -> FM k a |
|
insertWith :: Ord k => (a -> a -> a) -> k -> a -> FM k a -> FM k a |
|
insertWithKey :: Ord k => (k -> a -> a -> a) -> k -> a -> FM k a -> FM k a |
|
insertSeqWith :: (Ord k, Sequence seq) => (a -> a -> a) -> seq (k, a) -> FM k a -> FM k a |
|
insertSeqWithKey :: (Ord k, Sequence seq) => (k -> a -> a -> a) -> seq (k, a) -> FM k a -> FM k a |
|
unionl :: Ord k => FM k a -> FM k a -> FM k a |
|
unionr :: Ord k => FM k a -> FM k a -> FM k a |
|
unionWith :: Ord k => (a -> a -> a) -> FM k a -> FM k a -> FM k a |
|
unionSeqWith :: (Ord k, Sequence seq) => (a -> a -> a) -> seq (FM k a) -> FM k a |
|
intersectionWith :: Ord k => (a -> b -> c) -> FM k a -> FM k b -> FM k c |
|
difference :: Ord k => FM k a -> FM k b -> FM k a |
|
properSubset :: Ord k => FM k a -> FM k b -> Bool |
|
subset :: Ord k => FM k a -> FM k b -> Bool |
|
properSubmapBy :: Ord k => (a -> a -> Bool) -> FM k a -> FM k a -> Bool |
|
submapBy :: Ord k => (a -> a -> Bool) -> FM k a -> FM k a -> Bool |
|
sameMapBy :: Ord k => (a -> a -> Bool) -> FM k a -> FM k a -> Bool |
|
properSubmap :: (Ord k, Eq a) => FM k a -> FM k a -> Bool |
|
submap :: (Ord k, Eq a) => FM k a -> FM k a -> Bool |
|
sameMap :: (Ord k, Eq a) => FM k a -> FM k a -> Bool |
|
OrdAssocX operations
|
|
minView :: (Ord k, Monad m) => FM k a -> m (a, FM k a) |
|
minElem :: Ord k => FM k a -> a |
|
deleteMin :: Ord k => FM k a -> FM k a |
|
unsafeInsertMin :: Ord k => k -> a -> FM k a -> FM k a |
|
maxView :: (Ord k, Monad m) => FM k a -> m (a, FM k a) |
|
maxElem :: Ord k => FM k a -> a |
|
deleteMax :: Ord k => FM k a -> FM k a |
|
unsafeInsertMax :: Ord k => k -> a -> FM k a -> FM k a |
|
foldr :: Ord k => (a -> b -> b) -> b -> FM k a -> b |
|
foldr' :: Ord k => (a -> b -> b) -> b -> FM k a -> b |
|
foldl :: Ord k => (b -> a -> b) -> b -> FM k a -> b |
|
foldl' :: Ord k => (b -> a -> b) -> b -> FM k a -> b |
|
foldr1 :: Ord k => (a -> a -> a) -> FM k a -> a |
|
foldr1' :: Ord k => (a -> a -> a) -> FM k a -> a |
|
foldl1 :: Ord k => (a -> a -> a) -> FM k a -> a |
|
foldl1' :: Ord k => (a -> a -> a) -> FM k a -> a |
|
unsafeFromOrdSeq :: (Ord k, Sequence seq) => seq (k, a) -> FM k a |
|
unsafeAppend :: Ord k => FM k a -> FM k a -> FM k a |
|
filterLT :: Ord k => k -> FM k a -> FM k a |
|
filterLE :: Ord k => k -> FM k a -> FM k a |
|
filterGT :: Ord k => k -> FM k a -> FM k a |
|
filterGE :: Ord k => k -> FM k a -> FM k a |
|
partitionLT_GE :: Ord k => k -> FM k a -> (FM k a, FM k a) |
|
partitionLE_GT :: Ord k => k -> FM k a -> (FM k a, FM k a) |
|
partitionLT_GT :: Ord k => k -> FM k a -> (FM k a, FM k a) |
|
Assoc operations
|
|
toSeq :: (Ord k, Sequence seq) => FM k a -> seq (k, a) |
|
keys :: (Ord k, Sequence seq) => FM k a -> seq k |
|
mapWithKey :: Ord k => (k -> a -> b) -> FM k a -> FM k b |
|
foldWithKey :: Ord k => (k -> a -> b -> b) -> b -> FM k a -> b |
|
foldWithKey' :: Ord k => (k -> a -> b -> b) -> b -> FM k a -> b |
|
filterWithKey :: Ord k => (k -> a -> Bool) -> FM k a -> FM k a |
|
partitionWithKey :: Ord k => (k -> a -> Bool) -> FM k a -> (FM k a, FM k a) |
|
OrdAssoc operations
|
|
minViewWithKey :: (Ord k, Monad m) => FM k a -> m ((k, a), FM k a) |
|
minElemWithKey :: Ord k => FM k a -> (k, a) |
|
maxViewWithKey :: (Ord k, Monad m) => FM k a -> m ((k, a), FM k a) |
|
maxElemWithKey :: Ord k => FM k a -> (k, a) |
|
foldrWithKey :: (k -> a -> b -> b) -> b -> FM k a -> b |
|
foldrWithKey' :: (k -> a -> b -> b) -> b -> FM k a -> b |
|
foldlWithKey :: (b -> k -> a -> b) -> b -> FM k a -> b |
|
foldlWithKey' :: (b -> k -> a -> b) -> b -> FM k a -> b |
|
toOrdSeq :: (Ord k, Sequence seq) => FM k a -> seq (k, a) |
|
FiniteMap operations
|
|
unionWithKey :: Ord k => (k -> a -> a -> a) -> FM k a -> FM k a -> FM k a |
|
unionSeqWithKey :: (Ord k, Sequence seq) => (k -> a -> a -> a) -> seq (FM k a) -> FM k a |
|
intersectionWithKey :: Ord k => (k -> a -> b -> c) -> FM k a -> FM k b -> FM k c |
|
Documentation
|
|
moduleName :: String |
|
Produced by Haddock version 0.8 |