[objarr] Type checks

Author: jamesgpearce

src/@types/_internal/store/with-schemas/index.d.ts

@@ -1,8 +1,4 @@
-import type {
-  AnyArray,
-  AnyObject,
-  Id,
-} from '../../../common/with-schemas/index.d.ts';
+import type {Id} from '../../../common/with-schemas/index.d.ts';
 import type {
   Cell,
   OptionalSchemas,
@@ -52,7 +48,7 @@ export type CellIsDefaultedFromSchema<
   Then,
   Else,
 > = Schema[TableId][CellId] extends {
-  default: string | number | boolean | AnyObject | AnyArray;
+  default: infer _;
 }
   ? Then
   : Else;
@@ -87,7 +83,7 @@ export type ValueIsDefaultedFromSchema<
   Then,
   Else,
 > = Schema[ValueId] extends {
-  default: string | number | boolean | AnyObject | AnyArray;
+  default: infer _;
 }
   ? Then
   : Else;

src/@types/common/index.d.ts

@@ -9,7 +9,7 @@ export type Json = string;
 export type AnyObject = {[key: string]: unknown};
 
 /// AnyArray
-export type AnyArray = unknown[];
+export type AnyArray = unknown[] | readonly unknown[];
 
 /// Ids
 export type Ids = Id[];

src/@types/common/with-schemas/index.d.ts

@@ -21,7 +21,7 @@ export type Json = string;
 export type AnyObject = {[key: string]: unknown};
 
 /// AnyArray
-export type AnyArray = unknown[];
+export type AnyArray = unknown[] | readonly unknown[];
 
 /// Ids
 export type Ids = Id[];

src/@types/store/with-schemas/index.d.ts

@@ -997,7 +997,7 @@ export interface Store<in out Schemas extends OptionalSchemas> {
     tableId: TableId,
     rowId: Id,
     cellId: CellId,
-  ): CellOrUndefined<Schemas[0], TableId, CellId>;
+  ): DefaultedCellFromSchema<Schemas[0], TableId, CellId>;
 
   /// Store.getValues
   getValues(): Values<Schemas[1]>;