Data.Edison.Assoc.StandardMap

Contents

• Type of standard finite maps
• AssocX operations
• FiniteMapX operations
• OrdAssocX operations
• Assoc operations
• OrdAssoc operations
• FiniteMap operations
• Documentation

Description

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

AssocX operations

FiniteMapX operations

OrdAssocX operations

Assoc operations

OrdAssoc operations

FiniteMap operations

Documentation