Data.Store.Internal.Function

Documentation

moduleName :: String

genericSubset :: Empty (Index irs ts) => IntSet -> Store tag krs irs ts v -> Store tag krs irs ts v

genericLookup :: IntSet -> Store tag krs irs ts v -> [(RawKey krs ts, v)]

genericUpdateWithKey :: (Applicative f, Monad f) => (IKey krs ts -> Int -> Store tag krs irs ts e -> f (Store tag krs irs ts e)) -> (RawKey krs ts -> e -> Maybe (e, Maybe (Key krs ts))) -> IntSet -> Store tag krs irs ts e -> f (Store tag krs irs ts e)

mergeKeys :: Key krs ts -> IKey krs ts -> IKey krs ts

keyInternalToRaw :: IKey krs ts -> RawKey krs ts

keyFromInternal :: IKey krs ts -> Key krs ts

keyToInternal :: Index irs ts -> Key krs ts -> IKey krs ts

nextKey :: Auto t => IndexDimension r t -> t

genericInsert :: Applicative f => (IKey krs ts -> Int -> Store tag krs irs ts e -> f (Store tag krs irs ts e)) -> IKey krs ts -> e -> Store tag krs irs ts e -> f (Store tag krs irs ts e)

indexInsertID :: IKey krs ts -> Int -> Store tag krs irs ts e -> Maybe (Store tag krs irs ts e)

Inserts the given element identifier into the store's index under the given internal key.

In case of collisions: returns Nothing.

indexInsertID' :: IKey krs ts -> Int -> Store tag krs irs ts e -> Identity (Store tag krs irs ts e)

Inserts the given element identifier into the store's index under the given internal key.

In case of collisions: deletes them.

indexInsertID'' :: IKey krs ts -> Int -> Store tag krs irs ts e -> Identity (Store tag krs irs ts e)

UNSAFE. Inserts the given element identifier into the store's index under the given internal key.

In case of collisions: ignores them.

findCollisions :: IKey krs ts -> Index irs ts -> [Int]

indexDeleteID :: IKey krs ts -> Int -> Index irs ts -> Index irs ts

Deletes EID fron an index.