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

Index

addListToFMData.FiniteMap
addListToFM_CData.FiniteMap
addToFMData.FiniteMap
addToFM_CData.FiniteMap
delFromFMData.FiniteMap
delListFromFMData.FiniteMap
elemFMData.FiniteMap
eltsFMData.FiniteMap
emptyFMData.FiniteMap
filterFMData.FiniteMap
FiniteMapData.FiniteMap
fmToListData.FiniteMap
foldFMData.FiniteMap
intersectFMData.FiniteMap
intersectFM_CData.FiniteMap
isEmptyFMData.FiniteMap
keysFMData.FiniteMap
listToFMData.FiniteMap
lookupFMData.FiniteMap
lookupWithDefaultFMData.FiniteMap
mapFMData.FiniteMap
mapMaybeFMData.FiniteMap
minusFMData.FiniteMap
plusFMData.FiniteMap
plusFM_CData.FiniteMap
sizeFMData.FiniteMap
unitFMData.FiniteMap