Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module is designed to be imported with qualified
- foldM_ :: (a -> Entity c -> System w a) -> a -> Slice b -> System w ()
- size :: Slice a -> Int
- elem :: Entity c -> Slice c -> Bool
- elem' :: Entity a -> Slice b -> Bool
- null :: Slice a -> Bool
- fromList :: [Int] -> Slice a
- filterM :: (Entity c -> System w Bool) -> Slice c -> System w (Slice c)
- concat :: Slice a -> Slice b -> Slice c
- forM_ :: Monad m => Slice c -> (Entity c -> m b) -> m ()
- forM :: Monad m => Slice c -> (Entity c -> m a) -> m [a]
- forMC :: forall w c a. Has w c => Slice c -> ((Entity c, Safe c) -> System w a) -> System w [a]
- forMC_ :: forall w c a. Has w c => Slice c -> ((Entity c, Safe c) -> System w a) -> System w ()
- mapM_ :: Monad m => (Entity c -> m a) -> Slice c -> m ()
- mapM :: Monad m => (Entity c -> m a) -> Slice c -> m [a]
- mapMC :: forall w c a. Has w c => ((Entity c, Safe c) -> System w a) -> Slice c -> System w [a]
- mapMC_ :: forall w c a. Has w c => ((Entity c, Safe c) -> System w a) -> Slice c -> System w ()
- toList :: Slice a -> [Entity a]
Documentation
foldM_ :: (a -> Entity c -> System w a) -> a -> Slice b -> System w () Source #
Slice version of foldM_
filterM :: (Entity c -> System w Bool) -> Slice c -> System w (Slice c) Source #
Monadically filter a slice
forMC :: forall w c a. Has w c => Slice c -> ((Entity c, Safe c) -> System w a) -> System w [a] Source #
Iterates over a slice, and reads the components of the Slice's type argument.
forMC_ :: forall w c a. Has w c => Slice c -> ((Entity c, Safe c) -> System w a) -> System w () Source #
Iterates over a slice, and reads the components of the Slice's type argument.
mapMC :: forall w c a. Has w c => ((Entity c, Safe c) -> System w a) -> Slice c -> System w [a] Source #
Iterates over a slice, and reads the components of the Slice's type argument.