hets -- a heterogenous Specification (CASL) tool setContentsIndex
Haskell.Hatchet.FiniteMaps
Synopsis
data FiniteMap key elem
= Leaf
| Node key elem Int (FiniteMap key elem) (FiniteMap key elem)
zeroFM :: Ord k => FiniteMap k e
unitFM :: Ord k => k -> e -> FiniteMap k e
listToFM :: Ord k => [(k, e)] -> FiniteMap k e
listToCombFM :: Ord k => (e -> e -> e) -> [(k, e)] -> FiniteMap k e
joinFM :: Ord k => FiniteMap k e -> FiniteMap k e -> FiniteMap k e
joinCombFM :: Ord k => (e -> e -> e) -> FiniteMap k e -> FiniteMap k e -> FiniteMap k e
sizeFM :: Ord k => FiniteMap k e -> Int
addToFM :: Ord k => k -> e -> FiniteMap k e -> FiniteMap k e
addToCombFM :: Ord k => (e -> e -> e) -> k -> e -> FiniteMap k e -> FiniteMap k e
delFromFM :: Ord k => k -> FiniteMap k e -> FiniteMap k e
diffFM :: Ord k => FiniteMap k e -> FiniteMap k e' -> FiniteMap k e
intersectFM :: Ord k => FiniteMap k e -> FiniteMap k e -> FiniteMap k e
intersectCombFM :: Ord k => (e -> e -> e) -> FiniteMap k e -> FiniteMap k e -> FiniteMap k e
mapFM :: Ord k => (k -> e -> e') -> FiniteMap k e -> FiniteMap k e'
foldFM :: Ord k => (k -> e -> a -> a) -> a -> FiniteMap k e -> a
filterFM :: Ord k => (k -> e -> Bool) -> FiniteMap k e -> FiniteMap k e
lookupFM :: Ord k => FiniteMap k e -> k -> Maybe e
lookupDftFM :: Ord k => FiniteMap k e -> e -> k -> e
toListFM :: Ord k => FiniteMap k e -> [(k, e)]
Produced by Haddock version 0.6