akanjs 2.3.8-rc.2 → 2.3.8-rc.3

package/base/symbols.ts

@@ -4,6 +4,9 @@ export const FILTER_META = Symbol.for("akan.filter");
 export const LOADER_META = Symbol.for("akan.loader");
 export const INJECT_META = Symbol.for("akan.inject");
 export const ENDPOINT_META = Symbol.for("akan.endpoint");
+export const ENDPOINT_DICT_SHAPE: unique symbol = Symbol.for("akan.endpoint.dictShape") as never;
+export const SLICE_DICT_SHAPE: unique symbol = Symbol.for("akan.slice.dictShape") as never;
+export const FILTER_DICT_SHAPE: unique symbol = Symbol.for("akan.filter.dictShape") as never;
 export const INTERNAL_META = Symbol.for("akan.internal");
 export const STATE_META = Symbol.for("akan.state");
 export const STATE_INIT_META = Symbol.for("akan.state.init");

package/dictionary/dictInfo.ts

@@ -1,40 +1,62 @@
-import type { GetStateObject } from "akanjs/base";
+import type { ENDPOINT_DICT_SHAPE, FILTER_DICT_SHAPE, GetStateObject, SLICE_DICT_SHAPE } from "akanjs/base";
 import { capitalize } from "akanjs/common";
 import type { BaseInsight, BaseObject } from "akanjs/constant";
-import type { BaseFilterQueryKey, BaseFilterSortKey, FilterCls, FilterInfo, FilterInstance } from "akanjs/document";
 import type {
-  EndpInfoArgNames,
+  BaseFilterQueryKey,
+  BaseFilterSortKey,
+  FilterCls,
+  FilterDictShape as FilterCompactShape,
+  FilterDictArgShape,
+  FilterInfo,
+  FilterInstance,
+} from "akanjs/document";
+import type {
   EndpointCls,
+  EndpointDictShape as EndpointCompactShape,
   EndpointInfo,
   SliceCls,
+  SliceDictShape as SliceCompactShape,
   SliceInfo,
-  SliceInfoArgNames,
 } from "akanjs/signal";
 import type { DictionaryNode, RootDictionary } from "./trans";
 
 type MutableDictionaryNode = DictionaryNode & { t?: string; desc?: DictionaryNode };
 type EnumValueKey = string | number;
-type AnyFilterShape = FilterInstance<Record<string, FilterInfo>, Record<string, unknown>>;
+type DictArgShape = { [key: string]: readonly string[] };
+type AnyFilterShape = FilterCompactShape<FilterInstance<Record<string, FilterInfo>, Record<string, unknown>>>;
 type DictFilterShape<Filter> =
   Filter extends FilterCls<infer FilterShape>
-    ? FilterShape
-    : Filter extends FilterInstance
-      ? Filter
-      : Filter extends { query: Record<string, FilterInfo>; sort: Record<string, unknown> }
-        ? Filter
-        : AnyFilterShape;
+    ? FilterCompactShape<FilterShape>
+    : Filter extends { readonly [FILTER_DICT_SHAPE]: infer CompactShape extends FilterDictArgShape }
+      ? CompactShape
+      : Filter extends FilterInstance
+        ? FilterCompactShape<Filter>
+        : Filter extends { query: Record<string, FilterInfo>; sort: Record<string, unknown> }
+          ? FilterCompactShape<Filter>
+          : Filter extends { query: DictArgShape; sort: Record<string, true> }
+            ? Filter
+            : AnyFilterShape;
 type DictSliceShape<Slice> =
   Slice extends SliceCls<infer _SrvModule, infer SliceInfoObj>
-    ? SliceInfoObj
-    : Slice extends Record<string, SliceInfo>
-      ? Slice
-      : Record<never, never>;
+    ? SliceCompactShape<SliceInfoObj>
+    : Slice extends { readonly [SLICE_DICT_SHAPE]: infer CompactShape extends DictArgShape }
+      ? CompactShape
+      : Slice extends DictArgShape
+        ? Slice
+        : Slice extends Record<string, SliceInfo>
+          ? SliceCompactShape<Slice>
+          : Record<never, never>;
 type DictEndpointShape<Endpoint> =
   Endpoint extends EndpointCls<infer _SrvModule, infer EndpointInfoObj>
-    ? EndpointInfoObj
-    : Endpoint extends Record<string, EndpointInfo>
-      ? Endpoint
-      : Record<never, never>;
+    ? EndpointCompactShape<EndpointInfoObj>
+    : Endpoint extends { readonly [ENDPOINT_DICT_SHAPE]: infer CompactShape extends DictArgShape }
+      ? CompactShape
+      : Endpoint extends DictArgShape
+        ? Endpoint
+        : Endpoint extends Record<string, EndpointInfo>
+          ? EndpointCompactShape<Endpoint>
+          : Record<never, never>;
+type DictArgNames<ArgNames> = ArgNames extends readonly string[] ? ArgNames[number] : never;
 type DictFilterQuery<Filter> = DictFilterShape<Filter>["query"];
 type DictFilterSort<Filter> = DictFilterShape<Filter>["sort"];
 
