@strictly/react-form 0.0.16 → 0.0.17

package/.turbo/turbo-build.log

@@ -7,12 +7,12 @@ $ tsup
 CLI Target: es6
 CJS Build start
 ESM Build start
-ESM dist/index.js 57.40 KB
-ESM ⚡️ Build success in 138ms
-CJS dist/index.cjs 61.39 KB
-CJS ⚡️ Build success in 139ms
+CJS dist/index.cjs 62.28 KB
+CJS ⚡️ Build success in 117ms
+ESM dist/index.js 58.27 KB
+ESM ⚡️ Build success in 140ms
 DTS Build start
-DTS ⚡️ Build success in 9840ms
-DTS dist/index.d.cts 37.86 KB
-DTS dist/index.d.ts  37.86 KB
-Done in 10.97s.
+DTS ⚡️ Build success in 9749ms
+DTS dist/index.d.cts 38.08 KB
+DTS dist/index.d.ts  38.08 KB
+Done in 10.88s.

package/.turbo/turbo-check-types.log

@@ -1,3 +1,3 @@
 yarn run v1.22.22
 $ tsc
-Done in 7.62s.
+Done in 7.55s.

package/core/mobx/form_model.ts

@@ -26,6 +26,7 @@ import {
   type ValueOfType,
   valuePathToTypePath,
 } from '@strictly/define'
+import { type FormMode } from 'core/props'
 import {
   computed,
   observable,
@@ -142,10 +143,11 @@ export abstract class FormModel<
 
   constructor(
     readonly type: T,
-    value: ValueOfType<ReadonlyTypeOfType<T>>,
+    private readonly originalValue: ValueOfType<ReadonlyTypeOfType<T>>,
     protected readonly adapters: TypePathsToAdapters,
+    protected readonly mode: FormMode,
   ) {
-    this.value = mobxCopy(type, value)
+    this.value = mobxCopy(type, originalValue)
     this.flattenedTypeDefs = flattenTypesOfType(type)
     // pre-populate field overrides for consistent behavior when default information is overwritten
     // then returned to
@@ -161,7 +163,7 @@ export abstract class FormModel<
         valuePath,
       ): AnnotatedFieldConversion<FieldOverride> | undefined => {
         // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
-        const contextValue = this.toContext(value, valuePath as keyof ValuePathsToAdapters)
+        const contextValue = this.toContext(originalValue, valuePath as keyof ValuePathsToAdapters)
 
         // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
         const adapter = this.adapters[typePath as keyof TypePathsToAdapters]
@@ -191,6 +193,17 @@ export abstract class FormModel<
     valuePath: keyof ValuePathsToAdapters,
   ): ContextType
 
+  get forceMutableFields() {
+    switch (this.mode) {
+      case 'create':
+        return true
+      case 'edit':
+        return false
+      default:
+        return this.mode satisfies never
+    }
+  }
+
   @computed
   get fields(): SimplifyDeep<FlattenedConvertedFieldsOf<ValuePathsToAdapters>> {
     return new Proxy<SimplifyDeep<FlattenedConvertedFieldsOf<ValuePathsToAdapters>>>(
@@ -288,7 +301,7 @@ export abstract class FormModel<
     return {
       value: fieldOverride != null ? fieldOverride[0] : value,
       error,
-      readonly,
+      readonly: readonly && !this.forceMutableFields,
       required,
     }
   }
@@ -646,11 +659,14 @@ export abstract class FormModel<
     })
   }
 
