GeomAlg-0.2.3: Library of geometric algorithms in HaskellSource codeContentsIndex
GeomAlg.External.FiniteMap
Description

Endliche Abbildungen Dieses ist das Modul texttt{FiniteMap} der GHC-Bibliothek. Wir haben nur die Funktionen umbenannt.

Die von mir hinzugefgten Funktionen texttt{prev}, texttt{prevBy}, texttt{next}, texttt{nextBy}, texttt{addToBy} und texttt{addToBy_C} sind fehlerhaft. Ich hatte keine Zeit sie genauer zu implementieren.

Documentation
data FiniteMap key elt Source
show/hide Instances
(Eq key, Eq elt) => Eq (FiniteMap key elt)
empty :: FiniteMap key eltSource
unit :: (key, elt) -> FiniteMap key eltSource
fromList :: Ord key => [(key, elt)] -> FiniteMap key eltSource
insert :: Ord key => FiniteMap key elt -> (key, elt) -> FiniteMap key eltSource
insertC :: Ord key => (elt -> elt -> elt) -> FiniteMap key elt -> (key, elt) -> FiniteMap key eltSource
insertMany :: Ord key => FiniteMap key elt -> [(key, elt)] -> FiniteMap key eltSource
insertManyC :: Ord key => (elt -> elt -> elt) -> FiniteMap key elt -> [(key, elt)] -> FiniteMap key eltSource
insertBy :: Ord key => ((key, elt) -> (key, elt) -> Ordering) -> FiniteMap key elt -> (key, elt) -> FiniteMap key eltSource
insertByC :: Ord key => ((key, elt) -> (key, elt) -> Ordering) -> (elt -> elt -> elt) -> FiniteMap key elt -> (key, elt) -> FiniteMap key eltSource
delete :: Ord key => FiniteMap key elt -> key -> FiniteMap key eltSource
deleteMany :: Ord key => FiniteMap key elt -> [key] -> FiniteMap key eltSource
deleteBy :: Ord key => ((key, elt) -> (key, elt) -> Ordering) -> FiniteMap key elt -> (key, elt) -> FiniteMap key eltSource
deleteManyBy :: Ord key => ((key, elt) -> (key, elt) -> Ordering) -> FiniteMap key elt -> [(key, elt)] -> FiniteMap key eltSource
plus :: Ord key => FiniteMap key elt -> FiniteMap key elt -> FiniteMap key eltSource
plus_C :: Ord key => (elt -> elt -> elt) -> FiniteMap key elt -> FiniteMap key elt -> FiniteMap key eltSource
minus :: Ord key => FiniteMap key elt -> FiniteMap key elt -> FiniteMap key eltSource
fold :: (key -> elt -> a -> a) -> a -> FiniteMap key elt -> aSource
intersect :: Ord key => FiniteMap key elt -> FiniteMap key elt -> FiniteMap key eltSource
intersect_C :: Ord key => (elt -> elt -> elt) -> FiniteMap key elt -> FiniteMap key elt -> FiniteMap key eltSource
map :: (key -> elt1 -> elt2) -> FiniteMap key elt1 -> FiniteMap key elt2Source
filter :: Ord key => (key -> elt -> Bool) -> FiniteMap key elt -> FiniteMap key eltSource
size :: FiniteMap key elt -> IntSource
isEmpty :: FiniteMap key elt -> BoolSource
elem :: Ord key => key -> FiniteMap key elt -> BoolSource
lookup :: Ord key => FiniteMap key elt -> key -> Maybe eltSource
lookupWithDefault :: Ord key => FiniteMap key elt -> elt -> key -> eltSource
toList :: FiniteMap key elt -> [(key, elt)]Source
keys :: FiniteMap key elt -> [key]Source
elts :: FiniteMap key elt -> [elt]Source
pred :: Ord key => FiniteMap key elt -> key -> Maybe (key, elt)Source
succ :: Ord key => FiniteMap key elt -> key -> Maybe (key, elt)Source
predBy :: Ord key => OrderRel (key, elt) -> FiniteMap key elt -> key -> Maybe (key, elt)Source
succBy :: Ord key => OrderRel (key, elt) -> FiniteMap key elt -> key -> Maybe (key, elt)Source
swap :: Ord key => FiniteMap key elt -> key -> key -> FiniteMap key eltSource
Produced by Haddock version 2.4.2