Safe Haskell	None
Language	GHC2024

Mischief.ECS.World.Query.Queryable

Documentation

data TypeQuery Source #

Constructors

CompQ
RelQ
RelQ' Entity

Instances

Instances details

Show TypeQuery Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods showsPrec :: Int -> TypeQuery -> ShowS # show :: TypeQuery -> String # showList :: [TypeQuery] -> ShowS #
Eq TypeQuery Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods (==) :: TypeQuery -> TypeQuery -> Bool # (/=) :: TypeQuery -> TypeQuery -> Bool #
Ord TypeQuery Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods compare :: TypeQuery -> TypeQuery -> Ordering # (<) :: TypeQuery -> TypeQuery -> Bool # (<=) :: TypeQuery -> TypeQuery -> Bool # (>) :: TypeQuery -> TypeQuery -> Bool # (>=) :: TypeQuery -> TypeQuery -> Bool # max :: TypeQuery -> TypeQuery -> TypeQuery # min :: TypeQuery -> TypeQuery -> TypeQuery #

newtype MR (a :: k) b Source #

Constructors

MR b

Instances

Instances details

Component c => RelQuery 'Exclusive (MR c Any) (Maybe (Result (Rel c))) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: MR c Any -> World -> Entity -> IO (Maybe (Maybe (Result (Rel c)))) Source # relRunQueryInternal :: MR c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe (Result (Rel c)))] Source # relQueryTypes :: MR c Any -> Set (TypeRep, TypeQuery) Source #
(Component c, Queryable q out) => RelQuery 'Exclusive (MR c (Q q)) (Maybe out) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: MR c (Q q) -> World -> Entity -> IO (Maybe (Maybe out)) Source # relRunQueryInternal :: MR c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe out)] Source # relQueryTypes :: MR c (Q q) -> Set (TypeRep, TypeQuery) Source #
Component c => RelQuery 'Inclusive (MR c Any) (Maybe [Result (Rel c)]) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: MR c Any -> World -> Entity -> IO (Maybe (Maybe [Result (Rel c)])) Source # relRunQueryInternal :: MR c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe [Result (Rel c)])] Source # relQueryTypes :: MR c Any -> Set (TypeRep, TypeQuery) Source #
(Component c, Queryable q out) => RelQuery 'Inclusive (MR c (Q q)) (Maybe [out]) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: MR c (Q q) -> World -> Entity -> IO (Maybe (Maybe [out])) Source # relRunQueryInternal :: MR c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe [out])] Source # relQueryTypes :: MR c (Q q) -> Set (TypeRep, TypeQuery) Source #
RelQuery (RelExclusivity c) (MR c Any) out => Queryable (MR c Any) out Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: MR c Any -> World -> Entity -> IO (Maybe out) Source # runQueryInternal :: MR c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, out)] Source # queryTypes :: MR c Any -> Set (TypeRep, TypeQuery) Source #
RelQuery (RelExclusivity c) (MR c (Q q)) out => Queryable (MR c (Q q)) out Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: MR c (Q q) -> World -> Entity -> IO (Maybe out) Source # runQueryInternal :: MR c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, out)] Source # queryTypes :: MR c (Q q) -> Set (TypeRep, TypeQuery) Source #
Component c => Queryable (MR c Entity) (Maybe (Result (Rel c))) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: MR c Entity -> World -> Entity -> IO (Maybe (Maybe (Result (Rel c)))) Source # runQueryInternal :: MR c Entity -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe (Result (Rel c)))] Source # queryTypes :: MR c Entity -> Set (TypeRep, TypeQuery) Source #

data Has (a :: k) Source #

Constructors

Has

Instances

Instances details

Component c => Queryable (Has c) Bool Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: Has c -> World -> Entity -> IO (Maybe Bool) Source # runQueryInternal :: Has c -> [ArchetypeId] -> World -> IO [(Entity, Bool, Bool)] Source # queryTypes :: Has c -> Set (TypeRep, TypeQuery) Source #

newtype HasR (a :: k) b Source #

Constructors

HasR b

Instances

Instances details

