@milaboratories/pl-model-common 1.29.0 → 1.30.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (96) hide show
  1. package/dist/bmodel/block_config.d.ts +1 -0
  2. package/dist/bmodel/code.d.ts +1 -0
  3. package/dist/driver_kit.d.ts +1 -1
  4. package/dist/drivers/index.d.ts +6 -6
  5. package/dist/drivers/index.js +1 -1
  6. package/dist/drivers/pframe/driver.cjs.map +1 -1
  7. package/dist/drivers/pframe/driver.d.ts +13 -5
  8. package/dist/drivers/pframe/driver.js.map +1 -1
  9. package/dist/drivers/pframe/index.d.ts +5 -5
  10. package/dist/drivers/pframe/index.js +1 -1
  11. package/dist/drivers/pframe/pframe.d.ts +2 -2
  12. package/dist/drivers/pframe/query/query_common.d.ts +2 -2
  13. package/dist/drivers/pframe/query/query_data.d.ts +1 -1
  14. package/dist/drivers/pframe/query/query_spec.d.ts +2 -2
  15. package/dist/drivers/pframe/spec/ids.d.ts +2 -2
  16. package/dist/drivers/pframe/spec/index.d.ts +1 -1
  17. package/dist/drivers/pframe/spec/index.js +1 -1
  18. package/dist/drivers/pframe/spec/selectors.d.ts +1 -1
  19. package/dist/drivers/pframe/spec/spec.cjs +14 -1
  20. package/dist/drivers/pframe/spec/spec.cjs.map +1 -1
  21. package/dist/drivers/pframe/spec/spec.d.ts +7 -1
  22. package/dist/drivers/pframe/spec/spec.js +14 -2
  23. package/dist/drivers/pframe/spec/spec.js.map +1 -1
  24. package/dist/drivers/pframe/spec_driver.d.ts +36 -6
  25. package/dist/drivers/pframe/table_calculate.d.ts +2 -2
  26. package/dist/drivers/pframe/table_common.d.ts +1 -1
  27. package/dist/drivers/pframe/unique_values.d.ts +2 -2
  28. package/dist/errors.cjs +48 -0
  29. package/dist/errors.cjs.map +1 -1
  30. package/dist/errors.d.ts +25 -1
  31. package/dist/errors.js +37 -1
  32. package/dist/errors.js.map +1 -1
  33. package/dist/flags/block_flags.cjs.map +1 -1
  34. package/dist/flags/block_flags.d.ts +4 -1
  35. package/dist/flags/block_flags.js.map +1 -1
  36. package/dist/flags/flag_utils.d.ts +1 -1
  37. package/dist/flags/index.d.ts +3 -0
  38. package/dist/index.cjs +38 -0
  39. package/dist/index.d.ts +30 -21
  40. package/dist/index.js +11 -3
  41. package/dist/pool/query.d.ts +1 -1
  42. package/dist/pool_entry.cjs +30 -0
  43. package/dist/pool_entry.cjs.map +1 -0
  44. package/dist/pool_entry.d.ts +30 -0
  45. package/dist/pool_entry.js +29 -0
  46. package/dist/pool_entry.js.map +1 -0
  47. package/dist/services/index.cjs +6 -0
  48. package/dist/services/index.d.ts +6 -0
  49. package/dist/services/index.js +6 -0
  50. package/dist/services/service_capabilities.cjs +51 -0
  51. package/dist/services/service_capabilities.cjs.map +1 -0
  52. package/dist/services/service_capabilities.d.ts +33 -0
  53. package/dist/services/service_capabilities.js +46 -0
  54. package/dist/services/service_capabilities.js.map +1 -0
  55. package/dist/services/service_declarations.cjs +17 -0
  56. package/dist/services/service_declarations.cjs.map +1 -0
  57. package/dist/services/service_declarations.d.ts +16 -0
  58. package/dist/services/service_declarations.js +17 -0
  59. package/dist/services/service_declarations.js.map +1 -0
  60. package/dist/services/service_injector_factory.cjs +19 -0
  61. package/dist/services/service_injector_factory.cjs.map +1 -0
  62. package/dist/services/service_injector_factory.d.ts +8 -0
  63. package/dist/services/service_injector_factory.js +18 -0
  64. package/dist/services/service_injector_factory.js.map +1 -0
  65. package/dist/services/service_injectors.cjs +48 -0
  66. package/dist/services/service_injectors.cjs.map +1 -0
  67. package/dist/services/service_injectors.d.ts +23 -0
  68. package/dist/services/service_injectors.js +46 -0
  69. package/dist/services/service_injectors.js.map +1 -0
  70. package/dist/services/service_registry.cjs +52 -0
  71. package/dist/services/service_registry.cjs.map +1 -0
  72. package/dist/services/service_registry.d.ts +25 -0
  73. package/dist/services/service_registry.js +51 -0
  74. package/dist/services/service_registry.js.map +1 -0
  75. package/dist/services/service_types.cjs +30 -0
  76. package/dist/services/service_types.cjs.map +1 -0
  77. package/dist/services/service_types.d.ts +45 -0
  78. package/dist/services/service_types.js +28 -0
  79. package/dist/services/service_types.js.map +1 -0
  80. package/package.json +3 -3
  81. package/src/drivers/pframe/driver.ts +11 -1
  82. package/src/drivers/pframe/spec/spec.ts +16 -2
  83. package/src/drivers/pframe/spec_driver.ts +37 -5
  84. package/src/errors.ts +53 -0
  85. package/src/flags/block_flags.ts +5 -2
  86. package/src/index.ts +2 -0
  87. package/src/pool_entry.ts +42 -0
  88. package/src/services/index.ts +5 -0
  89. package/src/services/service_capabilities.test.ts +119 -0
  90. package/src/services/service_capabilities.ts +64 -0
  91. package/src/services/service_declarations.ts +25 -0
  92. package/src/services/service_injector_factory.ts +27 -0
  93. package/src/services/service_injectors.ts +79 -0
  94. package/src/services/service_registry.test.ts +69 -0
  95. package/src/services/service_registry.ts +94 -0
  96. package/src/services/service_types.ts +114 -0
