FiniteMap

Documentation

data FiniteMap key elt

Instances

(Eq key, Eq elt) => Eq (FiniteMap key elt)

emptyFM :: FiniteMap key elt

unitFM :: key -> elt -> FiniteMap key elt

listToFM :: Ord key => [(key, elt)] -> FiniteMap key elt

addToFM :: Ord key => FiniteMap key elt -> key -> elt -> FiniteMap key elt

addToFM_C :: Ord key => (elt -> elt -> elt) -> FiniteMap key elt -> key -> elt -> FiniteMap key elt

addListToFM :: Ord key => FiniteMap key elt -> [(key, elt)] -> FiniteMap key elt

addListToFM_C :: Ord key => (elt -> elt -> elt) -> FiniteMap key elt -> [(key, elt)] -> FiniteMap key elt

delFromFM :: Ord key => FiniteMap key elt -> key -> FiniteMap key elt

delListFromFM :: Ord key => FiniteMap key elt -> [key] -> FiniteMap key elt

plusFM :: Ord key => FiniteMap key elt -> FiniteMap key elt -> FiniteMap key elt

plusFM_C :: Ord key => (elt -> elt -> elt) -> FiniteMap key elt -> FiniteMap key elt -> FiniteMap key elt

minusFM :: Ord key => FiniteMap key elt -> FiniteMap key elt -> FiniteMap key elt

foldFM :: (key -> elt -> a -> a) -> a -> FiniteMap key elt -> a

intersectFM :: Ord key => FiniteMap key elt -> FiniteMap key elt -> FiniteMap key elt

intersectFM_C :: Ord key => (elt -> elt -> elt) -> FiniteMap key elt -> FiniteMap key elt -> FiniteMap key elt

mapFM :: (key -> elt1 -> elt2) -> FiniteMap key elt1 -> FiniteMap key elt2

filterFM :: Ord key => (key -> elt -> Bool) -> FiniteMap key elt -> FiniteMap key elt

mapMaybeFM :: Ord key => (key -> elt1 -> Maybe elt2) -> FiniteMap key elt1 -> FiniteMap key elt2

sizeFM :: FiniteMap key elt -> Int

isEmptyFM :: FiniteMap key elt -> Bool

elemFM :: Ord key => key -> FiniteMap key elt -> Bool

lookupFM :: Ord key => FiniteMap key elt -> key -> Maybe elt

lookupWithDefaultFM :: Ord key => FiniteMap key elt -> elt -> key -> elt

fmToList :: FiniteMap key elt -> [(key, elt)]

keysFM :: FiniteMap key elt -> [key]

eltsFM :: FiniteMap key elt -> [elt]