Safe Haskell | None |
---|---|
Language | Haskell2010 |
- sliceFoldM_ :: (a -> Entity c -> System w a) -> a -> Slice b -> System w ()
- sliceSize :: Slice a -> Int
- sliceNull :: Slice a -> Bool
- sliceFromList :: [Int] -> Slice a
- sliceFilterM :: (Entity c -> System w Bool) -> Slice c -> System w (Slice c)
- sliceConcat :: Slice a -> Slice b -> Slice c
- sliceForM_ :: Monad m => Slice c -> (Entity c -> m b) -> m ()
- sliceForM :: Monad m => Slice c -> (Entity c -> m a) -> m [a]
- sliceForMC :: forall w c a. (Store (Storage c), Has w c) => Slice c -> ((Entity c, Safe c) -> System w a) -> System w [a]
- sliceForMC_ :: forall w c a. (Store (Storage c), Has w c) => Slice c -> ((Entity c, Safe c) -> System w a) -> System w ()
- sliceMapM_ :: Monad m => (Entity c -> m a) -> Slice c -> m ()
- sliceMapM :: Monad m => (Entity c -> m a) -> Slice c -> m [a]
- sliceMapMC :: forall w c a. (Store (Storage c), Has w c) => ((Entity c, Safe c) -> System w a) -> Slice c -> System w [a]
- sliceMapMC_ :: forall w c a. (Store (Storage c), Has w c) => ((Entity c, Safe c) -> System w a) -> Slice c -> System w ()
Documentation
sliceFoldM_ :: (a -> Entity c -> System w a) -> a -> Slice b -> System w () Source #
Slice version of foldM_
sliceFromList :: [Int] -> Slice a Source #
Construct a slice from a list of IDs
sliceFilterM :: (Entity c -> System w Bool) -> Slice c -> System w (Slice c) Source #
Monadically filter a slice
sliceForMC :: forall w c a. (Store (Storage c), 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.
sliceForMC_ :: forall w c a. (Store (Storage c), 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.