Safe Haskell	Safe-Inferred
Language	Haskell2010

Aztecs.ECS.System.Reader

Synopsis

type ReaderSystem = ReaderSystemT Identity
newtype ReaderSystemT m i o = ReaderSystem {
- runReaderSystem :: Components -> (DynamicReaderSystemT m i o, Set ComponentID, Components)
}
class Arrow arr => ArrowReaderSystem q arr | arr -> q where
- all :: q i a -> arr i [a]
- filter :: q () a -> QueryFilter -> arr () [a]
- single :: q i a -> arr i a
class (MonadAccess b m, Arrow arr) => ArrowQueueSystem b m arr | arr -> m where
- queue :: (i -> m ()) -> arr i ()

Documentation

type ReaderSystem = ReaderSystemT Identity Source #

newtype ReaderSystemT m i o Source #

System to process entities.

Constructors

ReaderSystem
Fields runReaderSystem :: Components -> (DynamicReaderSystemT m i o, Set ComponentID, Components) Run a system, producing a `DynamicSystem` that can be repeatedly run.

Instances

Instances details

Monad m => ArrowReaderSystem QueryReader (ReaderSystemT m) Source #
Instance details Defined in Aztecs.ECS.System.Reader Methods all :: QueryReader i a -> ReaderSystemT m i [a] Source # filter :: QueryReader () a -> QueryFilter -> ReaderSystemT m () [a] Source # single :: QueryReader i a -> ReaderSystemT m i a Source #
Monad m => Category (ReaderSystemT m :: Type -> Type -> Type) Source #
Instance details Defined in Aztecs.ECS.System.Reader Methods id :: forall (a :: k). ReaderSystemT m a a # (.) :: forall (b :: k) (c :: k) (a :: k). ReaderSystemT m b c -> ReaderSystemT m a b -> ReaderSystemT m a c #
Monad m => ArrowQueueSystem Bundle (AccessT m) (ReaderSystemT m) Source #
Instance details Defined in Aztecs.ECS.System.Reader Methods queue :: (i -> AccessT m ()) -> ReaderSystemT m i () Source #
Monad m => Arrow (ReaderSystemT m) Source #
Instance details Defined in Aztecs.ECS.System.Reader Methods arr :: (b -> c) -> ReaderSystemT m b c # first :: ReaderSystemT m b c -> ReaderSystemT m (b, d) (c, d) # second :: ReaderSystemT m b c -> ReaderSystemT m (d, b) (d, c) # (***) :: ReaderSystemT m b c -> ReaderSystemT m b' c' -> ReaderSystemT m (b, b') (c, c') # (&&&) :: ReaderSystemT m b c -> ReaderSystemT m b c' -> ReaderSystemT m b (c, c') #
Monad m => ArrowChoice (ReaderSystemT m) Source #
Instance details Defined in Aztecs.ECS.System.Reader Methods left :: ReaderSystemT m b c -> ReaderSystemT m (Either b d) (Either c d) # right :: ReaderSystemT m b c -> ReaderSystemT m (Either d b) (Either d c) # (+++) :: ReaderSystemT m b c -> ReaderSystemT m b' c' -> ReaderSystemT m (Either b b') (Either c c') # (\|\|\|) :: ReaderSystemT m b d -> ReaderSystemT m c d -> ReaderSystemT m (Either b c) d #
Monad m => ArrowLoop (ReaderSystemT m) Source #
Instance details Defined in Aztecs.ECS.System.Reader Methods loop :: ReaderSystemT m (b, d) (c, d) -> ReaderSystemT m b c #
Monad m => ArrowReaderSchedule (ReaderSystemT m) (Schedule m) Source #
Instance details Defined in Aztecs.ECS.Schedule Methods reader :: ReaderSystemT m i o -> Schedule m i o Source #
Functor (ReaderSystemT m i) Source #
Instance details Defined in Aztecs.ECS.System.Reader Methods fmap :: (a -> b) -> ReaderSystemT m i a -> ReaderSystemT m i b # (<$) :: a -> ReaderSystemT m i b -> ReaderSystemT m i a #

class Arrow arr => ArrowReaderSystem q arr | arr -> q where Source #

Minimal complete definition

all, filter

Methods

all :: q i a -> arr i [a] Source #

Query all matching entities.

filter :: q () a -> QueryFilter -> arr () [a] Source #

Query all matching entities with a QueryFilter.

single :: q i a -> arr i a Source #

Query a single matching entity. If there are zero or multiple matching entities, an error will be thrown.

Instances

Instances details

Monad m => ArrowReaderSystem QueryReader (SystemT m) Source #
Instance details Defined in Aztecs.ECS.System Methods all :: QueryReader i a -> SystemT m i [a] Source # filter :: QueryReader () a -> QueryFilter -> SystemT m () [a] Source # single :: QueryReader i a -> SystemT m i a Source #
Monad m => ArrowReaderSystem QueryReader (ReaderSystemT m) Source #
Instance details Defined in Aztecs.ECS.System.Reader Methods all :: QueryReader i a -> ReaderSystemT m i [a] Source # filter :: QueryReader () a -> QueryFilter -> ReaderSystemT m () [a] Source # single :: QueryReader i a -> ReaderSystemT m i a Source #

class (MonadAccess b m, Arrow arr) => ArrowQueueSystem b m arr | arr -> m where Source #

Methods

queue :: (i -> m ()) -> arr i () Source #

Queue an Access to happen after this system schedule.

Instances

Instances details

ArrowQueueSystem Bundle Access QueueSystem Source #
Instance details Defined in Aztecs.ECS.System.Queue Methods queue :: (i -> Access ()) -> QueueSystem i () Source #
Monad m => ArrowQueueSystem Bundle (AccessT m) (SystemT m) Source #
Instance details Defined in Aztecs.ECS.System Methods queue :: (i -> AccessT m ()) -> SystemT m i () Source #
Monad m => ArrowQueueSystem Bundle (AccessT m) (DynamicSystemT m) Source #
Instance details Defined in Aztecs.ECS.System.Dynamic Methods queue :: (i -> AccessT m ()) -> DynamicSystemT m i () Source #
Monad m => ArrowQueueSystem Bundle (AccessT m) (DynamicReaderSystemT m) Source #
Instance details Defined in Aztecs.ECS.System.Dynamic.Reader Methods queue :: (i -> AccessT m ()) -> DynamicReaderSystemT m i () Source #
Monad m => ArrowQueueSystem Bundle (AccessT m) (ReaderSystemT m) Source #
Instance details Defined in Aztecs.ECS.System.Reader Methods queue :: (i -> AccessT m ()) -> ReaderSystemT m i () Source #