Component c => Queryable (HasR c Entity) Bool Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: HasR c Entity -> World -> Entity -> IO (Maybe Bool) Source # runQueryInternal :: HasR c Entity -> [ArchetypeId] -> World -> IO [(Entity, Bool, Bool)] Source # queryTypes :: HasR c Entity -> Set (TypeRep, TypeQuery) Source #
Component c => Queryable (HasR c Any) Bool Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: HasR c Any -> World -> Entity -> IO (Maybe Bool) Source # runQueryInternal :: HasR c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, Bool)] Source # queryTypes :: HasR c Any -> Set (TypeRep, TypeQuery) Source #
(Component c, Queryable q out) => Queryable (HasR c (Q q)) Bool Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: HasR c (Q q) -> World -> Entity -> IO (Maybe Bool) Source # runQueryInternal :: HasR c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, Bool)] Source # queryTypes :: HasR c (Q q) -> Set (TypeRep, TypeQuery) Source #

data E Source #

Constructors

E

Instances

Instances details

Queryable E Entity Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: E -> World -> Entity -> IO (Maybe Entity) Source # runQueryInternal :: E -> [ArchetypeId] -> World -> IO [(Entity, Bool, Entity)] Source # queryTypes :: E -> Set (TypeRep, TypeQuery) Source #

data C (a :: k) Source #

Constructors

C

Instances

Instances details

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 (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 => Queryable (C c) (Result c) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: C c -> World -> Entity -> IO (Maybe (Result c)) Source # runQueryInternal :: C c -> [ArchetypeId] -> World -> IO [(Entity, Bool, Result c)] Source # queryTypes :: C c -> Set (TypeRep, TypeQuery) Source #

newtype R (a :: k) b Source #

Constructors

R b

Instances

Instances details

(Component c, Queryable q out) => RelQuery 'Exclusive (R c (Q q)) out Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: R c (Q q) -> World -> Entity -> IO (Maybe out) Source # relRunQueryInternal :: R c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, out)] Source # relQueryTypes :: R c (Q q) -> Set (TypeRep, TypeQuery) Source #
Component c => RelQuery 'Exclusive (R c Any) (Result (Rel c)) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: R c Any -> World -> Entity -> IO (Maybe (Result (Rel c))) Source # relRunQueryInternal :: R c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, Result (Rel c))] Source # relQueryTypes :: R c Any -> Set (TypeRep, TypeQuery) Source #
Component c => RelQuery 'Inclusive (R c Any) [Result (Rel c)] Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: R c Any -> World -> Entity -> IO (Maybe [Result (Rel c)]) Source # relRunQueryInternal :: R c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, [Result (Rel c)])] Source # relQueryTypes :: R c Any -> Set (TypeRep, TypeQuery) Source #
(Component c, Queryable q out) => RelQuery 'Inclusive (R c (Q q)) [out] Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: R c (Q q) -> World -> Entity -> IO (Maybe [out]) Source # relRunQueryInternal :: R c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, [out])] Source # relQueryTypes :: R c (Q q) -> Set (TypeRep, TypeQuery) 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 #
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 #
RelQuery (RelExclusivity c) (R c Any) out => Queryable (R c Any) out Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: R c Any -> World -> Entity -> IO (Maybe out) Source # runQueryInternal :: R c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, out)] Source # queryTypes :: R c Any -> Set (TypeRep, TypeQuery) Source #
RelQuery (RelExclusivity c) (R c (Q q)) out => Queryable (R c (Q q)) out Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: R c (Q q) -> World -> Entity -> IO (Maybe out) Source # runQueryInternal :: R c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, out)] Source # queryTypes :: R c (Q q) -> Set (TypeRep, TypeQuery) Source #
Component c => Queryable (R c Entity) (Result (Rel c)) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: R c Entity -> World -> Entity -> IO (Maybe (Result (Rel c))) Source # runQueryInternal :: R c Entity -> [ArchetypeId] -> World -> IO [(Entity, Bool, Result (Rel c))] Source # queryTypes :: R c Entity -> Set (TypeRep, TypeQuery) Source #

newtype R' (a :: k) b Source #

Constructors

R' b

Instances

Instances details

RelQuery 'Inclusive (R c e) out => Queryable (R' c e) out Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: R' c e -> World -> Entity -> IO (Maybe out) Source # runQueryInternal :: R' c e -> [ArchetypeId] -> World -> IO [(Entity, Bool, out)] Source # queryTypes :: R' c e -> Set (TypeRep, TypeQuery) Source #

data Any Source #

Constructors

Any

Instances

Instances details

