jukebox-0.1.2: A first-order reasoning toolbox

Safe HaskellNone

Jukebox.NameMap

Documentation

type NameMap a = Map Int64 aSource

lookup :: Name -> NameMap a -> Maybe aSource

lookup_ :: Named a => a -> NameMap b -> bSource

insert :: Named a => a -> NameMap a -> NameMap aSource

member :: Named a => a -> NameMap a -> BoolSource

delete :: Named a => a -> NameMap a -> NameMap aSource

(!) :: NameMap a -> Name -> aSource

fromList :: (List f, Named a) => f a -> NameMap aSource

toList :: NameMap a -> [a]Source

singleton :: Named a => a -> NameMap aSource