Safe Haskell	None
Language	GHC2024

Mischief.ECS.World.Query.QueryFilter

Synopsis

qfChangedF :: ComponentTicks -> Tick -> Tick -> Bool
qfAddedF :: ComponentTicks -> Tick -> Tick -> Bool
data QueryFilter
- = NoFilter
- | QFWith (TypeRep, Maybe Entity)
- | QFWithRelAny TypeRep
- | QFChanged (TypeRep, Maybe Entity) (ComponentTicks -> Tick -> Tick -> Bool)
- | QFChangedRelAny TypeRep (ComponentTicks -> Tick -> Tick -> Bool)
- | QFCheckRaw (TypeRep, Maybe Entity, ErasedCheck)
- | QFCheckRawRelAny (TypeRep, ErasedCheck)
- | QFNot QueryFilter
- | QFAnd QueryFilter QueryFilter
- | QFOr QueryFilter QueryFilter
data ErasedCheck where
- ErasedCheck :: forall c. Component c => (c -> Bool) -> ErasedCheck
and' :: [QueryFilter] -> QueryFilter
filterArchetype :: QueryFilter -> [ComponentId] -> World -> IO Bool
extractArchetypeFilters :: QueryFilter -> (QueryFilter, QueryFilter)
isArchetypeFilter :: QueryFilter -> Bool
preprocessFilter :: QueryFilter -> QueryFilter
propagateQFNot :: QueryFilter -> QueryFilter
class IntoQueryFilter qf where
- intoQueryFilter :: qf -> QueryFilter
newtype With c = With c
newtype Without c = Without c
newtype Not c = Not c
data Or a b = Or a b
(|.) :: a -> b -> Or a b
data And a b = And a b
(&.) :: a -> b -> And a b
newtype Changed c = Changed c
newtype Added c = Added c
newtype Check c = Check (c -> Bool)
data CheckR e c = CheckR e (c -> Bool)
withF :: (TypeRep, Maybe Entity, Maybe Any) -> QueryFilter
addedF :: (TypeRep, Maybe Entity, Maybe Any) -> QueryFilter
changedF :: (TypeRep, Maybe Entity, Maybe Any) -> QueryFilter
checkF :: (TypeRep, Maybe Entity, Maybe Any, ErasedCheck) -> QueryFilter
newtype FilterType = FilterType {
- inner :: [(TypeRep, Maybe Entity, Maybe Any)]
}
newtype CheckFilterType = CheckFilterType {
- inner :: [(TypeRep, Maybe Entity, Maybe Any, ErasedCheck)]
}
type family InnerC a where ...

Documentation

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

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

data QueryFilter Source #

Constructors

NoFilter
QFWith (TypeRep, Maybe Entity)
QFWithRelAny TypeRep
QFChanged (TypeRep, Maybe Entity) (ComponentTicks -> Tick -> Tick -> Bool)
QFChangedRelAny TypeRep (ComponentTicks -> Tick -> Tick -> Bool)
QFCheckRaw (TypeRep, Maybe Entity, ErasedCheck)
QFCheckRawRelAny (TypeRep, ErasedCheck)
QFNot QueryFilter
QFAnd QueryFilter QueryFilter
QFOr QueryFilter QueryFilter

Instances

Instances details

Semigroup QueryFilter Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods (<>) :: QueryFilter -> QueryFilter -> QueryFilter # sconcat :: NonEmpty QueryFilter -> QueryFilter # stimes :: Integral b => b -> QueryFilter -> QueryFilter #
EraseIntoStorage QueryFilter QueryFilter Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods erase :: QueryFilter -> QueryFilter Source #
IntoQueryFilter q => EraseIntoStorage q QueryFilter Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods erase :: q -> QueryFilter Source #

data ErasedCheck where Source #

Constructors

ErasedCheck :: forall c. Component c => (c -> Bool) -> ErasedCheck

Instances

Instances details

Show ErasedCheck Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods showsPrec :: Int -> ErasedCheck -> ShowS # show :: ErasedCheck -> String # showList :: [ErasedCheck] -> ShowS #

and' :: [QueryFilter] -> QueryFilter Source #

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

extractArchetypeFilters :: QueryFilter -> (QueryFilter, QueryFilter) Source #

Extracts archetype-level filters from the bigger filter where possible, to be applied at the start of querying for better performance.

isArchetypeFilter :: QueryFilter -> Bool Source #

preprocessFilter :: QueryFilter -> QueryFilter Source #

propagateQFNot :: QueryFilter -> QueryFilter Source #

class IntoQueryFilter qf where Source #

Methods

intoQueryFilter :: qf -> QueryFilter Source #

Instances

Instances details