Component c => RelQuery 'Exclusive (MR c Any) (Maybe (Result (Rel c))) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: MR c Any -> World -> Entity -> IO (Maybe (Maybe (Result (Rel c)))) Source # relRunQueryInternal :: MR c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe (Result (Rel c)))] Source # relQueryTypes :: MR c Any -> Set (TypeRep, TypeQuery) Source #
Component c => RelQuery 'Exclusive (R c Any) (Result (Rel c)) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: R c Any -> World -> Entity -> IO (Maybe (Result (Rel c))) Source # relRunQueryInternal :: R c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, Result (Rel c))] Source # relQueryTypes :: R c Any -> Set (TypeRep, TypeQuery) Source #
Component c => RelQuery 'Inclusive (MR c Any) (Maybe [Result (Rel c)]) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: MR c Any -> World -> Entity -> IO (Maybe (Maybe [Result (Rel c)])) Source # relRunQueryInternal :: MR c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe [Result (Rel c)])] Source # relQueryTypes :: MR c Any -> Set (TypeRep, TypeQuery) Source #
Component c => RelQuery 'Inclusive (R c Any) [Result (Rel c)] Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: R c Any -> World -> Entity -> IO (Maybe [Result (Rel c)]) Source # relRunQueryInternal :: R c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, [Result (Rel c)])] Source # relQueryTypes :: R c Any -> Set (TypeRep, TypeQuery) Source #
Component c => IntoQueryFilter (CheckR Any c) Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods intoQueryFilter :: CheckR Any c -> QueryFilter 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 #
Component c => EraseIntoStorage (R c Any) FilterType Source #
Instance details Defined in Mischief.ECS.World.Query.QueryFilter Methods erase :: R c Any -> FilterType Source #
Component c => Queryable (HasR c Any) Bool Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: HasR c Any -> World -> Entity -> IO (Maybe Bool) Source # runQueryInternal :: HasR c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, Bool)] Source # queryTypes :: HasR c Any -> Set (TypeRep, TypeQuery) Source #
RelQuery (RelExclusivity c) (MR c Any) out => Queryable (MR c Any) out Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: MR c Any -> World -> Entity -> IO (Maybe out) Source # runQueryInternal :: MR c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, out)] Source # queryTypes :: MR c Any -> Set (TypeRep, TypeQuery) Source #
RelQuery (RelExclusivity c) (R c Any) out => Queryable (R c Any) out Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: R c Any -> World -> Entity -> IO (Maybe out) Source # runQueryInternal :: R c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, out)] Source # queryTypes :: R c Any -> Set (TypeRep, TypeQuery) Source #

data RelTarget Source #

Constructors

AnyTarget
RelTargets [Entities]

data M (a :: k) Source #

Constructors

M

Instances

Instances details

Component c => Queryable (M c) (Maybe (Result c)) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: M c -> World -> Entity -> IO (Maybe (Maybe (Result c))) Source # runQueryInternal :: M c -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe (Result c))] Source # queryTypes :: M c -> Set (TypeRep, TypeQuery) Source #

newtype Q a Source #

Constructors

Q a

Instances

Instances details

(Component c, Queryable q out) => RelQuery 'Exclusive (R c (Q q)) out Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: R c (Q q) -> World -> Entity -> IO (Maybe out) Source # relRunQueryInternal :: R c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, out)] Source # relQueryTypes :: R c (Q q) -> Set (TypeRep, TypeQuery) Source #
(Component c, Queryable q out) => RelQuery 'Exclusive (MR c (Q q)) (Maybe out) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: MR c (Q q) -> World -> Entity -> IO (Maybe (Maybe out)) Source # relRunQueryInternal :: MR c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe out)] Source # relQueryTypes :: MR c (Q q) -> Set (TypeRep, TypeQuery) Source #
(Component c, Queryable q out) => RelQuery 'Inclusive (MR c (Q q)) (Maybe [out]) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: MR c (Q q) -> World -> Entity -> IO (Maybe (Maybe [out])) Source # relRunQueryInternal :: MR c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe [out])] Source # relQueryTypes :: MR c (Q q) -> Set (TypeRep, TypeQuery) Source #
(Component c, Queryable q out) => RelQuery 'Inclusive (R c (Q q)) [out] Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: R c (Q q) -> World -> Entity -> IO (Maybe [out]) Source # relRunQueryInternal :: R c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, [out])] Source # relQueryTypes :: R c (Q q) -> Set (TypeRep, TypeQuery) Source #
(Component c, Queryable q out) => Queryable (HasR c (Q q)) Bool Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: HasR c (Q q) -> World -> Entity -> IO (Maybe Bool) Source # runQueryInternal :: HasR c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, Bool)] Source # queryTypes :: HasR c (Q q) -> Set (TypeRep, TypeQuery) Source #
RelQuery (RelExclusivity c) (MR c (Q q)) out => Queryable (MR c (Q q)) out Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: MR c (Q q) -> World -> Entity -> IO (Maybe out) Source # runQueryInternal :: MR c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, out)] Source # queryTypes :: MR c (Q q) -> Set (TypeRep, TypeQuery) Source #
RelQuery (RelExclusivity c) (R c (Q q)) out => Queryable (R c (Q q)) out Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: R c (Q q) -> World -> Entity -> IO (Maybe out) Source # runQueryInternal :: R c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, out)] Source # queryTypes :: R c (Q q) -> Set (TypeRep, TypeQuery) Source #

