@strictly/react-form 0.0.1

package/.out/tsup.config.d.ts

@@ -0,0 +1,3 @@
+import { type Options } from 'tsup';
+declare const _default: Options | Options[] | ((overrideOptions: Options) => Options | Options[] | Promise<Options | Options[]>);
+export default _default;

package/.out/tsup.config.js

@@ -0,0 +1,12 @@
+import { defineConfig, } from 'tsup';
+export default defineConfig((options) => ({
+    entry: ['index.ts'],
+    tsconfig: './tsconfig.build.json',
+    clean: false,
+    dts: true,
+    format: [
+        'cjs',
+        'esm',
+    ],
+    ...options,
+}));

package/.out/types/all_fields_of_fields.d.ts

@@ -0,0 +1,5 @@
+import { type Fields } from './field';
+import { type ValueTypeOfField } from './value_type_of_field';
+export type AllFieldsOfFields<F extends Fields> = {
+    [K in keyof F as ValueTypeOfField<F[K]> extends any ? K : never]: F[K];
+};

package/.out/types/all_fields_of_fields.js

@@ -0,0 +1 @@
+export {};

package/.out/types/boolean_fields_of_fields.d.ts

@@ -0,0 +1,5 @@
+import { type Fields } from './field';
+import { type ValueTypeOfField } from './value_type_of_field';
+export type BooleanFieldsOfFields<F extends Fields> = {
+    [K in keyof F as ValueTypeOfField<F[K]> extends boolean ? K : never]: F[K];
+};

package/.out/types/boolean_fields_of_fields.js

@@ -0,0 +1 @@
+export {};

package/.out/types/error_type_of_field.d.ts

@@ -0,0 +1,2 @@
+import { type Field } from './field';
+export type ErrorTypeOfField<F extends Field> = F extends Field<infer _V, infer E> ? E : never;

package/.out/types/error_type_of_field.js

@@ -0,0 +1 @@
+export {};

package/.out/types/field.d.ts

@@ -0,0 +1,7 @@
+export type Field<V = any, E = any> = {
+    readonly value: V;
+    readonly error?: E | undefined;
+    readonly disabled: boolean;
+    readonly required: boolean;
+};
+export type Fields = Readonly<Record<string, Field>>;

package/.out/types/field.js

@@ -0,0 +1 @@
+export {};

package/.out/types/field_converters.d.ts

@@ -0,0 +1,29 @@
+import { type Maybe } from '@strictly/base';
+export declare enum FieldConversionResult {
+    Success = 0,
+    Failure = 1
+}
+export type FieldConversion<V, E> = {
+    type: FieldConversionResult.Success;
+    value: V;
+} | {
+    type: FieldConversionResult.Failure;
+    error: E;
+    value: Maybe<V>;
+};
+export type FieldConverter<From, To, E, ValuePath extends string, Context> = {
+    (from: From, valuePath: ValuePath, context: Context): FieldConversion<To, E>;
+};
+export type SafeFieldConverter<From, To, ValuePath extends string, Context> = {
+    (from: From, valuePath: ValuePath, context: Context): To;
+};
+export type TwoWayFieldConverter<From, To, E, ValuePath extends string, Context> = {
+    convert: SafeFieldConverter<From, To, ValuePath, Context>;
+    revert: FieldConverter<To, From, E, ValuePath, Context>;
+};
+export type FieldValueFactory<V, ValuePath extends string, Context> = {
+    (valuePath: ValuePath, context: Context): V;
+};
+export type TwoWayFieldConverterWithValueFactory<From, To, E, ValuePath extends string, Context> = TwoWayFieldConverter<From, To, E, ValuePath, Context> & {
+    readonly create: FieldValueFactory<From, ValuePath, Context>;
+};

package/.out/types/field_converters.js

@@ -0,0 +1,5 @@
+export var FieldConversionResult;
+(function (FieldConversionResult) {
+    FieldConversionResult[FieldConversionResult["Success"] = 0] = "Success";
+    FieldConversionResult[FieldConversionResult["Failure"] = 1] = "Failure";
+})(FieldConversionResult || (FieldConversionResult = {}));

