module Apecs.Types where
import Control.Monad.Reader
import Data.Traversable (for)
import qualified Data.Vector.Unboxed as U
import qualified Apecs.THTuples as T
newtype Entity c = Entity Int deriving (Eq, Ord, Show)
newtype Slice c = Slice {unSlice :: U.Vector Int} deriving (Show, Monoid)
newtype System w a = System {unSystem :: ReaderT w IO a} deriving (Functor, Monad, Applicative, MonadIO)
class (Stores (Storage c) ~ c, Store (Storage c)) => Component c where
type Storage c
class Component c => Has w c where
getStore :: System w (Storage c)
newtype Safe c = Safe {getSafe :: SafeRW (Storage c)}
class Store s where
type Stores s
type SafeRW s
explGet :: s -> Int -> IO (SafeRW s)
explSet :: s -> Int -> Stores s -> IO ()
explDestroy :: s -> Int -> IO ()
explExists :: s -> Int -> IO Bool
explMembers :: s -> IO (U.Vector Int)
explGetUnsafe :: s -> Int -> IO (Stores s)
explSetMaybe :: s -> Int -> SafeRW s -> IO ()
initStore :: IO s
explReset :: s -> IO ()
explReset s = do
sl <- explMembers s
U.mapM_ (explDestroy s) sl
explImapM_ :: MonadIO m => s -> (Int -> m a) -> m ()
explImapM_ s ma = liftIO (explMembers s) >>= mapM_ ma . U.toList
explImapM :: MonadIO m => s -> (Int -> m a) -> m [a]
explImapM s ma = liftIO (explMembers s) >>= mapM ma . U.toList
explModify :: s -> Int -> (Stores s -> Stores s) -> IO ()
explModify s ety f = do etyExists <- explExists s ety
when etyExists $ explGetUnsafe s ety >>= explSet s ety . f
explCmap :: s -> (Stores s -> Stores s) -> IO ()
explCmap s f = explMembers s >>= U.mapM_ (\ety -> explModify s ety f)
explCmapM_ :: MonadIO m => s -> (Stores s -> m a) -> m ()
explCmapM_ s sys = do
sl <- liftIO$ explMembers s
U.forM_ sl $ \ety -> do x :: Stores s <- liftIO$ explGetUnsafe s ety
sys x
explCimapM_ :: MonadIO m => s -> ((Int, Stores s) -> m a) -> m ()
explCimapM_ s sys = do
sl <- liftIO$ explMembers s
U.forM_ sl $ \ety -> do x :: Stores s <- liftIO$ explGetUnsafe s ety
sys (ety,x)
explCmapM :: MonadIO m => s -> (Stores s -> m a) -> m [a]
explCmapM s sys = do
sl <- liftIO$ explMembers s
for (U.toList sl) $ \ety -> do
x :: Stores s <- liftIO$ explGetUnsafe s ety
sys x
explCimapM :: MonadIO m => s -> ((Int, Stores s) -> m a) -> m [a]
explCimapM s sys = do
sl <- liftIO$ explMembers s
for (U.toList sl) $ \ety -> do
x :: Stores s <- liftIO$ explGetUnsafe s ety
sys (ety,x)
class (SafeRW s ~ Stores s, Store s) => GlobalStore s where
class Cast a b where
cast :: a -> b
instance Cast (Entity a) (Entity b) where
cast (Entity ety) = Entity ety
instance Cast (Slice a) (Slice b) where
cast (Slice vec) = Slice vec
T.makeInstances [2..6]
instance (GlobalStore a, GlobalStore b) => GlobalStore (a,b) where
instance (GlobalStore a, GlobalStore b, GlobalStore c) => GlobalStore (a,b,c) where