jukebox-0.1.2: A first-order reasoning toolbox

Safe HaskellSafe-Inferred

Jukebox.Map

Documentation

type Map a b = HashMap a bSource

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

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

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

empty :: HashMap k vSource

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

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

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

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

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

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

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

null :: HashMap k v -> BoolSource

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

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

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