package/.out/types/field_validator.d.ts

@@ -0,0 +1,3 @@
+export type FieldValidator<V, E, ValuePath extends string, Context> = {
+    (value: V, valuePath: ValuePath, context: Context): E | null;
+};

package/.out/types/field_validator.js

@@ -0,0 +1 @@
+export {};

package/.out/types/flattened_form_fields_of.d.ts

@@ -0,0 +1,9 @@
+import { type PrintableOf } from '@strictly/base';
+import { type ValueOf } from 'type-fest';
+import { type Field } from './field';
+/**
+ * Maps type paths to value paths for
+ */
+export type FlattenedFormFieldsOf<JsonPaths extends Record<string, string>, TypePathsToFormFields extends Partial<Readonly<Record<ValueOf<JsonPaths>, Field>>>> = keyof TypePathsToFormFields extends ValueOf<JsonPaths> ? {
+    readonly [K in keyof JsonPaths as unknown extends TypePathsToFormFields[JsonPaths[K]] ? never : K]: TypePathsToFormFields[JsonPaths[K]];
+} : `fields missing paths: ${PrintableOf<Exclude<keyof TypePathsToFormFields, ValueOf<JsonPaths>>>}`;

package/.out/types/flattened_form_fields_of.js

@@ -0,0 +1 @@
+export {};

package/.out/types/list_fields_of_fields.d.ts

@@ -0,0 +1,5 @@
+import { type Fields } from './field';
+import { type ValueTypeOfField } from './value_type_of_field';
+export type ListFieldsOfFields<F extends Fields> = {
+    [K in keyof F as ValueTypeOfField<F[K]> extends readonly any[] ? K : never]: F[K];
+};

package/.out/types/list_fields_of_fields.js

@@ -0,0 +1 @@
+export {};

package/.out/types/specs/boolean_fields_of_fields.tests.d.ts

@@ -0,0 +1 @@
+export {};

package/.out/types/specs/boolean_fields_of_fields.tests.js

@@ -0,0 +1,11 @@
+describe('BooleanFieldsOfFields', function () {
+    describe('filtering', function () {
+        const e1 = Symbol();
+        const e2 = Symbol();
+        const e3 = Symbol();
+        it('equals expected type', function () {
+            expectTypeOf().toEqualTypeOf();
+        });
+    });
+});
+export {};

package/.out/types/specs/error_type_of_field.tests.d.ts

@@ -0,0 +1 @@
+export {};

package/.out/types/specs/error_type_of_field.tests.js

@@ -0,0 +1,7 @@
+describe('ErrorTypeOfField', function () {
+    it('equals expected type', function () {
+        const e = Symbol();
+        expectTypeOf().toEqualTypeOf();
+    });
+});
+export {};

package/.out/types/specs/flattened_form_fields_of.tests.d.ts

@@ -0,0 +1 @@
+export {};

package/.out/types/specs/flattened_form_fields_of.tests.js

@@ -0,0 +1,13 @@
+describe('FlattenedFormFieldsOf', function () {
+    describe('subset', function () {
+        it('equals expected type', function () {
+            expectTypeOf().toEqualTypeOf();
+        });
+    });
+    describe('overlap', function () {
+        it('errors to callee', function () {
+            expectTypeOf().toEqualTypeOf();
+        });
+    });
+});
+export {};

package/.out/types/specs/string_fields_of_fields.tests.d.ts

@@ -0,0 +1 @@
+export {};

package/.out/types/specs/string_fields_of_fields.tests.js

@@ -0,0 +1,19 @@
+describe('StringFieldsOfFields', function () {
+    describe('filtering', function () {
+        const e1 = Symbol();
+        const e2 = Symbol();
+        const e3 = Symbol();
+        it('equals expected type', function () {
+            expectTypeOf().toEqualTypeOf();
+        });
+    });
+    describe('string union with null', function () {
+        const e = Symbol();
+        describe('StringFieldsOfFields', function () {
+            it('equals expected type', function () {
+                expectTypeOf().toEqualTypeOf();
+            });
+        });
+    });
+});
+export {};

