Safe Haskell	None
Language	GHC2024

Mischief.ECS.World.Query.QueryFilter

Documentation

qfChangedF :: ComponentTicks -> Tick -> Tick -> Bool Source #

qfAddedF :: ComponentTicks -> Tick -> Tick -> Bool Source #

data FilterType Source #

Constructors

ArchetypeFilter
EntityFilter

data QueryFilter (f :: FilterType) where Source #

Constructors

NoFilter :: forall (f :: FilterType). QueryFilter f
With :: forall a (f :: FilterType). ToFilterComponent a => a -> QueryFilter f
Without :: forall a (f :: FilterType). ToFilterComponent a => a -> QueryFilter f
Changed :: forall a. ToFilterComponent a => a -> QueryFilter 'EntityFilter
Added :: forall a. ToFilterComponent a => a -> QueryFilter 'EntityFilter
Not :: forall (f :: FilterType). QueryFilter f -> QueryFilter f
And :: forall (f :: FilterType). QueryFilter f -> QueryFilter f -> QueryFilter f
Or :: forall (f :: FilterType). QueryFilter f -> QueryFilter f -> QueryFilter f

Instances

Instances details

(Component c, Queryable q out) => RelQuery 'False (MR c (Q' q (QueryFilter 'ArchetypeFilter))) (Maybe [From out]) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: MR c (Q' q (QueryFilter 'ArchetypeFilter)) -> World -> Entity -> IO (Maybe (Maybe [From out])) Source # relRunQueryInternal :: MR c (Q' q (QueryFilter 'ArchetypeFilter)) -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe [From out])] Source # relQueryTypes :: MR c (Q' q (QueryFilter 'ArchetypeFilter)) -> Set (TypeRep, TypeQuery) Source #
(Component c, Queryable q out) => RelQuery 'False (R c (Q' q (QueryFilter 'ArchetypeFilter))) [From out] Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: R c (Q' q (QueryFilter 'ArchetypeFilter)) -> World -> Entity -> IO (Maybe [From out]) Source # relRunQueryInternal :: R c (Q' q (QueryFilter 'ArchetypeFilter)) -> [ArchetypeId] -> World -> IO [(Entity, Bool, [From out])] Source # relQueryTypes :: R c (Q' q (QueryFilter 'ArchetypeFilter)) -> Set (TypeRep, TypeQuery) Source #
(Component c, Queryable q out) => RelQuery 'True (MR c (Q' q (QueryFilter 'ArchetypeFilter))) (Maybe (From out)) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: MR c (Q' q (QueryFilter 'ArchetypeFilter)) -> World -> Entity -> IO (Maybe (Maybe (From out))) Source # relRunQueryInternal :: MR c (Q' q (QueryFilter 'ArchetypeFilter)) -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe (From out))] Source # relQueryTypes :: MR c (Q' q (QueryFilter 'ArchetypeFilter)) -> Set (TypeRep, TypeQuery) Source #
(Component c, Queryable q out) => RelQuery 'True (R c (Q' q (QueryFilter 'ArchetypeFilter))) (From out) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: R c (Q' q (QueryFilter 'ArchetypeFilter)) -> World -> Entity -> IO (Maybe (From out)) Source # relRunQueryInternal :: R c (Q' q (QueryFilter 'ArchetypeFilter)) -> [ArchetypeId] -> World -> IO [(Entity, Bool, From out)] Source # relQueryTypes :: R c (Q' q (QueryFilter 'ArchetypeFilter)) -> Set (TypeRep, TypeQuery) Source #
Semigroup (QueryFilter f) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods (<>) :: QueryFilter f -> QueryFilter f -> QueryFilter f # sconcat :: NonEmpty (QueryFilter f) -> QueryFilter f # stimes :: Integral b => b -> QueryFilter f -> QueryFilter f #
(Component c, Queryable q out) => Queryable (HasR c (Q' q (QueryFilter 'ArchetypeFilter))) Bool Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: HasR c (Q' q (QueryFilter 'ArchetypeFilter)) -> World -> Entity -> IO (Maybe Bool) Source # runQueryInternal :: HasR c (Q' q (QueryFilter 'ArchetypeFilter)) -> [ArchetypeId] -> World -> IO [(Entity, Bool, Bool)] Source # queryTypes :: HasR c (Q' q (QueryFilter 'ArchetypeFilter)) -> Set (TypeRep, TypeQuery) Source #

newtype FilterComponent Source #

Constructors

FilterComponent
Fields inner :: (TypeRep, Maybe Entity, Maybe Any)

class ToFilterComponent a where Source #

Methods

toFilterComponent :: a -> FilterComponent Source #

Instances

Instances details

Component c => ToFilterComponent (C c) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods toFilterComponent :: C c -> FilterComponent Source #
Component c => ToFilterComponent (R c Entity) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods toFilterComponent :: R c Entity -> FilterComponent Source #
Component c => ToFilterComponent (R c Any) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods toFilterComponent :: R c Any -> FilterComponent Source #

filterArchetype' :: FilterComponent -> World -> [ComponentId] -> IO Bool Source #

filterArchetype :: QueryFilter 'ArchetypeFilter -> World -> [ComponentId] -> IO Bool Source #

preprocessFilter :: forall (f :: FilterType). QueryFilter f -> QueryFilter f Source #

propagateQFNot :: forall (f :: FilterType). QueryFilter f -> QueryFilter f Source #