jukebox-0.1.4: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.NameMap

Documentation

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