akanjs 2.3.8-rc.1 → 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,20 +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, EndpointInfo, 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 { 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 DictFilterShape<Filter> = Filter extends FilterInstance
-  ? Filter
-  : Filter extends FilterCls<infer FilterShape>
-    ? FilterShape
-    : Filter extends { query: Record<string, FilterInfo>; sort: Record<string, unknown> }
-      ? Filter
-      : AnyFilterShape;
+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>
+    ? 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"];
 
@@ -96,7 +138,7 @@ export class ModelDictInfo<
   SortKey extends string = BaseFilterSortKey,
   EnumKey extends string = never,
   BaseSignalKey extends string = never,
-  SliceKey extends string = never,
+  SliceKey extends string = "",
   EndpointKey extends string = never,
   ErrorKey extends string = never,
   EtcKey extends string = never,
@@ -162,7 +204,7 @@ export class ModelDictInfo<
   static baseSliceDictionary: {
     [key in ""]: FunctionTranslation<[string, string], "query">;
   } = {
-    [""]: fn(["Universal", "유니버설"])
+    "": fn(["Universal", "유니버설"])
       .desc(["Universal Slice", "유니버설 슬라이스"])
       .arg((t) => ({
         query: t(["Query", "쿼리"]).desc(["Query Description", "쿼리 설명"]),
@@ -262,19 +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,
-        any
-      >
-        ? 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, any> ? ArgNames[number] : never
-      >;
+      [K in keyof DictFilterQuery<Filter>]: FunctionTranslation<Languages, DictArgNames<DictFilterQuery<Filter>[K]>>;
     };
     return this as unknown as ModelDictInfo<
       Languages,
@@ -340,13 +377,14 @@ export class ModelDictInfo<
   }
   slice<Slice>(
     translate: (fn: (trans: Languages) => FunctionTranslation<Languages>) => {
-      [K in Exclude<keyof Slice, SliceKey>]: 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 {
-      [K in keyof Slice]: FunctionTranslation<Languages>;
+      [K in keyof DictSliceShape<Slice>]: FunctionTranslation<Languages>;
     };
     return this as unknown as ModelDictInfo<
       Languages,
@@ -356,7 +394,7 @@ export class ModelDictInfo<
       SortKey,
       EnumKey,
       BaseSignalKey,
-      keyof Slice & string,
+      keyof DictSliceShape<Slice> & string,
       EndpointKey,
       ErrorKey,
       EtcKey
@@ -364,9 +402,10 @@ export class ModelDictInfo<
   }
   endpoint<Endpoint>(
     translate: (fn: (trans: Languages) => FunctionTranslation<Languages>) => {
-      [K in Exclude<keyof Endpoint, EndpointKey>]: 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 {
@@ -381,7 +420,7 @@ export class ModelDictInfo<
       EnumKey,
       BaseSignalKey,
       SliceKey,
-      keyof Endpoint & string,
+      keyof DictEndpointShape<Endpoint> & string,
       ErrorKey,
       EtcKey
     >;
@@ -777,7 +816,7 @@ type MergeTwoModelDicts<ModelDict1, ModelDict2> =
     infer EtcKey1
   >
     ? ModelDict2 extends ModelDictInfo<
-        any,
+        infer _Languages2,
         infer ModelKey2,
         infer InsightKey2,
         infer QueryKey2,
@@ -980,15 +1019,18 @@ export class ServiceDictInfo<
   constructor(languages: Languages) {
     this.languages = languages;
   }
-  endpoint<Endpoint extends { [key: string]: EndpointInfo }>(
+  endpoint<Endpoint>(
     translate: (fn: (trans: Languages) => FunctionTranslation<Languages>) => {
-      [K in keyof Endpoint]: FunctionTranslation<Languages, EndpInfoArgNames<Endpoint[K]>[number]>;
+      [K in keyof DictEndpointShape<Endpoint>]: FunctionTranslation<
+        Languages,
+        DictArgNames<DictEndpointShape<Endpoint>[K]>
+      >;
     },
   ) {
     Object.assign(this.endpointDictionary, translate(fn)) as unknown as {
       [K in EndpointKey]: FunctionTranslation<Languages>;
     };
-    return this as unknown as ServiceDictInfo<Languages, keyof Endpoint & string, ErrorKey, EtcKey>;
+    return this as unknown as ServiceDictInfo<Languages, keyof DictEndpointShape<Endpoint> & string, ErrorKey, EtcKey>;
   }
   error<ErrorDict extends { [key: string]: Languages }>(errorDictionary: ErrorDict) {
     Object.assign(this.errorDictionary, errorDictionary);

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,34 +37,61 @@ interface FnTrans<ArgKey extends string> {
   desc?: string;
   arg?: { [key in ArgKey]: FieldTrans };
 }
-type AnyFilterShape = FilterInstance<Record<string, FilterInfo>, Record<string, unknown>>;
-type DictFilterShape<Filter> = Filter extends FilterInstance
-  ? Filter
-  : Filter extends FilterCls<infer FilterShape>
-    ? FilterShape
-    : Filter extends { query: Record<string, FilterInfo>; sort: Record<string, unknown> }
-      ? Filter
-      : AnyFilterShape;
+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, any>
-        ? 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>}`
@@ -56,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,
@@ -84,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,
 > = {
@@ -94,38 +157,28 @@ 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, any>
-      ? 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> = {
+export type ScalarTrans<_T extends string, Model, ErrorKey extends string, EtcKey extends string> = {
   name: Trans;
   desc: Trans;
   model: { [K in keyof GetStateObject<Model>]: FieldTrans };
@@ -137,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;
@@ -162,7 +208,10 @@ export type EnumTranslatorKey<EnumKey extends string> = `${EnumKey}.${string}${"
 export interface DictModule<DictKey extends string, ErrorKey extends string> {
   __Dict_Key__: DictKey;
   __Error_Key__: ErrorKey;
-  dict: ModelDictInfo<any> | ScalarDictInfo<any> | ServiceDictInfo<any>;
+  dict:
+    | ModelDictInfo<[string, ...string[]]>
+    | ScalarDictInfo<[string, ...string[]]>
+    | ServiceDictInfo<[string, ...string[]]>;
 }
 
 export const registerModelTrans = <
@@ -170,27 +219,39 @@ export const registerModelTrans = <
   Model extends BaseObject,
   Insight extends BaseInsight,
   Filter,
-  Slice extends { [key: string]: SliceInfo },
-  Endpoint extends { [key: string]: EndpointInfo },
-  ModelDict extends ModelDictInfo<any>,
+  Slice,
+  Endpoint,
+  ModelDict,
 >(
   modelDict: ModelDict,
-): ModelDict extends ModelDictInfo<any, any, any, any, any, infer EnumKey, any, any, any, infer ErrorKey, infer EtcKey>
+): 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 => {
   return { dict: modelDict } as unknown as ModelDict extends ModelDictInfo<
-    any,
-    any,
-    any,
-    any,
-    any,
+    infer _Languages,
+    infer _ModelKey,
+    infer _InsightKey,
+    infer _QueryKey,
+    infer _SortKey,
     infer EnumKey,
-    any,
-    any,
-    any,
+    infer _BaseSignalKey,
+    infer _SliceKey,
+    infer _EndpointKey,
     infer ErrorKey,
     infer EtcKey
   >
@@ -203,12 +264,12 @@ export const registerModelTrans = <
 
 export const registerScalarTrans = <T extends string, Model, ScalarDict>(
   scalarDict: ScalarDict,
-): ScalarDict extends ScalarDictInfo<any, any, infer EnumKey, infer ErrorKey, infer EtcKey>
+): ScalarDict extends ScalarDictInfo<infer _Languages, infer _ModelKey, infer EnumKey, infer ErrorKey, infer EtcKey>
   ? DictModule<ScalarTranslatorKey<T, Model, EtcKey> | EnumTranslatorKey<EnumKey>, `${T}.error.${ErrorKey}`>
   : never => {
   return { dict: scalarDict } as unknown as ScalarDict extends ScalarDictInfo<
-    any,
-    any,
+    infer _Languages,
+    infer _ModelKey,
     infer EnumKey,
     infer ErrorKey,
     infer EtcKey
@@ -217,12 +278,17 @@ 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<any, any, infer ErrorKey, infer EtcKey>
+): ServiceDict extends ServiceDictInfo<infer _Languages, infer _EndpointKey, infer ErrorKey, infer EtcKey>
   ? DictModule<ServiceTranslatorKey<T, Endpoint, EtcKey>, `${T}.error.${ErrorKey}`>
   : never => {
-  return { dict: serviceDict } as unknown as ServiceDict extends ServiceDictInfo<any, any, infer ErrorKey, infer EtcKey>
+  return { dict: serviceDict } as unknown as ServiceDict extends ServiceDictInfo<
+    infer _Languages,
+    infer _EndpointKey,
+    infer ErrorKey,
+    infer EtcKey
+  >
     ? DictModule<ServiceTranslatorKey<T, Endpoint, EtcKey>, `${T}.error.${ErrorKey}`>
     : never;
 };

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.1",
+  "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,14 +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, EndpointInfo, 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 FilterInstance ? Filter : Filter extends FilterCls<infer FilterShape> ? FilterShape : 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> ? 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[]]> {
@@ -42,7 +57,7 @@ type BaseModelCrudGetSignalTranslation<T extends string, Languages extends [stri
     [K in `remove${_CapitalizedRefName}`]: FunctionTranslation<Languages, `${T}Id`>;
 };
 type GetBaseSignalKey<T extends string> = keyof BaseModelCrudGetSignalTranslation<T>;
-export declare class ModelDictInfo<Languages extends [string, ...string[]] = [string], ModelKey extends string = keyof BaseObject, InsightKey extends string = keyof BaseInsight, QueryKey extends string = BaseFilterQueryKey, SortKey extends string = BaseFilterSortKey, EnumKey extends string = never, BaseSignalKey extends string = never, SliceKey extends string = never, EndpointKey extends string = never, ErrorKey extends string = never, EtcKey extends string = never> {
+export declare class ModelDictInfo<Languages extends [string, ...string[]] = [string], ModelKey extends string = keyof BaseObject, InsightKey extends string = keyof BaseInsight, QueryKey extends string = BaseFilterQueryKey, SortKey extends string = BaseFilterSortKey, EnumKey extends string = never, BaseSignalKey extends string = never, SliceKey extends string = "", EndpointKey extends string = never, ErrorKey extends string = never, EtcKey extends string = never> {
     #private;
     static baseModelDictionary: {
         [key in keyof BaseObject]: FieldTranslation<[string, string]>;
@@ -103,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, any> ? 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>;
@@ -115,11 +130,11 @@ 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 Slice, SliceKey>]: Slice[K] extends infer Info extends SliceInfo ? FunctionTranslation<Languages, SliceInfoArgNames<Info>[number]> : never;
-    }): ModelDictInfo<Languages, ModelKey, InsightKey, QueryKey, SortKey, EnumKey, BaseSignalKey, keyof Slice & string, EndpointKey, ErrorKey, EtcKey>;
+        [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 Endpoint, EndpointKey>]: Endpoint[K] extends infer Info extends EndpointInfo ? FunctionTranslation<Languages, EndpInfoArgNames<Info>[number]> : never;
-    }): ModelDictInfo<Languages, ModelKey, InsightKey, QueryKey, SortKey, EnumKey, BaseSignalKey, SliceKey, keyof Endpoint & string, ErrorKey, EtcKey>;
+        [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;
     }>(errorDictionary: ErrorDict): ModelDictInfo<Languages, ModelKey, InsightKey, QueryKey, SortKey, EnumKey, BaseSignalKey, SliceKey, EndpointKey, ErrorKey | (keyof ErrorDict & string), EtcKey>;
@@ -136,7 +151,7 @@ export declare class ModelDictInfo<Languages extends [string, ...string[]] = [st
     };
 }
 type AnyModelDictInfo = ModelDictInfo<any, any, any, any, any, any, any, any, any, any, any>;
-type MergeTwoModelDicts<ModelDict1, ModelDict2> = ModelDict1 extends ModelDictInfo<infer Languages1, infer ModelKey1, infer InsightKey1, infer QueryKey1, infer SortKey1, infer EnumKey1, infer BaseSignalKey1, infer SliceKey1, infer EndpointKey1, infer ErrorKey1, infer EtcKey1> ? ModelDict2 extends ModelDictInfo<any, infer ModelKey2, infer InsightKey2, infer QueryKey2, infer SortKey2, infer EnumKey2, infer BaseSignalKey2, infer SliceKey2, infer EndpointKey2, infer ErrorKey2, infer EtcKey2> ? ModelDictInfo<Languages1, ModelKey1 | ModelKey2, InsightKey1 | InsightKey2, QueryKey1 | QueryKey2, SortKey1 | SortKey2, EnumKey1 | EnumKey2, BaseSignalKey1 | BaseSignalKey2, SliceKey1 | SliceKey2, EndpointKey1 | EndpointKey2, ErrorKey1 | ErrorKey2, EtcKey1 | EtcKey2> : ModelDict1 : never;
+type MergeTwoModelDicts<ModelDict1, ModelDict2> = ModelDict1 extends ModelDictInfo<infer Languages1, infer ModelKey1, infer InsightKey1, infer QueryKey1, infer SortKey1, infer EnumKey1, infer BaseSignalKey1, infer SliceKey1, infer EndpointKey1, infer ErrorKey1, infer EtcKey1> ? ModelDict2 extends ModelDictInfo<infer _Languages2, infer ModelKey2, infer InsightKey2, infer QueryKey2, infer SortKey2, infer EnumKey2, infer BaseSignalKey2, infer SliceKey2, infer EndpointKey2, infer ErrorKey2, infer EtcKey2> ? ModelDictInfo<Languages1, ModelKey1 | ModelKey2, InsightKey1 | InsightKey2, QueryKey1 | QueryKey2, SortKey1 | SortKey2, EnumKey1 | EnumKey2, BaseSignalKey1 | BaseSignalKey2, SliceKey1 | SliceKey2, EndpointKey1 | EndpointKey2, ErrorKey1 | ErrorKey2, EtcKey1 | EtcKey2> : ModelDict1 : never;
 type MergeModelDicts<ModelDicts extends AnyModelDictInfo[]> = ModelDicts extends [
     infer First extends AnyModelDictInfo,
     ...infer Rest extends AnyModelDictInfo[]
@@ -193,11 +208,9 @@ export declare class ServiceDictInfo<Languages extends [string, ...string[]] = [
         [K in EtcKey]: Languages;
     };
     constructor(languages: Languages);
-    endpoint<Endpoint extends {
-        [key: string]: EndpointInfo;
-    }>(translate: (fn: (trans: Languages) => FunctionTranslation<Languages>) => {
-        [K in keyof Endpoint]: FunctionTranslation<Languages, EndpInfoArgNames<Endpoint[K]>[number]>;
-    }): ServiceDictInfo<Languages, keyof Endpoint & string, ErrorKey, EtcKey>;
+    endpoint<Endpoint>(translate: (fn: (trans: Languages) => FunctionTranslation<Languages>) => {
+        [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;
     }>(errorDictionary: ErrorDict): ServiceDictInfo<Languages, EndpointKey, keyof ErrorDict & string, EtcKey>;

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 FilterInstance ? Filter : Filter extends FilterCls<infer FilterShape> ? FilterShape : 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, any> ? 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, any> ? 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,12 +94,8 @@ 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 ScalarTrans<T extends string, Model, ErrorKey extends string, 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<T, Slice>}` | `${T}.${EtcKey}`;
+export type ScalarTrans<_T extends string, Model, ErrorKey extends string, EtcKey extends string> = {
     name: Trans;
     desc: Trans;
     model: {
@@ -99,11 +108,9 @@ export type ScalarTrans<T extends string, Model, ErrorKey extends string, EtcKey
     [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;
 };
@@ -121,15 +126,9 @@ export type EnumTranslatorKey<EnumKey extends string> = `${EnumKey}.${string}${"
 export interface DictModule<DictKey extends string, ErrorKey extends string> {
     __Dict_Key__: DictKey;
     __Error_Key__: ErrorKey;
-    dict: ModelDictInfo<any> | ScalarDictInfo<any> | ServiceDictInfo<any>;
+    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 extends ModelDictInfo<any>>(modelDict: ModelDict) => ModelDict extends ModelDictInfo<any, any, any, any, any, infer EnumKey, any, any, any, 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<any, any, 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<any, any, infer ErrorKey, infer EtcKey> ? DictModule<ServiceTranslatorKey<T, Endpoint, EtcKey>, `${T}.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, 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[];