Development.IDE.Graph.Internal.Ids

Documentation

data Ids a

type Id = Int

empty :: IO (Ids a)

insert :: Ids a -> Id -> a -> IO ()

lookup :: Ids a -> Id -> IO (Maybe a)

fromList :: [a] -> IO (Ids a)

null :: Ids a -> IO Bool

size :: Ids a -> IO Int

sizeUpperBound :: Ids a -> IO Int

forWithKeyM_ :: Ids a -> (Id -> a -> IO ()) -> IO ()

forCopy :: Ids a -> (a -> b) -> IO (Ids b)

forMutate :: Ids a -> (Id -> a -> a) -> IO ()

toList :: Ids a -> IO [(Id, a)]

elems :: Ids a -> IO [a]

toMap :: Ids a -> IO (HashMap Id a)