FiniteMap-0.1: A finite map implementation, derived from the paper: Efficient sets: a balancing act, S. Adams, Journal of functional programming 3(4) Oct 1993, pp553-562 Source code Contents Index

Data.FiniteMap

Documentation

data FiniteMap key elt Source

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

emptyFM :: FiniteMap key elt Source

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

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

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

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

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

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

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

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

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

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

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

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

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

intersectFM_C :: Ord key => (elt1 -> elt2 -> elt3) -> FiniteMap key elt1 -> FiniteMap key elt2 -> FiniteMap key elt3 Source

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

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

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

sizeFM :: FiniteMap key elt -> Int Source

isEmptyFM :: FiniteMap key elt -> Bool Source

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

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

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

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

keysFM :: FiniteMap key elt -> [key] Source

eltsFM :: FiniteMap key elt -> [elt] Source

Produced by Haddock version 2.1.0