@party-stack/ontology 0.2.0 → 0.4.0

package/lib/index.js

@@ -1,6 +1,7 @@
 export * from "./ir/index.js";
+export * from "./infer.js";
 export * from "./live/index.js";
 export * from "./OntologyConfig.js";
 export * from "./meta/pull.js";
-export { createMetaLiveOntology } from "./ontology/generated/live.js";
+export { createMetaLiveOntology } from "./meta/generated/live.js";
 //# sourceMappingURL=index.js.map

package/lib/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,iBAAiB,CAAC;AAChC,cAAc,qBAAqB,CAAC;AACpC,cAAc,gBAAgB,CAAC;AAQ/B,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,qBAAqB,CAAC;AAEpC,cAAc,gBAAgB,CAAC;AAS/B,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC"}

package/lib/infer.d.ts

@@ -0,0 +1,231 @@
+import type { NamedTypeDef, OntologyIR, TypeDef } from "./ir/generated/types.js";
+import type { OntologyDefinition } from "./live/LiveOntology.js";
+import type { ActionTypeName, ActionTypes, ArrayElement, NamedTypes, ObjectTypeName, ObjectTypes, QueryFunctionTypeName, QueryFunctionTypes } from "./utils/typeNames.js";
+import type { attachment, date, double, float, geopoint, integer, Result, timestamp } from "./utils/values.js";
+export type ReadonlyDeep<T> = T extends (...args: never[]) => unknown ? T : T extends readonly (infer Element)[] ? readonly ReadonlyDeep<Element>[] : T extends object ? {
+    readonly [K in keyof T]: ReadonlyDeep<T[K]>;
+} : T;
+export type MutableDeep<T> = T extends (...args: never[]) => unknown ? T : T extends readonly (infer Element)[] ? Array<MutableDeep<Element>> : T extends object ? {
+    -readonly [K in keyof T]: MutableDeep<T[K]>;
+} : T;
+type FlattenObject<T> = {
+    [K in keyof T]: T[K];
+} & {};
+type TypeKind<Type> = Type extends {
+    readonly kind: infer Kind extends string;
+} ? Kind : never;
+type TypeValue<Type> = Type extends {
+    readonly value: infer Value;
+} ? Value : never;
+type NamedTypeByName<Ontology, Name extends PropertyKey> = Extract<NamedTypes<Ontology>, {
+    readonly name: Name;
+}>;
+type ObjectTypeByName<Ontology, Name extends PropertyKey> = Extract<ObjectTypes<Ontology>, {
+    readonly name: Name;
+}>;
+type ActionTypeByName<Ontology, Name extends PropertyKey> = Extract<ActionTypes<Ontology>, {
+    readonly name: Name;
+}>;
+type QueryFunctionTypeByName<Ontology, Name extends PropertyKey> = Extract<QueryFunctionTypes<Ontology>, {
+    readonly name: Name;
+}>;
+type ObjectTypeProperties<ObjectType> = ObjectType extends {
+    readonly properties: infer Properties;
+} ? Properties : never;
+type InferString<Value> = Value extends {
+    readonly constraint?: infer Constraint;
+} ? NonNullable<Constraint> extends {
+    readonly kind: "enum";
+    readonly value: {
+        readonly options: infer Options;
+    };
+} ? ArrayElement<Options> extends {
+    readonly value: infer OptionValue extends string;
+} ? OptionValue : never : string : string;
+type StructField<Fields> = ArrayElement<Fields>;
+type FieldName<Field> = Field extends {
+    readonly name: infer Name extends PropertyKey;
+} ? Name : never;
+type FieldByName<Fields, Name extends PropertyKey> = Extract<StructField<Fields>, {
+    readonly name: Name;
+}>;
+type FieldType<Fields, Name extends PropertyKey> = FieldByName<Fields, Name> extends {
+    readonly type: infer Type;
+} ? Type : never;
+type RequiredFieldNames<Fields> = StructField<Fields> extends infer Field ? Field extends {
+    readonly type: infer Type;
+} ? Type extends {
+    readonly kind: "optional";
+} ? never : FieldName<Field> : never : never;
+type OptionalFieldNames<Fields> = StructField<Fields> extends infer Field ? Field extends {
+    readonly type: infer Type;
+} ? Type extends {
+    readonly kind: "optional";
+} ? FieldName<Field> : never : never : never;
+type InferStructFields<Fields, Ontology> = StructField<Fields> extends never ? Record<never, never> : FlattenObject<{
+    [Name in RequiredFieldNames<Fields>]: InferType<FieldType<Fields, Name>, Ontology>;
+} & {
+    [Name in OptionalFieldNames<Fields>]?: TypeValue<FieldType<Fields, Name>> extends {
+        readonly type: infer Inner;
+    } ? InferType<Inner, Ontology> : never;
+}>;
+type InferUnionVariant<Variant, Ontology> = Variant extends {
+    readonly name: infer Name extends string;
+    readonly type: infer Type;
+} ? {
+    kind: Name;
+    value: InferType<Type, Ontology>;
+} : never;
+type ObjectPrimaryKey<ObjectType> = ObjectType extends {
+    readonly primaryKey: infer PrimaryKey extends PropertyKey;
+} ? PrimaryKey : never;
+type InferObjectReference<Value, Ontology> = Value extends {
+    readonly objectType: infer Name extends PropertyKey;
+} ? InferType<FieldType<ObjectTypeProperties<ObjectTypeByName<Ontology, Name>>, ObjectPrimaryKey<ObjectTypeByName<Ontology, Name>>>, Ontology> : never;
+type InferByKind<Type, Ontology> = {
+    string: InferString<TypeValue<Type>>;
+    boolean: boolean;
+    integer: integer;
+    float: float;
+    double: double;
+    date: date;
+    timestamp: timestamp;
+    geopoint: geopoint;
+    attachment: attachment;
+    objectReference: InferObjectReference<TypeValue<Type>, Ontology>;
+    unknown: unknown;
+    list: TypeValue<Type> extends {
+        readonly elementType: infer ElementType;
+    } ? Array<InferType<ElementType, Ontology>> : never;
+    map: TypeValue<Type> extends {
+        readonly valueType: infer ValueType;
+    } ? Record<string, InferType<ValueType, Ontology>> : never;
+    struct: TypeValue<Type> extends {
+        readonly fields: infer Fields;
+    } ? InferStructFields<Fields, Ontology> : never;
+    union: TypeValue<Type> extends {
+        readonly variants: infer Variants;
+    } ? InferUnionVariant<ArrayElement<Variants>, Ontology> : never;
+    optional: TypeValue<Type> extends {
+        readonly type: infer Inner;
+    } ? InferType<Inner, Ontology> | undefined : never;
+    result: TypeValue<Type> extends {
+        readonly okType: infer OkType;
+        readonly errType: infer ErrType;
+    } ? Result<InferType<OkType, Ontology>, InferType<ErrType, Ontology>> : never;
+    ref: TypeValue<Type> extends {
+        readonly name: infer Name extends PropertyKey;
+    } ? InferNamedTypeByName<Ontology, Name> : never;
+};
+export type InferType<Type, Ontology = never> = TypeKind<Type> extends keyof InferByKind<Type, Ontology> ? InferByKind<Type, Ontology>[TypeKind<Type>] : never;
+type InferNamedTypeByName<Ontology, Name extends PropertyKey> = NamedTypeByName<Ontology, Name> extends {
+    readonly type: infer Type;
+} ? InferType<Type, Ontology> : ObjectTypeByName<Ontology, Name> extends {
+    readonly properties: infer Properties;
+} ? InferStructFields<Properties, Ontology> : never;
+export type InferNamedType<Type, Ontology = never> = Type extends {
+    readonly type: infer TypeDef;
+} ? InferType<TypeDef, Ontology> : never;
+type InferObjectType<ObjectType, Ontology> = ObjectType extends {
+    readonly properties: infer Properties;
+} ? InferStructFields<Properties, Ontology> : never;
+type ActionParameters<ActionType> = ActionType extends {
+    readonly parameters: infer Parameters;
+} ? Parameters : never;
+type ActionParameter<Parameters> = ArrayElement<Parameters>;
+type ActionParameterName<Parameter> = Parameter extends {
+    readonly name: infer Name extends PropertyKey;
+} ? Name : never;
+type ActionParameterByName<Parameters, Name extends PropertyKey> = Extract<ActionParameter<Parameters>, {
+    readonly name: Name;
+}>;
+type ActionParameterType<Parameters, Name extends PropertyKey> = ActionParameterByName<Parameters, Name> extends {
+    readonly type: infer Type;
+} ? Type : never;
+type RequiredActionParameterNames<Parameters> = ActionParameter<Parameters> extends infer Parameter ? Parameter extends {
+    readonly type: infer Type;
+} ? Type extends {
+    readonly kind: "optional";
+} ? never : Parameter extends {
+    readonly defaultValue: unknown;
+} ? never : ActionParameterName<Parameter> : never : never;
+type OptionalActionParameterNames<Parameters> = ActionParameter<Parameters> extends infer Parameter ? Parameter extends {
+    readonly type: infer Type;
+} ? Type extends {
+    readonly kind: "optional";
+} ? ActionParameterName<Parameter> : Parameter extends {
+    readonly defaultValue: unknown;
+} ? ActionParameterName<Parameter> : never : never : never;
+type InferActionParameter<Parameters, Name extends PropertyKey, Ontology> = ActionParameterType<Parameters, Name> extends infer Type ? Type extends {
+    readonly kind: "optional";
+    readonly value: {
+        readonly type: infer Inner;
+    };
+} ? InferType<Inner, Ontology> | null : InferType<Type, Ontology> : never;
+type InferActionParameters<Parameters, Ontology> = ActionParameter<Parameters> extends never ? Record<never, never> : FlattenObject<{
+    [Name in RequiredActionParameterNames<Parameters>]: InferActionParameter<Parameters, Name, Ontology>;
+} & {
+    [Name in OptionalActionParameterNames<Parameters>]?: InferActionParameter<Parameters, Name, Ontology>;
+}>;
+type QueryParameters<QueryFunctionType> = QueryFunctionType extends {
+    readonly parameters: infer Parameters;
+} ? Parameters : never;
+type QueryReturnType<QueryFunctionType> = QueryFunctionType extends {
+    readonly returnType: infer ReturnType;
+} ? ReturnType : never;
+type QueryParameter<Parameters> = ArrayElement<Parameters>;
+type QueryParameterName<Parameter> = Parameter extends {
+    readonly name: infer Name extends PropertyKey;
+} ? Name : never;
+type QueryParameterByName<Parameters, Name extends PropertyKey> = Extract<QueryParameter<Parameters>, {
+    readonly name: Name;
+}>;
+type QueryParameterType<Parameters, Name extends PropertyKey> = QueryParameterByName<Parameters, Name> extends {
+    readonly type: infer Type;
+} ? Type : never;
+type RequiredQueryParameterNames<Parameters> = QueryParameter<Parameters> extends infer Parameter ? Parameter extends {
+    readonly type: infer Type;
+} ? Type extends {
+    readonly kind: "optional";
+} ? never : QueryParameterName<Parameter> : never : never;
+type OptionalQueryParameterNames<Parameters> = QueryParameter<Parameters> extends infer Parameter ? Parameter extends {
+    readonly type: infer Type;
+} ? Type extends {
+    readonly kind: "optional";
+} ? QueryParameterName<Parameter> : never : never : never;
+type InferQueryParameter<Parameters, Name extends PropertyKey, Ontology> = QueryParameterType<Parameters, Name> extends infer Type ? Type extends {
+    readonly kind: "optional";
+    readonly value: {
+        readonly type: infer Inner;
+    };
+} ? InferType<Inner, Ontology> : InferType<Type, Ontology> : never;
+type InferQueryParameters<Parameters, Ontology> = QueryParameter<Parameters> extends never ? Record<never, never> : FlattenObject<{
+    [Name in RequiredQueryParameterNames<Parameters>]: InferQueryParameter<Parameters, Name, Ontology>;
+} & {
+    [Name in OptionalQueryParameterNames<Parameters>]?: InferQueryParameter<Parameters, Name, Ontology>;
+}>;
+export type InferOntology<Ontology> = {
+    objectTypes: {
+        [Name in ObjectTypeName<Ontology>]: InferObjectType<ObjectTypeByName<Ontology, Name>, Ontology>;
+    };
+    actionTypes: {
+        [Name in ActionTypeName<Ontology>]: {
+            parameters: InferActionParameters<ActionParameters<ActionTypeByName<Ontology, Name>>, Ontology>;
+        };
+    };
+    queryFunctionTypes: {
+        [Name in QueryFunctionTypeName<Ontology>]: {
+            parameters: InferQueryParameters<QueryParameters<QueryFunctionTypeByName<Ontology, Name>>, Ontology>;
+            returnType: InferType<QueryReturnType<QueryFunctionTypeByName<Ontology, Name>>, Ontology>;
+        };
+    };
+} & OntologyDefinition;
+export type ConstOntologyIR = ReadonlyDeep<OntologyIR>;
+export type ConstTypeDef = ReadonlyDeep<TypeDef>;
+export type ConstNamedTypeDef = ReadonlyDeep<NamedTypeDef>;
+export type Infer<Input extends ConstOntologyIR | ConstNamedTypeDef | ConstTypeDef, Ontology extends ConstOntologyIR = Extract<Input, ConstOntologyIR>> = Input extends ConstOntologyIR ? InferOntology<Input> : Input extends ConstNamedTypeDef ? InferNamedType<Input, Ontology> : Input extends ConstTypeDef ? InferType<Input, Ontology> : never;
+export declare function defineOntology<const Ontology extends ConstOntologyIR>(ontology: Ontology): MutableDeep<Ontology>;
+export declare function defineType<const Type extends ConstTypeDef>(type: Type): MutableDeep<Type>;
+export declare function defineNamedType<const Type extends ConstNamedTypeDef>(type: Type): MutableDeep<Type>;
+export {};
+//# sourceMappingURL=infer.d.ts.map