@@ -0,0 +1,94 @@
1
+ import type {
2
+ ServiceTypesLike,
3
+ InferServiceModel,
4
+ InferServiceUi,
5
+ ServiceName,
6
+ ModelServiceFactoryMap,
7
+ UiServiceFactoryMap,
8
+ } from "./service_types";
9
+ import { ServiceNotRegisteredError } from "../errors";
10
+ import type { Services } from "./service_declarations";
11
+
12
+ type RegistryName = "ModelServiceRegistry" | "UiServiceRegistry";
13
+ type ServiceFactory = () => Record<string, Function>;
14
+
15
+ class ServiceRegistryBase {
16
+ private readonly registryName: RegistryName;
17
+ private readonly knownServices = new Set<ServiceName>();
18
+ private readonly factories = new Map<ServiceName, ServiceFactory>();
19
+ private readonly instances = new Map<ServiceName, Record<string, Function>>();
20
+
21
+ protected constructor(
22
+ registryName: RegistryName,
23
+ serviceMap: Record<string, ServiceName>,
24
+ factories: Record<string, (() => unknown) | null>,
25
+ ) {
26
+ this.registryName = registryName;
27
+ for (const [key, factory] of Object.entries(factories)) {
28
+ const serviceId = serviceMap[key];
29
+ this.knownServices.add(serviceId);
30
+ if (factory !== null) {
31
+ this.factories.set(serviceId, factory as ServiceFactory);
32
+ }
33
+ }
34
+ }
35
+
36
+ async dispose(): Promise<void> {
37
+ for (const instance of this.instances.values()) {
38
+ if (Symbol.asyncDispose in instance) {
39
+ await (instance as AsyncDisposable)[Symbol.asyncDispose]();
40
+ } else if (Symbol.dispose in instance) {
41
+ (instance as Disposable)[Symbol.dispose]();
42
+ }
43
+ }
44
+ this.instances.clear();
45
+ }
46
+
47
+ protected getById(serviceId: ServiceName): Record<string, Function> | null {
48
+ if (!this.knownServices.has(serviceId)) {
49
+ throw new ServiceNotRegisteredError(
50
+ `Service "${serviceId}" is not registered in ${this.registryName}. Add it to the factory map.`,
51
+ );
52
+ }
53
+ if (this.instances.has(serviceId)) return this.instances.get(serviceId)!;
54
+
55
+ const factory = this.factories.get(serviceId);
56
+ if (!factory) return null;
57
+
58
+ const instance = factory();
59
+ this.instances.set(serviceId, instance);
60
+ return instance;
61
+ }
62
+ }
63
+
64
+ export class ModelServiceRegistry<
65
+ SMap extends Record<string, ServiceName> = typeof Services,
66
+ > extends ServiceRegistryBase {
67
+ constructor(serviceMap: SMap, factories: ModelServiceFactoryMap<SMap>) {
68
+ super("ModelServiceRegistry", serviceMap, factories);
69
+ }
70
+
71
+ get<S extends ServiceTypesLike>(
72
+ id: ServiceName<S>,
73
+ ):
74
+ | ([unknown] extends [InferServiceModel<S>] ? Record<string, Function> : InferServiceModel<S>)
75
+ | null;
76
+ get(id: ServiceName): Record<string, Function> | null {
77
+ return this.getById(id);
78
+ }
79
+ }
80
+
81
+ export class UiServiceRegistry<
82
+ SMap extends Record<string, ServiceName> = typeof Services,
83
+ > extends ServiceRegistryBase {
84
+ constructor(serviceMap: SMap, factories: UiServiceFactoryMap<SMap>) {
85
+ super("UiServiceRegistry", serviceMap, factories);
86
+ }
87
+
88
+ get<S extends ServiceTypesLike>(
89
+ id: ServiceName<S>,
90
+ ): ([unknown] extends [InferServiceUi<S>] ? Record<string, Function> : InferServiceUi<S>) | null;
91
+ get(id: ServiceName): Record<string, Function> | null {
92
+ return this.getById(id);
93
+ }
94
+ }
@@ -0,0 +1,114 @@
1
+ import type { Branded } from "../branding";
2
+ import { ServiceAlreadyRegisteredError, ServiceInvalidIdError } from "../errors";
3
+ import type { Services } from "./service_declarations";
4
+
5
+ export type ServiceTypesLike<
6
+ Model = unknown,
7
+ Ui = unknown,
8
+ Kind extends ServiceType = ServiceType,
9
+ > = {
10
+ readonly __types?: { model: Model; ui: Ui; kind: Kind };
11
+ };
12
+
13
+ export type InferServiceModel<S extends ServiceTypesLike> =
14
+ S extends ServiceTypesLike<infer M, unknown, ServiceType> ? M : unknown;
15
+
16
+ export type InferServiceUi<S extends ServiceTypesLike> =
17
+ S extends ServiceTypesLike<unknown, infer U, ServiceType> ? U : unknown;
18
+
19
+ export type InferServiceKind<S extends ServiceTypesLike> =
20
+ S extends ServiceTypesLike<unknown, unknown, infer K> ? K : ServiceType;
21
+
22
+ export type ServiceName<S extends ServiceTypesLike = ServiceTypesLike> = Branded<string, S>;
23
+
24
+ export type ServiceType = "node" | "wasm";
25
+
26
+ const SERVICE_ID_PATTERN = /^[a-zA-Z][a-zA-Z0-9]*$/;
27
+
28
+ export const { service, isNodeService } = (() => {
29
+ const typeMap = new Map<string, ServiceType>();
30
+ return {
31
+ service<Model, Ui>() {
32
+ return <K extends ServiceType, N extends string>(options: {
33
+ readonly type: K;
34
+ readonly name: N;
35
+ }): Branded<N, ServiceTypesLike<Model, Ui, K>> => {
36
+ const { name, type } = options;
37
+ if (!SERVICE_ID_PATTERN.test(name)) {
38
+ throw new ServiceInvalidIdError(
39
+ `Invalid service ID "${name}": must match ${SERVICE_ID_PATTERN}`,
40
+ );
41
+ }
42
+ if (typeMap.has(name)) {
43
+ throw new ServiceAlreadyRegisteredError(`Service "${name}" already registered`);
44
+ }
45
+ typeMap.set(name, type);
46
+ return name as Branded<N, ServiceTypesLike<Model, Ui, K>>;
47
+ };
48
+ },
49
+ isNodeService(id: ServiceName): boolean {
50
+ return typeMap.get(id) === "node";
51
+ },
52
+ };
53
+ })();
54
+
55
+ export function serviceFnKey(serviceId: string, method = ""): string {
56
+ return `service:${serviceId}:${method}`;
57
+ }
58
+
59
+ export type ServiceBrand<T> =
60
+ T extends Branded<string, infer S extends ServiceTypesLike> ? S : never;
61
+
62
+ export type ModelServiceFactoryMap<SMap extends Record<string, ServiceName>> = {
63
+ [K in keyof SMap]: (() => InferServiceModel<ServiceBrand<SMap[K]>>) | null;
64
+ };
65
+
66
+ export type UiServiceFactoryMap<SMap extends Record<string, ServiceName>> = {
67
+ [K in keyof SMap]: (() => InferServiceUi<ServiceBrand<SMap[K]>>) | null;
68
+ };
69
+
70
+ /** Contract between any service provider and any service consumer. */
71
+ export interface ServiceDispatch {
72
+ getServiceNames(): ServiceName[];
73
+ getServiceMethods(serviceId: ServiceName): string[];
74
+ callServiceMethod(serviceId: ServiceName, method: string, ...args: unknown[]): unknown;
75
+ }
76
+
77
+ // Auto-derived types from the Services const in service_declarations.ts.
78
+ // Adding a service to Services automatically updates all of these.
79
+
80
+ type SMap = typeof Services;
81
+
82
+ type ExtractServiceName<T> = T extends Branded<infer N extends string, any> ? N : never;
83
+
84
+ /** Model-side service interfaces keyed by service name literal. */
85
+ export type ModelServices = {
86
+ [K in keyof SMap as ExtractServiceName<SMap[K]>]: InferServiceModel<ServiceBrand<SMap[K]>>;
87
+ };
88
+
89
+ /** UI-side service interfaces keyed by service name literal. */
90
+ export type UiServices = {
91
+ [K in keyof SMap as ExtractServiceName<SMap[K]>]: InferServiceUi<ServiceBrand<SMap[K]>>;
92
+ };
93
+
94
+ /** Map from Services keys to their unbranded string name literals. */
95
+ export type ServiceNameLiterals = {
96
+ [K in keyof SMap]: ExtractServiceName<SMap[K]>;
97
+ };
98
+
99
+ /** Auto-derived requires* feature flags from Services keys. */
100
+ export type ServiceRequireFlags = {
101
+ [K in keyof SMap as `requires${K & string}`]?: boolean;
102
+ };
103
+
104
+ type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (
105
+ k: infer I,
106
+ ) => void
107
+ ? I
108
+ : never;
109
+
110
+ export type RequireServices<T extends ServiceName> = UnionToIntersection<
111
+ T extends Branded<infer N extends string, infer S extends ServiceTypesLike>
112
+ ? Record<N, InferServiceModel<S>>
113
+ : never
114
+ >;