Indexation.Data

Documentation

indexTableEntityTable :: IndexTable entity -> EntityTable entity

lookupEntity :: Index entity -> EntityTable entity -> Maybe entity

lookupIndex :: (Eq entity, Hashable entity) => entity -> IndexTable entity -> Maybe (Index entity)

createIndexSet :: (Eq entity, Hashable entity, Foldable foldable) => IndexTable entity -> foldable entity -> IndexSet entity

lookupInIndexSet :: Index entity -> IndexSet entity -> Bool

lookupNewIndex :: Index entity -> ReindexTable entity -> Maybe (Index entity)

intersectIndexSets :: [IndexSet entity] -> IndexSet entity

uniteIndexSets :: [IndexSet entity] -> IndexSet entity

invertIndexSet :: IndexSet entity -> IndexSet entity

topCountedIndexSet :: Int -> IndexCounts a -> IndexSet a

indexSetByMinCount :: Word32 -> IndexCounts a -> IndexSet a

countIndexSet :: IndexSet a -> Int

newIndexToOldIndexTable :: IndexSet a -> EntityTable (Index a)

oldIndexToNewIndexTable :: IndexSet a -> ReindexTable a

filterEntityTable :: IndexSet a -> EntityTable a -> EntityTable a

data Indexer entity

Constructors

Indexer !(TVar Int) !(Map entity Int)

data IndexTable entity

Constructors

IndexTable !Int !(HashMap entity Int)

Instances

(Serialize entity, Eq entity, Hashable entity) => Serialize (IndexTable entity)

Defined in Indexation.Instances.Cereal

Methods

put :: Putter (IndexTable entity)

get :: Get (IndexTable entity)

newtype ReindexTable entity

Map from old to new indices.

Constructors

ReindexTable (Vector (Maybe Int))

newtype EntityTable entity

Constructors

EntityTable (Vector entity)

Instances

Serialize entity => Serialize (EntityTable entity)

Defined in Indexation.Instances.Cereal

Methods

put :: Putter (EntityTable entity)

get :: Get (EntityTable entity)

newtype Index entity

Constructors

Index Int

Instances

Vector Vector (Maybe (Index a))

Defined in Indexation.Instances

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) (Maybe (Index a)) -> m (Vector (Maybe (Index a)))

basicUnsafeThaw :: PrimMonad m => Vector (Maybe (Index a)) -> m (Mutable Vector (PrimState m) (Maybe (Index a)))

basicLength :: Vector (Maybe (Index a)) -> Int

basicUnsafeSlice :: Int -> Int -> Vector (Maybe (Index a)) -> Vector (Maybe (Index a))

basicUnsafeIndexM :: Monad m => Vector (Maybe (Index a)) -> Int -> m (Maybe (Index a))

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) (Maybe (Index a)) -> Vector (Maybe (Index a)) -> m ()

elemseq :: Vector (Maybe (Index a)) -> Maybe (Index a) -> b -> b

Vector Vector (Index a)

Defined in Indexation.Instances

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) (Index a) -> m (Vector (Index a))

basicUnsafeThaw :: PrimMonad m => Vector (Index a) -> m (Mutable Vector (PrimState m) (Index a))

basicLength :: Vector (Index a) -> Int

basicUnsafeSlice :: Int -> Int -> Vector (Index a) -> Vector (Index a)

basicUnsafeIndexM :: Monad m => Vector (Index a) -> Int -> m (Index a)

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) (Index a) -> Vector (Index a) -> m ()

elemseq :: Vector (Index a) -> Index a -> b -> b

MVector MVector (Maybe (Index a))

Defined in Indexation.Instances

Methods

basicLength :: MVector s (Maybe (Index a)) -> Int

basicUnsafeSlice :: Int -> Int -> MVector s (Maybe (Index a)) -> MVector s (Maybe (Index a))

basicOverlaps :: MVector s (Maybe (Index a)) -> MVector s (Maybe (Index a)) -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) (Maybe (Index a)))

