@mkja/o-data 0.0.1

package/dist/types.d.ts

@@ -0,0 +1,155 @@
+import type { Schema, EntityType, ODataType, NavigationType, PrimitiveName, ComplexTypeDefinition } from './schema';
+export type EntityTypeNameFromEntitySet<S extends Schema<S>, ES extends keyof S['entitysets']> = S['entitysets'][ES]['entitytype'];
+export type EntityTypeFromEntitySet<S extends Schema<S>, ES extends keyof S['entitysets']> = S['entitytypes'][EntityTypeNameFromEntitySet<S, ES>];
+export type FlattenEntityType<S extends Schema<S>, ET extends keyof S['entitytypes'], Visited extends string = never> = ET extends Visited ? never : S['entitytypes'][ET] extends {
+    baseType?: infer Base;
+    properties: infer Props;
+} ? Base extends keyof S['entitytypes'] & string ? {
+    baseType?: Base;
+    properties: FlattenEntityType<S, Base, Visited | Extract<ET, string>>['properties'] & Props;
+} : S['entitytypes'][ET] : S['entitytypes'][ET];
+export type EntitySetsForEntityType<S extends Schema<S>, ET extends keyof S['entitytypes']> = Extract<{
+    [ES in keyof S['entitysets']]: S['entitysets'][ES]['entitytype'] extends ET ? ES : never;
+}[keyof S['entitysets']], string>;
+export type ExtractProperties<ET extends {
+    properties: Record<string, any>;
+}> = {
+    [K in keyof ET['properties'] as ET['properties'][K] extends NavigationType<any> ? never : K]: ET['properties'][K];
+};
+export type ExtractNavigations<ET extends EntityType<any, any, any>> = {
+    [K in keyof ET['properties'] as ET['properties'][K] extends NavigationType<any> ? K : never]: ET['properties'][K] extends NavigationType<infer Target> ? {
+        target: Target;
+        collection: ET['properties'][K] extends {
+            collection: true;
+        } ? true : false;
+    } : never;
+};
+type PrimitiveToTS<P extends PrimitiveName> = P extends 'Edm.Boolean' ? boolean : P extends 'Edm.String' | 'Edm.Guid' | 'Edm.Duration' | 'Edm.TimeOfDay' ? string : P extends 'Edm.Binary' ? string : P extends 'Edm.Date' | 'Edm.DateTimeOffset' ? Date : P extends 'Edm.Byte' | 'Edm.Int16' | 'Edm.Int32' | 'Edm.Int64' | 'Edm.SByte' | 'Edm.Single' | 'Edm.Double' | 'Edm.Decimal' ? number : P extends 'Edm.Stream' | 'Edm.Untyped' | 'Edm.Geography' | 'Edm.GeographyPoint' | 'Edm.GeographyLineString' | 'Edm.GeographyPolygon' | 'Edm.GeographyMultiPoint' | 'Edm.GeographyMultiLineString' | 'Edm.GeographyMultiPolygon' | 'Edm.GeographyCollection' | 'Edm.Geometry' | 'Edm.GeometryPoint' | 'Edm.GeometryLineString' | 'Edm.GeometryPolygon' | 'Edm.GeometryMultiPoint' | 'Edm.GeometryMultiLineString' | 'Edm.GeometryMultiPolygon' | 'Edm.GeometryCollection' | 'Edm.ModelElementPath' | 'Edm.AnyPropertyPath' ? any : never;
+type EnumToTS<Target extends string, S extends Schema<S>> = Target extends keyof NonNullable<S['enumtypes']> ? NonNullable<S['enumtypes']>[Target] extends {
+    members: infer Members;
+} ? Members extends Record<string, any> ? keyof Members : never : never : never;
+type ComplexTypeToTS<Target extends string, S extends Schema<S>, Visited extends string = never> = Target extends Visited ? never : Target extends keyof NonNullable<S['complextypes']> ? NonNullable<S['complextypes']>[Target] extends ComplexTypeDefinition<any, any, any> ? {
+    readonly [K in keyof NonNullable<S['complextypes']>[Target]]: ODataTypeToTS<NonNullable<S['complextypes']>[Target][K], S, Visited | Target>;
+} : never : any;
+export type ODataTypeToTS<T extends ODataType<any, any, any>, S extends Schema<S>, Visited extends string = never> = T extends {
+    collection: true;
+} ? T extends {
+    type: 'enum';
+    target: infer Target;
+} ? Target extends string ? Array<'nullable' extends keyof T ? T['nullable'] extends false ? EnumToTS<Target, S> : EnumToTS<Target, S> | null : EnumToTS<Target, S> | null> : never : T extends {
+    type: 'complex';
+    target: infer Target;
+} ? Target extends string ? Array<'nullable' extends keyof T ? T['nullable'] extends false ? ComplexTypeToTS<Target, S, Visited> : ComplexTypeToTS<Target, S, Visited> | null : ComplexTypeToTS<Target, S, Visited> | null> : never : T extends {
+    type: infer P;
+} ? P extends PrimitiveName ? Array<'nullable' extends keyof T ? T['nullable'] extends false ? PrimitiveToTS<P> : PrimitiveToTS<P> | null : PrimitiveToTS<P> | null> : never : never : T extends {
+    type: 'enum';
+    target: infer Target;
+} ? Target extends string ? 'nullable' extends keyof T ? T['nullable'] extends false ? EnumToTS<Target, S> : EnumToTS<Target, S> | null : EnumToTS<Target, S> | null : never : T extends {
+    type: 'complex';
+    target: infer Target;
+} ? Target extends string ? 'nullable' extends keyof T ? T['nullable'] extends false ? ComplexTypeToTS<Target, S, Visited> : ComplexTypeToTS<Target, S, Visited> | null : ComplexTypeToTS<Target, S, Visited> | null : never : T extends {
+    type: infer P;
+} ? P extends PrimitiveName ? 'nullable' extends keyof T ? T['nullable'] extends false ? PrimitiveToTS<P> : PrimitiveToTS<P> | null : PrimitiveToTS<P> | null : never : never;
+type MapPropertiesToTS<Props extends Record<string, ODataType<any, any, any>>, S extends Schema<S>> = {
+    readonly [K in keyof Props]: ODataTypeToTS<Props[K], S>;
+};
+export type QueryableEntity = {
+    readonly properties: {
+        readonly [key: string]: any;
+    };
+    readonly navigations: {
+        readonly [key: string]: {
+            target: any;
+            targetEntitysetKey: string | string[];
+            collection: boolean;
+        };
+    };
+};
+export type EntitySetToQueryableEntity<S extends Schema<S>, ES extends keyof S['entitysets']> = {
+    readonly properties: MapPropertiesToTS<ExtractProperties<FlattenEntityType<S, EntityTypeNameFromEntitySet<S, ES>> extends infer Flattened ? Flattened extends {
+        properties: Record<string, any>;
+    } ? Flattened : {
+        properties: Record<string, never>;
+    } : {
+        properties: Record<string, never>;
+    }>, S>;
+    readonly navigations: {
+        readonly [K in keyof ExtractNavigations<FlattenEntityType<S, EntityTypeNameFromEntitySet<S, ES>> extends infer Flattened ? Flattened extends {
+            properties: Record<string, any>;
+        } ? Flattened : {
+            properties: Record<string, never>;
+        } : {
+            properties: Record<string, never>;
+        }>]: ExtractNavigations<FlattenEntityType<S, EntityTypeNameFromEntitySet<S, ES>> extends infer Flattened ? Flattened extends {
+            properties: Record<string, any>;
+        } ? Flattened : {
+            properties: Record<string, never>;
+        } : {
+            properties: Record<string, never>;
+        }>[K] extends {
+            target: infer Target;
+            collection: infer C;
+        } ? Target extends keyof S['entitytypes'] ? EntitySetsForEntityType<S, Target> extends infer EntitySetKey ? EntitySetKey extends string ? {
+            readonly target: EntitySetToQueryableEntity<S, EntitySetKey>;
+            readonly targetEntitysetKey: EntitySetKey;
+            readonly collection: C extends true ? true : C extends false ? false : boolean;
+        } : {
+            readonly target: any;
+            readonly targetEntitysetKey: string | string[];
+            readonly collection: boolean;
+        } : {
+            readonly target: any;
+            readonly targetEntitysetKey: string | string[];
+            readonly collection: boolean;
+        } : {
+            readonly target: any;
+            readonly targetEntitysetKey: string | string[];
+            readonly collection: boolean;
+        } : never;
+    };
+};
+export type BoundOperationsForEntity<Ops extends Record<string, any>, Target extends string, Scope extends 'entity' | 'collection'> = {
+    [K in keyof Ops]: Ops[K] extends {
+        type: 'bound';
+        target: infer T;
+        collection: infer C;
+    } ? T extends Target ? C extends boolean ? C extends false ? Scope extends 'entity' ? Ops[K] : never : Scope extends 'collection' ? Ops[K] : never : never : never : never;
+};
+export type BoundOperationKeys<Ops extends Record<string, any>, Target extends string, Scope extends 'entity' | 'collection'> = keyof BoundOperationsForEntity<Ops, Target, Scope>;
+export type UnboundActionKeys<S extends Schema<S>> = {
+    [K in keyof NonNullable<S['actions']>]: NonNullable<S['actions']>[K] extends {
+        type: 'unbound';
+    } ? K : never;
+}[keyof NonNullable<S['actions']>];
+export type UnboundFunctionKeys<S extends Schema<S>> = {
+    [K in keyof NonNullable<S['functions']>]: NonNullable<S['functions']>[K] extends {
+        type: 'unbound';
+    } ? K : never;
+}[keyof NonNullable<S['functions']>];
+export type ImportedActionKeys<S extends Schema<S>> = S['actionImports'] extends Record<string, any> ? Extract<keyof S['actionImports'], string> : never;
+export type ImportedFunctionKeys<S extends Schema<S>> = S['functionImports'] extends Record<string, any> ? Extract<keyof S['functionImports'], string> : never;
+export type ResolveActionFromImport<S extends Schema<S>, ImportName extends string> = ImportName extends keyof NonNullable<S['actionImports']> ? NonNullable<S['actionImports']>[ImportName] extends {
+    action: infer A;
+} ? A extends string ? A : never : never : never;
+export type ResolveFunctionFromImport<S extends Schema<S>, ImportName extends string> = ImportName extends keyof NonNullable<S['functionImports']> ? NonNullable<S['functionImports']>[ImportName] extends {
+    function: infer F;
+} ? F extends string ? F : never : never : never;
+export type BoundActionKeysForEntitySet<S extends Schema<S>, ES extends keyof S['entitysets'], Scope extends 'entity' | 'collection'> = {
+    [K in keyof NonNullable<S['actions']>]: NonNullable<S['actions']>[K] extends {
+        type: 'bound';
+        target: EntityTypeNameFromEntitySet<S, ES>;
+        collection: Scope extends 'collection' ? true : false;
+    } ? K : never;
+}[keyof NonNullable<S['actions']>];
+export type BoundFunctionKeysForEntitySet<S extends Schema<S>, ES extends keyof S['entitysets'], Scope extends 'entity' | 'collection'> = {
+    [K in keyof NonNullable<S['functions']>]: NonNullable<S['functions']>[K] extends {
+        type: 'bound';
+        target: EntityTypeNameFromEntitySet<S, ES>;
+        collection: Scope extends 'collection' ? true : false;
+    } ? K : never;
+}[keyof NonNullable<S['functions']>];
+export type IsNever<T> = [T] extends [never] ? true : false;
+export type NonNeverKeys<T extends Record<string, any>> = {
+    [K in keyof T]: IsNever<T[K]> extends true ? never : K;
+}[keyof T];
+export {};

package/dist/types.js

@@ -0,0 +1,3 @@
+// ============================================================================
+// Type-Level Navigation Helpers
+// ============================================================================

package/package.json

@@ -0,0 +1,34 @@
+{
+  "name": "@mkja/o-data",
+  "version": "0.0.1",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/m-kj-aldrin/o-data"
+  },
+  "files": [
+    "dist",
+    "README.md"
+  ],
+  "type": "module",
+  "main": "dist/index.js",
+  "module": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "exports": {
+    ".": "./dist/index.js",
+    "./parser": "./dist/parser/config.js",
+    "./schema": "./dist/schema.js"
+  },
+  "bin": {
+    "o-data": "dist/cli.js"
+  },
+  "scripts": {
+    "build": "bun x tsc -p tsconfig.build.json"
+  },
+  "devDependencies": {
+    "@types/bun": "latest",
+    "typescript": "^5.0.0"
+  },
+  "dependencies": {
+    "fast-xml-parser": "^5.3.2"
+  }
+}