UniqFM

Contents

• Unique-keyed mappings
  • Manipulating those mappings

Synopsis

• data UniqFM ele
• emptyUFM :: UniqFM elt
• unitUFM :: Uniquable key => key -> elt -> UniqFM elt
• unitDirectlyUFM :: Unique -> elt -> UniqFM elt
• listToUFM :: Uniquable key => [(key, elt)] -> UniqFM elt
• listToUFM_Directly :: [(Unique, elt)] -> UniqFM elt
• listToUFM_C :: Uniquable key => (elt -> elt -> elt) -> [(key, elt)] -> UniqFM elt
• addToUFM :: Uniquable key => UniqFM elt -> key -> elt -> UniqFM elt
• addToUFM_C :: Uniquable key => (elt -> elt -> elt) -> UniqFM elt -> key -> elt -> UniqFM elt
• addToUFM_Acc :: Uniquable key => (elt -> elts -> elts) -> (elt -> elts) -> UniqFM elts -> key -> elt -> UniqFM elts
• addListToUFM :: Uniquable key => UniqFM elt -> [(key, elt)] -> UniqFM elt
• addListToUFM_C :: Uniquable key => (elt -> elt -> elt) -> UniqFM elt -> [(key, elt)] -> UniqFM elt
• addToUFM_Directly :: UniqFM elt -> Unique -> elt -> UniqFM elt
• addListToUFM_Directly :: UniqFM elt -> [(Unique, elt)] -> UniqFM elt
• adjustUFM :: Uniquable key => (elt -> elt) -> UniqFM elt -> key -> UniqFM elt
• alterUFM :: Uniquable key => (Maybe elt -> Maybe elt) -> UniqFM elt -> key -> UniqFM elt
• adjustUFM_Directly :: (elt -> elt) -> UniqFM elt -> Unique -> UniqFM elt
• delFromUFM :: Uniquable key => UniqFM elt -> key -> UniqFM elt
• delFromUFM_Directly :: UniqFM elt -> Unique -> UniqFM elt
• delListFromUFM :: Uniquable key => UniqFM elt -> [key] -> UniqFM elt
• delListFromUFM_Directly :: UniqFM elt -> [Unique] -> UniqFM elt
• plusUFM :: UniqFM elt -> UniqFM elt -> UniqFM elt
• plusUFM_C :: (elt -> elt -> elt) -> UniqFM elt -> UniqFM elt -> UniqFM elt
• plusUFM_CD :: (elt -> elt -> elt) -> UniqFM elt -> elt -> UniqFM elt -> elt -> UniqFM elt
• plusMaybeUFM_C :: (elt -> elt -> Maybe elt) -> UniqFM elt -> UniqFM elt -> UniqFM elt
• plusUFMList :: [UniqFM elt] -> UniqFM elt
• minusUFM :: UniqFM elt1 -> UniqFM elt2 -> UniqFM elt1
• intersectUFM :: UniqFM elt1 -> UniqFM elt2 -> UniqFM elt1
• intersectUFM_C :: (elt1 -> elt2 -> elt3) -> UniqFM elt1 -> UniqFM elt2 -> UniqFM elt3
• disjointUFM :: UniqFM elt1 -> UniqFM elt2 -> Bool
• equalKeysUFM :: UniqFM a -> UniqFM b -> Bool
• nonDetFoldUFM :: (elt -> a -> a) -> a -> UniqFM elt -> a
• foldUFM :: (elt -> a -> a) -> a -> UniqFM elt -> a
• nonDetFoldUFM_Directly :: (Unique -> elt -> a -> a) -> a -> UniqFM elt -> a
• anyUFM :: (elt -> Bool) -> UniqFM elt -> Bool
• allUFM :: (elt -> Bool) -> UniqFM elt -> Bool
• seqEltsUFM :: ([elt] -> ()) -> UniqFM elt -> ()
• mapUFM :: (elt1 -> elt2) -> UniqFM elt1 -> UniqFM elt2
• mapUFM_Directly :: (Unique -> elt1 -> elt2) -> UniqFM elt1 -> UniqFM elt2
• elemUFM :: Uniquable key => key -> UniqFM elt -> Bool
• elemUFM_Directly :: Unique -> UniqFM elt -> Bool
• filterUFM :: (elt -> Bool) -> UniqFM elt -> UniqFM elt
• filterUFM_Directly :: (Unique -> elt -> Bool) -> UniqFM elt -> UniqFM elt
• partitionUFM :: (elt -> Bool) -> UniqFM elt -> (UniqFM elt, UniqFM elt)
• sizeUFM :: UniqFM elt -> Int
• isNullUFM :: UniqFM elt -> Bool
• lookupUFM :: Uniquable key => UniqFM elt -> key -> Maybe elt
• lookupUFM_Directly :: UniqFM elt -> Unique -> Maybe elt
• lookupWithDefaultUFM :: Uniquable key => UniqFM elt -> elt -> key -> elt
• lookupWithDefaultUFM_Directly :: UniqFM elt -> elt -> Unique -> elt
• nonDetEltsUFM :: UniqFM elt -> [elt]
• eltsUFM :: UniqFM elt -> [elt]
• nonDetKeysUFM :: UniqFM elt -> [Unique]
• ufmToSet_Directly :: UniqFM elt -> IntSet
• nonDetUFMToList :: UniqFM elt -> [(Unique, elt)]
• ufmToIntMap :: UniqFM elt -> IntMap elt
• pprUniqFM :: (a -> SDoc) -> UniqFM a -> SDoc
• pprUFM :: UniqFM a -> ([a] -> SDoc) -> SDoc
• pprUFMWithKeys :: UniqFM a -> ([(Unique, a)] -> SDoc) -> SDoc
• pluralUFM :: UniqFM a -> SDoc

Unique-keyed mappings

Manipulating those mappings

plusUFM_CD f {A: 1, B: 2} 23 {B: 3, C: 4} 42
   == {A: f 1 42, B: f 2 3, C: f 23 4 }