basicInitialize :: PrimMonad m => MVector (PrimState m) (Maybe (Index a)) -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> Maybe (Index a) -> m (MVector (PrimState m) (Maybe (Index a)))

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) (Maybe (Index a)) -> Int -> m (Maybe (Index a))

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) (Maybe (Index a)) -> Int -> Maybe (Index a) -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) (Maybe (Index a)) -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) (Maybe (Index a)) -> Maybe (Index a) -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) (Maybe (Index a)) -> MVector (PrimState m) (Maybe (Index a)) -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) (Maybe (Index a)) -> MVector (PrimState m) (Maybe (Index a)) -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) (Maybe (Index a)) -> Int -> m (MVector (PrimState m) (Maybe (Index a)))

MVector MVector (Index a)

Defined in Indexation.Instances

Methods

basicLength :: MVector s (Index a) -> Int

basicUnsafeSlice :: Int -> Int -> MVector s (Index a) -> MVector s (Index a)

basicOverlaps :: MVector s (Index a) -> MVector s (Index a) -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) (Index a))

basicInitialize :: PrimMonad m => MVector (PrimState m) (Index a) -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> Index a -> m (MVector (PrimState m) (Index a))

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) (Index a) -> Int -> m (Index a)

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) (Index a) -> Int -> Index a -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) (Index a) -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) (Index a) -> Index a -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) (Index a) -> MVector (PrimState m) (Index a) -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) (Index a) -> MVector (PrimState m) (Index a) -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) (Index a) -> Int -> m (MVector (PrimState m) (Index a))

Eq (Index a)

Defined in Indexation.Instances

Methods

(==) :: Index a -> Index a -> Bool

(/=) :: Index a -> Index a -> Bool

Ord (Index a)

Defined in Indexation.Instances

Methods

compare :: Index a -> Index a -> Ordering

(<) :: Index a -> Index a -> Bool

(<=) :: Index a -> Index a -> Bool

(>) :: Index a -> Index a -> Bool

(>=) :: Index a -> Index a -> Bool

max :: Index a -> Index a -> Index a

min :: Index a -> Index a -> Index a

Show (Index a)

Defined in Indexation.Instances

Methods

showsPrec :: Int -> Index a -> ShowS

show :: Index a -> String

showList :: [Index a] -> ShowS

Generic (Index a)

Defined in Indexation.Instances

Associated Types

type Rep (Index a) :: * -> *

Methods

from :: Index a -> Rep (Index a) x

to :: Rep (Index a) x -> Index a

Unbox (Maybe (Index a))

Defined in Indexation.Instances

Unbox (Index a)

Defined in Indexation.Instances

Serialize (Index a)

Defined in Indexation.Instances.Cereal

Methods

put :: Putter (Index a)

get :: Get (Index a)

NFData (Index a)

Defined in Indexation.Instances

Methods

rnf :: Index a -> ()

Hashable (Index a)

Defined in Indexation.Instances

Methods

hashWithSalt :: Int -> Index a -> Int

hash :: Index a -> Int

data MVector s (Index a)

Defined in Indexation.Instances

data MVector s (Index a) = MV_Index (MVector s Int)

data MVector s (Maybe (Index a))

Defined in Indexation.Instances

data MVector s (Maybe (Index a)) = MV_MaybeIndex (MVector s (Bit, Index a))

type Rep (Index a)

Defined in Indexation.Instances

type Rep (Index a) = D1 (MetaData "Index" "Indexation.Types" "indexation-0.8-1dMieAKnF9T9Y4wUpUAmK5" True) (C1 (MetaCons "Index" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data Vector (Maybe (Index a))

Defined in Indexation.Instances

data Vector (Maybe (Index a)) = V_MaybeIndex (Vector (Bit, Index a))

data Vector (Index a)

Defined in Indexation.Instances

data Vector (Index a) = V_Index (Vector Int)

newtype IndexSet entity

Set of indices. A more efficient alternative to HashSet (Index entity).

Constructors

IndexSet DenseIntSet

Instances

Show (IndexSet a)

Defined in Indexation.Instances

Methods

showsPrec :: Int -> IndexSet a -> ShowS

show :: IndexSet a -> String

showList :: [IndexSet a] -> ShowS

Serialize (IndexSet a)

Defined in Indexation.Instances.Cereal

Methods

put :: Putter (IndexSet a)

get :: Get (IndexSet a)

newtype IndexCounts entity

Constructors

IndexCounts (Vector Word32)

Instances

Serialize (IndexCounts a)

Defined in Indexation.Instances.Cereal

Methods

put :: Putter (IndexCounts a)

get :: Get (IndexCounts a)