package/.out/types/specs/value_type_of_field.tests.d.ts

@@ -0,0 +1 @@
+export {};

package/.out/types/specs/value_type_of_field.tests.js

@@ -0,0 +1,7 @@
+describe('ValueTypeOfField', function () {
+    it('equals expected type', function () {
+        const v = Symbol();
+        expectTypeOf().toEqualTypeOf();
+    });
+});
+export {};

package/.out/types/string_fields_of_fields.d.ts

@@ -0,0 +1,5 @@
+import { type Fields } from './field';
+import { type ValueTypeOfField } from './value_type_of_field';
+export type StringFieldsOfFields<F extends Fields> = {
+    [K in keyof F as ValueTypeOfField<F[K]> extends string | undefined | null ? K : never]: F[K];
+};

package/.out/types/string_fields_of_fields.js

@@ -0,0 +1 @@
+export {};

package/.out/types/value_type_of_field.d.ts

@@ -0,0 +1,2 @@
+import { type Field } from './field';
+export type ValueTypeOfField<F extends Field> = F extends Field<infer V> ? V : never;

package/.out/types/value_type_of_field.js

@@ -0,0 +1 @@
+export {};

package/.out/util/partial.d.ts

@@ -0,0 +1,11 @@
+import { type ComponentProps, type ComponentType, type DependencyList, type ForwardRefExoticComponent, type PropsWithoutRef } from 'react';
+export type PartialComponent<Component extends ComponentType<any>, CurriedProps, AdditionalProps = {}> = Exclude<keyof CurriedProps, keyof ComponentProps<Component>> extends never ? UnsafePartialComponent<Component, CurriedProps, AdditionalProps> : keyof CurriedProps extends (string | number) ? `unmatched prop: ${Exclude<keyof CurriedProps, keyof ComponentProps<Component>>}` : Exclude<keyof CurriedProps, keyof ComponentProps<Component>>;
+export type UnsafePartialComponent<Component extends ComponentType<any>, CurriedProps, AdditionalProps = {}> = ForwardRefExoticComponent<PropsWithoutRef<RemainingComponentProps<Component, CurriedProps> & AdditionalProps>>;
+export declare function createSimplePartialComponent<Component extends ComponentType<any>, CurriedProps extends Partial<ComponentProps<Component>>>(Component: Component, curriedProps: CurriedProps): PartialComponent<Component, CurriedProps>;
+export declare function createPartialComponent<Component extends ComponentType<any>, CurriedProps extends Partial<ComponentProps<Component>>, AdditionalProps = {}>(Component: Component, curriedPropsSource: (additionalProps: AdditionalProps) => CurriedProps): PartialComponent<Component, CurriedProps, AdditionalProps>;
+export declare function usePartialComponent<Component extends ComponentType<any>, CurriedProps extends Partial<ComponentProps<Component>>, AdditionalProps = {}>(createCurriedProps: (additionalProps: AdditionalProps) => CurriedProps, deps: DependencyList, Component: Component): PartialComponent<Component, CurriedProps, AdditionalProps>;
+export declare function createPartialObserverComponent<Component extends ComponentType<any>, CurriedProps extends Partial<ComponentProps<Component>>, AdditionalProps = {}>(Component: Component, curriedPropsSource: (additionalProps: AdditionalProps) => CurriedProps): PartialComponent<Component, CurriedProps, AdditionalProps>;
+export declare function createUnsafePartialObserverComponent<Component extends ComponentType<any>, CurriedProps, AdditionalProps = {}>(Component: Component, curriedPropsSource: (additionalProps: AdditionalProps) => CurriedProps): UnsafePartialComponent<Component, CurriedProps, AdditionalProps>;
+export declare function usePartialObserverComponent<Component extends ComponentType<any>, CurriedProps extends Partial<ComponentProps<Component>>, AdditionalProps = {}>(curriedPropsSource: (additionalProps: AdditionalProps) => CurriedProps, deps: DependencyList, Component: Component): PartialComponent<Component, CurriedProps, AdditionalProps>;
+type RemainingComponentProps<Component extends ComponentType, CurriedProps> = Omit<ComponentProps<Component>, keyof CurriedProps> & JSX.IntrinsicAttributes;
+export {};