-  validateAll(): boolean {
+  validateAll(force: boolean = this.mode === 'create'): boolean {
     // sort keys shortest to longest so parent changes don't overwrite child changes
     const accessors = toArray(this.accessors).toSorted(function ([a], [b]) {
       return a.length - b.length
     })
+
+    const flattenedOriginalValues = flattenValuesOfType(this.type, this.originalValue)
+
     return runInAction(() => {
       return accessors.reduce(
         (
@@ -684,26 +700,36 @@ export abstract class FormModel<
           const value = fieldOverride != null
             ? fieldOverride[0]
             : storedValue
-          // TODO more nuanced comparison
+          // TODO customizable comparisons
           const dirty = fieldOverride != null && fieldOverride[0] !== storedValue
-
-          const conversion = revert(value, valuePath, context)
-          switch (conversion.type) {
-            case UnreliableFieldConversionType.Failure:
-              this.errors[adapterPath] = conversion.error
-              if (conversion.value != null && dirty) {
-                accessor.set(conversion.value[0])
-              }
-              return false
-            case UnreliableFieldConversionType.Success:
-              if (dirty) {
-                accessor.set(conversion.value)
-              }
-              delete this.errors[adapterPath]
-              return success
-            default:
-              throw new UnreachableError(conversion)
+          const needsValidation = force
+            || !(valuePath in flattenedOriginalValues)
+            || storedValue !== convert(
+                flattenedOriginalValues[valuePath],
+                valuePath,
+                // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+                this.toContext(this.originalValue, valuePath as keyof ValuePathsToAdapters),
+              ).value
+          if (needsValidation) {
+            const conversion = revert(value, valuePath, context)
+            switch (conversion.type) {
+              case UnreliableFieldConversionType.Failure:
+                this.errors[adapterPath] = conversion.error
+                if (conversion.value != null && dirty) {
+                  accessor.set(conversion.value[0])
+                }
+                return false
+              case UnreliableFieldConversionType.Success:
+                if (dirty) {
+                  accessor.set(conversion.value)
+                }
+                delete this.errors[adapterPath]
+                return success
+              default:
+                throw new UnreachableError(conversion)
+            }
           }
+          return success
         },
         true,
       )

package/core/mobx/specs/form_model.tests.ts

@@ -2,6 +2,7 @@ import { expectDefinedAndReturn } from '@strictly/base'
 import {
   booleanType,
   type FlattenedValuesOfType,
+  flattenValidatorsOfValidatingType,
   list,
   nullType,
   numberType,
@@ -25,6 +26,7 @@ import {
   FormModel,
   type ValuePathsToAdaptersOf,
 } from 'core/mobx/form_model'
+import { mergeAdaptersWithValidators } from 'core/mobx/merge_field_adapters_with_validators'
 import { IntegerToStringConverter } from 'field_converters/integer_to_string_converter'
 import { NullableToBooleanConverter } from 'field_converters/nullable_to_boolean_converter'
 import { SelectDiscriminatedUnionConverter } from 'field_converters/select_value_type_converter'
@@ -203,6 +205,7 @@ describe('all', function () {
             typeDef,
             originalValue,
             adapters,
+            'create',
           )
         })
 
@@ -263,6 +266,7 @@ describe('all', function () {
             typeDef,
             originalValue,
             adapters,
+            'create',
           )
         })
 
@@ -304,6 +308,7 @@ describe('all', function () {
           typeDef,
           value,
           adapters,
+          'create',
         )
       })
 
@@ -382,6 +387,7 @@ describe('all', function () {
           typeDef,
           value,
           converters,
+          'create',
         )
       })
 
@@ -452,6 +458,7 @@ describe('all', function () {
           typeDef,
           value,
           converters,
+          'create',
         )
       })
 
@@ -517,6 +524,7 @@ describe('all', function () {
           typeDef,
           originalValue,
           adapters,
+          'create',
         )
       })
 
@@ -643,6 +651,7 @@ describe('all', function () {
           typeDef,
           originalValue,
           converters,
+          'create',
         )
       })
 
@@ -993,6 +1002,7 @@ describe('all', function () {
             type,
             originalValue,
             adapters,
+            'create',
           )
         })
 
