Aztecs.ECS.Query.Dynamic

Dynamic queries

type DynamicQuery = DynamicQueryT Identity

data DynamicQueryT f a where

Dynamic query for components by ID.

Since: 0.11

Constructors

Entity :: DynamicQueryT f EntityID

Pure :: a -> DynamicQueryT f a

Map :: (a -> b) -> DynamicQueryT f a -> DynamicQueryT f b

Ap :: DynamicQueryT f (a -> b) -> DynamicQueryT f a -> DynamicQueryT f b

Lift :: (MonadTrans g, Monad (g f), Monad f) => DynamicQueryT f a -> DynamicQueryT (g f) a

Op :: ComponentID -> Operation f a -> DynamicQueryT f a

Instances

Applicative (DynamicQueryT f)

Since: 0.11

Defined in Aztecs.ECS.Query.Dynamic

Methods

pure :: a -> DynamicQueryT f a

(<*>) :: DynamicQueryT f (a -> b) -> DynamicQueryT f a -> DynamicQueryT f b

liftA2 :: (a -> b -> c) -> DynamicQueryT f a -> DynamicQueryT f b -> DynamicQueryT f c

(*>) :: DynamicQueryT f a -> DynamicQueryT f b -> DynamicQueryT f b

(<*) :: DynamicQueryT f a -> DynamicQueryT f b -> DynamicQueryT f a

Functor (DynamicQueryT f)

Defined in Aztecs.ECS.Query.Dynamic

Methods

fmap :: (a -> b) -> DynamicQueryT f a -> DynamicQueryT f b

(<$) :: a -> DynamicQueryT f b -> DynamicQueryT f a

Operations

entityDyn :: DynamicQueryT f EntityID

fetchDyn :: Component a => ComponentID -> DynamicQueryT f a

fetchMaybeDyn :: Component a => ComponentID -> DynamicQueryT f (Maybe a)

fetchMapDyn :: Component a => (a -> a) -> ComponentID -> DynamicQueryT f a

fetchMapDynM :: (Monad f, Component a) => (a -> f a) -> ComponentID -> DynamicQueryT f a

zipFetchMapDyn :: Component a => (b -> a -> a) -> ComponentID -> DynamicQueryT f b -> DynamicQueryT f a

zipFetchMapAccumDyn :: Component a => (b -> a -> (c, a)) -> ComponentID -> DynamicQueryT f b -> DynamicQueryT f (c, a)

zipFetchMapDynM :: (Monad f, Component a) => (b -> a -> f a) -> ComponentID -> DynamicQueryT f b -> DynamicQueryT f a

zipFetchMapAccumDynM :: (Monad f, Component a) => (b -> a -> f (c, a)) -> ComponentID -> DynamicQueryT f b -> DynamicQueryT f (c, a)

Filters

withDyn :: ComponentID -> DynamicQueryT f ()

withoutDyn :: ComponentID -> DynamicQueryT f ()

Conversion

liftQueryDyn :: (MonadTrans g, Monad (g f), Monad f) => DynamicQueryT f a -> DynamicQueryT (g f) a

Running

queryDyn :: Applicative f => DynamicQueryT f a -> Entities -> f ([a], Entities)

Match and update all matched entities.

Since: 0.11

readQuerySingleDyn :: (HasCallStack, Applicative f) => DynamicQueryT f a -> Entities -> f a

Match a single entity.

Since: 0.11

readQuerySingleMaybeDyn :: Applicative f => DynamicQueryT f a -> Entities -> f (Maybe a)

Match a single entity, or Nothing.

Since: 0.11

queryEntitiesDyn :: Monad m => [EntityID] -> DynamicQueryT m a -> Entities -> m ([a], Entities)

readQueryDyn :: Applicative f => DynamicQueryT f a -> Entities -> f [a]

Match all entities.

Since: 0.11

querySingleDyn :: (HasCallStack, Applicative m) => DynamicQueryT m a -> Entities -> m (a, Entities)

Match and update a single entity.

Since: 0.11

querySingleMaybeDyn :: Applicative f => DynamicQueryT f a -> Entities -> f (Maybe a, Entities)

Match and update a single entity, or Nothing.

Since: 0.11

readQueryEntitiesDyn :: Applicative f => [EntityID] -> DynamicQueryT f a -> Entities -> f [a]

Internal

data QueryFilter

Query filter.

Since: 0.11

Constructors

QueryFilter

Fields

• filterWith :: !(Set ComponentID)
• filterWithout :: !(Set ComponentID)

Instances

Monoid QueryFilter

Since: 0.9

Defined in Aztecs.ECS.Query.Dynamic

Methods

mempty :: QueryFilter

mappend :: QueryFilter -> QueryFilter -> QueryFilter

mconcat :: [QueryFilter] -> QueryFilter

Semigroup QueryFilter

Since: 0.9

Defined in Aztecs.ECS.Query.Dynamic

Methods

(<>) :: QueryFilter -> QueryFilter -> QueryFilter

sconcat :: NonEmpty QueryFilter -> QueryFilter

stimes :: Integral b => b -> QueryFilter -> QueryFilter

Show QueryFilter

Defined in Aztecs.ECS.Query.Dynamic

Methods

showsPrec :: Int -> QueryFilter -> ShowS

show :: QueryFilter -> String

showList :: [QueryFilter] -> ShowS

data Operation f a where

Constructors

Fetch :: Component a => Operation f a

FetchMaybe :: Component a => Operation f (Maybe a)

FetchMap :: Component a => (a -> a) -> Operation f a

FetchMapM :: (Monad f, Component a) => (a -> f a) -> Operation f a

ZipFetchMap :: Component a => (b -> a -> (c, a)) -> DynamicQueryT f b -> Operation f (c, a)

ZipFetchMapM :: (Monad f, Component a) => (b -> a -> f (c, a)) -> DynamicQueryT f b -> Operation f (c, a)

With :: Operation f ()

Without :: Operation f ()

queryFilter :: DynamicQueryT f a -> QueryFilter

runDynQuery :: Applicative f => DynamicQueryT f a -> Archetype -> f ([a], Archetype)

runDynQueryEntities :: Applicative f => [EntityID] -> DynamicQueryT f a -> Archetype -> f ([a], Archetype)

readDynQuery :: Applicative f => DynamicQueryT f a -> Archetype -> f [a]

readDynQueryEntities :: Applicative f => [EntityID] -> DynamicQueryT f a -> Archetype -> f [a]