package/.out/util/partial.js

@@ -0,0 +1,74 @@
+import { jsx as _jsx } from "react/jsx-runtime";
+import { observer } from 'mobx-react';
+import { forwardRef, useMemo, } from 'react';
+export function createSimplePartialComponent(Component, curriedProps) {
+    // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+    return forwardRef(function (exposedProps, ref) {
+        // forward ref types are really difficult to work with
+        // still needs a cast as `extends ComponentType<any>` != `ComponentType<any>`
+        // eslint-disable-next-line @typescript-eslint/consistent-type-assertions, @typescript-eslint/no-explicit-any, @typescript-eslint/no-unnecessary-type-assertion
+        const C = Component;
+        return (_jsx(C, { ref: ref, ...curriedProps, ...exposedProps }));
+    });
+}
+export function createPartialComponent(Component, curriedPropsSource) {
+    // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+    return forwardRef(function (exposedProps, ref) {
+        // forward ref types are really difficult to work with
+        // still needs a cast as `extends ComponentType<any>` != `ComponentType<any>`
+        // eslint-disable-next-line @typescript-eslint/consistent-type-assertions, @typescript-eslint/no-explicit-any, @typescript-eslint/no-unnecessary-type-assertion
+        const C = Component;
+        // TODO is there any way we can memoize this transformation?
+        // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+        const curriedProps = curriedPropsSource(exposedProps);
+        return (_jsx(C, { ref: ref, ...curriedProps, ...exposedProps }));
+    });
+}
+export function usePartialComponent(
+// has to be first so eslint react-hooks/exhaustive-deps can find the callback
+// has to be a function so eslint react-hooks/exhaustive-deps can reason about it :(
+createCurriedProps, 
+// has to be next so eslint react-hooks/exhaustive-deps can find the deps
+deps, Component) {
+    return useMemo(function () {
+        return createPartialComponent(Component, createCurriedProps);
+    }, 
+    // eslint-disable-next-line react-hooks/exhaustive-deps
+    [
+        // eslint-disable-next-line react-hooks/exhaustive-deps
+        ...deps,
+        Component,
+    ]);
+}
+export function createPartialObserverComponent(Component, curriedPropsSource) {
+    // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+    return createUnsafePartialObserverComponent(Component, curriedPropsSource);
+}
+export function createUnsafePartialObserverComponent(Component, curriedPropsSource) {
+    // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+    return observer(forwardRef(function (exposedProps, ref) {
+        // forward ref types are really difficult to work with
+        // still needs a cast as `extends ComponentType<any>` != `ComponentType<any>`
+        // eslint-disable-next-line @typescript-eslint/consistent-type-assertions, @typescript-eslint/no-explicit-any, @typescript-eslint/no-unnecessary-type-assertion
+        const C = Component;
+        // TODO is there any way we can memoize this transformation?
+        // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+        const curriedProps = curriedPropsSource(exposedProps);
+        return (_jsx(C, { ref: ref, ...curriedProps, ...exposedProps }));
+    }));
+}
+export function usePartialObserverComponent(
+// has to be first so eslint react-hooks/exhaustive-deps can find the callback
+curriedPropsSource, 
+// has to be next so eslint react-hooks/exhaustive-deps can find the deps
+deps, Component) {
+    return useMemo(function () {
+        return createPartialObserverComponent(Component, curriedPropsSource);
+    }, 
+    // eslint-disable-next-line react-hooks/exhaustive-deps
+    [
+        // eslint-disable-next-line react-hooks/exhaustive-deps
+        ...deps,
+        Component,
+    ]);
+}

package/.out/vitest.workspace.d.ts

@@ -0,0 +1,2 @@
+declare const _default: import("vitest/config").WorkspaceProjectConfiguration[];
+export default _default;

package/.out/vitest.workspace.js