package/lib/infer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"infer.d.ts","sourceRoot":"","sources":["../src/infer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AACjF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,KAAK,EACR,cAAc,EACd,WAAW,EACX,YAAY,EACZ,UAAU,EACV,cAAc,EACd,WAAW,EACX,qBAAqB,EACrB,kBAAkB,EACrB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EACR,UAAU,EACV,IAAI,EACJ,MAAM,EACN,KAAK,EACL,QAAQ,EACR,OAAO,EACP,MAAM,EACN,SAAS,EACZ,MAAM,mBAAmB,CAAC;AAE3B,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,OAAO,GAC/D,CAAC,GACD,CAAC,SAAS,SAAS,CAAC,MAAM,OAAO,CAAC,EAAE,GAClC,SAAS,YAAY,CAAC,OAAO,CAAC,EAAE,GAChC,CAAC,SAAS,MAAM,GACd;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAC/C,CAAC,CAAC;AAEZ,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,OAAO,GAC9D,CAAC,GACD,CAAC,SAAS,SAAS,CAAC,MAAM,OAAO,CAAC,EAAE,GAClC,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,GAC3B,CAAC,SAAS,MAAM,GACd;IAAE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAC/C,CAAC,CAAC;AAEZ,KAAK,aAAa,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,CAAC;AAEtD,KAAK,QAAQ,CAAC,IAAI,IAAI,IAAI,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,SAAS,MAAM,CAAA;CAAE,GAAG,IAAI,GAAG,KAAK,CAAC;AAE/F,KAAK,SAAS,CAAC,IAAI,IAAI,IAAI,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,KAAK,CAAA;CAAE,GAAG,KAAK,GAAG,KAAK,CAAC;AAEpF,KAAK,eAAe,CAAC,QAAQ,EAAE,IAAI,SAAS,WAAW,IAAI,OAAO,CAC9D,UAAU,CAAC,QAAQ,CAAC,EACpB;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAC1B,CAAC;AAEF,KAAK,gBAAgB,CAAC,QAAQ,EAAE,IAAI,SAAS,WAAW,IAAI,OAAO,CAC/D,WAAW,CAAC,QAAQ,CAAC,EACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAC1B,CAAC;AAEF,KAAK,gBAAgB,CAAC,QAAQ,EAAE,IAAI,SAAS,WAAW,IAAI,OAAO,CAC/D,WAAW,CAAC,QAAQ,CAAC,EACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAC1B,CAAC;AAEF,KAAK,uBAAuB,CAAC,QAAQ,EAAE,IAAI,SAAS,WAAW,IAAI,OAAO,CACtE,kBAAkB,CAAC,QAAQ,CAAC,EAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAC1B,CAAC;AAEF,KAAK,oBAAoB,CAAC,UAAU,IAAI,UAAU,SAAS;IAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,UAAU,CAAA;CAAE,GAC9F,UAAU,GACV,KAAK,CAAC;AAEZ,KAAK,WAAW,CAAC,KAAK,IAAI,KAAK,SAAS;IAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,UAAU,CAAA;CAAE,GAC5E,WAAW,CAAC,UAAU,CAAC,SAAS;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,OAAO,CAAA;KAAE,CAAC;CACvD,GACG,YAAY,CAAC,OAAO,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,WAAW,SAAS,MAAM,CAAA;CAAE,GAC9E,WAAW,GACX,KAAK,GACT,MAAM,GACV,MAAM,CAAC;AAEb,KAAK,WAAW,CAAC,MAAM,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;AAEhD,KAAK,SAAS,CAAC,KAAK,IAAI,KAAK,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,SAAS,WAAW,CAAA;CAAE,GAAG,IAAI,GAAG,KAAK,CAAC;AAEvG,KAAK,WAAW,CAAC,MAAM,EAAE,IAAI,SAAS,WAAW,IAAI,OAAO,CACxD,WAAW,CAAC,MAAM,CAAC,EACnB;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAC1B,CAAC;AAEF,KAAK,SAAS,CAAC,MAAM,EAAE,IAAI,SAAS,WAAW,IAC3C,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAA;CAAE,GAAG,IAAI,GAAG,KAAK,CAAC;AAEnF,KAAK,kBAAkB,CAAC,MAAM,IAC1B,WAAW,CAAC,MAAM,CAAC,SAAS,MAAM,KAAK,GACjC,KAAK,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAA;CAAE,GACvC,IAAI,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACtC,KAAK,GACL,SAAS,CAAC,KAAK,CAAC,GACpB,KAAK,GACT,KAAK,CAAC;AAEhB,KAAK,kBAAkB,CAAC,MAAM,IAC1B,WAAW,CAAC,MAAM,CAAC,SAAS,MAAM,KAAK,GACjC,KAAK,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAA;CAAE,GACvC,IAAI,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACtC,SAAS,CAAC,KAAK,CAAC,GAChB,KAAK,GACT,KAAK,GACT,KAAK,CAAC;AAEhB,KAAK,iBAAiB,CAAC,MAAM,EAAE,QAAQ,IACnC,WAAW,CAAC,MAAM,CAAC,SAAS,KAAK,GAC3B,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GACpB,aAAa,CACT;KACK,IAAI,IAAI,kBAAkB,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,QAAQ,CAAC;CACrF,GAAG;KACC,IAAI,IAAI,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,SAAS;QAC9E,QAAQ,CAAC,IAAI,EAAE,MAAM,KAAK,CAAC;KAC9B,GACK,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,GAC1B,KAAK;CACd,CACJ,CAAC;AAEZ,KAAK,iBAAiB,CAAC,OAAO,EAAE,QAAQ,IAAI,OAAO,SAAS;IACxD,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,SAAS,MAAM,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC;CAC7B,GACK;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;CAAE,GAChD,KAAK,CAAC;AAEZ,KAAK,gBAAgB,CAAC,UAAU,IAAI,UAAU,SAAS;IACnD,QAAQ,CAAC,UAAU,EAAE,MAAM,UAAU,SAAS,WAAW,CAAC;CAC7D,GACK,UAAU,GACV,KAAK,CAAC;AAEZ,KAAK,oBAAoB,CAAC,KAAK,EAAE,QAAQ,IAAI,KAAK,SAAS;IACvD,QAAQ,CAAC,UAAU,EAAE,MAAM,IAAI,SAAS,WAAW,CAAC;CACvD,GACK,SAAS,CAAC,SAAS,CAAC,oBAAoB,CAAC,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,EAAE,gBAAgB,CAAC,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,GAC1I,KAAK,CAAC;AAEZ,KAAK,WAAW,CAAC,IAAI,EAAE,QAAQ,IAAI;IAC/B,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IACrC,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,KAAK,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,IAAI,CAAC;IACX,SAAS,EAAE,SAAS,CAAC;IACrB,QAAQ,EAAE,QAAQ,CAAC;IACnB,UAAU,EAAE,UAAU,CAAC;IACvB,eAAe,EAAE,oBAAoB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;IACjE,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,SAAS;QAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,WAAW,CAAA;KAAE,GACnE,KAAK,CAAC,SAAS,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,GACvC,KAAK,CAAC;IACZ,GAAG,EAAE,SAAS,CAAC,IAAI,CAAC,SAAS;QAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,SAAS,CAAA;KAAE,GAC9D,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,GAC9C,KAAK,CAAC;IACZ,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,SAAS;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,MAAM,CAAA;KAAE,GAAG,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,KAAK,CAAC;IAChH,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,SAAS;QAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,QAAQ,CAAA;KAAE,GAC9D,iBAAiB,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,GACnD,KAAK,CAAC;IACZ,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,KAAK,CAAA;KAAE,GAC1D,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,SAAS,GACtC,KAAK,CAAC;IACZ,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,SAAS;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,OAAO,CAAA;KAAE,GAC5F,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,GACjE,KAAK,CAAC;IACZ,GAAG,EAAE,SAAS,CAAC,IAAI,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,SAAS,WAAW,CAAA;KAAE,GACxE,oBAAoB,CAAC,QAAQ,EAAE,IAAI,CAAC,GACpC,KAAK,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,SAAS,CAAC,IAAI,EAAE,QAAQ,GAAG,KAAK,IACxC,QAAQ,CAAC,IAAI,CAAC,SAAS,MAAM,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,GAClD,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAC3C,KAAK,CAAC;AAEhB,KAAK,oBAAoB,CAAC,QAAQ,EAAE,IAAI,SAAS,WAAW,IACxD,eAAe,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAA;CAAE,GAC/D,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,GACzB,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,UAAU,CAAA;CAAE,GAChF,iBAAiB,CAAC,UAAU,EAAE,QAAQ,CAAC,GACvC,KAAK,CAAC;AAElB,MAAM,MAAM,cAAc,CAAC,IAAI,EAAE,QAAQ,GAAG,KAAK,IAAI,IAAI,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,OAAO,CAAA;CAAE,GAC5F,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,GAC5B,KAAK,CAAC;AAEZ,KAAK,eAAe,CAAC,UAAU,EAAE,QAAQ,IAAI,UAAU,SAAS;IAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,UAAU,CAAA;CAAE,GACnG,iBAAiB,CAAC,UAAU,EAAE,QAAQ,CAAC,GACvC,KAAK,CAAC;AAEZ,KAAK,gBAAgB,CAAC,UAAU,IAAI,UAAU,SAAS;IAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,UAAU,CAAA;CAAE,GAC1F,UAAU,GACV,KAAK,CAAC;AAEZ,KAAK,eAAe,CAAC,UAAU,IAAI,YAAY,CAAC,UAAU,CAAC,CAAC;AAE5D,KAAK,mBAAmB,CAAC,SAAS,IAAI,SAAS,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,SAAS,WAAW,CAAA;CAAE,GACnG,IAAI,GACJ,KAAK,CAAC;AAEZ,KAAK,qBAAqB,CAAC,UAAU,EAAE,IAAI,SAAS,WAAW,IAAI,OAAO,CACtE,eAAe,CAAC,UAAU,CAAC,EAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAC1B,CAAC;AAEF,KAAK,mBAAmB,CAAC,UAAU,EAAE,IAAI,SAAS,WAAW,IACzD,qBAAqB,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAA;CAAE,GAAG,IAAI,GAAG,KAAK,CAAC;AAEjG,KAAK,4BAA4B,CAAC,UAAU,IACxC,eAAe,CAAC,UAAU,CAAC,SAAS,MAAM,SAAS,GAC7C,SAAS,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAA;CAAE,GAC3C,IAAI,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACtC,KAAK,GACL,SAAS,SAAS;IAAE,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAA;CAAE,GAClD,KAAK,GACL,mBAAmB,CAAC,SAAS,CAAC,GACpC,KAAK,GACT,KAAK,CAAC;AAEhB,KAAK,4BAA4B,CAAC,UAAU,IACxC,eAAe,CAAC,UAAU,CAAC,SAAS,MAAM,SAAS,GAC7C,SAAS,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAA;CAAE,GAC3C,IAAI,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACtC,mBAAmB,CAAC,SAAS,CAAC,GAC9B,SAAS,SAAS;IAAE,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAA;CAAE,GAClD,mBAAmB,CAAC,SAAS,CAAC,GAC9B,KAAK,GACX,KAAK,GACT,KAAK,CAAC;AAEhB,KAAK,oBAAoB,CAAC,UAAU,EAAE,IAAI,SAAS,WAAW,EAAE,QAAQ,IACpE,mBAAmB,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,MAAM,IAAI,GAClD,IAAI,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,KAAK,CAAA;KAAE,CAAA;CAAE,GACtF,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,IAAI,GACjC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,GAC7B,KAAK,CAAC;AAEhB,KAAK,qBAAqB,CAAC,UAAU,EAAE,QAAQ,IAC3C,eAAe,CAAC,UAAU,CAAC,SAAS,KAAK,GACnC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GACpB,aAAa,CACT;KACK,IAAI,IAAI,4BAA4B,CAAC,UAAU,CAAC,GAAG,oBAAoB,CACpE,UAAU,EACV,IAAI,EACJ,QAAQ,CACX;CACJ,GAAG;KACC,IAAI,IAAI,4BAA4B,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,oBAAoB,CACrE,UAAU,EACV,IAAI,EACJ,QAAQ,CACX;CACJ,CACJ,CAAC;AAEZ,KAAK,eAAe,CAAC,iBAAiB,IAAI,iBAAiB,SAAS;IAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,UAAU,CAAA;CAAE,GACvG,UAAU,GACV,KAAK,CAAC;AAEZ,KAAK,eAAe,CAAC,iBAAiB,IAAI,iBAAiB,SAAS;IAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,UAAU,CAAA;CAAE,GACvG,UAAU,GACV,KAAK,CAAC;AAEZ,KAAK,cAAc,CAAC,UAAU,IAAI,YAAY,CAAC,UAAU,CAAC,CAAC;AAE3D,KAAK,kBAAkB,CAAC,SAAS,IAAI,SAAS,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,SAAS,WAAW,CAAA;CAAE,GAClG,IAAI,GACJ,KAAK,CAAC;AAEZ,KAAK,oBAAoB,CAAC,UAAU,EAAE,IAAI,SAAS,WAAW,IAAI,OAAO,CACrE,cAAc,CAAC,UAAU,CAAC,EAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAC1B,CAAC;AAEF,KAAK,kBAAkB,CAAC,UAAU,EAAE,IAAI,SAAS,WAAW,IACxD,oBAAoB,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAA;CAAE,GAAG,IAAI,GAAG,KAAK,CAAC;AAEhG,KAAK,2BAA2B,CAAC,UAAU,IACvC,cAAc,CAAC,UAAU,CAAC,SAAS,MAAM,SAAS,GAC5C,SAAS,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAA;CAAE,GAC3C,IAAI,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACtC,KAAK,GACL,kBAAkB,CAAC,SAAS,CAAC,GACjC,KAAK,GACT,KAAK,CAAC;AAEhB,KAAK,2BAA2B,CAAC,UAAU,IACvC,cAAc,CAAC,UAAU,CAAC,SAAS,MAAM,SAAS,GAC5C,SAAS,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAA;CAAE,GAC3C,IAAI,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACtC,kBAAkB,CAAC,SAAS,CAAC,GAC7B,KAAK,GACT,KAAK,GACT,KAAK,CAAC;AAEhB,KAAK,mBAAmB,CAAC,UAAU,EAAE,IAAI,SAAS,WAAW,EAAE,QAAQ,IACnE,kBAAkB,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,MAAM,IAAI,GACjD,IAAI,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,KAAK,CAAA;KAAE,CAAA;CAAE,GACtF,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,GAC1B,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,GAC7B,KAAK,CAAC;AAEhB,KAAK,oBAAoB,CAAC,UAAU,EAAE,QAAQ,IAC1C,cAAc,CAAC,UAAU,CAAC,SAAS,KAAK,GAClC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GACpB,aAAa,CACT;KACK,IAAI,IAAI,2BAA2B,CAAC,UAAU,CAAC,GAAG,mBAAmB,CAClE,UAAU,EACV,IAAI,EACJ,QAAQ,CACX;CACJ,GAAG;KACC,IAAI,IAAI,2BAA2B,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,mBAAmB,CACnE,UAAU,EACV,IAAI,EACJ,QAAQ,CACX;CACJ,CACJ,CAAC;AAEZ,MAAM,MAAM,aAAa,CAAC,QAAQ,IAAI;IAClC,WAAW,EAAE;SACR,IAAI,IAAI,cAAc,CAAC,QAAQ,CAAC,GAAG,eAAe,CAAC,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,QAAQ,CAAC;KAClG,CAAC;IACF,WAAW,EAAE;SACR,IAAI,IAAI,cAAc,CAAC,QAAQ,CAAC,GAAG;YAChC,UAAU,EAAE,qBAAqB,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;SACnG;KACJ,CAAC;IACF,kBAAkB,EAAE;SACf,IAAI,IAAI,qBAAqB,CAAC,QAAQ,CAAC,GAAG;YACvC,UAAU,EAAE,oBAAoB,CAAC,eAAe,CAAC,uBAAuB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YACrG,UAAU,EAAE,SAAS,CAAC,eAAe,CAAC,uBAAuB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;SAC7F;KACJ,CAAC;CACL,GAAG,kBAAkB,CAAC;AAEvB,MAAM,MAAM,eAAe,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;AACvD,MAAM,MAAM,YAAY,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;AACjD,MAAM,MAAM,iBAAiB,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;AAE3D,MAAM,MAAM,KAAK,CACb,KAAK,SAAS,eAAe,GAAG,iBAAiB,GAAG,YAAY,EAChE,QAAQ,SAAS,eAAe,GAAG,OAAO,CAAC,KAAK,EAAE,eAAe,CAAC,IAClE,KAAK,SAAS,eAAe,GAC3B,aAAa,CAAC,KAAK,CAAC,GACpB,KAAK,SAAS,iBAAiB,GAC7B,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,GAC/B,KAAK,SAAS,YAAY,GACxB,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,GAC1B,KAAK,CAAC;AAEhB,wBAAgB,cAAc,CAAC,KAAK,CAAC,QAAQ,SAAS,eAAe,EACjE,QAAQ,EAAE,QAAQ,GACnB,WAAW,CAAC,QAAQ,CAAC,CAEvB;AAED,wBAAgB,UAAU,CAAC,KAAK,CAAC,IAAI,SAAS,YAAY,EAAE,IAAI,EAAE,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAEzF;AAED,wBAAgB,eAAe,CAAC,KAAK,CAAC,IAAI,SAAS,iBAAiB,EAAE,IAAI,EAAE,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAEnG"}

