module FiniteMap where

data FiniteMap key elt

emptyFM             :: FiniteMap key elt
unitFM              :: key -> elt -> FiniteMap key elt
lookupFM            :: Ord key => FiniteMap key elt -> key -> Maybe elt
listToFM            :: Ord key => [(key,elt)] -> FiniteMap key elt
fmToList            :: FiniteMap key elt -> [(key,elt)]
keysFM              :: FiniteMap key alt -> [key]
eltsFM              :: FiniteMap key alt -> [alt]
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
lookupWithDefaultFM :: Ord key =>FiniteMap key elt -> elt -> key -> elt
mapFM               ::  (key -> elt1 -> elt2) -> FiniteMap key elt1 -> FiniteMap key elt2
isEmptyFM           :: FiniteMap key elt -> Bool
filterFM            :: Ord key => (key -> elt -> Bool)-> FiniteMap key elt -> 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
elemFM              ::  Ord key => key -> FiniteMap key elt -> Bool
delFromFM           ::  Ord key => FiniteMap key elt -> key -> FiniteMap key elt
addToFM             ::  Ord key => FiniteMap key elt -> key -> elt -> FiniteMap key elt
sizeFM              ::   Ord key => FiniteMap key elt -> Int

emptyFM             = undefined
unitFM              = undefined
lookupFM            = undefined
listToFM            = undefined
fmToList            = undefined
keysFM              = undefined
eltsFM              = undefined
addListToFM         = undefined
addListToFM_C       = undefined
lookupWithDefaultFM = undefined
mapFM               = undefined
isEmptyFM           = undefined
filterFM            = undefined
delListFromFM       = undefined
plusFM              = undefined
elemFM              = undefined
delFromFM           = undefined
addToFM             = undefined
sizeFM              = undefined