@@ -0,0 +1,22 @@
+import { createVitestUserConfig } from '@strictly/support-vite';
+import { defineWorkspace, } from 'vitest/config';
+import tsconfig from './tsconfig.json';
+const config = createVitestUserConfig(tsconfig);
+export default defineWorkspace([
+    '.',
+    {
+        ...config,
+        extends: './.storybook/vite.config.mts',
+        test: {
+            ...(config.test || {}),
+            environment: 'jsdom',
+            setupFiles: [
+                './.vitest/install_deterministic_random.ts',
+                // install storybook setup for unit tests that import stories directly
+                './.vitest/install_storybook_preview.ts',
+                './.vitest/match_media.ts',
+                './.vitest/resize_observer.ts',
+            ],
+        },
+    },
+]);

package/.storybook/main.ts

@@ -0,0 +1,40 @@
+/* eslint-env node */
+import { type StorybookConfig } from '@storybook/react-vite'
+import {
+  dirname,
+  join,
+} from 'path'
+
+/**
+ * This function is used to resolve the absolute path of a package.
+ * It is needed in projects that use Yarn PnP or are set up within a monorepo.
+ */
+function getAbsolutePath(value: string) {
+  return dirname(require.resolve(join(value, 'package.json')))
+}
+
+const config: StorybookConfig = {
+  stories: ['../**/*.stories.@(ts|tsx)'],
+
+  addons: [
+    getAbsolutePath('@storybook/addon-links'),
+    getAbsolutePath('@storybook/addon-essentials'),
+    getAbsolutePath('@chromatic-com/storybook'),
+    getAbsolutePath('@storybook/addon-interactions'),
+  ],
+  core: {
+    builder: {
+      name: getAbsolutePath('@storybook/builder-vite'),
+      options: {
+        viteConfigPath: './.storybook/vite.config.mts',
+      },
+    },
+  },
+  framework: {
+    // NOTE: the documentation says this should be @storybook/react-vite, which fails completely
+    // https://storybook.js.org/docs/get-started/frameworks/react-vite
+    name: getAbsolutePath('@storybook/react'),
+    options: {},
+  },
+}
+export default config

package/.storybook/preview.tsx

@@ -0,0 +1,28 @@
+import '@mantine/core/styles.css'
+import { MantineProvider } from '@mantine/core'
+import { type Preview } from '@storybook/react'
+import { StrictMode } from 'react'
+
+const preview: Preview = {
+  parameters: {
+    controls: {
+      matchers: {
+        color: /(background|color)$/i,
+        date: /Date$/i,
+      },
+    },
+  },
+  decorators: [
+    function (Story: React.ComponentType) {
+      return (
+        <MantineProvider>
+          <StrictMode>
+            <Story />
+          </StrictMode>
+        </MantineProvider>
+      )
+    },
+  ],
+}
+
+export default preview

package/.storybook/vite.config.mts

@@ -0,0 +1,38 @@
+import reactSupport from '@vitejs/plugin-react'
+import tsconfigPaths from 'vite-tsconfig-paths'
+import { defineConfig } from 'vitest/config'
+// eslint-disable-next-line no-relative-import-paths/no-relative-import-paths
+import tsconfig from '../tsconfig.json'
+// unfortunately, unlike vitest, vite cannot import this in its configuration
+// const config: UserConfig = createViteUserConfig(tsconfig)
+// export default config
+export default defineConfig({
+  plugins: [
+    reactSupport({
+      babel: {
+        plugins: [
+          [
+            '@babel/plugin-proposal-decorators',
+            {
+              version: '2023-05',
+            },
+          ],
+          ['@babel/plugin-transform-class-static-block'],
+          ['@babel/plugin-proposal-class-properties'],
+        ],
+        assumptions: {
+          setPublicClassFields: false,
+        },
+      },
+    }),
+    tsconfigPaths({
+      // must specify projects otherwise we get configuration errors for unrelated projects
+      projects: [
+        '.',
+        ...tsconfig.references.map(function ({ path }) {
+          return path
+        }),
+      ],
+    }),
+  ],
+})

package/.turbo/turbo-build.log