@@ -282,22 +304,14 @@ export class ModelDictInfo<
   }
   query<Filter>(
     translate: (fn: (trans: Languages) => FunctionTranslation<Languages>) => {
-      [K in Exclude<keyof DictFilterQuery<Filter>, QueryKey>]: DictFilterQuery<Filter>[K] extends FilterInfo<
-        infer ArgNames,
-        infer _Args,
-        infer _Model
-      >
-        ? FunctionTranslation<Languages, ArgNames[number]>
-        : never;
+      [K in Exclude<keyof DictFilterQuery<Filter>, QueryKey>]: FunctionTranslation<
+        Languages,
+        DictArgNames<DictFilterQuery<Filter>[K]>
+      >;
     },
   ) {
     Object.assign(this.queryDictionary, translate(fn), ModelDictInfo.baseQueryDictionary) as unknown as {
-      [K in keyof DictFilterQuery<Filter>]: FunctionTranslation<
-        Languages,
-        DictFilterQuery<Filter>[K] extends FilterInfo<infer ArgNames, infer _Args, infer _Model>
-          ? ArgNames[number]
-          : never
-      >;
+      [K in keyof DictFilterQuery<Filter>]: FunctionTranslation<Languages, DictArgNames<DictFilterQuery<Filter>[K]>>;
     };
     return this as unknown as ModelDictInfo<
       Languages,
@@ -363,10 +377,10 @@ export class ModelDictInfo<
   }
   slice<Slice>(
     translate: (fn: (trans: Languages) => FunctionTranslation<Languages>) => {
-      [K in Exclude<keyof DictSliceShape<Slice>, SliceKey>]: DictSliceShape<Slice>[K] extends infer Info extends
-        SliceInfo
-        ? FunctionTranslation<Languages, SliceInfoArgNames<Info>[number]>
-        : never;
+      [K in Exclude<keyof DictSliceShape<Slice>, SliceKey>]: FunctionTranslation<
+        Languages,
+        DictArgNames<DictSliceShape<Slice>[K]>
+      >;
     },
   ) {
     Object.assign(this.sliceDictionary, translate(fn), ModelDictInfo.baseSliceDictionary) as unknown as {
@@ -388,12 +402,10 @@ export class ModelDictInfo<
   }
   endpoint<Endpoint>(
     translate: (fn: (trans: Languages) => FunctionTranslation<Languages>) => {
-      [K in Exclude<
-        keyof DictEndpointShape<Endpoint>,
-        EndpointKey
-      >]: DictEndpointShape<Endpoint>[K] extends infer Info extends EndpointInfo
-        ? FunctionTranslation<Languages, EndpInfoArgNames<Info>[number]>
-        : never;
+      [K in Exclude<keyof DictEndpointShape<Endpoint>, EndpointKey>]: FunctionTranslation<
+        Languages,
+        DictArgNames<DictEndpointShape<Endpoint>[K]>
+      >;
     },
   ) {
     Object.assign(this.endpointDictionary, translate(fn)) as unknown as {
@@ -1009,9 +1021,10 @@ export class ServiceDictInfo<
   }
   endpoint<Endpoint>(
     translate: (fn: (trans: Languages) => FunctionTranslation<Languages>) => {
-      [K in keyof DictEndpointShape<Endpoint>]: DictEndpointShape<Endpoint>[K] extends infer Info extends EndpointInfo
-        ? FunctionTranslation<Languages, EndpInfoArgNames<Info>[number]>
-        : never;
+      [K in keyof DictEndpointShape<Endpoint>]: FunctionTranslation<
+        Languages,
+        DictArgNames<DictEndpointShape<Endpoint>[K]>
+      >;
     },
   ) {
     Object.assign(this.endpointDictionary, translate(fn)) as unknown as {

package/dictionary/locale.ts

@@ -1,7 +1,28 @@
-import type { GetStateObject, MergedValues } from "akanjs/base";
+import type {
+  ENDPOINT_DICT_SHAPE,
+  FILTER_DICT_SHAPE,
+  GetStateObject,
+  MergedValues,
+  SLICE_DICT_SHAPE,
+} from "akanjs/base";
 import type { BaseInsight, BaseObject } from "akanjs/constant";
-import type { FilterCls, FilterInfo, FilterInstance } from "akanjs/document";
-import type { EndpInfoArgNames, EndpointInfo, SliceInfo, SliceInfoArgNames, SliceInfoRefName } from "akanjs/signal";
+import type {
+  FilterCls,
+  FilterDictShape as FilterCompactShape,
+  FilterDictArgShape,
+  FilterInfo,
+  FilterInstance,
+} from "akanjs/document";
+import type {
+  EndpointCls,
+  EndpointDictShape as EndpointCompactShape,
+  EndpointInfo,
+  SliceCls,
+  SliceDictShape as SliceCompactShape,
+  SliceInfo,
+  SliceInfoArgNames,
+  SliceInfoRefName,
+} from "akanjs/signal";
 import type { ModelDictInfo, ScalarDictInfo, ServiceDictInfo } from ".";
 
 interface Trans {
@@ -16,35 +37,61 @@ interface FnTrans<ArgKey extends string> {
   desc?: string;
   arg?: { [key in ArgKey]: FieldTrans };
 }
-type AnyFilterShape = FilterInstance<Record<string, FilterInfo>, Record<string, unknown>>;
+type DictArgShape = { [key: string]: readonly string[] };
+type AnyFilterShape = FilterCompactShape<FilterInstance<Record<string, FilterInfo>, Record<string, unknown>>>;
 type DictFilterShape<Filter> =
   Filter extends FilterCls<infer FilterShape>
-    ? FilterShape
-    : Filter extends FilterInstance
-      ? Filter
-      : Filter extends { query: Record<string, FilterInfo>; sort: Record<string, unknown> }
-        ? Filter
-        : AnyFilterShape;
+    ? FilterCompactShape<FilterShape>
+    : Filter extends { readonly [FILTER_DICT_SHAPE]: infer CompactShape extends FilterDictArgShape }
+      ? CompactShape
+      : Filter extends FilterInstance
+        ? FilterCompactShape<Filter>
+        : Filter extends { query: Record<string, FilterInfo>; sort: Record<string, unknown> }
+          ? FilterCompactShape<Filter>
+          : Filter extends { query: DictArgShape; sort: Record<string, true> }
+            ? Filter
+            : AnyFilterShape;
 type DictFilterQuery<Filter> = DictFilterShape<Filter>["query"];
 type DictFilterSort<Filter> = DictFilterShape<Filter>["sort"];
+type DictArgNames<ArgNames> = ArgNames extends readonly string[] ? ArgNames[number] : never;
+type DictEndpointShape<Endpoint> =
+  Endpoint extends EndpointCls<infer _SrvModule, infer EndpointInfoObj>
+    ? EndpointCompactShape<EndpointInfoObj>
+    : Endpoint extends { readonly [ENDPOINT_DICT_SHAPE]: infer CompactShape extends DictArgShape }
+      ? CompactShape
+      : Endpoint extends DictArgShape
+        ? Endpoint
+        : Endpoint extends Record<string, EndpointInfo>
+          ? EndpointCompactShape<Endpoint>
+          : Record<never, never>;
+type DictSliceShape<Slice> =
+  Slice extends SliceCls<infer _SrvModule, infer SliceInfoObj>
+    ? SliceCompactShape<SliceInfoObj>
+    : Slice extends { readonly [SLICE_DICT_SHAPE]: infer CompactShape extends DictArgShape }
+      ? CompactShape
+      : Slice extends DictArgShape
+        ? Slice
+        : Slice extends Record<string, SliceInfo>
+          ? SliceCompactShape<Slice>
+          : Record<never, never>;
 type FilterTranslatorKey<Filter> = {
   [Key in keyof DictFilterQuery<Filter> & string]:
     | `${Key}`
     | `${Key}.desc`
-    | (DictFilterQuery<Filter>[Key] extends FilterInfo<infer ArgNames, infer _Args>
-        ? ArgNames[number] extends string
-          ? `${Key}.arg.${ArgNames[number]}` | `${Key}.arg.${ArgNames[number]}.desc`
-          : never
+    | (DictArgNames<DictFilterQuery<Filter>[Key]> extends string
+        ?
+            | `${Key}.arg.${DictArgNames<DictFilterQuery<Filter>[Key]>}`
+            | `${Key}.arg.${DictArgNames<DictFilterQuery<Filter>[Key]>}.desc`
         : never);
 }[keyof DictFilterQuery<Filter> & string];
-type EndpointTranslatorKey<Endpoint extends { [key: string]: EndpointInfo }> = {
-  [Key in keyof Endpoint & string]:
+type EndpointTranslatorKey<Endpoint> = {
+  [Key in keyof DictEndpointShape<Endpoint> & string]:
     | `${Key}`
     | `${Key}.desc`
-    | `${Key}.arg.${EndpInfoArgNames<Endpoint[Key]>[number]}`
-    | `${Key}.arg.${EndpInfoArgNames<Endpoint[Key]>[number]}.desc`;
-}[keyof Endpoint & string];
-type SliceTranslatorKey<Slice> = {
+    | `${Key}.arg.${DictArgNames<DictEndpointShape<Endpoint>[Key]>}`
+    | `${Key}.arg.${DictArgNames<DictEndpointShape<Endpoint>[Key]>}.desc`;
+}[keyof DictEndpointShape<Endpoint> & string];
+type FullSliceTranslatorKey<Slice> = {
   [Key in keyof Slice & string]: Slice[Key] extends infer Info extends SliceInfo
     ?
         | `${SliceInfoRefName<Info>}List${Capitalize<Key>}`
@@ -57,6 +104,21 @@ type SliceTranslatorKey<Slice> = {
         | `${SliceInfoRefName<Info>}Insight${Capitalize<Key>}.arg.${SliceInfoArgNames<Info>[number]}.desc`
     : never;
 }[keyof Slice & string];
+type CompactSliceTranslatorKey<T extends string, Slice> = {
+  [Key in keyof DictSliceShape<Slice> & string]: Key extends ""
+    ? never
+    :
+        | `${T}List${Capitalize<Key>}`
+        | `${T}List${Capitalize<Key>}.desc`
+        | `${T}List${Capitalize<Key>}.arg.${DictArgNames<DictSliceShape<Slice>[Key]> | "skip" | "limit" | "sort"}`
+        | `${T}List${Capitalize<Key>}.arg.${DictArgNames<DictSliceShape<Slice>[Key]> | "skip" | "limit" | "sort"}.desc`
+        | `${T}Insight${Capitalize<Key>}`
+        | `${T}Insight${Capitalize<Key>}.desc`
+        | `${T}Insight${Capitalize<Key>}.arg.${DictArgNames<DictSliceShape<Slice>[Key]>}`
+        | `${T}Insight${Capitalize<Key>}.arg.${DictArgNames<DictSliceShape<Slice>[Key]>}.desc`;
+}[keyof DictSliceShape<Slice> & string];
+type SliceTranslatorKey<T extends string, Slice> =
+  Slice extends Record<string, SliceInfo> ? FullSliceTranslatorKey<Slice> : CompactSliceTranslatorKey<T, Slice>;
 
 type SliceApiTrans<
   T extends string,
@@ -85,8 +147,8 @@ export type ModelTrans<
   Model extends BaseObject,
   Insight extends BaseInsight,
   Filter,
-  Slice extends { [key: string]: SliceInfo },
-  Endpoint extends { [key: string]: EndpointInfo },
+  Slice,
+  Endpoint,
   ErrorKey extends string,
   EtcKey extends string,
 > = {
@@ -95,35 +157,25 @@ export type ModelTrans<
   model: { [K in keyof GetStateObject<Model>]: FieldTrans };
   insight: { [K in keyof GetStateObject<Insight>]: FieldTrans };
   query: {
-    [K in keyof DictFilterQuery<Filter>]: DictFilterQuery<Filter>[K] extends FilterInfo<infer ArgNames, infer _Args>
-      ? FnTrans<ArgNames[number]>
-      : never;
+    [K in keyof DictFilterQuery<Filter>]: FnTrans<DictArgNames<DictFilterQuery<Filter>[K]>>;
   };
   sort: { [K in keyof DictFilterSort<Filter>]: FieldTrans };
   api: {
-    [K in keyof Endpoint]: FnTrans<EndpInfoArgNames<Endpoint[K]>[number]>;
+    [K in keyof DictEndpointShape<Endpoint>]: FnTrans<DictArgNames<DictEndpointShape<Endpoint>[K]>>;
   } & BaseModelCrudGetApiTrans<T> &
     MergedValues<{
-      [K in keyof Slice]: SliceApiTrans<SliceInfoRefName<Slice[K]>, K & string, SliceInfoArgNames<Slice[K]>[number]>;
+      [K in keyof DictSliceShape<Slice>]: SliceApiTrans<T, K & string, DictArgNames<DictSliceShape<Slice>[K]>>;
     }>;
   error: { [K in ErrorKey]: Trans };
 } & { [K in EtcKey]: Trans };
-export type ModelTranslatorKey<
-  T extends string,
-  Model,
-  Insight,
-  Filter,
-  Slice extends { [key: string]: SliceInfo },
-  Endpoint extends { [key: string]: EndpointInfo },
-  EtcKey extends string,
-> =
+export type ModelTranslatorKey<T extends string, Model, Insight, Filter, Slice, Endpoint, EtcKey extends string> =
   | `${T}.modelName`
   | `${T}.modelDesc`
   | `${T}.${keyof GetStateObject<Model> & string}${"" | ".desc"}`
   | `${T}.insight.${keyof GetStateObject<Insight> & string}${"" | ".desc"}`
   | `${T}.query.${FilterTranslatorKey<Filter>}`
   | `${T}.sort.${keyof DictFilterSort<Filter> & string}${"" | ".desc"}`
-  | `${T}.signal.${EndpointTranslatorKey<Endpoint> | SliceTranslatorKey<Slice>}`
+  | `${T}.signal.${EndpointTranslatorKey<Endpoint> | SliceTranslatorKey<T, Slice>}`
   | `${T}.${EtcKey}`;
 
 export type ScalarTrans<_T extends string, Model, ErrorKey extends string, EtcKey extends string> = {
@@ -138,22 +190,15 @@ export type ScalarTranslatorKey<T extends string, Model, EtcKey extends string>
   | `${T}.${keyof GetStateObject<Model> & string}${"" | ".desc"}`
   | `${T}.${EtcKey}`;
 
-export type ServiceTrans<
-  _T extends string,
-  Endpoint extends { [key: string]: EndpointInfo },
-  ErrorKey extends string,
-  EtcKey extends string,
-> = {
+export type ServiceTrans<_T extends string, Endpoint, ErrorKey extends string, EtcKey extends string> = {
   api: {
-    [K in keyof Endpoint]: FnTrans<EndpInfoArgNames<Endpoint[K]>[number]>;
+    [K in keyof DictEndpointShape<Endpoint>]: FnTrans<DictArgNames<DictEndpointShape<Endpoint>[K]>>;
   };
   error: { [K in ErrorKey]: Trans };
 } & { [K in EtcKey]: Trans };
-export type ServiceTranslatorKey<
-  T extends string,
-  Endpoint extends { [key: string]: EndpointInfo },
-  EtcKey extends string,
-> = `${T}.signal.${EndpointTranslatorKey<Endpoint>}` | `${T}.${EtcKey}`;
+export type ServiceTranslatorKey<T extends string, Endpoint, EtcKey extends string> =
+  | `${T}.signal.${EndpointTranslatorKey<Endpoint>}`
+  | `${T}.${EtcKey}`;
 
 export type EnumTrans<EnumValue extends string | number> = {
   [key in EnumValue]: Trans;
@@ -174,8 +219,8 @@ export const registerModelTrans = <
   Model extends BaseObject,
   Insight extends BaseInsight,
   Filter,
-  Slice extends { [key: string]: SliceInfo },
-  Endpoint extends { [key: string]: EndpointInfo },
+  Slice,
+  Endpoint,
   ModelDict,
 >(
   modelDict: ModelDict,
@@ -233,7 +278,7 @@ export const registerScalarTrans = <T extends string, Model, ScalarDict>(
     : never;
 };
 
-export const registerServiceTrans = <T extends string, Endpoint extends { [key: string]: EndpointInfo }, ServiceDict>(
+export const registerServiceTrans = <T extends string, Endpoint, ServiceDict>(
   serviceDict: ServiceDict,
 ): ServiceDict extends ServiceDictInfo<infer _Languages, infer _EndpointKey, infer ErrorKey, infer EtcKey>
   ? DictModule<ServiceTranslatorKey<T, Endpoint, EtcKey>, `${T}.error.${ErrorKey}`>

package/document/filterMeta.ts

@@ -1,5 +1,5 @@
 import type { Cls, MergeAllDoubleKeyOfObjects, MergeAllKeyOfTypes } from "akanjs/base";
-import { FILTER_META } from "akanjs/base";
+import { FILTER_DICT_SHAPE, FILTER_META } from "akanjs/base";
 import type {
   BaseObject,
   ConstantFieldTypeInput,
@@ -109,6 +109,21 @@ export type FilterInstance<
   query: Query;
   sort: Sort;
 };
+export type FilterDictArgShape = {
+  query: { [key: string]: readonly string[] };
+  sort: { [key: string]: true };
+};
+export type FilterDictShape<Filter extends FilterInstance> = {
+  query: {
+    [K in keyof Filter["query"]]: Filter["query"][K] extends FilterInfo<infer ArgNames, infer _Args, infer _Model>
+      ? ArgNames
+      : never;
+  };
+  sort: { [K in keyof Filter["sort"]]: true };
+};
+export interface FilterDictShapeCarrier<DictShape extends FilterDictArgShape = FilterDictArgShape> {
+  readonly [FILTER_DICT_SHAPE]: DictShape;
+}
 interface BaseQuery<Model> {
   any: FilterInfo<[], [], Model>;
 }
@@ -140,8 +155,9 @@ export type ExtractQuery<Filter extends FilterInstance> = {
 };
 export type ExtractSort<Filter extends FilterInstance> = keyof Filter["sort"];
 export interface FilterCls<Filter extends FilterInstance = any, Query = unknown, Sort = unknown>
-  extends Cls<{ [key: string]: any }> {
+  extends Cls<FilterDictShapeCarrier<FilterDictShape<Filter>> & { [key: string]: unknown }> {
   [FILTER_META]: Filter;
+  prototype: FilterDictShapeCarrier<FilterDictShape<Filter>> & { [key: string]: unknown };
   sortField: Set<string>;
   _Query: Query;
   _Sort: Sort;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "akanjs",
-  "version": "2.3.8-rc.2",
+  "version": "2.3.8-rc.3",
   "sourceType": "module",
   "type": "module",
   "publishConfig": {

package/signal/endpoint.ts

@@ -1,20 +1,28 @@
 import type { Assign } from "akanjs/base";
-import { ENDPOINT_META } from "akanjs/base";
+import { ENDPOINT_DICT_SHAPE, ENDPOINT_META } from "akanjs/base";
 import { applyMixins } from "akanjs/common";
 import { type Adaptor, type AdaptorCls, dangerouslyAdapt, type ServiceModel } from "akanjs/service";
-import { buildEndpoint, type EndpointBuilder, type EndpointInfo } from "./endpointInfo";
+import { buildEndpoint, type EndpInfoArgNames, type EndpointBuilder, type EndpointInfo } from "./endpointInfo";
 import type { SrvRefName } from "./types";
 
-export interface Endpoint extends Adaptor {}
+export type EndpointDictArgShape = { [key: string]: readonly string[] };
+export type EndpointDictShape<EndpointInfoObj extends { [key: string]: EndpointInfo }> = {
+  [K in keyof EndpointInfoObj]: EndpInfoArgNames<EndpointInfoObj[K]>;
+};
 
-export interface EndpointCls<
+export interface Endpoint<DictShape extends EndpointDictArgShape = Record<never, never>> extends Adaptor {
+  readonly [ENDPOINT_DICT_SHAPE]: DictShape;
+}
+
+export type EndpointCls<
   SrvModule extends ServiceModel = ServiceModel,
   EndpointInfoObj extends { [key: string]: EndpointInfo } = { [key: string]: EndpointInfo },
-> extends AdaptorCls {
+> = AdaptorCls<Endpoint<EndpointDictShape<EndpointInfoObj>>> & {
   baseName: SrvRefName<SrvModule>;
   srv: SrvModule;
+  prototype: Endpoint<EndpointDictShape<EndpointInfoObj>>;
   [ENDPOINT_META]: EndpointInfoObj;
-}
+};
 
 type EndpointMetaOf<EndpCls> = EndpCls extends EndpointCls<any, infer EndpointInfoObj> ? EndpointInfoObj : never;
 

package/signal/slice.ts

@@ -1,4 +1,4 @@
-import { Any, type Assign, type Cls, type MergeAllKeyOfObjects, SLICE_META } from "akanjs/base";
+import { Any, type Assign, type Cls, type MergeAllKeyOfObjects, SLICE_DICT_SHAPE, SLICE_META } from "akanjs/base";
 import { applyMixins } from "akanjs/common";
 import type { DocumentModel, QueryOf } from "akanjs/constant";
 import type { FilterInstance } from "akanjs/document";
@@ -16,14 +16,22 @@ import {
 } from "./sliceInfo";
 import type { CnstFull, CnstInput, CnstInsight, CnstLight, DbFilter, SrvMap, SrvRefName } from "./types";
 
-export interface Slice extends Adaptor {}
+export type SliceDictArgShape = { [key: string]: readonly string[] };
+export type SliceDictShape<SliceInfoObj extends { [key: string]: SliceInfo }> = {
+  [K in keyof SliceInfoObj]: SliceInfoArgNames<SliceInfoObj[K]>;
+};
+
+export interface Slice<DictShape extends SliceDictArgShape = Record<never, never>> extends Adaptor {
+  readonly [SLICE_DICT_SHAPE]: DictShape;
+}
 
 export type SliceCls<
   SrvModule extends ServiceModel = ServiceModel,
   SliceInfoObj extends { [key: string]: SliceInfo } = { [key: string]: SliceInfo },
-> = AdaptorCls & {
+> = AdaptorCls<Slice<SliceDictShape<SliceInfoObj>>> & {
   baseName: SrvRefName<SrvModule>;
   srv: SrvModule;
+  prototype: Slice<SliceDictShape<SliceInfoObj>>;
   [SLICE_META]: SliceInfoObj;
   getGuards: GuardCls[];
   cruGuards: GuardCls[];

package/types/base/symbols.d.ts

@@ -4,6 +4,9 @@ export declare const FILTER_META: unique symbol;
 export declare const LOADER_META: unique symbol;
 export declare const INJECT_META: unique symbol;
 export declare const ENDPOINT_META: unique symbol;
+export declare const ENDPOINT_DICT_SHAPE: unique symbol;
+export declare const SLICE_DICT_SHAPE: unique symbol;
+export declare const FILTER_DICT_SHAPE: unique symbol;
 export declare const INTERNAL_META: unique symbol;
 export declare const STATE_META: unique symbol;
 export declare const STATE_INIT_META: unique symbol;

package/types/dictionary/base.dictionary.d.ts

@@ -1 +1 @@
-export declare const baseDictionary: import("./dictInfo.d.ts").ServiceDictInfo<[string, string], string, never, "error" | "save" | "password" | "remove" | "ok" | "connecting" | "failed" | "cancel" | "success" | "edit" | "view" | "somethingWrong" | "connected" | "serverDisconnected" | "refreshing" | "tryReconnecting" | "serverHasProblem" | "checkServerStatus" | "processing" | "processed" | "noData" | "invalidValueError" | "emailInvalidError" | "phoneInvalidError" | "unauthorized" | "confirmClose" | "textTooShortError" | "textTooLongError" | "selectTooShortError" | "selectTooLongError" | "numberTooSmallError" | "numberTooBigError" | "passwordNotMatchError" | "selectDateError" | "priceUnit" | "passwordConfirm" | "noOptions" | "addModel" | "createModel" | "createSuccess" | "updateModel" | "removeModel" | "updateSuccess" | "removeSuccess" | "sureToRemove" | "irreversibleOps" | "typeNameToRemove" | "yesRemove" | "removeMsg" | "confirmMsg" | "perPage" | "actions" | "new">;
+export declare const baseDictionary: import("./dictInfo.d.ts").ServiceDictInfo<[string, string], "ping" | "pingBody" | "pingParam" | "pingQuery" | "wsPing" | "pubsubPing", never, "error" | "save" | "password" | "remove" | "ok" | "connecting" | "failed" | "cancel" | "success" | "edit" | "view" | "somethingWrong" | "connected" | "serverDisconnected" | "refreshing" | "tryReconnecting" | "serverHasProblem" | "checkServerStatus" | "processing" | "processed" | "noData" | "invalidValueError" | "emailInvalidError" | "phoneInvalidError" | "unauthorized" | "confirmClose" | "textTooShortError" | "textTooLongError" | "selectTooShortError" | "selectTooLongError" | "numberTooSmallError" | "numberTooBigError" | "passwordNotMatchError" | "selectDateError" | "priceUnit" | "passwordConfirm" | "noOptions" | "addModel" | "createModel" | "createSuccess" | "updateModel" | "removeModel" | "updateSuccess" | "removeSuccess" | "sureToRemove" | "irreversibleOps" | "typeNameToRemove" | "yesRemove" | "removeMsg" | "confirmMsg" | "perPage" | "actions" | "new">;

package/types/dictionary/dictInfo.d.ts

@@ -1,16 +1,29 @@
-import type { GetStateObject } from "akanjs/base";
+import type { ENDPOINT_DICT_SHAPE, FILTER_DICT_SHAPE, GetStateObject, SLICE_DICT_SHAPE } from "akanjs/base";
 import type { BaseInsight, BaseObject } from "akanjs/constant";
-import type { BaseFilterQueryKey, BaseFilterSortKey, FilterCls, FilterInfo, FilterInstance } from "akanjs/document";
-import type { EndpInfoArgNames, EndpointCls, EndpointInfo, SliceCls, SliceInfo, SliceInfoArgNames } from "akanjs/signal";
+import type { BaseFilterQueryKey, BaseFilterSortKey, FilterCls, FilterDictShape as FilterCompactShape, FilterDictArgShape, FilterInfo, FilterInstance } from "akanjs/document";
+import type { EndpointCls, EndpointDictShape as EndpointCompactShape, EndpointInfo, SliceCls, SliceDictShape as SliceCompactShape, SliceInfo } from "akanjs/signal";
 import type { RootDictionary } from "./trans.d.ts";
 type EnumValueKey = string | number;
-type AnyFilterShape = FilterInstance<Record<string, FilterInfo>, Record<string, unknown>>;
-type DictFilterShape<Filter> = Filter extends FilterCls<infer FilterShape> ? FilterShape : Filter extends FilterInstance ? Filter : Filter extends {
+type DictArgShape = {
+    [key: string]: readonly string[];
+};
+type AnyFilterShape = FilterCompactShape<FilterInstance<Record<string, FilterInfo>, Record<string, unknown>>>;
+type DictFilterShape<Filter> = Filter extends FilterCls<infer FilterShape> ? FilterCompactShape<FilterShape> : Filter extends {
+    readonly [FILTER_DICT_SHAPE]: infer CompactShape extends FilterDictArgShape;
+} ? CompactShape : Filter extends FilterInstance ? FilterCompactShape<Filter> : Filter extends {
     query: Record<string, FilterInfo>;
     sort: Record<string, unknown>;
+} ? FilterCompactShape<Filter> : Filter extends {
+    query: DictArgShape;
+    sort: Record<string, true>;
 } ? Filter : AnyFilterShape;
-type DictSliceShape<Slice> = Slice extends SliceCls<infer _SrvModule, infer SliceInfoObj> ? SliceInfoObj : Slice extends Record<string, SliceInfo> ? Slice : Record<never, never>;
-type DictEndpointShape<Endpoint> = Endpoint extends EndpointCls<infer _SrvModule, infer EndpointInfoObj> ? EndpointInfoObj : Endpoint extends Record<string, EndpointInfo> ? Endpoint : Record<never, never>;
+type DictSliceShape<Slice> = Slice extends SliceCls<infer _SrvModule, infer SliceInfoObj> ? SliceCompactShape<SliceInfoObj> : Slice extends {
+    readonly [SLICE_DICT_SHAPE]: infer CompactShape extends DictArgShape;
+} ? CompactShape : Slice extends DictArgShape ? Slice : Slice extends Record<string, SliceInfo> ? SliceCompactShape<Slice> : Record<never, never>;
+type DictEndpointShape<Endpoint> = Endpoint extends EndpointCls<infer _SrvModule, infer EndpointInfoObj> ? EndpointCompactShape<EndpointInfoObj> : Endpoint extends {
+    readonly [ENDPOINT_DICT_SHAPE]: infer CompactShape extends DictArgShape;
+} ? CompactShape : Endpoint extends DictArgShape ? Endpoint : Endpoint extends Record<string, EndpointInfo> ? EndpointCompactShape<Endpoint> : Record<never, never>;
+type DictArgNames<ArgNames> = ArgNames extends readonly string[] ? ArgNames[number] : never;
 type DictFilterQuery<Filter> = DictFilterShape<Filter>["query"];
 type DictFilterSort<Filter> = DictFilterShape<Filter>["sort"];
 declare class FieldTranslation<Languages extends [string, ...string[]]> {
@@ -105,7 +118,7 @@ export declare class ModelDictInfo<Languages extends [string, ...string[]] = [st
         [K in Exclude<keyof GetStateObject<Insight>, InsightKey>]: FieldTranslation<Languages>;
     }): ModelDictInfo<Languages, ModelKey, keyof GetStateObject<Insight> & string, QueryKey, SortKey, EnumKey, BaseSignalKey, SliceKey, EndpointKey, ErrorKey, EtcKey>;
     query<Filter>(translate: (fn: (trans: Languages) => FunctionTranslation<Languages>) => {
-        [K in Exclude<keyof DictFilterQuery<Filter>, QueryKey>]: DictFilterQuery<Filter>[K] extends FilterInfo<infer ArgNames, infer _Args, infer _Model> ? FunctionTranslation<Languages, ArgNames[number]> : never;
+        [K in Exclude<keyof DictFilterQuery<Filter>, QueryKey>]: FunctionTranslation<Languages, DictArgNames<DictFilterQuery<Filter>[K]>>;
     }): ModelDictInfo<Languages, ModelKey, InsightKey, keyof DictFilterQuery<Filter> & string, SortKey, EnumKey, BaseSignalKey, SliceKey, EndpointKey, ErrorKey, EtcKey>;
     sort<Filter>(translate: (t: (trans: Languages) => FieldTranslation<Languages>) => {
         [K in Exclude<keyof DictFilterSort<Filter>, SortKey>]: FieldTranslation<Languages>;
@@ -117,10 +130,10 @@ export declare class ModelDictInfo<Languages extends [string, ...string[]] = [st
         [K in Enum["value"]]: FieldTranslation<Languages>;
     }): ModelDictInfo<Languages, ModelKey, InsightKey, QueryKey, SortKey, EnumKey | Enum["refName"], BaseSignalKey, SliceKey, EndpointKey, ErrorKey, EtcKey>;
     slice<Slice>(translate: (fn: (trans: Languages) => FunctionTranslation<Languages>) => {
-        [K in Exclude<keyof DictSliceShape<Slice>, SliceKey>]: DictSliceShape<Slice>[K] extends infer Info extends SliceInfo ? FunctionTranslation<Languages, SliceInfoArgNames<Info>[number]> : never;
+        [K in Exclude<keyof DictSliceShape<Slice>, SliceKey>]: FunctionTranslation<Languages, DictArgNames<DictSliceShape<Slice>[K]>>;
     }): ModelDictInfo<Languages, ModelKey, InsightKey, QueryKey, SortKey, EnumKey, BaseSignalKey, keyof DictSliceShape<Slice> & string, EndpointKey, ErrorKey, EtcKey>;
     endpoint<Endpoint>(translate: (fn: (trans: Languages) => FunctionTranslation<Languages>) => {
-        [K in Exclude<keyof DictEndpointShape<Endpoint>, EndpointKey>]: DictEndpointShape<Endpoint>[K] extends infer Info extends EndpointInfo ? FunctionTranslation<Languages, EndpInfoArgNames<Info>[number]> : never;
+        [K in Exclude<keyof DictEndpointShape<Endpoint>, EndpointKey>]: FunctionTranslation<Languages, DictArgNames<DictEndpointShape<Endpoint>[K]>>;
     }): ModelDictInfo<Languages, ModelKey, InsightKey, QueryKey, SortKey, EnumKey, BaseSignalKey, SliceKey, keyof DictEndpointShape<Endpoint> & string, ErrorKey, EtcKey>;
     error<ErrorDict extends {
         [key: string]: Languages;
@@ -196,7 +209,7 @@ export declare class ServiceDictInfo<Languages extends [string, ...string[]] = [
     };
     constructor(languages: Languages);
     endpoint<Endpoint>(translate: (fn: (trans: Languages) => FunctionTranslation<Languages>) => {
-        [K in keyof DictEndpointShape<Endpoint>]: DictEndpointShape<Endpoint>[K] extends infer Info extends EndpointInfo ? FunctionTranslation<Languages, EndpInfoArgNames<Info>[number]> : never;
+        [K in keyof DictEndpointShape<Endpoint>]: FunctionTranslation<Languages, DictArgNames<DictEndpointShape<Endpoint>[K]>>;
     }): ServiceDictInfo<Languages, keyof DictEndpointShape<Endpoint> & string, ErrorKey, EtcKey>;
     error<ErrorDict extends {
         [key: string]: Languages;

package/types/dictionary/locale.d.ts

@@ -1,7 +1,7 @@
-import type { GetStateObject, MergedValues } from "akanjs/base";
+import type { ENDPOINT_DICT_SHAPE, FILTER_DICT_SHAPE, GetStateObject, MergedValues, SLICE_DICT_SHAPE } from "akanjs/base";
 import type { BaseInsight, BaseObject } from "akanjs/constant";
-import type { FilterCls, FilterInfo, FilterInstance } from "akanjs/document";
-import type { EndpInfoArgNames, EndpointInfo, SliceInfo, SliceInfoArgNames, SliceInfoRefName } from "akanjs/signal";
+import type { FilterCls, FilterDictShape as FilterCompactShape, FilterDictArgShape, FilterInfo, FilterInstance } from "akanjs/document";
+import type { EndpointCls, EndpointDictShape as EndpointCompactShape, EndpointInfo, SliceCls, SliceDictShape as SliceCompactShape, SliceInfo, SliceInfoArgNames, SliceInfoRefName } from "akanjs/signal";
 import type { ModelDictInfo, ScalarDictInfo, ServiceDictInfo } from ".";
 interface Trans {
     t: string;
@@ -17,24 +17,41 @@ interface FnTrans<ArgKey extends string> {
         [key in ArgKey]: FieldTrans;
     };
 }
-type AnyFilterShape = FilterInstance<Record<string, FilterInfo>, Record<string, unknown>>;
-type DictFilterShape<Filter> = Filter extends FilterCls<infer FilterShape> ? FilterShape : Filter extends FilterInstance ? Filter : Filter extends {
+type DictArgShape = {
+    [key: string]: readonly string[];
+};
+type AnyFilterShape = FilterCompactShape<FilterInstance<Record<string, FilterInfo>, Record<string, unknown>>>;
+type DictFilterShape<Filter> = Filter extends FilterCls<infer FilterShape> ? FilterCompactShape<FilterShape> : Filter extends {
+    readonly [FILTER_DICT_SHAPE]: infer CompactShape extends FilterDictArgShape;
+} ? CompactShape : Filter extends FilterInstance ? FilterCompactShape<Filter> : Filter extends {
     query: Record<string, FilterInfo>;
     sort: Record<string, unknown>;
+} ? FilterCompactShape<Filter> : Filter extends {
+    query: DictArgShape;
+    sort: Record<string, true>;
 } ? Filter : AnyFilterShape;
 type DictFilterQuery<Filter> = DictFilterShape<Filter>["query"];
 type DictFilterSort<Filter> = DictFilterShape<Filter>["sort"];
+type DictArgNames<ArgNames> = ArgNames extends readonly string[] ? ArgNames[number] : never;
+type DictEndpointShape<Endpoint> = Endpoint extends EndpointCls<infer _SrvModule, infer EndpointInfoObj> ? EndpointCompactShape<EndpointInfoObj> : Endpoint extends {
+    readonly [ENDPOINT_DICT_SHAPE]: infer CompactShape extends DictArgShape;
+} ? CompactShape : Endpoint extends DictArgShape ? Endpoint : Endpoint extends Record<string, EndpointInfo> ? EndpointCompactShape<Endpoint> : Record<never, never>;
+type DictSliceShape<Slice> = Slice extends SliceCls<infer _SrvModule, infer SliceInfoObj> ? SliceCompactShape<SliceInfoObj> : Slice extends {
+    readonly [SLICE_DICT_SHAPE]: infer CompactShape extends DictArgShape;
+} ? CompactShape : Slice extends DictArgShape ? Slice : Slice extends Record<string, SliceInfo> ? SliceCompactShape<Slice> : Record<never, never>;
 type FilterTranslatorKey<Filter> = {
-    [Key in keyof DictFilterQuery<Filter> & string]: `${Key}` | `${Key}.desc` | (DictFilterQuery<Filter>[Key] extends FilterInfo<infer ArgNames, infer _Args> ? ArgNames[number] extends string ? `${Key}.arg.${ArgNames[number]}` | `${Key}.arg.${ArgNames[number]}.desc` : never : never);
+    [Key in keyof DictFilterQuery<Filter> & string]: `${Key}` | `${Key}.desc` | (DictArgNames<DictFilterQuery<Filter>[Key]> extends string ? `${Key}.arg.${DictArgNames<DictFilterQuery<Filter>[Key]>}` | `${Key}.arg.${DictArgNames<DictFilterQuery<Filter>[Key]>}.desc` : never);
 }[keyof DictFilterQuery<Filter> & string];
-type EndpointTranslatorKey<Endpoint extends {
-    [key: string]: EndpointInfo;
-}> = {
-    [Key in keyof Endpoint & string]: `${Key}` | `${Key}.desc` | `${Key}.arg.${EndpInfoArgNames<Endpoint[Key]>[number]}` | `${Key}.arg.${EndpInfoArgNames<Endpoint[Key]>[number]}.desc`;
-}[keyof Endpoint & string];
-type SliceTranslatorKey<Slice> = {
+type EndpointTranslatorKey<Endpoint> = {
+    [Key in keyof DictEndpointShape<Endpoint> & string]: `${Key}` | `${Key}.desc` | `${Key}.arg.${DictArgNames<DictEndpointShape<Endpoint>[Key]>}` | `${Key}.arg.${DictArgNames<DictEndpointShape<Endpoint>[Key]>}.desc`;
+}[keyof DictEndpointShape<Endpoint> & string];
+type FullSliceTranslatorKey<Slice> = {
     [Key in keyof Slice & string]: Slice[Key] extends infer Info extends SliceInfo ? `${SliceInfoRefName<Info>}List${Capitalize<Key>}` | `${SliceInfoRefName<Info>}List${Capitalize<Key>}.desc` | `${SliceInfoRefName<Info>}List${Capitalize<Key>}.arg.${SliceInfoArgNames<Info>[number] | "skip" | "limit" | "sort"}` | `${SliceInfoRefName<Info>}List${Capitalize<Key>}.arg.${SliceInfoArgNames<Info>[number] | "skip" | "limit" | "sort"}.desc` | `${SliceInfoRefName<Info>}Insight${Capitalize<Key>}` | `${SliceInfoRefName<Info>}Insight${Capitalize<Key>}.desc` | `${SliceInfoRefName<Info>}Insight${Capitalize<Key>}.arg.${SliceInfoArgNames<Info>[number]}` | `${SliceInfoRefName<Info>}Insight${Capitalize<Key>}.arg.${SliceInfoArgNames<Info>[number]}.desc` : never;
 }[keyof Slice & string];
+type CompactSliceTranslatorKey<T extends string, Slice> = {
+    [Key in keyof DictSliceShape<Slice> & string]: Key extends "" ? never : `${T}List${Capitalize<Key>}` | `${T}List${Capitalize<Key>}.desc` | `${T}List${Capitalize<Key>}.arg.${DictArgNames<DictSliceShape<Slice>[Key]> | "skip" | "limit" | "sort"}` | `${T}List${Capitalize<Key>}.arg.${DictArgNames<DictSliceShape<Slice>[Key]> | "skip" | "limit" | "sort"}.desc` | `${T}Insight${Capitalize<Key>}` | `${T}Insight${Capitalize<Key>}.desc` | `${T}Insight${Capitalize<Key>}.arg.${DictArgNames<DictSliceShape<Slice>[Key]>}` | `${T}Insight${Capitalize<Key>}.arg.${DictArgNames<DictSliceShape<Slice>[Key]>}.desc`;
+}[keyof DictSliceShape<Slice> & string];
+type SliceTranslatorKey<T extends string, Slice> = Slice extends Record<string, SliceInfo> ? FullSliceTranslatorKey<Slice> : CompactSliceTranslatorKey<T, Slice>;
 type SliceApiTrans<T extends string, Suffix extends string, ArgName extends string, _CapitalizedSuffix extends string = Capitalize<Suffix>> = {
     [K in `${T}List${_CapitalizedSuffix}`]: FnTrans<ArgName | "skip" | "limit" | "sort">;
 } & {
@@ -51,11 +68,7 @@ type BaseModelCrudGetApiTrans<T extends string> = {
 } & {
     [K in `remove${T}`]: FnTrans<`${T}Id`>;
 };
-export type ModelTrans<T extends string, Model extends BaseObject, Insight extends BaseInsight, Filter, Slice extends {
-    [key: string]: SliceInfo;
-}, Endpoint extends {
-    [key: string]: EndpointInfo;
-}, ErrorKey extends string, EtcKey extends string> = {
+export type ModelTrans<T extends string, Model extends BaseObject, Insight extends BaseInsight, Filter, Slice, Endpoint, ErrorKey extends string, EtcKey extends string> = {
     modelName: Trans;
     modelDesc: Trans;
     model: {
@@ -65,15 +78,15 @@ export type ModelTrans<T extends string, Model extends BaseObject, Insight exten
         [K in keyof GetStateObject<Insight>]: FieldTrans;
     };
     query: {
-        [K in keyof DictFilterQuery<Filter>]: DictFilterQuery<Filter>[K] extends FilterInfo<infer ArgNames, infer _Args> ? FnTrans<ArgNames[number]> : never;
+        [K in keyof DictFilterQuery<Filter>]: FnTrans<DictArgNames<DictFilterQuery<Filter>[K]>>;
     };
     sort: {
         [K in keyof DictFilterSort<Filter>]: FieldTrans;
     };
     api: {
-        [K in keyof Endpoint]: FnTrans<EndpInfoArgNames<Endpoint[K]>[number]>;
+        [K in keyof DictEndpointShape<Endpoint>]: FnTrans<DictArgNames<DictEndpointShape<Endpoint>[K]>>;
     } & BaseModelCrudGetApiTrans<T> & MergedValues<{
-        [K in keyof Slice]: SliceApiTrans<SliceInfoRefName<Slice[K]>, K & string, SliceInfoArgNames<Slice[K]>[number]>;
+        [K in keyof DictSliceShape<Slice>]: SliceApiTrans<T, K & string, DictArgNames<DictSliceShape<Slice>[K]>>;
     }>;
     error: {
         [K in ErrorKey]: Trans;
@@ -81,11 +94,7 @@ export type ModelTrans<T extends string, Model extends BaseObject, Insight exten
 } & {
     [K in EtcKey]: Trans;
 };
-export type ModelTranslatorKey<T extends string, Model, Insight, Filter, Slice extends {
-    [key: string]: SliceInfo;
-}, Endpoint extends {
-    [key: string]: EndpointInfo;
-}, EtcKey extends string> = `${T}.modelName` | `${T}.modelDesc` | `${T}.${keyof GetStateObject<Model> & string}${"" | ".desc"}` | `${T}.insight.${keyof GetStateObject<Insight> & string}${"" | ".desc"}` | `${T}.query.${FilterTranslatorKey<Filter>}` | `${T}.sort.${keyof DictFilterSort<Filter> & string}${"" | ".desc"}` | `${T}.signal.${EndpointTranslatorKey<Endpoint> | SliceTranslatorKey<Slice>}` | `${T}.${EtcKey}`;
+export type ModelTranslatorKey<T extends string, Model, Insight, Filter, Slice, Endpoint, EtcKey extends string> = `${T}.modelName` | `${T}.modelDesc` | `${T}.${keyof GetStateObject<Model> & string}${"" | ".desc"}` | `${T}.insight.${keyof GetStateObject<Insight> & string}${"" | ".desc"}` | `${T}.query.${FilterTranslatorKey<Filter>}` | `${T}.sort.${keyof DictFilterSort<Filter> & string}${"" | ".desc"}` | `${T}.signal.${EndpointTranslatorKey<Endpoint> | SliceTranslatorKey<T, Slice>}` | `${T}.${EtcKey}`;
 export type ScalarTrans<_T extends string, Model, ErrorKey extends string, EtcKey extends string> = {
     name: Trans;
     desc: Trans;
@@ -99,11 +108,9 @@ export type ScalarTrans<_T extends string, Model, ErrorKey extends string, EtcKe
     [K in EtcKey]: Trans;
 };
 export type ScalarTranslatorKey<T extends string, Model, EtcKey extends string> = `${T}.modelName` | `${T}.modelDesc` | `${T}.${keyof GetStateObject<Model> & string}${"" | ".desc"}` | `${T}.${EtcKey}`;
-export type ServiceTrans<_T extends string, Endpoint extends {
-    [key: string]: EndpointInfo;
-}, ErrorKey extends string, EtcKey extends string> = {
+export type ServiceTrans<_T extends string, Endpoint, ErrorKey extends string, EtcKey extends string> = {
     api: {
-        [K in keyof Endpoint]: FnTrans<EndpInfoArgNames<Endpoint[K]>[number]>;
+        [K in keyof DictEndpointShape<Endpoint>]: FnTrans<DictArgNames<DictEndpointShape<Endpoint>[K]>>;
     };
     error: {
         [K in ErrorKey]: Trans;
@@ -111,9 +118,7 @@ export type ServiceTrans<_T extends string, Endpoint extends {
 } & {
     [K in EtcKey]: Trans;
 };
-export type ServiceTranslatorKey<T extends string, Endpoint extends {
-    [key: string]: EndpointInfo;
-}, EtcKey extends string> = `${T}.signal.${EndpointTranslatorKey<Endpoint>}` | `${T}.${EtcKey}`;
+export type ServiceTranslatorKey<T extends string, Endpoint, EtcKey extends string> = `${T}.signal.${EndpointTranslatorKey<Endpoint>}` | `${T}.${EtcKey}`;
 export type EnumTrans<EnumValue extends string | number> = {
     [key in EnumValue]: Trans;
 };
@@ -123,13 +128,7 @@ export interface DictModule<DictKey extends string, ErrorKey extends string> {
     __Error_Key__: ErrorKey;
     dict: ModelDictInfo<[string, ...string[]]> | ScalarDictInfo<[string, ...string[]]> | ServiceDictInfo<[string, ...string[]]>;
 }
-export declare const registerModelTrans: <RefName extends string, Model extends BaseObject, Insight extends BaseInsight, Filter, Slice extends {
-    [key: string]: SliceInfo;
-}, Endpoint extends {
-    [key: string]: EndpointInfo;
-}, ModelDict>(modelDict: ModelDict) => ModelDict extends ModelDictInfo<infer _Languages, infer _ModelKey, infer _InsightKey, infer _QueryKey, infer _SortKey, infer EnumKey, infer _BaseSignalKey, infer _SliceKey, infer _EndpointKey, infer ErrorKey, infer EtcKey> ? DictModule<ModelTranslatorKey<RefName, Model, Insight, Filter, Slice, Endpoint, EtcKey> | EnumTranslatorKey<EnumKey>, `${RefName}.error.${ErrorKey}`> : never;
+export declare const registerModelTrans: <RefName extends string, Model extends BaseObject, Insight extends BaseInsight, Filter, Slice, Endpoint, ModelDict>(modelDict: ModelDict) => ModelDict extends ModelDictInfo<infer _Languages, infer _ModelKey, infer _InsightKey, infer _QueryKey, infer _SortKey, infer EnumKey, infer _BaseSignalKey, infer _SliceKey, infer _EndpointKey, infer ErrorKey, infer EtcKey> ? DictModule<ModelTranslatorKey<RefName, Model, Insight, Filter, Slice, Endpoint, EtcKey> | EnumTranslatorKey<EnumKey>, `${RefName}.error.${ErrorKey}`> : never;
 export declare const registerScalarTrans: <T extends string, Model, ScalarDict>(scalarDict: ScalarDict) => ScalarDict extends ScalarDictInfo<infer _Languages, infer _ModelKey, infer EnumKey, infer ErrorKey, infer EtcKey> ? DictModule<ScalarTranslatorKey<T, Model, EtcKey> | EnumTranslatorKey<EnumKey>, `${T}.error.${ErrorKey}`> : never;
-export declare const registerServiceTrans: <T extends string, Endpoint extends {
-    [key: string]: EndpointInfo;
-}, ServiceDict>(serviceDict: ServiceDict) => ServiceDict extends ServiceDictInfo<infer _Languages, infer _EndpointKey, infer ErrorKey, infer EtcKey> ? DictModule<ServiceTranslatorKey<T, Endpoint, EtcKey>, `${T}.error.${ErrorKey}`> : never;
+export declare const registerServiceTrans: <T extends string, Endpoint, ServiceDict>(serviceDict: ServiceDict) => ServiceDict extends ServiceDictInfo<infer _Languages, infer _EndpointKey, infer ErrorKey, infer EtcKey> ? DictModule<ServiceTranslatorKey<T, Endpoint, EtcKey>, `${T}.error.${ErrorKey}`> : never;
 export {};

package/types/document/filterMeta.d.ts

@@ -1,5 +1,5 @@
 import type { Cls, MergeAllDoubleKeyOfObjects, MergeAllKeyOfTypes } from "akanjs/base";
-import { FILTER_META } from "akanjs/base";
+import { FILTER_DICT_SHAPE, FILTER_META } from "akanjs/base";
 import type { BaseObject, ConstantFieldTypeInput, DocumentModel, FieldToValue, PlainTypeToFieldType, QueryOf, Serialized } from "akanjs/constant";
 import type { DocumentQuery, DocumentQueryHelper } from "./documentQuery.d.ts";
 import type { ConstantFilterMeta } from "./types.d.ts";
@@ -30,6 +30,25 @@ export type FilterInstance<Query extends {
     query: Query;
     sort: Sort;
 };
+export type FilterDictArgShape = {
+    query: {
+        [key: string]: readonly string[];
+    };
+    sort: {
+        [key: string]: true;
+    };
+};
+export type FilterDictShape<Filter extends FilterInstance> = {
+    query: {
+        [K in keyof Filter["query"]]: Filter["query"][K] extends FilterInfo<infer ArgNames, infer _Args, infer _Model> ? ArgNames : never;
+    };
+    sort: {
+        [K in keyof Filter["sort"]]: true;
+    };
+};
+export interface FilterDictShapeCarrier<DictShape extends FilterDictArgShape = FilterDictArgShape> {
+    readonly [FILTER_DICT_SHAPE]: DictShape;
+}
 interface BaseQuery<Model> {
     any: FilterInfo<[], [], Model>;
 }
@@ -53,10 +72,13 @@ export type ExtractQuery<Filter extends FilterInstance> = {
     [K in keyof Filter["query"]]: Filter["query"][K] extends FilterInfo<any, infer Args> ? (...args: Args) => QueryOf<any> : never;
 };
 export type ExtractSort<Filter extends FilterInstance> = keyof Filter["sort"];
-export interface FilterCls<Filter extends FilterInstance = any, Query = unknown, Sort = unknown> extends Cls<{
-    [key: string]: any;
+export interface FilterCls<Filter extends FilterInstance = any, Query = unknown, Sort = unknown> extends Cls<FilterDictShapeCarrier<FilterDictShape<Filter>> & {
+    [key: string]: unknown;
 }> {
     [FILTER_META]: Filter;
+    prototype: FilterDictShapeCarrier<FilterDictShape<Filter>> & {
+        [key: string]: unknown;
+    };
     sortField: Set<string>;
     _Query: Query;
     _Sort: Sort;

package/types/signal/endpoint.d.ts

@@ -1,19 +1,29 @@
 import type { Assign } from "akanjs/base";
-import { ENDPOINT_META } from "akanjs/base";
+import { ENDPOINT_DICT_SHAPE, ENDPOINT_META } from "akanjs/base";
 import { type Adaptor, type AdaptorCls, type ServiceModel } from "akanjs/service";
-import { type EndpointBuilder, type EndpointInfo } from "./endpointInfo.d.ts";
+import { type EndpInfoArgNames, type EndpointBuilder, type EndpointInfo } from "./endpointInfo.d.ts";
 import type { SrvRefName } from "./types.d.ts";
-export interface Endpoint extends Adaptor {
+export type EndpointDictArgShape = {
+    [key: string]: readonly string[];
+};
+export type EndpointDictShape<EndpointInfoObj extends {
+    [key: string]: EndpointInfo;
+}> = {
+    [K in keyof EndpointInfoObj]: EndpInfoArgNames<EndpointInfoObj[K]>;
+};
+export interface Endpoint<DictShape extends EndpointDictArgShape = Record<never, never>> extends Adaptor {
+    readonly [ENDPOINT_DICT_SHAPE]: DictShape;
 }
-export interface EndpointCls<SrvModule extends ServiceModel = ServiceModel, EndpointInfoObj extends {
+export type EndpointCls<SrvModule extends ServiceModel = ServiceModel, EndpointInfoObj extends {
     [key: string]: EndpointInfo;
 } = {
     [key: string]: EndpointInfo;
-}> extends AdaptorCls {
+}> = AdaptorCls<Endpoint<EndpointDictShape<EndpointInfoObj>>> & {
     baseName: SrvRefName<SrvModule>;
     srv: SrvModule;
+    prototype: Endpoint<EndpointDictShape<EndpointInfoObj>>;
     [ENDPOINT_META]: EndpointInfoObj;
-}
+};
 type EndpointMetaOf<EndpCls> = EndpCls extends EndpointCls<any, infer EndpointInfoObj> ? EndpointInfoObj : never;
 type MergeEndpointMetas<EndpClses extends readonly EndpointCls[], Acc = unknown> = EndpClses extends readonly [
     infer First extends EndpointCls,

package/types/signal/signalRegistry.d.ts

@@ -30,20 +30,8 @@ export declare class ServiceSignal<IntlCls extends InternalCls = InternalCls, En
 export declare class SignalRegistry {
     #private;
     static registerDatabase<RefName extends string, IntlCls extends InternalCls, EndpCls extends EndpointCls, SlceCls extends SliceCls, SrvrCls extends ServerSignalCls>(refName: RefName, internal: SignalWithBase<RefName, IntlCls>, endpoint: SignalWithBase<RefName, EndpCls>, slice: SignalWithBase<RefName, SlceCls>, server: SrvrCls): DatabaseSignal<IntlCls, EndpCls, SlceCls, SrvrCls>;
-    static getDatabase(refName: string): DatabaseSignal<InternalCls, EndpointCls<import("../service.d.ts").ServiceModel<import("../service.d.ts").ServiceCls, any, any, {
-        [x: `${Uncapitalize<string>}Service`]: import("../service.d.ts").ExtractInjectInfoObject<{}> & import("../service.d.ts").Service;
-    }>, {
-        [key: string]: import("./endpointInfo.d.ts").EndpointInfo<import("./endpointInfo.d.ts").EndpointType, {
-            [key: string]: any;
-        }, any, any, any, any, import("../constant.d.ts").ConstantFieldTypeInput, never, never, boolean>;
-    }>, SliceCls, ServerSignalCls> | undefined;
+    static getDatabase(refName: string): DatabaseSignal<InternalCls, EndpointCls, SliceCls, ServerSignalCls> | undefined;
     static registerService<RefName extends string, IntlCls extends InternalCls, EndpCls extends EndpointCls, SrvrCls extends ServerSignalCls>(refName: RefName, internal: SignalWithBase<RefName, IntlCls>, endpoint: SignalWithBase<RefName, EndpCls>, server: SrvrCls): ServiceSignal<IntlCls, EndpCls, SrvrCls>;
-    static getService(refName: string): ServiceSignal<InternalCls, EndpointCls<import("../service.d.ts").ServiceModel<import("../service.d.ts").ServiceCls, any, any, {
-        [x: `${Uncapitalize<string>}Service`]: import("../service.d.ts").ExtractInjectInfoObject<{}> & import("../service.d.ts").Service;
-    }>, {
-        [key: string]: import("./endpointInfo.d.ts").EndpointInfo<import("./endpointInfo.d.ts").EndpointType, {
-            [key: string]: any;
-        }, any, any, any, any, import("../constant.d.ts").ConstantFieldTypeInput, never, never, boolean>;
-    }>, ServerSignalCls> | undefined;
+    static getService(refName: string): ServiceSignal<InternalCls, EndpointCls, ServerSignalCls> | undefined;
 }
 export {};

package/types/signal/slice.d.ts

@@ -1,19 +1,29 @@
-import { type Assign, type Cls, type MergeAllKeyOfObjects, SLICE_META } from "akanjs/base";
+import { type Assign, type Cls, type MergeAllKeyOfObjects, SLICE_DICT_SHAPE, SLICE_META } from "akanjs/base";
 import type { DocumentModel, QueryOf } from "akanjs/constant";
 import type { FilterInstance } from "akanjs/document";
 import { type Adaptor, type AdaptorCls, type ServiceModel } from "akanjs/service";
 import type { Guard, GuardCls } from "./guard.d.ts";
 import { type SliceBuilder, type SliceInfo, type SliceInfoArgNames, type SliceInfoArgs, type SliceInfoInternalArgs, type SliceInfoServerArgs, type SliceInfoSrvs } from "./sliceInfo.d.ts";
 import type { CnstFull, CnstInput, CnstInsight, CnstLight, DbFilter, SrvMap, SrvRefName } from "./types.d.ts";
-export interface Slice extends Adaptor {
+export type SliceDictArgShape = {
+    [key: string]: readonly string[];
+};
+export type SliceDictShape<SliceInfoObj extends {
+    [key: string]: SliceInfo;
+}> = {
+    [K in keyof SliceInfoObj]: SliceInfoArgNames<SliceInfoObj[K]>;
+};
+export interface Slice<DictShape extends SliceDictArgShape = Record<never, never>> extends Adaptor {
+    readonly [SLICE_DICT_SHAPE]: DictShape;
 }
 export type SliceCls<SrvModule extends ServiceModel = ServiceModel, SliceInfoObj extends {
     [key: string]: SliceInfo;
 } = {
     [key: string]: SliceInfo;
-}> = AdaptorCls & {
+}> = AdaptorCls<Slice<SliceDictShape<SliceInfoObj>>> & {
     baseName: SrvRefName<SrvModule>;
     srv: SrvModule;
+    prototype: Slice<SliceDictShape<SliceInfoObj>>;
     [SLICE_META]: SliceInfoObj;
     getGuards: GuardCls[];
     cruGuards: GuardCls[];