jukebox-0.1.5: A first-order reasoning toolbox

Safe HaskellSafe
LanguageHaskell98

Jukebox.Map

Documentation

type Map a b = HashMap a b Source

fromList :: (Eq k, Hashable k) => [(k, v)] -> HashMap k v Source

toList :: HashMap k v -> [(k, v)] Source

insertWith :: (Eq k, Hashable k) => (v -> v -> v) -> k -> v -> HashMap k v -> HashMap k v Source

empty :: HashMap k v Source

findWithDefault :: (Eq k, Hashable k) => v -> k -> HashMap k v -> v Source

lookup :: (Eq k, Hashable k) => k -> HashMap k v -> Maybe v Source

insert :: (Eq k, Hashable k) => k -> v -> HashMap k v -> HashMap k v Source

delete :: (Eq k, Hashable k) => k -> HashMap k v -> HashMap k v Source

elems :: HashMap k v -> [v] Source

union :: (Eq k, Hashable k) => HashMap k v -> HashMap k v -> HashMap k v Source

intersection :: (Eq k, Hashable k) => HashMap k v -> HashMap k w -> HashMap k v Source

null :: HashMap k v -> Bool Source

(!) :: (Eq k, Hashable k) => HashMap k v -> k -> v Source

member :: (Eq k, Hashable k) => k -> HashMap k v -> Bool Source

(\\) :: (Eq k, Hashable k) => HashMap k v1 -> HashMap k v -> HashMap k v1 Source