Collectable c FilterType => IntoQueryFilter (Added c) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: Added c -> QueryFilter Source #
Collectable c FilterType => IntoQueryFilter (Changed c) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: Changed c -> QueryFilter Source #
Component c => IntoQueryFilter (Check c) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: Check c -> QueryFilter Source #
IntoQueryFilter q => IntoQueryFilter (Not q) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: Not q -> QueryFilter Source #
Collectable c FilterType => IntoQueryFilter (With c) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: With c -> QueryFilter Source #
Collectable c FilterType => IntoQueryFilter (Without c) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: Without c -> QueryFilter Source #
(IntoQueryFilter a, IntoQueryFilter b) => IntoQueryFilter (And a b) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: And a b -> QueryFilter Source #
Component c => IntoQueryFilter (CheckR Entity c) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: CheckR Entity c -> QueryFilter Source #
Component c => IntoQueryFilter (CheckR Any c) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: CheckR Any c -> QueryFilter Source #
(IntoQueryFilter a, IntoQueryFilter b) => IntoQueryFilter (Or a b) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: Or a b -> QueryFilter Source #

newtype With c Source #

Constructors

With c

Instances

Instances details

Collectable c FilterType => IntoQueryFilter (With c) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: With c -> QueryFilter Source #

newtype Without c Source #

Constructors

Without c

Instances

Instances details

Collectable c FilterType => IntoQueryFilter (Without c) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: Without c -> QueryFilter Source #

newtype Not c Source #

Constructors

Not c

Instances

Instances details

IntoQueryFilter q => IntoQueryFilter (Not q) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: Not q -> QueryFilter Source #

data Or a b Source #

Constructors

Or a b

Instances

Instances details

(IntoQueryFilter a, IntoQueryFilter b) => IntoQueryFilter (Or a b) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: Or a b -> QueryFilter Source #

(|.) :: a -> b -> Or a b infix 9 Source #

data And a b Source #

Constructors

And a b

Instances

Instances details

(IntoQueryFilter a, IntoQueryFilter b) => IntoQueryFilter (And a b) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: And a b -> QueryFilter Source #

(&.) :: a -> b -> And a b infix 8 Source #

newtype Changed c Source #

Constructors

Changed c

Instances

Instances details

Collectable c FilterType => IntoQueryFilter (Changed c) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: Changed c -> QueryFilter Source #

newtype Added c Source #

Constructors

Added c

Instances

Instances details

Collectable c FilterType => IntoQueryFilter (Added c) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: Added c -> QueryFilter Source #

newtype Check c Source #

Constructors

Check (c -> Bool)

Instances

Instances details

Component c => IntoQueryFilter (Check c) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: Check c -> QueryFilter Source #

data CheckR e c Source #

Constructors

CheckR e (c -> Bool)

Instances

Instances details

Component c => IntoQueryFilter (CheckR Entity c) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: CheckR Entity c -> QueryFilter Source #
Component c => IntoQueryFilter (CheckR Any c) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: CheckR Any c -> QueryFilter Source #

withF :: (TypeRep, Maybe Entity, Maybe Any) -> QueryFilter Source #

addedF :: (TypeRep, Maybe Entity, Maybe Any) -> QueryFilter Source #

changedF :: (TypeRep, Maybe Entity, Maybe Any) -> QueryFilter Source #

checkF :: (TypeRep, Maybe Entity, Maybe Any, ErasedCheck) -> QueryFilter Source #

newtype FilterType Source #

Constructors

FilterType
Fields inner :: [(TypeRep, Maybe Entity, Maybe Any)]

Instances

Instances details

Semigroup FilterType Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods (<>) :: FilterType -> FilterType -> FilterType # sconcat :: NonEmpty FilterType -> FilterType # stimes :: Integral b => b -> FilterType -> FilterType #
Component c => EraseIntoStorage (C c) FilterType Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods erase :: C c -> FilterType Source #
Component c => EraseIntoStorage (R c Entity) FilterType Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods erase :: R c Entity -> FilterType Source #
Component c => EraseIntoStorage (R c Any) FilterType Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods erase :: R c Any -> FilterType Source #

newtype CheckFilterType Source #

Constructors

CheckFilterType
Fields inner :: [(TypeRep, Maybe Entity, Maybe Any, ErasedCheck)]

Instances

Instances details

Semigroup CheckFilterType Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods (<>) :: CheckFilterType -> CheckFilterType -> CheckFilterType # sconcat :: NonEmpty CheckFilterType -> CheckFilterType # stimes :: Integral b => b -> CheckFilterType -> CheckFilterType #
Component c => EraseIntoStorage (C c, c -> Bool) CheckFilterType Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods erase :: (C c, c -> Bool) -> CheckFilterType Source #
Component c => EraseIntoStorage (R c Entity, c -> Bool) CheckFilterType Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods erase :: (R c Entity, c -> Bool) -> CheckFilterType Source #
Component c => EraseIntoStorage (R c Any, c -> Bool) CheckFilterType Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods erase :: (R c Any, c -> Bool) -> CheckFilterType Source #

type family InnerC a where ... Source #

Equations

InnerC (C (Rel a)) = a
InnerC (C a) = a