UniqFM

ghc-7.10.2: The GHC API

Safe Haskell | None
Language | Haskell2010

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
- 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
- minusUFM :: UniqFM elt1 -> UniqFM elt2 -> UniqFM elt1
- intersectUFM :: UniqFM elt -> UniqFM elt -> UniqFM elt
- intersectUFM_C :: (elt1 -> elt2 -> elt3) -> UniqFM elt1 -> UniqFM elt2 -> UniqFM elt3
- foldUFM :: (elt -> a -> a) -> a -> UniqFM elt -> a
- foldUFM_Directly :: (Unique -> elt -> a -> a) -> a -> UniqFM elt -> a
- 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
- eltsUFM :: UniqFM elt -> [elt]
- keysUFM :: UniqFM elt -> [Unique]
- splitUFM :: Uniquable key => UniqFM elt -> key -> (UniqFM elt, Maybe elt, UniqFM elt)
- ufmToSet_Directly :: UniqFM elt -> IntSet
- ufmToList :: UniqFM elt -> [(Unique, elt)]
- joinUFM :: JoinFun v -> JoinFun (UniqFM v)
- pprUniqFM :: (a -> SDoc) -> UniqFM a -> SDoc

# Unique-keyed mappings

data UniqFM ele Source

Instances

Functor UniqFM |
Foldable UniqFM |
Traversable UniqFM |
TrieMap UniqFM |
Eq ele => Eq (UniqFM ele) |
Data ele => Data (UniqFM ele) |
Monoid (UniqFM a) |
Outputable a => Outputable (UniqFM a) |
type Key UniqFM = Unique |

## Manipulating those mappings

emptyUFM :: UniqFM elt Source

unitUFM :: Uniquable key => key -> elt -> UniqFM elt Source

unitDirectlyUFM :: Unique -> elt -> UniqFM elt Source

listToUFM :: Uniquable key => [(key, elt)] -> UniqFM elt Source

listToUFM_Directly :: [(Unique, elt)] -> UniqFM elt Source

listToUFM_C :: Uniquable key => (elt -> elt -> elt) -> [(key, elt)] -> UniqFM elt Source

addToUFM :: Uniquable key => UniqFM elt -> key -> elt -> UniqFM elt Source

addToUFM_C :: Uniquable key => (elt -> elt -> elt) -> UniqFM elt -> key -> elt -> UniqFM elt Source

addToUFM_Acc :: Uniquable key => (elt -> elts -> elts) -> (elt -> elts) -> UniqFM elts -> key -> elt -> UniqFM elts Source

addListToUFM :: Uniquable key => UniqFM elt -> [(key, elt)] -> UniqFM elt Source

addListToUFM_C :: Uniquable key => (elt -> elt -> elt) -> UniqFM elt -> [(key, elt)] -> UniqFM elt Source

addToUFM_Directly :: UniqFM elt -> Unique -> elt -> UniqFM elt Source

addListToUFM_Directly :: UniqFM elt -> [(Unique, elt)] -> UniqFM elt Source

adjustUFM :: Uniquable key => (elt -> elt) -> UniqFM elt -> key -> UniqFM elt Source

alterUFM :: Uniquable key => (Maybe elt -> Maybe elt) -> UniqFM elt -> key -> UniqFM elt Source

adjustUFM_Directly :: (elt -> elt) -> UniqFM elt -> Unique -> UniqFM elt Source

delFromUFM :: Uniquable key => UniqFM elt -> key -> UniqFM elt Source

delFromUFM_Directly :: UniqFM elt -> Unique -> UniqFM elt Source

delListFromUFM :: Uniquable key => UniqFM elt -> [key] -> UniqFM elt Source

plusUFM :: UniqFM elt -> UniqFM elt -> UniqFM elt Source

plusUFM_C :: (elt -> elt -> elt) -> UniqFM elt -> UniqFM elt -> UniqFM elt Source

plusUFM_CD :: (elt -> elt -> elt) -> UniqFM elt -> elt -> UniqFM elt -> elt -> UniqFM elt Source

`plusUFM_CD f m1 d1 m2 d2` merges the maps using `f` as the combinding function and `d1` resp. `d2` as the default value if there is no entry in `m1` reps. `m2`. The domain is the union of the domains of `m1` and `m2`.

Representative example:

    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 }

minusUFM :: UniqFM elt1 -> UniqFM elt2 -> UniqFM elt1 Source

intersectUFM :: UniqFM elt -> UniqFM elt -> UniqFM elt Source

intersectUFM_C :: (elt1 -> elt2 -> elt3) -> UniqFM elt1 -> UniqFM elt2 -> UniqFM elt3 Source

foldUFM :: (elt -> a -> a) -> a -> UniqFM elt -> a Source

foldUFM_Directly :: (Unique -> elt -> a -> a) -> a -> UniqFM elt -> a Source

mapUFM :: (elt1 -> elt2) -> UniqFM elt1 -> UniqFM elt2 Source

mapUFM_Directly :: (Unique -> elt1 -> elt2) -> UniqFM elt1 -> UniqFM elt2 Source

elemUFM :: Uniquable key => key -> UniqFM elt -> Bool Source

elemUFM_Directly :: Unique -> UniqFM elt -> Bool Source

filterUFM :: (elt -> Bool) -> UniqFM elt -> UniqFM elt Source

filterUFM_Directly :: (Unique -> elt -> Bool) -> UniqFM elt -> UniqFM elt Source

partitionUFM :: (elt -> Bool) -> UniqFM elt -> (UniqFM elt, UniqFM elt) Source

sizeUFM :: UniqFM elt -> Int Source

isNullUFM :: UniqFM elt -> Bool Source

lookupUFM :: Uniquable key => UniqFM elt -> key -> Maybe elt Source

lookupUFM_Directly :: UniqFM elt -> Unique -> Maybe elt Source

lookupWithDefaultUFM :: Uniquable key => UniqFM elt -> elt -> key -> elt Source

lookupWithDefaultUFM_Directly :: UniqFM elt -> elt -> Unique -> elt Source

eltsUFM :: UniqFM elt -> [elt] Source

keysUFM :: UniqFM elt -> [Unique] Source

splitUFM :: Uniquable key => UniqFM elt -> key -> (UniqFM elt, Maybe elt, UniqFM elt) Source

ufmToSet_Directly :: UniqFM elt -> IntSet Source

ufmToList :: UniqFM elt -> [(Unique, elt)] Source

joinUFM :: JoinFun v -> JoinFun (UniqFM v) Source

pprUniqFM :: (a -> SDoc) -> UniqFM a -> SDoc Source