@@ -0,0 +1,18 @@
+yarn run v1.22.22
+$ tsup
+CLI Building entry: index.ts
+CLI Using tsconfig: tsconfig.build.json
+CLI tsup v8.3.5
+CLI Using tsup config: /home/runner/work/de/de/packages/react-form/tsup.config.ts
+CLI Target: esnext
+CJS Build start
+ESM Build start
+DTS Build start
+ESM dist/index.js 356.07 KB
+ESM ⚡️ Build success in 1306ms
+CJS dist/index.cjs 365.80 KB
+CJS ⚡️ Build success in 1307ms
+DTS ⚡️ Build success in 10156ms
+DTS dist/index.d.cts 26.90 KB
+DTS dist/index.d.ts  26.90 KB
+Done in 11.09s.

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

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

package/.turbo/turbo-release$colon$exports.log

@@ -0,0 +1,3 @@
+yarn run v1.22.22
+$ json -f package.json -f package.exports.json --merge > package.release.json
+Done in 0.09s.

package/.vitest/install_deterministic_random.ts

@@ -0,0 +1,17 @@
+// sadly Mantine uses randomness to generate certain fields (e.g. label mappings), we
+// override Math.random to ensure these seeds remain the same between runs
+const originalMathRandom = Math.random
+
+const LIMIT = 100
+
+beforeEach(function () {
+  let count = 0
+  Math.random = function () {
+    count++
+    return (count % LIMIT) / LIMIT
+  }
+})
+
+afterEach(function () {
+  Math.random = originalMathRandom
+})

package/.vitest/install_storybook_preview.ts

@@ -0,0 +1,9 @@
+// adapted from https://storybook.js.org/docs/api/portable-stories/portable-stories-jest
+import { setProjectAnnotations } from '@storybook/react'
+// eslint-disable-next-line no-relative-import-paths/no-relative-import-paths
+import * as previewAnnotations from '../.storybook/preview'
+
+const annotations = setProjectAnnotations([previewAnnotations])
+
+// Run Storybook's beforeAll hook
+beforeAll(annotations.beforeAll)

package/.vitest/match_media.ts

@@ -0,0 +1,7 @@
+import MatchMediaMock from 'vitest-matchmedia-mock'
+
+const matchMediaMock = new MatchMediaMock()
+
+beforeAll(function () {
+  matchMediaMock.clear()
+})

package/.vitest/resize_observer.ts

@@ -0,0 +1,5 @@
+import ResizeObserver from 'resize-observer-polyfill'
+
+beforeAll(function () {
+  window.ResizeObserver = window.ResizeObserver || ResizeObserver
+})

package/README.md

@@ -0,0 +1,2 @@
+# Form (React and Mobx)
+

package/core/mobx/field_adapter.ts

@@ -0,0 +1,32 @@
+import {
+  type FieldConverter,
+  type FieldValueFactory,
+  type SafeFieldConverter,
+} from 'types/field_converters'
+
+export type FieldAdapter<
+  // eslint-disable-next-line @typescript-eslint/no-explicit-any
+  From = any,
+  // eslint-disable-next-line @typescript-eslint/no-explicit-any
+  To = any,
+  // eslint-disable-next-line @typescript-eslint/no-explicit-any
+  E = any,
+  // eslint-disable-next-line @typescript-eslint/no-explicit-any
+  ValuePath extends string = any,
+  // eslint-disable-next-line @typescript-eslint/no-explicit-any
+  Context = any,
+> = {
+  readonly convert: SafeFieldConverter<From, To, ValuePath, Context>,
+  readonly create: FieldValueFactory<From, ValuePath, Context>,
+  readonly revert?: FieldConverter<To, From, E, ValuePath, Context>,
+}
+
+export type FromTypeOfFieldAdapter<C extends FieldAdapter> = C extends FieldAdapter<infer From> ? From
+  : never
+
+export type ToTypeOfFieldAdapter<C extends FieldAdapter> = C extends FieldAdapter<infer _F, infer To> ? To
+  : never
+
+export type ErrorTypeOfFieldAdapter<C extends FieldAdapter> = C extends FieldAdapter<infer _From, infer _To, infer E>
+  ? NonNullable<E>
+  : never