/// <amd-module name="nova_ecs/arg_types" />
import { Either } from "fp-ts/Either";
import { Component, ComponentData, UnknownComponent } from "./component";
import { Entity } from "./entity";
import { EntityMap } from "./entity_map";
import { EcsEvent, EventData } from "./events";
import { ArgModifier, ArgModifierResult } from "./arg_modifier";
import { Query } from "./query";
import { Resource, ResourceData } from "./resource";
import { World } from "./world";
export declare const Entities: Resource<EntityMap>;
export declare const Components: unique symbol;
export declare type ComponentsObject<T> = T extends typeof Components ? ReadonlyMap<string, UnknownComponent> : never;
export declare const UUID: unique symbol;
export declare type UUIDData<T> = T extends typeof UUID ? string : never;
export declare const GetEntity: unique symbol;
export declare type GetEntityObject<T> = T extends typeof GetEntity ? Entity : never;
export declare const GetArg: unique symbol;
export declare type GetArgFunction = <T extends ArgTypes = ArgTypes>(arg: T) => Either<undefined, ArgData<T>>;
export declare type GetArgSelector<T> = T extends typeof GetArg ? GetArgFunction : never;
export declare const Emit: Resource<EmitFunction>;
export declare const EmitNow: Resource<EmitFunction>;
export declare type EmitFunction = <Data>(event: EcsEvent<Data, any>, data: Data, entities?: (string | Entity)[]) => void;
export declare const GetWorld: Resource<World>;
export declare const RunQuery: Resource<RunQueryFunction>;
export declare type RunQueryFunction = <T extends readonly ArgTypes[] = ArgTypes[]>(query: Query<T>, uuid?: string) => ArgsToData<T>[];
export declare type ArgTypes = Component<any> | Query | Resource<any> | EcsEvent<any, any> | typeof Components | typeof UUID | typeof GetEntity | typeof GetArg | ArgModifier<readonly ArgTypes[], any>;
declare type AllowUndefined<T> = T extends undefined ? T : never;
export declare type ArgData<T> = ComponentData<T> | ResourceData<T> | QueryResults<T> | EventData<T> | ComponentsObject<T> | UUIDData<T> | GetEntityObject<T> | GetArgSelector<T> | ArgModifierResult<T> | AllowUndefined<T>;
export declare type ArgsToData<Args> = {
    [K in keyof Args]: ArgData<Args[K]>;
};
export declare type QueryArgs<Q> = Q extends Query<infer QueryArgs> ? QueryArgs : never;
export declare type QueryResults<Q> = Q extends Query<infer QueryArgs> ? ArgsToData<QueryArgs>[] : never;
export declare type ComponentsOnly<C> = C extends Component<any> ? C : never;
export {};