Safe Haskell	None
Language	Haskell2010

Indexation.Potoki.Transform

Synopsis

data Transform input output
newtype Index entity = Index Int
data Indexer entity
data EntityTable entity
data ReindexTable entity
index :: (Eq entity, Hashable entity) => Indexer entity -> Transform entity (Index entity)
reindex :: ReindexTable entity -> Transform (Index entity) (Index entity)
lookup :: EntityTable entity -> Transform (Index entity) (Maybe entity)

Documentation

data Transform input output #

newtype Index entity Source #

Constructors

Index Int

Instances

Vector Vector (Maybe (Index a)) #
Instance details 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) #
Instance details 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)) #
Instance details 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) #
Instance details 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) #
Instance details Defined in Indexation.Instances Methods (==) :: Index a -> Index a -> Bool # (/=) :: Index a -> Index a -> Bool #
Ord (Index a) #
Instance details 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) #
Instance details Defined in Indexation.Instances Methods showsPrec :: Int -> Index a -> ShowS # show :: Index a -> String # showList :: [Index a] -> ShowS #
Generic (Index a) #
Instance details 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)) #
Instance details Defined in Indexation.Instances
Unbox (Index a) #
Instance details Defined in Indexation.Instances
Serialize (Index a) #
Instance details Defined in Indexation.Instances.Cereal Methods put :: Putter (Index a) # get :: Get (Index a) #
NFData (Index a) #
Instance details Defined in Indexation.Instances Methods rnf :: Index a -> () #
Hashable (Index a) #
Instance details Defined in Indexation.Instances Methods hashWithSalt :: Int -> Index a -> Int # hash :: Index a -> Int #
data MVector s (Index a) #
Instance details Defined in Indexation.Instances data MVector s (Index a) = MV_Index (MVector s Int)
data MVector s (Maybe (Index a)) #
Instance details Defined in Indexation.Instances data MVector s (Maybe (Index a)) = MV_MaybeIndex (MVector s (Bit, Index a))
type Rep (Index a) #
Instance details 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)) #
Instance details Defined in Indexation.Instances data Vector (Maybe (Index a)) = V_MaybeIndex (Vector (Bit, Index a))
data Vector (Index a) #
Instance details Defined in Indexation.Instances data Vector (Index a) = V_Index (Vector Int)

data Indexer entity Source #

data EntityTable entity Source #

Instances

Serialize entity => Serialize (EntityTable entity) #
Instance details Defined in Indexation.Instances.Cereal Methods put :: Putter (EntityTable entity) # get :: Get (EntityTable entity) #

data ReindexTable entity Source #

Map from old to new indices.

index :: (Eq entity, Hashable entity) => Indexer entity -> Transform entity (Index entity) Source #

reindex :: ReindexTable entity -> Transform (Index entity) (Index entity) Source #

lookup :: EntityTable entity -> Transform (Index entity) (Maybe entity) Source #