jukebox-0.1: A first-order reasoning toolbox

Safe HaskellSafe-Inferred
LanguageHaskell98

Jukebox.Map

Documentation

type Map a b = HashMap a b Source

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

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

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

empty :: HashMap k v Source

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

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

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

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

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

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

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

null :: HashMap k v -> Bool Source

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

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

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