module Apecs.Slice where
import qualified Data.Vector.Unboxed as U
import Data.Traversable (for)
import Control.Monad.IO.Class
import Apecs.Types
foldM_ :: (a -> Entity c -> System w a) -> a -> Slice b -> System w ()
foldM_ f seed (Slice sl) = U.foldM'_ ((.Entity) . f) seed sl
size :: Slice a -> Int
size (Slice vec) = U.length vec
null :: Slice a -> Bool
null (Slice vec) = U.null vec
fromList :: [Int] -> Slice a
fromList = Slice . U.fromList
filterM :: (Entity c -> System w Bool) -> Slice c -> System w (Slice c)
filterM fm (Slice vec) = Slice <$> U.filterM (fm . Entity) vec
concat :: Slice a -> Slice b -> Slice c
concat (Slice a) (Slice b) = Slice (a U.++ b)
forM_ :: Monad m => Slice c -> (Entity c -> m b) -> m ()
forM_ (Slice vec) ma = U.forM_ vec (ma . Entity)
forM :: Monad m => Slice c -> (Entity c -> m a) -> m [a]
forM (Slice vec) ma = traverse (ma . Entity) (U.toList vec)
forMC :: forall w c a. Has w c => Slice c -> ((Entity c,Safe c) -> System w a) -> System w [a]
forMC (Slice vec) sys = do
s :: Storage c <- getStore
for (U.toList vec) $ \e -> do
r <- liftIO$ explGet s e
sys (Entity e, Safe r)
forMC_ :: forall w c a. Has w c => Slice c -> ((Entity c,Safe c) -> System w a) -> System w ()
forMC_ (Slice vec) sys = do
s :: Storage c <- getStore
U.forM_ vec $ \e -> do
r <- liftIO$ explGet s e
sys (Entity e, Safe r)
mapM_ :: Monad m => (Entity c -> m a) -> Slice c -> m ()
mapM_ ma (Slice vec) = U.mapM_ (ma . Entity) vec
mapM :: Monad m => (Entity c -> m a) -> Slice c -> m [a]
mapM ma (Slice vec) = traverse (ma . Entity) (U.toList vec)
mapMC :: forall w c a. Has w c => ((Entity c,Safe c) -> System w a) -> Slice c -> System w [a]
mapMC sys (Slice vec) = do
s :: Storage c <- getStore
for (U.toList vec) $ \e -> do
r <- liftIO$ explGet s e
sys (Entity e, Safe r)
mapMC_ :: forall w c a. Has w c => ((Entity c, Safe c) -> System w a) -> Slice c -> System w ()
mapMC_ sys vec = forMC_ vec sys