newtype MQ a Source #

Constructors

MQ a

newtype Val a Source #

Constructors

Val a

Instances

Instances details

(Queryable qd out, Mappable MapQueryVal out out') => Queryable (Val qd) out' Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: Val qd -> World -> Entity -> IO (Maybe out') Source # runQueryInternal :: Val qd -> [ArchetypeId] -> World -> IO [(Entity, Bool, out')] Source # queryTypes :: Val qd -> Set (TypeRep, TypeQuery) Source #

class Queryable qd output | qd -> output where Source #

Methods

runQueryEntity :: qd -> World -> Entity -> IO (Maybe output) Source #

runQueryInternal :: qd -> [ArchetypeId] -> World -> IO [(Entity, Bool, output)] Source #

queryTypes :: qd -> Set (TypeRep, TypeQuery) Source #

Instances

Instances details

Queryable E Entity Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: E -> World -> Entity -> IO (Maybe Entity) Source # runQueryInternal :: E -> [ArchetypeId] -> World -> IO [(Entity, Bool, Entity)] Source # queryTypes :: E -> Set (TypeRep, TypeQuery) Source #
(Queryable qd out, Mappable MapQueryVal out out') => Queryable (Val qd) out' Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: Val qd -> World -> Entity -> IO (Maybe out') Source # runQueryInternal :: Val qd -> [ArchetypeId] -> World -> IO [(Entity, Bool, out')] Source # queryTypes :: Val qd -> Set (TypeRep, TypeQuery) Source #
Component c => Queryable (Has c) Bool Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: Has c -> World -> Entity -> IO (Maybe Bool) Source # runQueryInternal :: Has c -> [ArchetypeId] -> World -> IO [(Entity, Bool, Bool)] Source # queryTypes :: Has c -> Set (TypeRep, TypeQuery) Source #
Component c => Queryable (C c) (Result c) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: C c -> World -> Entity -> IO (Maybe (Result c)) Source # runQueryInternal :: C c -> [ArchetypeId] -> World -> IO [(Entity, Bool, Result c)] Source # queryTypes :: C c -> Set (TypeRep, TypeQuery) Source #
Component c => Queryable (M c) (Maybe (Result c)) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: M c -> World -> Entity -> IO (Maybe (Maybe (Result c))) Source # runQueryInternal :: M c -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe (Result c))] Source # queryTypes :: M c -> Set (TypeRep, TypeQuery) Source #
(Queryable q0 o0, Queryable q1 o1) => Queryable (q0, q1) (o0, o1) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: (q0, q1) -> World -> Entity -> IO (Maybe (o0, o1)) Source # runQueryInternal :: (q0, q1) -> [ArchetypeId] -> World -> IO [(Entity, Bool, (o0, o1))] Source # queryTypes :: (q0, q1) -> Set (TypeRep, TypeQuery) Source #
Component c => Queryable (HasR c Entity) Bool Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: HasR c Entity -> World -> Entity -> IO (Maybe Bool) Source # runQueryInternal :: HasR c Entity -> [ArchetypeId] -> World -> IO [(Entity, Bool, Bool)] Source # queryTypes :: HasR c Entity -> Set (TypeRep, TypeQuery) Source #
Component c => Queryable (HasR c Any) Bool Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: HasR c Any -> World -> Entity -> IO (Maybe Bool) Source # runQueryInternal :: HasR c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, Bool)] Source # queryTypes :: HasR c Any -> Set (TypeRep, TypeQuery) Source #
(Component c, Queryable q out) => Queryable (HasR c (Q q)) Bool Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: HasR c (Q q) -> World -> Entity -> IO (Maybe Bool) Source # runQueryInternal :: HasR c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, Bool)] Source # queryTypes :: HasR c (Q q) -> Set (TypeRep, TypeQuery) Source #
RelQuery (RelExclusivity c) (MR c Any) out => Queryable (MR c Any) out Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: MR c Any -> World -> Entity -> IO (Maybe out) Source # runQueryInternal :: MR c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, out)] Source # queryTypes :: MR c Any -> Set (TypeRep, TypeQuery) Source #
RelQuery (RelExclusivity c) (MR c (Q q)) out => Queryable (MR c (Q q)) out Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: MR c (Q q) -> World -> Entity -> IO (Maybe out) Source # runQueryInternal :: MR c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, out)] Source # queryTypes :: MR c (Q q) -> Set (TypeRep, TypeQuery) Source #
RelQuery (RelExclusivity c) (R c Any) out => Queryable (R c Any) out Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: R c Any -> World -> Entity -> IO (Maybe out) Source # runQueryInternal :: R c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, out)] Source # queryTypes :: R c Any -> Set (TypeRep, TypeQuery) Source #
RelQuery (RelExclusivity c) (R c (Q q)) out => Queryable (R c (Q q)) out Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: R c (Q q) -> World -> Entity -> IO (Maybe out) Source # runQueryInternal :: R c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, out)] Source # queryTypes :: R c (Q q) -> Set (TypeRep, TypeQuery) Source #
RelQuery 'Inclusive (R c e) out => Queryable (R' c e) out Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: R' c e -> World -> Entity -> IO (Maybe out) Source # runQueryInternal :: R' c e -> [ArchetypeId] -> World -> IO [(Entity, Bool, out)] Source # queryTypes :: R' c e -> Set (TypeRep, TypeQuery) Source #
Component c => Queryable (MR c Entity) (Maybe (Result (Rel c))) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: MR c Entity -> World -> Entity -> IO (Maybe (Maybe (Result (Rel c)))) Source # runQueryInternal :: MR c Entity -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe (Result (Rel c)))] Source # queryTypes :: MR c Entity -> Set (TypeRep, TypeQuery) Source #
Component c => Queryable (R c Entity) (Result (Rel c)) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: R c Entity -> World -> Entity -> IO (Maybe (Result (Rel c))) Source # runQueryInternal :: R c Entity -> [ArchetypeId] -> World -> IO [(Entity, Bool, Result (Rel c))] Source # queryTypes :: R c Entity -> Set (TypeRep, TypeQuery) Source #
(Queryable q0 o0, Queryable q1 o1, Queryable q2 o2) => Queryable (q0, q1, q2) (o0, o1, o2) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: (q0, q1, q2) -> World -> Entity -> IO (Maybe (o0, o1, o2)) Source # runQueryInternal :: (q0, q1, q2) -> [ArchetypeId] -> World -> IO [(Entity, Bool, (o0, o1, o2))] Source # queryTypes :: (q0, q1, q2) -> Set (TypeRep, TypeQuery) Source #
(Queryable q0 o0, Queryable q1 o1, Queryable q2 o2, Queryable q3 o3) => Queryable (q0, q1, q2, q3) (o0, o1, o2, o3) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: (q0, q1, q2, q3) -> World -> Entity -> IO (Maybe (o0, o1, o2, o3)) Source # runQueryInternal :: (q0, q1, q2, q3) -> [ArchetypeId] -> World -> IO [(Entity, Bool, (o0, o1, o2, o3))] Source # queryTypes :: (q0, q1, q2, q3) -> Set (TypeRep, TypeQuery) Source #
(Queryable q0 o0, Queryable q1 o1, Queryable q2 o2, Queryable q3 o3, Queryable q4 o4) => Queryable (q0, q1, q2, q3, q4) (o0, o1, o2, o3, o4) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: (q0, q1, q2, q3, q4) -> World -> Entity -> IO (Maybe (o0, o1, o2, o3, o4)) Source # runQueryInternal :: (q0, q1, q2, q3, q4) -> [ArchetypeId] -> World -> IO [(Entity, Bool, (o0, o1, o2, o3, o4))] Source # queryTypes :: (q0, q1, q2, q3, q4) -> Set (TypeRep, TypeQuery) Source #
(Queryable q0 o0, Queryable q1 o1, Queryable q2 o2, Queryable q3 o3, Queryable q4 o4, Queryable q5 o5) => Queryable (q0, q1, q2, q3, q4, q5) (o0, o1, o2, o3, o4, o5) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: (q0, q1, q2, q3, q4, q5) -> World -> Entity -> IO (Maybe (o0, o1, o2, o3, o4, o5)) Source # runQueryInternal :: (q0, q1, q2, q3, q4, q5) -> [ArchetypeId] -> World -> IO [(Entity, Bool, (o0, o1, o2, o3, o4, o5))] Source # queryTypes :: (q0, q1, q2, q3, q4, q5) -> Set (TypeRep, TypeQuery) Source #
(Queryable q0 o0, Queryable q1 o1, Queryable q2 o2, Queryable q3 o3, Queryable q4 o4, Queryable q5 o5, Queryable q6 o6) => Queryable (q0, q1, q2, q3, q4, q5, q6) (o0, o1, o2, o3, o4, o5, o6) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: (q0, q1, q2, q3, q4, q5, q6) -> World -> Entity -> IO (Maybe (o0, o1, o2, o3, o4, o5, o6)) Source # runQueryInternal :: (q0, q1, q2, q3, q4, q5, q6) -> [ArchetypeId] -> World -> IO [(Entity, Bool, (o0, o1, o2, o3, o4, o5, o6))] Source # queryTypes :: (q0, q1, q2, q3, q4, q5, q6) -> Set (TypeRep, TypeQuery) Source #
(Queryable q0 o0, Queryable q1 o1, Queryable q2 o2, Queryable q3 o3, Queryable q4 o4, Queryable q5 o5, Queryable q6 o6, Queryable q7 o7) => Queryable (q0, q1, q2, q3, q4, q5, q6, q7) (o0, o1, o2, o3, o4, o5, o6, o7) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: (q0, q1, q2, q3, q4, q5, q6, q7) -> World -> Entity -> IO (Maybe (o0, o1, o2, o3, o4, o5, o6, o7)) Source # runQueryInternal :: (q0, q1, q2, q3, q4, q5, q6, q7) -> [ArchetypeId] -> World -> IO [(Entity, Bool, (o0, o1, o2, o3, o4, o5, o6, o7))] Source # queryTypes :: (q0, q1, q2, q3, q4, q5, q6, q7) -> Set (TypeRep, TypeQuery) Source #
(Queryable q0 o0, Queryable q1 o1, Queryable q2 o2, Queryable q3 o3, Queryable q4 o4, Queryable q5 o5, Queryable q6 o6, Queryable q7 o7, Queryable q8 o8) => Queryable (q0, q1, q2, q3, q4, q5, q6, q7, q8) (o0, o1, o2, o3, o4, o5, o6, o7, o8) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: (q0, q1, q2, q3, q4, q5, q6, q7, q8) -> World -> Entity -> IO (Maybe (o0, o1, o2, o3, o4, o5, o6, o7, o8)) Source # runQueryInternal :: (q0, q1, q2, q3, q4, q5, q6, q7, q8) -> [ArchetypeId] -> World -> IO [(Entity, Bool, (o0, o1, o2, o3, o4, o5, o6, o7, o8))] Source # queryTypes :: (q0, q1, q2, q3, q4, q5, q6, q7, q8) -> Set (TypeRep, TypeQuery) Source #
(Queryable q0 o0, Queryable q1 o1, Queryable q2 o2, Queryable q3 o3, Queryable q4 o4, Queryable q5 o5, Queryable q6 o6, Queryable q7 o7, Queryable q8 o8, Queryable q9 o9) => Queryable (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9) (o0, o1, o2, o3, o4, o5, o6, o7, o8, o9) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9) -> World -> Entity -> IO (Maybe (o0, o1, o2, o3, o4, o5, o6, o7, o8, o9)) Source # runQueryInternal :: (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9) -> [ArchetypeId] -> World -> IO [(Entity, Bool, (o0, o1, o2, o3, o4, o5, o6, o7, o8, o9))] Source # queryTypes :: (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9) -> Set (TypeRep, TypeQuery) Source #
(Queryable q0 o0, Queryable q1 o1, Queryable q2 o2, Queryable q3 o3, Queryable q4 o4, Queryable q5 o5, Queryable q6 o6, Queryable q7 o7, Queryable q8 o8, Queryable q9 o9, Queryable q10 o10) => Queryable (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10) (o0, o1, o2, o3, o4, o5, o6, o7, o8, o9, o10) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10) -> World -> Entity -> IO (Maybe (o0, o1, o2, o3, o4, o5, o6, o7, o8, o9, o10)) Source # runQueryInternal :: (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10) -> [ArchetypeId] -> World -> IO [(Entity, Bool, (o0, o1, o2, o3, o4, o5, o6, o7, o8, o9, o10))] Source # queryTypes :: (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10) -> Set (TypeRep, TypeQuery) Source #
(Queryable q0 o0, Queryable q1 o1, Queryable q2 o2, Queryable q3 o3, Queryable q4 o4, Queryable q5 o5, Queryable q6 o6, Queryable q7 o7, Queryable q8 o8, Queryable q9 o9, Queryable q10 o10, Queryable q11 o11) => Queryable (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11) (o0, o1, o2, o3, o4, o5, o6, o7, o8, o9, o10, o11) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11) -> World -> Entity -> IO (Maybe (o0, o1, o2, o3, o4, o5, o6, o7, o8, o9, o10, o11)) Source # runQueryInternal :: (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11) -> [ArchetypeId] -> World -> IO [(Entity, Bool, (o0, o1, o2, o3, o4, o5, o6, o7, o8, o9, o10, o11))] Source # queryTypes :: (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11) -> Set (TypeRep, TypeQuery) Source #
(Queryable q0 o0, Queryable q1 o1, Queryable q2 o2, Queryable q3 o3, Queryable q4 o4, Queryable q5 o5, Queryable q6 o6, Queryable q7 o7, Queryable q8 o8, Queryable q9 o9, Queryable q10 o10, Queryable q11 o11, Queryable q12 o12) => Queryable (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11, q12) (o0, o1, o2, o3, o4, o5, o6, o7, o8, o9, o10, o11, o12) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11, q12) -> World -> Entity -> IO (Maybe (o0, o1, o2, o3, o4, o5, o6, o7, o8, o9, o10, o11, o12)) Source # runQueryInternal :: (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11, q12) -> [ArchetypeId] -> World -> IO [(Entity, Bool, (o0, o1, o2, o3, o4, o5, o6, o7, o8, o9, o10, o11, o12))] Source # queryTypes :: (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11, q12) -> Set (TypeRep, TypeQuery) Source #
(Queryable q0 o0, Queryable q1 o1, Queryable q2 o2, Queryable q3 o3, Queryable q4 o4, Queryable q5 o5, Queryable q6 o6, Queryable q7 o7, Queryable q8 o8, Queryable q9 o9, Queryable q10 o10, Queryable q11 o11, Queryable q12 o12, Queryable q13 o13) => Queryable (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11, q12, q13) (o0, o1, o2, o3, o4, o5, o6, o7, o8, o9, o10, o11, o12, o13) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11, q12, q13) -> World -> Entity -> IO (Maybe (o0, o1, o2, o3, o4, o5, o6, o7, o8, o9, o10, o11, o12, o13)) Source # runQueryInternal :: (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11, q12, q13) -> [ArchetypeId] -> World -> IO [(Entity, Bool, (o0, o1, o2, o3, o4, o5, o6, o7, o8, o9, o10, o11, o12, o13))] Source # queryTypes :: (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11, q12, q13) -> Set (TypeRep, TypeQuery) Source #
(Queryable q0 o0, Queryable q1 o1, Queryable q2 o2, Queryable q3 o3, Queryable q4 o4, Queryable q5 o5, Queryable q6 o6, Queryable q7 o7, Queryable q8 o8, Queryable q9 o9, Queryable q10 o10, Queryable q11 o11, Queryable q12 o12, Queryable q13 o13, Queryable q14 o14) => Queryable (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11, q12, q13, q14) (o0, o1, o2, o3, o4, o5, o6, o7, o8, o9, o10, o11, o12, o13, o14) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods runQueryEntity :: (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11, q12, q13, q14) -> World -> Entity -> IO (Maybe (o0, o1, o2, o3, o4, o5, o6, o7, o8, o9, o10, o11, o12, o13, o14)) Source # runQueryInternal :: (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11, q12, q13, q14) -> [ArchetypeId] -> World -> IO [(Entity, Bool, (o0, o1, o2, o3, o4, o5, o6, o7, o8, o9, o10, o11, o12, o13, o14))] Source # queryTypes :: (q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11, q12, q13, q14) -> Set (TypeRep, TypeQuery) Source #

