Documentation

data IdMap a Source

data Id Source

emptyMap :: IdMap a Source

singleMap :: Id -> a -> IdMap a Source

elemMap :: Id -> IdMap a -> Bool Source

mapMap :: (a -> b) -> IdMap a -> IdMap b Source

insertMap :: Id -> a -> IdMap a -> IdMap a Source

extendMap :: Id -> a -> IdMap a -> IdMap a Source

insertMapWith :: Id -> a -> (a -> a) -> IdMap a -> IdMap a Source

lookupMap :: Id -> IdMap a -> Maybe a Source

findMap :: Id -> IdMap a -> a Source

filterMap :: (a -> Bool) -> IdMap a -> IdMap a Source

listFromMap :: IdMap a -> [(Id, a)] Source

mapMapWithId :: (Id -> a -> b) -> IdMap a -> IdMap b Source

unionMap :: IdMap a -> IdMap a -> IdMap a Source

unionMapWith :: (a -> a -> a) -> IdMap a -> IdMap a -> IdMap a Source

updateMap :: Id -> a -> IdMap a -> IdMap a Source

foldMap :: (a -> b -> b) -> b -> IdMap a -> b Source

deleteMap :: Id -> IdMap a -> IdMap a Source

filterMapWithId :: (Id -> a -> Bool) -> IdMap a -> IdMap a Source

mapFromList :: [(Id, a)] -> IdMap a Source

unionMaps :: [IdMap a] -> IdMap a Source

diffMap :: IdMap a -> IdMap a -> IdMap a Source

unionlMap :: IdMap a -> IdMap a -> IdMap a Source

foldMapWithId :: (Id -> a -> b -> b) -> b -> IdMap a -> b Source

isEmptyMap :: IdMap a -> Bool Source

sizeMap :: IdMap a -> Int Source