jukebox-0.1.6: A first-order reasoning toolbox
Jukebox.Map
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