Documentation

data IdMap a Source

data Id Source

emptyMap :: IdMap aSource

singleMap :: Id -> a -> IdMap aSource

elemMap :: Id -> IdMap a -> BoolSource

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

insertMap :: Id -> a -> IdMap a -> IdMap aSource

extendMap :: Id -> a -> IdMap a -> IdMap aSource

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

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

findMap :: Id -> IdMap a -> aSource

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

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

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

unionMap :: IdMap a -> IdMap a -> IdMap aSource

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

updateMap :: Id -> a -> IdMap a -> IdMap aSource

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

deleteMap :: Id -> IdMap a -> IdMap aSource

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

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

unionMaps :: [IdMap a] -> IdMap aSource

diffMap :: IdMap a -> IdMap a -> IdMap aSource

unionlMap :: IdMap a -> IdMap a -> IdMap aSource

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

isEmptyMap :: IdMap a -> BoolSource

sizeMap :: IdMap a -> IntSource