@@ -1061,6 +1071,7 @@ describe('all', function () {
                 a: 1,
               },
               adapters,
+              'create',
             )
             it.each([
               [
@@ -1093,6 +1104,7 @@ describe('all', function () {
                 b: false,
               },
               adapters,
+              'create',
             )
             it.each([
               [
@@ -1142,6 +1154,7 @@ describe('all', function () {
           typeDef,
           originalValue,
           converters,
+          'create',
         )
       })
 
@@ -1167,5 +1180,95 @@ describe('all', function () {
         })
       })
     })
+
+    describe('interaction with create and edit modes', () => {
+      const typeDef = object().readonlyField('n', numberType.enforce(n => n < 10 ? 'err' : null))
+      const adapters = mergeAdaptersWithValidators(
+        {
+          $: identityAdapter({ n: 0 }),
+          '$.n': integerToStringAdapter,
+        } as const,
+        flattenValidatorsOfValidatingType(typeDef),
+      )
+      type JsonPaths = {
+        $: '$',
+        '$.n': '$.n',
+      }
+      let originalValue: ValueOfType<typeof typeDef>
+      beforeEach(() => {
+        originalValue = {
+          n: 1,
+        }
+      })
+      describe('create mode', () => {
+        let model: FormModel<
+          typeof typeDef,
+          JsonPaths,
+          typeof adapters
+        >
+        beforeEach(() => {
+          model = new TestFormModel<
+            typeof typeDef,
+            JsonPaths,
+            typeof adapters
+          >(
+            typeDef,
+            originalValue,
+            adapters,
+            'create',
+          )
+        })
+
+        it('makes the field editable', () => {
+          expect(model.fields['$.n'].readonly).toBeFalsy()
+        })
+
+        it('fails validation', () => {
+          expect(model.validateAll()).toBeFalsy()
+        })
+
+        it('passes validation with valid data', () => {
+          model.setFieldValue('$.n', '10')
+          expect(model.validateAll()).toBeTruthy()
+        })
+      })
+      describe('edit model', () => {
+        let model: FormModel<
+          typeof typeDef,
+          JsonPaths,
+          typeof adapters
+        >
+        beforeEach(function () {
+          model = new TestFormModel<
+            typeof typeDef,
+            JsonPaths,
+            typeof adapters
+          >(
+            typeDef,
+            originalValue,
+            adapters,
+            'edit',
+          )
+        })
+
+        it('respects the field being readonly', () => {
+          expect(model.fields['$.n'].readonly).toBeTruthy()
+        })
+
+        it('validates successfully with clean, but invalid data', () => {
+          expect(model.validateAll()).toBeTruthy()
+        })
+
+        it('fails validation with invalid, dirty data', () => {
+          model.setFieldValue('$.n', '2')
+          expect(model.validateAll()).toBeFalsy()
+        })
+
+        it('passes validation with valid, dirty data', () => {
+          model.setFieldValue('$.n', '10')
+          expect(model.validateAll()).toBeTruthy()
+        })
+      })
+    })
   })
 })

package/core/props.ts

@@ -14,8 +14,12 @@ export type FieldsViewProps<F extends Fields> = {
   onFieldSubmit?(this: void, key: keyof F): boolean | void,
 }
 
+export type FormMode = 'edit' | 'create'
+
 export type FormProps<O> = {
   value: O,
 
   onValueChange: (value: O) => void,
+
+  mode: FormMode,
 }

package/dist/index.cjs