package/lib/infer.js

@@ -0,0 +1,10 @@
+export function defineOntology(ontology) {
+    return ontology;
+}
+export function defineType(type) {
+    return type;
+}
+export function defineNamedType(type) {
+    return type;
+}
+//# sourceMappingURL=infer.js.map

package/lib/infer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"infer.js","sourceRoot":"","sources":["../src/infer.ts"],"names":[],"mappings":"AAyWA,MAAM,UAAU,cAAc,CAC1B,QAAkB;IAElB,OAAO,QAAiC,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,UAAU,CAAkC,IAAU;IAClE,OAAO,IAAyB,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,eAAe,CAAuC,IAAU;IAC5E,OAAO,IAAyB,CAAC;AACrC,CAAC"}

package/lib/infer.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=infer.test.d.ts.map

package/lib/infer.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"infer.test.d.ts","sourceRoot":"","sources":["../src/infer.test.ts"],"names":[],"mappings":""}

package/lib/infer.test.js

@@ -0,0 +1,116 @@
+import { describe, expect, expectTypeOf, it } from "vitest";
+import { defineNamedType, defineOntology, defineType } from "./infer.js";
+import { o } from "./ir/generated/builders.js";
+describe("Infer", () => {
+    const addressType = defineNamedType({
+        name: "Address",
+        type: o.struct({
+            fields: [
+                { name: "city", displayName: "City", type: o.string({}) },
+                {
+                    name: "line2",
+                    displayName: "Line 2",
+                    type: o.optional({ type: o.string({}) }),
+                },
+            ],
+        }),
+    });
+    const ontology = defineOntology({
+        types: [addressType],
+        objectTypes: [
+            {
+                name: "User",
+                displayName: "User",
+                pluralDisplayName: "Users",
+                primaryKey: "userId",
+                properties: [
+                    { name: "userId", displayName: "User ID", type: o.string({}) },
+                    {
+                        name: "status",
+                        displayName: "Status",
+                        type: o.string({
+                            constraint: o.StringConstraint.enum({
+                                options: [{ value: "active" }, { value: "disabled" }],
+                            }),
+                        }),
+                    },
+                    { name: "avatar", displayName: "Avatar", type: o.optional({ type: o.attachment({}) }) },
+                    { name: "address", displayName: "Address", type: o.ref({ name: "Address" }) },
+                ],
+            },
+            {
+                name: "Task",
+                displayName: "Task",
+                pluralDisplayName: "Tasks",
+                primaryKey: "taskId",
+                properties: [
+                    { name: "taskId", displayName: "Task ID", type: o.string({}) },
+                    {
+                        name: "ownerId",
+                        displayName: "Owner ID",
+                        type: o.objectReference({ objectType: "User" }),
+                    },
+                ],
+            },
+        ],
+        linkTypes: [],
+        actionTypes: [
+            {
+                name: "createTask",
+                displayName: "Create Task",
+                parameters: [
+                    {
+                        name: "owner",
+                        displayName: "Owner",
+                        type: o.objectReference({ objectType: "User" }),
+                    },
+                    { name: "title", displayName: "Title", type: o.string({}) },
+                    {
+                        name: "notes",
+                        displayName: "Notes",
+                        type: o.optional({ type: o.string({}) }),
+                    },
+                    {
+                        name: "createdAt",
+                        displayName: "Created At",
+                        type: o.timestamp({}),
+                        defaultValue: o.Expression.functionCall(o.FunctionCallExpression.now({})),
+                    },
+                ],
+                logic: [],
+            },
+        ],
+        queryFunctionTypes: [
+            {
+                name: "searchTasks",
+                displayName: "Search Tasks",
+                parameters: [
+                    { name: "query", displayName: "Query", type: o.string({}) },
+                    {
+                        name: "limit",
+                        displayName: "Limit",
+                        type: o.optional({ type: o.integer({}) }),
+                    },
+                ],
+                returnType: o.list({ elementType: o.objectReference({ objectType: "Task" }) }),
+            },
+        ],
+    });
+    it("infers an OntologyDefinition from an ontology IR value", () => {
+        expect(ontology).toBeDefined();
+        expectTypeOf().toEqualTypeOf();
+        expectTypeOf().toEqualTypeOf();
+        expectTypeOf().toEqualTypeOf();
+        expectTypeOf().toEqualTypeOf();
+        expectTypeOf().toEqualTypeOf();
+    });
+    it("infers individual named type definitions against an ontology", () => {
+        expectTypeOf().toEqualTypeOf();
+    });
+    it("infers individual type definitions against an ontology", () => {
+        const userReference = defineType(o.objectReference({ objectType: "User" }));
+        expect(userReference).toBeDefined();
+        expectTypeOf().toEqualTypeOf();
+    });
+});
+//# sourceMappingURL=infer.test.js.map

