Sovereignty/jecs
1
0
Fork 0
mirror of https://github.com/Ukendio/jecs.git synced 2026-02-04 15:15:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Use type functions for query

Browse source
This commit is contained in:
Ukendio 2026-01-30 01:44:13 +01:00
parent 2c21c79510
commit fd124d682d
1 changed files with 19 additions and 30 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

49
src/jecs.luau
View file

@ -211,6 +211,23 @@ type world = {
removed: (world, i53, (e: i53, id: i53, delete: boolean?) -> ()) -> () -> (), removed: (world, i53, (e: i53, id: i53, delete: boolean?) -> ()) -> () -> (),
} }
export type Type_Query<T...> = Query<T...>
type function QueryBundle(t1: type)
assert(t1:is("function"))
local params = t1:returns()
local head = params.head
assert(head)
local newt = {}
for i = 1, #head do
if head[i] == types.unknown then
continue
end
newt[i] = head[i]:readproperty(types.singleton("__T"))
end
return Type_Query(unpack(newt))
end
export type World = { export type World = {
archetype_edges: Map<number, Map<Entity, Archetype>>, archetype_edges: Map<number, Map<Entity, Archetype>>,
@ -296,35 +313,7 @@ export type World = {
children: <T>(self: World, id: Id<T>) -> () -> Entity, children: <T>(self: World, id: Id<T>) -> () -> Entity,
--- Searches the world for entities that match a given query --- Searches the world for entities that match a given query
query: ((World) -> Query<nil>) query: (<A, B, C, D, E, F, G, H>(World, A?, B?, C?, D?, E?, F?, G?, H?, ...Component<any>) -> QueryBundle<() -> (A, B, C, D, E, F, G, H)>),
& (<A>(World, Component<A>) -> Query<A>)
& (<A, B>(World, Component<A>, Component<B>) -> Query<A, B>)
& (<A, B, C>(World, Component<A>, Component<B>, Component<C>) -> Query<A, B, C>)
& (<A, B, C, D>(World, Component<A>, Component<B>, Component<C>, Component<D>) -> Query<A, B, C, D>)
& (<A, B, C, D, E>(World, Component<A>, Component<B>, Component<C>, Component<D>, Component<E>) -> Query<A, B, C, D, E>)
& (<A, B, C, D, E, F>(World, Component<A>, Component<B>, Component<C>, Component<D>, Component<E>, Component<F>) -> Query<A, B, C, D, E, F>)
& (<A, B, C, D, E, F, G>(
World,
Component<A>,
Component<B>,
Component<C>,
Component<D>,
Component<E>,
Component<F>,
Component<G>
) -> Query<A, B, C, D, E, F, G>)
& (<A, B, C, D, E, F, G, H>(
World,
Component<A>,
Component<B>,
Component<C>,
Component<D>,
Component<E>,
Component<F>,
Component<G>,
Component<H>,
...Component<any>
) -> Query<A, B, C, D, E, F, G, H>),
} }
export type Record = { export type Record = {
@ -3229,7 +3218,7 @@ local function world_new(DEBUG: boolean?)
return function() return function()
local n = #listeners local n = #listeners
local i = table.find(listeners, fn) local i = table.find(listeners, fn::Listener<any>)
listeners[i] = listeners[n] listeners[i] = listeners[n]
listeners[n] = nil listeners[n] = nil
end end