import { Collection, Vertex } from "../vertex.js";
import { AvailableLocation, Coalesced, EdgeBase, EdgeMultiplicity, EdgeWrapper, GroupWithExclude, Plain, ThreadMessage, Wrapped } from "../edges.js";
import { DeepPartial, MakeMixed } from "../util.js";
import { Decrement, EXPAND_KEY, InvalidEdgeMessage, MaxDepth, MinDepth, PickEdges, RemoveNeverValues, SELECT_KEY, SupportedDepths } from "../common.js";
import { AllKeysOf } from "../keys-of.js";
import { FLATTEN_KEY, _Flatten } from "./util.js";

//#region src/core/interfaces/vertices/util/vertex-query/index.d.ts
declare namespace HandleEdge {
  type Plain<E extends EdgeBase<any, any>, D extends SupportedDepths> = E extends Plain.Edge<infer U> ? _VertexQuery<U, D> : never;
  type Wrapped<E extends EdgeBase<any, any>, D extends SupportedDepths> = E extends Wrapped.Edge<infer K extends string, infer V extends Vertex<Collection>, object> ? ({
    [FLATTEN_KEY]: true;
  } & { [k in K]: V extends any ? _VertexQuery<V, D> : never }) : never;
  type Coalesced<E extends EdgeBase<any, any>, D extends SupportedDepths> = (E extends Coalesced.Edge<infer V, any, object> ? V : null) extends (infer V extends Vertex<Collection>) ? {
    [FLATTEN_KEY]: true;
    [Coalesced.Util.Keys.TO]: MakeMixed< // must mix here to support all different vertex types
    V extends any ? _VertexQuery<V, D> : never>;
  } : never;
  type GroupWithExclude<E extends EdgeBase<any, any>, D extends SupportedDepths> = E extends GroupWithExclude.Edge<infer G extends Vertex<Collection>, infer P extends Vertex<Collection>, object> ? {
    [FLATTEN_KEY]: true;
    [GroupWithExclude.Util.Keys.TO]: G extends any ? _VertexQuery<G, D> : never;
    [GroupWithExclude.Util.Keys.EXCLUDE]: P extends any ? _VertexQuery<P, D> : never;
  } : never;
  type AvailableLocation<E extends EdgeBase<any, any>, D extends SupportedDepths> = E extends AvailableLocation.Edge<infer L extends Vertex<Collection>, object> ? {
    [FLATTEN_KEY]: true;
    [AvailableLocation.Util.Keys.LOCATIONS]: L extends any ? _VertexQuery<L, D> : never;
  } : never;
  type ThreadMessage<E extends EdgeBase<any, any>, D extends SupportedDepths> = E extends ThreadMessage.Edge<infer U extends Vertex<Collection>, infer T extends Vertex<Collection>, object> ? {
    [FLATTEN_KEY]: true;
    [ThreadMessage.Util.Keys.USER]: U extends any ? _VertexQuery<U, D> : never;
    [ThreadMessage.Util.Keys.TAGGED_PERSONS]: T extends any ? _VertexQuery<T, D> : never;
  } : never;
}
/**
 *
 */
type _VertexQuery<V extends Vertex<Collection>, D extends SupportedDepths> = D extends MinDepth ? {
  [SELECT_KEY]: Array<AllKeysOf<V>>;
} : {
  [EXPAND_KEY]: { [K in keyof PickEdges<V> as V[K] extends never ? K : never]: InvalidEdgeMessage } & _Flatten<RemoveNeverValues<{ [K in keyof PickEdges<V> as V[K] extends never ? never : K]-?: NonNullable<V[K]> extends EdgeWrapper<EdgeMultiplicity, infer E extends EdgeBase<any, any> | null | undefined> ? (HandleEdge.Plain<NonNullable<E>, Decrement<D>> | HandleEdge.Wrapped<NonNullable<E>, Decrement<D>> | HandleEdge.Coalesced<NonNullable<E>, Decrement<D>> | HandleEdge.GroupWithExclude<NonNullable<E>, Decrement<D>> | HandleEdge.AvailableLocation<NonNullable<E>, Decrement<D>> | HandleEdge.ThreadMessage<NonNullable<E>, Decrement<D>>) : never }>>;
} & {
  [SELECT_KEY]: Array<AllKeysOf<V>>;
};
/**
 *
 */
type VertexQuery<V extends Vertex<Collection>> = DeepPartial<_VertexQuery<V, MaxDepth>>;
//#endregion
export { VertexQuery };
//# sourceMappingURL=index.d.ts.map