package/lib/infer.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"infer.test.js","sourceRoot":"","sources":["../src/infer.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,UAAU,EAAc,MAAM,YAAY,CAAC;AACrF,OAAO,EAAE,CAAC,EAAE,MAAM,4BAA4B,CAAC;AAG/C,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE;IACnB,MAAM,WAAW,GAAG,eAAe,CAAC;QAChC,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;YACX,MAAM,EAAE;gBACJ,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;gBACzD;oBACI,IAAI,EAAE,OAAO;oBACb,WAAW,EAAE,QAAQ;oBACrB,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;iBAC3C;aACJ;SACJ,CAAC;KACL,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAG,cAAc,CAAC;QAC5B,KAAK,EAAE,CAAC,WAAW,CAAC;QACpB,WAAW,EAAE;YACT;gBACI,IAAI,EAAE,MAAM;gBACZ,WAAW,EAAE,MAAM;gBACnB,iBAAiB,EAAE,OAAO;gBAC1B,UAAU,EAAE,QAAQ;gBACpB,UAAU,EAAE;oBACR,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;oBAC9D;wBACI,IAAI,EAAE,QAAQ;wBACd,WAAW,EAAE,QAAQ;wBACrB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;4BACX,UAAU,EAAE,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC;gCAChC,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;6BACxD,CAAC;yBACL,CAAC;qBACL;oBACD,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;oBACvF,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE;iBAChF;aACJ;YACD;gBACI,IAAI,EAAE,MAAM;gBACZ,WAAW,EAAE,MAAM;gBACnB,iBAAiB,EAAE,OAAO;gBAC1B,UAAU,EAAE,QAAQ;gBACpB,UAAU,EAAE;oBACR,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;oBAC9D;wBACI,IAAI,EAAE,SAAS;wBACf,WAAW,EAAE,UAAU;wBACvB,IAAI,EAAE,CAAC,CAAC,eAAe,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;qBAClD;iBACJ;aACJ;SACJ;QACD,SAAS,EAAE,EAAE;QACb,WAAW,EAAE;YACT;gBACI,IAAI,EAAE,YAAY;gBAClB,WAAW,EAAE,aAAa;gBAC1B,UAAU,EAAE;oBACR;wBACI,IAAI,EAAE,OAAO;wBACb,WAAW,EAAE,OAAO;wBACpB,IAAI,EAAE,CAAC,CAAC,eAAe,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;qBAClD;oBACD,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;oBAC3D;wBACI,IAAI,EAAE,OAAO;wBACb,WAAW,EAAE,OAAO;wBACpB,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;qBAC3C;oBACD;wBACI,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,YAAY;wBACzB,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;wBACrB,YAAY,EAAE,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;qBAC5E;iBACJ;gBACD,KAAK,EAAE,EAAE;aACZ;SACJ;QACD,kBAAkB,EAAE;YAChB;gBACI,IAAI,EAAE,aAAa;gBACnB,WAAW,EAAE,cAAc;gBAC3B,UAAU,EAAE;oBACR,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;oBAC3D;wBACI,IAAI,EAAE,OAAO;wBACb,WAAW,EAAE,OAAO;wBACpB,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;qBAC5C;iBACJ;gBACD,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,eAAe,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;aACjF;SACJ;KACJ,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QAI/B,YAAY,EAA2C,CAAC,aAAa,EAQjE,CAAC;QACL,YAAY,EAA2C,CAAC,aAAa,EAGjE,CAAC;QACL,YAAY,EAA+D,CAAC,aAAa,EAKrF,CAAC;QACL,YAAY,EAAuE,CAAC,aAAa,EAG7F,CAAC;QACL,YAAY,EAAuE,CAAC,aAAa,EAE9F,CAAC;IACR,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACpE,YAAY,EAA8C,CAAC,aAAa,EAGpE,CAAC;IACT,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAC9D,MAAM,aAAa,GAAG,UAAU,CAAC,CAAC,CAAC,eAAe,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QAE5E,MAAM,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;QACpC,YAAY,EAAgD,CAAC,aAAa,EAAU,CAAC;IACzF,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}