jukebox-0.1.6: A first-order reasoning toolbox
Jukebox.NameMap
type NameMap a = Map Int64 a Source
lookup :: Name -> NameMap a -> Maybe a Source
lookup_ :: Named a => a -> NameMap b -> b Source
insert :: Named a => a -> NameMap a -> NameMap a Source
member :: Named a => a -> NameMap a -> Bool Source
delete :: Named a => a -> NameMap a -> NameMap a Source
(!) :: NameMap a -> Name -> a Source
fromList :: (List f, Named a) => f a -> NameMap a Source
toList :: NameMap a -> [a] Source
singleton :: Named a => a -> NameMap a Source