@@ -359,15 +359,17 @@ var import_mobx = require("mobx");
 var _accessors_dec, _knownFields_dec, _fields_dec, _errors_dec, _fieldOverrides_dec, _value_dec, _init, _value, _fieldOverrides, _errors;
 _value_dec = [import_mobx.observable.ref], _fieldOverrides_dec = [import_mobx.observable.shallow], _errors_dec = [import_mobx.observable.shallow], _fields_dec = [import_mobx.computed], _knownFields_dec = [import_mobx.computed], _accessors_dec = [import_mobx.computed];
 var FormModel = class {
-  constructor(type, value, adapters) {
+  constructor(type, originalValue, adapters, mode) {
     this.type = type;
+    this.originalValue = originalValue;
     this.adapters = adapters;
+    this.mode = mode;
     __runInitializers(_init, 5, this);
     __privateAdd(this, _value, __runInitializers(_init, 8, this)), __runInitializers(_init, 11, this);
     __privateAdd(this, _fieldOverrides, __runInitializers(_init, 12, this)), __runInitializers(_init, 15, this);
     __privateAdd(this, _errors, __runInitializers(_init, 16, this, {})), __runInitializers(_init, 19, this);
     __publicField(this, "flattenedTypeDefs");
-    this.value = (0, import_define.mobxCopy)(type, value);
+    this.value = (0, import_define.mobxCopy)(type, originalValue);
     this.flattenedTypeDefs = (0, import_define.flattenTypesOfType)(type);
     const conversions = (0, import_define.flattenValueTo)(
       type,
@@ -375,7 +377,7 @@ var FormModel = class {
       () => {
       },
       (_t, fieldValue, _setter, typePath, valuePath) => {
-        const contextValue = this.toContext(value, valuePath);
+        const contextValue = this.toContext(originalValue, valuePath);
         const adapter2 = this.adapters[typePath];
         if (adapter2 == null) {
           return;
@@ -394,6 +396,16 @@ var FormModel = class {
       return v && [v.value];
     });
   }
+  get forceMutableFields() {
+    switch (this.mode) {
+      case "create":
+        return true;
+      case "edit":
+        return false;
+      default:
+        return this.mode;
+    }
+  }
   get fields() {
     return new Proxy(
       this.knownFields,
@@ -472,7 +484,7 @@ var FormModel = class {
     return {
       value: fieldOverride != null ? fieldOverride[0] : value,
       error,
-      readonly,
+      readonly: readonly && !this.forceMutableFields,
       required
     };
   }
@@ -754,10 +766,11 @@ var FormModel = class {
       }
     });
   }
-  validateAll() {
+  validateAll(force = this.mode === "create") {
     const accessors = (0, import_base2.toArray)(this.accessors).toSorted(function([a], [b]) {
       return a.length - b.length;
     });
+    const flattenedOriginalValues = (0, import_define.flattenValuesOfType)(this.type, this.originalValue);
     return (0, import_mobx.runInAction)(() => {
       return accessors.reduce(
         (success, [
@@ -783,23 +796,32 @@ var FormModel = class {
           } = convert(accessor.value, valuePath, context);
           const value = fieldOverride != null ? fieldOverride[0] : storedValue;
           const dirty = fieldOverride != null && fieldOverride[0] !== storedValue;
-          const conversion = revert(value, valuePath, context);
-          switch (conversion.type) {
-            case 1 /* Failure */:
-              this.errors[adapterPath] = conversion.error;
-              if (conversion.value != null && dirty) {
-                accessor.set(conversion.value[0]);
-              }
-              return false;
-            case 0 /* Success */:
-              if (dirty) {
-                accessor.set(conversion.value);
-              }
-              delete this.errors[adapterPath];
-              return success;
-            default:
-              throw new import_base2.UnreachableError(conversion);
+          const needsValidation = force || !(valuePath in flattenedOriginalValues) || storedValue !== convert(
+            flattenedOriginalValues[valuePath],
+            valuePath,
+            // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+            this.toContext(this.originalValue, valuePath)
+          ).value;
+          if (needsValidation) {
+            const conversion = revert(value, valuePath, context);
+            switch (conversion.type) {
+              case 1 /* Failure */:
+                this.errors[adapterPath] = conversion.error;
+                if (conversion.value != null && dirty) {
+                  accessor.set(conversion.value[0]);
+                }
+                return false;
+              case 0 /* Success */:
+                if (dirty) {
+                  accessor.set(conversion.value);
+                }
+                delete this.errors[adapterPath];
+                return success;
+              default:
+                throw new import_base2.UnreachableError(conversion);
+            }
           }
+          return success;
         },
         true
       );
@@ -1753,7 +1775,7 @@ function useMantineFormFields({
     function() {
       return new MantineFormImpl(fields);
     },
-    // handled separately below
+    // fields handled separately below
     // eslint-disable-next-line react-hooks/exhaustive-deps
     []
   );

package/dist/index.d.cts

@@ -97,6 +97,20 @@ type FormFieldsOfFieldAdapters<ValuePathsToTypePaths extends Readonly<Record<str
 };
 type FormFieldOfFieldAdapter<F extends FieldAdapter | undefined> = F extends FieldAdapter<infer _From, infer To, infer E> ? Field<To, E> : never;
 
+type FieldsViewProps<F extends Fields> = {
+    fields: F;
+    onFieldValueChange<K extends keyof F>(this: void, key: K, value: F[K]['value']): void;
+    onFieldFocus?(this: void, key: keyof F): void;
+    onFieldBlur?(this: void, key: keyof F): void;
+    onFieldSubmit?(this: void, key: keyof F): boolean | void;
+};
+type FormMode = 'edit' | 'create';
+type FormProps<O> = {
+    value: O;
+    onValueChange: (value: O) => void;
+    mode: FormMode;
+};
+
 type FlattenedListTypesOfType<T extends Type> = FlattenedListTypesOfTypes<SimplifyDeep<FlattenedTypesOfType<T, null>>>;
 type FlattenedListTypesOfTypes<T extends Readonly<Record<string, Type>>> = {
     [K in keyof T as T[K]['definition'] extends ListTypeDef ? K : never]: T[K];
@@ -123,13 +137,16 @@ type ContextOf<TypePathsToAdapters extends Partial<Readonly<Record<string, Field
 }[keyof TypePathsToAdapters] | {}>;
 declare abstract class FormModel<T extends Type, ValueToTypePaths extends Readonly<Record<string, string>>, TypePathsToAdapters extends FlattenedTypePathsToAdaptersOf<FlattenedValuesOfType<T, '*'>, ContextType>, ContextType = ContextOf<TypePathsToAdapters>, ValuePathsToAdapters extends ValuePathsToAdaptersOf<TypePathsToAdapters, ValueToTypePaths> = ValuePathsToAdaptersOf<TypePathsToAdapters, ValueToTypePaths>> {
     readonly type: T;
+    private readonly originalValue;
     protected readonly adapters: TypePathsToAdapters;
+    protected readonly mode: FormMode;
     accessor value: MobxValueOfType<T>;
     accessor fieldOverrides: FlattenedFieldOverrides<ValuePathsToAdapters>;
     accessor errors: FlattenedErrors<ValuePathsToAdapters>;
     private readonly flattenedTypeDefs;
-    constructor(type: T, value: ValueOfType<ReadonlyTypeOfType<T>>, adapters: TypePathsToAdapters);
+    constructor(type: T, originalValue: ValueOfType<ReadonlyTypeOfType<T>>, adapters: TypePathsToAdapters, mode: FormMode);
     protected abstract toContext(value: ValueOfType<ReadonlyTypeOfType<T>>, valuePath: keyof ValuePathsToAdapters): ContextType;
+    get forceMutableFields(): boolean;
     get fields(): SimplifyDeep<FlattenedConvertedFieldsOf<ValuePathsToAdapters>>;
     private get knownFields();
     private maybeSynthesizeFieldByValuePath;
@@ -149,7 +166,7 @@ declare abstract class FormModel<T extends Type, ValueToTypePaths extends Readon
     clearAll(value: ValueOfType<T>): void;
     isValuePathActive<K extends keyof ValuePathsToAdapters>(valuePath: K): boolean;
     validateField<K extends keyof ValuePathsToAdapters>(valuePath: K, ignoreDefaultValue?: boolean): boolean;
-    validateAll(): boolean;
+    validateAll(force?: boolean): boolean;
 }
 
 /**
@@ -207,18 +224,6 @@ type SubFormFieldAdapters<SubAdapters extends Record<string, FieldAdapter>, Type
 };
 declare function subFormFieldAdapters<SubAdapters extends Record<string, FieldAdapter>, TypePath extends string, TypePathsToValuePaths extends Record<TypePath, string>>(subAdapters: SubAdapters, parentTypePath: TypePath): SubFormFieldAdapters<SubAdapters, TypePath, TypePathsToValuePaths[TypePath]>;
 
-type FieldsViewProps<F extends Fields> = {
-    fields: F;
-    onFieldValueChange<K extends keyof F>(this: void, key: K, value: F[K]['value']): void;
-    onFieldFocus?(this: void, key: keyof F): void;
-    onFieldBlur?(this: void, key: keyof F): void;
-    onFieldSubmit?(this: void, key: keyof F): boolean | void;
-};
-type FormProps<O> = {
-    value: O;
-    onValueChange: (value: O) => void;
-};
-
 declare class IntegerToStringConverter<E, ValuePath extends string, Context> implements TwoWayFieldConverter<number, string, E, ValuePath, Context> {
     private readonly isNanError;
     private readonly base;
@@ -445,4 +450,4 @@ declare function mergeValidators<Validators1 extends Partial<Readonly<Record<Key
 
 declare function Empty(): null;
 
-export { AbstractSelectValueTypeConverter, type AnnotatedFieldConversion, type AnnotatedFieldConverter, type Annotation, type ContextOf, type ContextOfFieldAdapter, DefaultErrorRenderer, Empty, type ErrorOfField, type ErrorOfFieldAdapter, type ErrorRenderer, type ErrorRendererProps, type Field, type FieldAdapter, type FieldAdaptersOfValues, type FieldValueFactory, type Fields, type FieldsViewProps, type FlattenedAdaptersOfFields, type FlattenedConvertedFieldsOf, type FlattenedTypePathsToAdaptersOf, type FormFieldsOfFieldAdapters, type FormFieldsOfModel, FormModel, type FormProps, type FromOfFieldAdapter, IntegerToStringConverter, type MergedOfFieldAdaptersWithTwoWayConverter, type MergedOfFieldAdaptersWithValidators, type MergedOfValidator, type MergedOfValidators, NullableToBooleanConverter, type PartialComponent, SelectDiscriminatedUnionConverter, SelectLiteralConverter, SelectStringConverter, type ToOfFieldAdapter, type ToValueOfModelValuePath, TrimmingStringConverter, type TwoWayFieldConverter, type TwoWayFieldConverterWithValueFactory, type UnreliableFieldConversion, UnreliableFieldConversionType, type UnreliableFieldConverter, type UnsafePartialComponent, type ValuePathOfFieldAdapter, type ValuePathsOfModel, type ValuePathsToAdaptersOf, adapter, adapterFromPrototype, adapterFromTwoWayConverter, createPartialComponent, createPartialObserverComponent, createSimplePartialComponent, createUnsafePartialObserverComponent, identityAdapter, listAdapter, mergeAdaptersWithValidators, mergeFieldAdaptersWithTwoWayConverter, mergeValidators, prototypingFieldValueFactory, subFormFieldAdapters, trimmingStringAdapter, useDefaultMobxFormHooks, useMantineFormFields, usePartialComponent, usePartialObserverComponent, validatingConverter };
+export { AbstractSelectValueTypeConverter, type AnnotatedFieldConversion, type AnnotatedFieldConverter, type Annotation, type ContextOf, type ContextOfFieldAdapter, DefaultErrorRenderer, Empty, type ErrorOfField, type ErrorOfFieldAdapter, type ErrorRenderer, type ErrorRendererProps, type Field, type FieldAdapter, type FieldAdaptersOfValues, type FieldValueFactory, type Fields, type FieldsViewProps, type FlattenedAdaptersOfFields, type FlattenedConvertedFieldsOf, type FlattenedTypePathsToAdaptersOf, type FormFieldsOfFieldAdapters, type FormFieldsOfModel, type FormMode, FormModel, type FormProps, type FromOfFieldAdapter, IntegerToStringConverter, type MergedOfFieldAdaptersWithTwoWayConverter, type MergedOfFieldAdaptersWithValidators, type MergedOfValidator, type MergedOfValidators, NullableToBooleanConverter, type PartialComponent, SelectDiscriminatedUnionConverter, SelectLiteralConverter, SelectStringConverter, type ToOfFieldAdapter, type ToValueOfModelValuePath, TrimmingStringConverter, type TwoWayFieldConverter, type TwoWayFieldConverterWithValueFactory, type UnreliableFieldConversion, UnreliableFieldConversionType, type UnreliableFieldConverter, type UnsafePartialComponent, type ValuePathOfFieldAdapter, type ValuePathsOfModel, type ValuePathsToAdaptersOf, adapter, adapterFromPrototype, adapterFromTwoWayConverter, createPartialComponent, createPartialObserverComponent, createSimplePartialComponent, createUnsafePartialObserverComponent, identityAdapter, listAdapter, mergeAdaptersWithValidators, mergeFieldAdaptersWithTwoWayConverter, mergeValidators, prototypingFieldValueFactory, subFormFieldAdapters, trimmingStringAdapter, useDefaultMobxFormHooks, useMantineFormFields, usePartialComponent, usePartialObserverComponent, validatingConverter };

package/dist/index.d.ts

@@ -97,6 +97,20 @@ type FormFieldsOfFieldAdapters<ValuePathsToTypePaths extends Readonly<Record<str
 };
 type FormFieldOfFieldAdapter<F extends FieldAdapter | undefined> = F extends FieldAdapter<infer _From, infer To, infer E> ? Field<To, E> : never;
 
+type FieldsViewProps<F extends Fields> = {
+    fields: F;
+    onFieldValueChange<K extends keyof F>(this: void, key: K, value: F[K]['value']): void;
+    onFieldFocus?(this: void, key: keyof F): void;
+    onFieldBlur?(this: void, key: keyof F): void;
+    onFieldSubmit?(this: void, key: keyof F): boolean | void;
+};
+type FormMode = 'edit' | 'create';
+type FormProps<O> = {
+    value: O;
+    onValueChange: (value: O) => void;
+    mode: FormMode;
+};
+
 type FlattenedListTypesOfType<T extends Type> = FlattenedListTypesOfTypes<SimplifyDeep<FlattenedTypesOfType<T, null>>>;
 type FlattenedListTypesOfTypes<T extends Readonly<Record<string, Type>>> = {
     [K in keyof T as T[K]['definition'] extends ListTypeDef ? K : never]: T[K];
@@ -123,13 +137,16 @@ type ContextOf<TypePathsToAdapters extends Partial<Readonly<Record<string, Field
 }[keyof TypePathsToAdapters] | {}>;
 declare abstract class FormModel<T extends Type, ValueToTypePaths extends Readonly<Record<string, string>>, TypePathsToAdapters extends FlattenedTypePathsToAdaptersOf<FlattenedValuesOfType<T, '*'>, ContextType>, ContextType = ContextOf<TypePathsToAdapters>, ValuePathsToAdapters extends ValuePathsToAdaptersOf<TypePathsToAdapters, ValueToTypePaths> = ValuePathsToAdaptersOf<TypePathsToAdapters, ValueToTypePaths>> {
     readonly type: T;
+    private readonly originalValue;
     protected readonly adapters: TypePathsToAdapters;
+    protected readonly mode: FormMode;
     accessor value: MobxValueOfType<T>;
     accessor fieldOverrides: FlattenedFieldOverrides<ValuePathsToAdapters>;
     accessor errors: FlattenedErrors<ValuePathsToAdapters>;
     private readonly flattenedTypeDefs;
-    constructor(type: T, value: ValueOfType<ReadonlyTypeOfType<T>>, adapters: TypePathsToAdapters);
+    constructor(type: T, originalValue: ValueOfType<ReadonlyTypeOfType<T>>, adapters: TypePathsToAdapters, mode: FormMode);
     protected abstract toContext(value: ValueOfType<ReadonlyTypeOfType<T>>, valuePath: keyof ValuePathsToAdapters): ContextType;
+    get forceMutableFields(): boolean;
     get fields(): SimplifyDeep<FlattenedConvertedFieldsOf<ValuePathsToAdapters>>;
     private get knownFields();
     private maybeSynthesizeFieldByValuePath;
@@ -149,7 +166,7 @@ declare abstract class FormModel<T extends Type, ValueToTypePaths extends Readon
     clearAll(value: ValueOfType<T>): void;
     isValuePathActive<K extends keyof ValuePathsToAdapters>(valuePath: K): boolean;
     validateField<K extends keyof ValuePathsToAdapters>(valuePath: K, ignoreDefaultValue?: boolean): boolean;
-    validateAll(): boolean;
+    validateAll(force?: boolean): boolean;
 }
 
 /**
@@ -207,18 +224,6 @@ type SubFormFieldAdapters<SubAdapters extends Record<string, FieldAdapter>, Type
 };
 declare function subFormFieldAdapters<SubAdapters extends Record<string, FieldAdapter>, TypePath extends string, TypePathsToValuePaths extends Record<TypePath, string>>(subAdapters: SubAdapters, parentTypePath: TypePath): SubFormFieldAdapters<SubAdapters, TypePath, TypePathsToValuePaths[TypePath]>;
 
-type FieldsViewProps<F extends Fields> = {
-    fields: F;
-    onFieldValueChange<K extends keyof F>(this: void, key: K, value: F[K]['value']): void;
-    onFieldFocus?(this: void, key: keyof F): void;
-    onFieldBlur?(this: void, key: keyof F): void;
-    onFieldSubmit?(this: void, key: keyof F): boolean | void;
-};
-type FormProps<O> = {
-    value: O;
-    onValueChange: (value: O) => void;
-};
-
 declare class IntegerToStringConverter<E, ValuePath extends string, Context> implements TwoWayFieldConverter<number, string, E, ValuePath, Context> {
     private readonly isNanError;
     private readonly base;
@@ -445,4 +450,4 @@ declare function mergeValidators<Validators1 extends Partial<Readonly<Record<Key
 
 declare function Empty(): null;
 
-export { AbstractSelectValueTypeConverter, type AnnotatedFieldConversion, type AnnotatedFieldConverter, type Annotation, type ContextOf, type ContextOfFieldAdapter, DefaultErrorRenderer, Empty, type ErrorOfField, type ErrorOfFieldAdapter, type ErrorRenderer, type ErrorRendererProps, type Field, type FieldAdapter, type FieldAdaptersOfValues, type FieldValueFactory, type Fields, type FieldsViewProps, type FlattenedAdaptersOfFields, type FlattenedConvertedFieldsOf, type FlattenedTypePathsToAdaptersOf, type FormFieldsOfFieldAdapters, type FormFieldsOfModel, FormModel, type FormProps, type FromOfFieldAdapter, IntegerToStringConverter, type MergedOfFieldAdaptersWithTwoWayConverter, type MergedOfFieldAdaptersWithValidators, type MergedOfValidator, type MergedOfValidators, NullableToBooleanConverter, type PartialComponent, SelectDiscriminatedUnionConverter, SelectLiteralConverter, SelectStringConverter, type ToOfFieldAdapter, type ToValueOfModelValuePath, TrimmingStringConverter, type TwoWayFieldConverter, type TwoWayFieldConverterWithValueFactory, type UnreliableFieldConversion, UnreliableFieldConversionType, type UnreliableFieldConverter, type UnsafePartialComponent, type ValuePathOfFieldAdapter, type ValuePathsOfModel, type ValuePathsToAdaptersOf, adapter, adapterFromPrototype, adapterFromTwoWayConverter, createPartialComponent, createPartialObserverComponent, createSimplePartialComponent, createUnsafePartialObserverComponent, identityAdapter, listAdapter, mergeAdaptersWithValidators, mergeFieldAdaptersWithTwoWayConverter, mergeValidators, prototypingFieldValueFactory, subFormFieldAdapters, trimmingStringAdapter, useDefaultMobxFormHooks, useMantineFormFields, usePartialComponent, usePartialObserverComponent, validatingConverter };
+export { AbstractSelectValueTypeConverter, type AnnotatedFieldConversion, type AnnotatedFieldConverter, type Annotation, type ContextOf, type ContextOfFieldAdapter, DefaultErrorRenderer, Empty, type ErrorOfField, type ErrorOfFieldAdapter, type ErrorRenderer, type ErrorRendererProps, type Field, type FieldAdapter, type FieldAdaptersOfValues, type FieldValueFactory, type Fields, type FieldsViewProps, type FlattenedAdaptersOfFields, type FlattenedConvertedFieldsOf, type FlattenedTypePathsToAdaptersOf, type FormFieldsOfFieldAdapters, type FormFieldsOfModel, type FormMode, FormModel, type FormProps, type FromOfFieldAdapter, IntegerToStringConverter, type MergedOfFieldAdaptersWithTwoWayConverter, type MergedOfFieldAdaptersWithValidators, type MergedOfValidator, type MergedOfValidators, NullableToBooleanConverter, type PartialComponent, SelectDiscriminatedUnionConverter, SelectLiteralConverter, SelectStringConverter, type ToOfFieldAdapter, type ToValueOfModelValuePath, TrimmingStringConverter, type TwoWayFieldConverter, type TwoWayFieldConverterWithValueFactory, type UnreliableFieldConversion, UnreliableFieldConversionType, type UnreliableFieldConverter, type UnsafePartialComponent, type ValuePathOfFieldAdapter, type ValuePathsOfModel, type ValuePathsToAdaptersOf, adapter, adapterFromPrototype, adapterFromTwoWayConverter, createPartialComponent, createPartialObserverComponent, createSimplePartialComponent, createUnsafePartialObserverComponent, identityAdapter, listAdapter, mergeAdaptersWithValidators, mergeFieldAdaptersWithTwoWayConverter, mergeValidators, prototypingFieldValueFactory, subFormFieldAdapters, trimmingStringAdapter, useDefaultMobxFormHooks, useMantineFormFields, usePartialComponent, usePartialObserverComponent, validatingConverter };