data HTrue Source #

data HFalse Source #

type family IsComponentC c where ... Source #

Equations

IsComponentC Entity = HFalse
IsComponentC a = HTrue

class RelQuery (exclusive :: Exclusivity) qd output | qd exclusive -> output where Source #

Methods

relRunQueryEntity :: qd -> World -> Entity -> IO (Maybe output) Source #

relRunQueryInternal :: qd -> [ArchetypeId] -> World -> IO [(Entity, Bool, output)] Source #

relQueryTypes :: qd -> Set (TypeRep, TypeQuery) Source #

Instances

Instances details

(Component c, Queryable q out) => RelQuery 'Exclusive (R c (Q q)) out Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: R c (Q q) -> World -> Entity -> IO (Maybe out) Source # relRunQueryInternal :: R c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, out)] Source # relQueryTypes :: R c (Q q) -> Set (TypeRep, TypeQuery) Source #
Component c => RelQuery 'Exclusive (MR c Any) (Maybe (Result (Rel c))) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: MR c Any -> World -> Entity -> IO (Maybe (Maybe (Result (Rel c)))) Source # relRunQueryInternal :: MR c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe (Result (Rel c)))] Source # relQueryTypes :: MR c Any -> Set (TypeRep, TypeQuery) Source #
(Component c, Queryable q out) => RelQuery 'Exclusive (MR c (Q q)) (Maybe out) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: MR c (Q q) -> World -> Entity -> IO (Maybe (Maybe out)) Source # relRunQueryInternal :: MR c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe out)] Source # relQueryTypes :: MR c (Q q) -> Set (TypeRep, TypeQuery) Source #
Component c => RelQuery 'Exclusive (R c Any) (Result (Rel c)) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: R c Any -> World -> Entity -> IO (Maybe (Result (Rel c))) Source # relRunQueryInternal :: R c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, Result (Rel c))] Source # relQueryTypes :: R c Any -> Set (TypeRep, TypeQuery) Source #
Component c => RelQuery 'Inclusive (MR c Any) (Maybe [Result (Rel c)]) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: MR c Any -> World -> Entity -> IO (Maybe (Maybe [Result (Rel c)])) Source # relRunQueryInternal :: MR c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe [Result (Rel c)])] Source # relQueryTypes :: MR c Any -> Set (TypeRep, TypeQuery) Source #
(Component c, Queryable q out) => RelQuery 'Inclusive (MR c (Q q)) (Maybe [out]) Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: MR c (Q q) -> World -> Entity -> IO (Maybe (Maybe [out])) Source # relRunQueryInternal :: MR c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, Maybe [out])] Source # relQueryTypes :: MR c (Q q) -> Set (TypeRep, TypeQuery) Source #
Component c => RelQuery 'Inclusive (R c Any) [Result (Rel c)] Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: R c Any -> World -> Entity -> IO (Maybe [Result (Rel c)]) Source # relRunQueryInternal :: R c Any -> [ArchetypeId] -> World -> IO [(Entity, Bool, [Result (Rel c)])] Source # relQueryTypes :: R c Any -> Set (TypeRep, TypeQuery) Source #
(Component c, Queryable q out) => RelQuery 'Inclusive (R c (Q q)) [out] Source #
Instance details Defined in Mischief.ECS.World.Query.Queryable Methods relRunQueryEntity :: R c (Q q) -> World -> Entity -> IO (Maybe [out]) Source # relRunQueryInternal :: R c (Q q) -> [ArchetypeId] -> World -> IO [(Entity, Bool, [out])] Source # relQueryTypes :: R c (Q q) -> Set (TypeRep, TypeQuery) Source #