mobx-state-tree 6.0.0 → 6.0.1

package/dist/types/complex-types/model.d.ts

@@ -1,4 +1,4 @@
-import { IAnyType, IType, _CustomOrOther, _NotCustomized, Instance, FunctionWithFlag, type IStateTreeNode } from "../../internal";
+import { IAnyType, IType, _CustomOrOther, _NotCustomized, Instance, FunctionWithFlag } from "../../internal";
 /** @hidden */
 export interface ModelProperties {
     [key: string]: IAnyType;
@@ -40,16 +40,22 @@ type DefinablePropsNames<T> = {
     [K in keyof T]: IsOptionalValue<T[K], never, K>;
 }[keyof T];
 /** @hidden */
-export type ExtractCFromProps<P extends ModelProperties> = {
+export type ExtractCFromProps<P extends ModelProperties> = MaybeEmpty<{
     [k in keyof P]: P[k]["CreationType"];
-};
+}>;
+/** @hidden */
+export type MaybeEmpty<T> = keyof T extends never ? EmptyObject : T;
 /** @hidden */
-export type ModelCreationType<PC> = {
+export type ModelCreationType<PC> = MaybeEmpty<{
     [P in DefinablePropsNames<PC>]: PC[P];
-} & Partial<PC>;
-type WithAdditionalProperties<T> = T extends Record<string, never> ? Record<string, unknown> : T;
+}> & Partial<PC>;
+type WithAdditionalProperties<T> = T extends Record<string, never> ? EmptyObject : T;
+declare const $nonEmptyObject: unique symbol;
+type EmptyObject = {
+    [$nonEmptyObject]?: never;
+};
 /** @hidden */
-export type ModelCreationType2<P extends ModelProperties, CustomC> = keyof P extends never ? IStateTreeNode : _CustomOrOther<CustomC, ModelCreationType<ExtractCFromProps<P>>>;
+export type ModelCreationType2<P extends ModelProperties, CustomC> = MaybeEmpty<keyof P extends never ? _CustomOrOther<CustomC, ModelCreationType<EmptyObject>> : _CustomOrOther<CustomC, ModelCreationType<ExtractCFromProps<P>>>>;
 /** @hidden */
 export type ModelSnapshotType<P extends ModelProperties> = {
     [K in keyof P]: P[K]["SnapshotType"];
@@ -122,5 +128,5 @@ export declare function compose<PA extends ModelProperties, OA, FCA, FSA, PB ext
  * @param type
  * @returns
  */
-export declare function isModelType<IT extends IAnyModelType = IAnyModelType>(type: IAnyType): type is IT;
+export declare function isModelType(type: unknown): type is IAnyModelType;
 export {};

package/dist/types/primitives.d.ts

@@ -101,4 +101,4 @@ export declare const DatePrimitive: IType<number | Date, number, Date>;
  * @param type
  * @returns
  */
-export declare function isPrimitiveType<IT extends ISimpleType<string> | ISimpleType<number> | ISimpleType<boolean> | typeof DatePrimitive>(type: IT): type is IT;
+export declare function isPrimitiveType(type: unknown): type is ISimpleType<string> | ISimpleType<number> | ISimpleType<boolean> | typeof DatePrimitive;

package/dist/types/utility-types/frozen.d.ts

@@ -1,4 +1,4 @@
-import { IType } from "../../internal";
+import { IType, type ISimpleType } from "../../internal";
 export declare function frozen<C>(subType: IType<C, any, any>): IType<C, C, C>;
 export declare function frozen<T>(defaultValue: T): IType<T | undefined | null, T, T>;
 export declare function frozen<T = any>(): IType<T, T, T>;
@@ -8,4 +8,4 @@ export declare function frozen<T = any>(): IType<T, T, T>;
  * @param type
  * @returns
  */
-export declare function isFrozenType<IT extends IType<T | any, T, T>, T = any>(type: IT): type is IT;
+export declare function isFrozenType(type: unknown): type is ISimpleType<any>;

package/dist/types/utility-types/identifier.d.ts

@@ -37,7 +37,7 @@ export declare const identifierNumber: ISimpleType<number>;
  * @param type
  * @returns
  */
-export declare function isIdentifierType<IT extends typeof identifier | typeof identifierNumber>(type: IT): type is IT;
+export declare function isIdentifierType(type: unknown): type is typeof identifier | typeof identifierNumber;
 /**
  * Valid types for identifiers.
  */

package/dist/types/utility-types/late.d.ts

@@ -7,4 +7,4 @@ export declare function late<T extends IAnyType>(name: string, type: () => T): T
  * @param type
  * @returns
  */
-export declare function isLateType<IT extends IAnyType>(type: IT): type is IT;
+export declare function isLateType(type: unknown): type is IAnyType;

package/dist/types/utility-types/literal.d.ts

@@ -22,4 +22,4 @@ export declare function literal<S extends Primitives>(value: S): ISimpleType<S>;
  * @param type
  * @returns
  */
-export declare function isLiteralType<IT extends ISimpleType<any>>(type: IT): type is IT;
+export declare function isLiteralType(type: unknown): type is ISimpleType<any>;

package/dist/types/utility-types/optional.d.ts

@@ -17,4 +17,4 @@ export declare function optional<IT extends IAnyType, OptionalVals extends Valid
  * @param type
  * @returns
  */
-export declare function isOptionalType<IT extends IAnyType>(type: IT): type is IT;
+export declare function isOptionalType(type: unknown): type is IOptionalIType<IAnyType, [any, ...any[]]>;

package/dist/types/utility-types/reference.d.ts

@@ -32,7 +32,7 @@ export declare function reference<IT extends IAnyComplexType>(subType: IT, optio
  * @param type
  * @returns
  */
-export declare function isReferenceType<IT extends IReferenceType<any>>(type: IT): type is IT;
+export declare function isReferenceType(type: unknown): type is IReferenceType<IAnyComplexType>;
 export declare function safeReference<IT extends IAnyComplexType>(subType: IT, options: (ReferenceOptionsGetSet<IT> | {}) & {
     acceptsUndefined: false;
     onInvalidated?: OnReferenceInvalidated<ReferenceT<IT>>;

package/dist/types/utility-types/refinement.d.ts

@@ -7,4 +7,4 @@ export declare function refinement<IT extends IAnyType>(type: IT, predicate: (sn
  * @param type
  * @returns
  */
-export declare function isRefinementType<IT extends IAnyType>(type: IT): type is IT;
+export declare function isRefinementType(type: unknown): type is IAnyType;

package/dist/types/utility-types/union.d.ts

@@ -12,7 +12,7 @@ export type _CustomCSProcessor<T> = Exclude<T, _NotCustomized> extends never ? _
 /** @hidden */
 export interface ITypeUnion<C, S, T> extends IType<_CustomCSProcessor<C>, _CustomCSProcessor<S>, T> {
 }
-type IUnionType<Types extends IAnyType[]> = ITypeUnion<Types[number]["CreationType"], Types[number]["SnapshotType"], Types[number]["TypeWithoutSTN"]>;
+export type IUnionType<Types extends IAnyType[]> = ITypeUnion<Types[number]["CreationType"], Types[number]["SnapshotType"], Types[number]["TypeWithoutSTN"]>;
 export declare function union<Types extends IAnyType[]>(...types: Types): IUnionType<Types>;
 export declare function union<Types extends IAnyType[]>(options: UnionOptions, ...types: Types): IUnionType<Types>;
 /**
@@ -21,5 +21,4 @@ export declare function union<Types extends IAnyType[]>(options: UnionOptions, .
  * @param type
  * @returns
  */
-export declare function isUnionType<IT extends IAnyType>(type: IT): type is IT;
-export {};
+export declare function isUnionType(type: unknown): type is IUnionType<IAnyType[]>;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "mobx-state-tree",
-  "version": "6.0.0",
+  "version": "6.0.1",
   "description": "Opinionated, transactional, MobX powered state container",
   "main": "dist/mobx-state-tree.js",
   "umd:main": "dist/mobx-state-tree.umd.js",