@modular-component/core 0.1.0

package/CHANGELOG.md

@@ -0,0 +1,7 @@
+# @modular-component/core
+
+## 0.1.0
+
+### Minor Changes
+
+- be1b38e: Initial release of the ModularComponent system

package/LICENSE

@@ -0,0 +1,13 @@
+Copyright © Jérémie van der Sande
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated
+documentation files (the “Software”), to deal in the Software without restriction, including without limitation the
+rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit
+persons to whom the Software is furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
+
+The Software is provided “as is”, without warranty of any kind, express or implied, including but not limited to the
+warranties of merchantability, fitness for a particular purpose and noninfringement. In no event shall the authors or
+copyright holders be liable for any claim, damages or other liability, whether in an action of contract, tort or otherwise,
+arising from, out of or in connection with the software or the use or other dealings in the Software.

package/README.md

@@ -0,0 +1,34 @@
+# `@modular-component/core`
+
+Core system for creating a `ModularComponent` factory. Exports the `modularFactory`
+builder, and necessary types for creating extensions.
+
+## Installation and usage
+
+```bash
+yarn add @modular-component/core
+```
+
+```tsx
+// Usage in apps
+import { modularFactory } from '@modular-component/core'
+
+const ModularComponent = modularFactory.build()
+
+const MyComponent = ModularComponent().withRender(() => (
+  <div>Hello Modular!</div>
+))
+```
+
+```tsx
+// Usage in extensions
+import { createMethodRecord } from '@modular-component/core'
+
+export const WithExtension = createMethodRecord({
+  field: 'extension',
+} as const)
+```
+
+## Learn more
+
+Read the [`ModularComponent` ReadMe](https://github.com/jvdsande/modular-component/blob/master/README.md) for more information about the `ModularComponent` system.

package/dist/index.d.ts

@@ -0,0 +1,144 @@
+/// <reference types="react" />
+import { MethodRecord, Modular, StageEntry } from './types';
+export type { Modular, ModularStageTransform, MethodRecord } from './types';
+export declare const modularFactory: {
+    build: <Stages extends StageEntry[] = []>(stages?: Omit<StageEntry, 'stages'>[]) => <Props = {}>(displayName?: string) => Modular<Props, {
+        readonly withRender: {
+            readonly field: "render";
+            readonly restrict: import("react").ReactElement<any, any> | null;
+        };
+    }, Stages>;
+    extend: <_Methods extends MethodRecord>(_methods: _Methods) => {
+        build: <Stages_1 extends StageEntry[] = []>(stages?: Omit<StageEntry, 'stages'>[]) => <Props_1 = {}>(displayName?: string) => Modular<Props_1, {
+            readonly withRender: {
+                readonly field: "render";
+                readonly restrict: import("react").ReactElement<any, any> | null;
+            };
+        } & _Methods extends infer T ? T extends {
+            readonly withRender: {
+                readonly field: "render";
+                readonly restrict: import("react").ReactElement<any, any> | null;
+            };
+        } & _Methods ? T extends infer U ? { [key in keyof U]: U[key]; } : never : never : never, Stages_1>;
+        extend: <_Methods_1 extends MethodRecord>(_methods: _Methods_1) => {
+            build: <Stages_2 extends StageEntry[] = []>(stages?: Omit<StageEntry, 'stages'>[]) => <Props_2 = {}>(displayName?: string) => Modular<Props_2, {
+                readonly withRender: {
+                    readonly field: "render";
+                    readonly restrict: import("react").ReactElement<any, any> | null;
+                };
+            } & _Methods & _Methods_1 extends infer T_1 ? T_1 extends {
+                readonly withRender: {
+                    readonly field: "render";
+                    readonly restrict: import("react").ReactElement<any, any> | null;
+                };
+            } & _Methods & _Methods_1 ? T_1 extends infer U ? { [key_1 in keyof U]: U[key_1]; } : never : never : never, Stages_2>;
+            extend: <_Methods_2 extends MethodRecord>(_methods: _Methods_2) => {
+                build: <Stages_3 extends StageEntry[] = []>(stages?: Omit<StageEntry, 'stages'>[]) => <Props_3 = {}>(displayName?: string) => Modular<Props_3, {
+                    readonly withRender: {
+                        readonly field: "render";
+                        readonly restrict: import("react").ReactElement<any, any> | null;
+                    };
+                } & _Methods & _Methods_1 & _Methods_2 extends infer T_2 ? T_2 extends {
+                    readonly withRender: {
+                        readonly field: "render";
+                        readonly restrict: import("react").ReactElement<any, any> | null;
+                    };
+                } & _Methods & _Methods_1 & _Methods_2 ? T_2 extends infer U ? { [key_2 in keyof U]: U[key_2]; } : never : never : never, Stages_3>;
+                extend: <_Methods_3 extends MethodRecord>(_methods: _Methods_3) => {
+                    build: <Stages_4 extends StageEntry[] = []>(stages?: Omit<StageEntry, 'stages'>[]) => <Props_4 = {}>(displayName?: string) => Modular<Props_4, {
+                        readonly withRender: {
+                            readonly field: "render";
+                            readonly restrict: import("react").ReactElement<any, any> | null;
+                        };
+                    } & _Methods & _Methods_1 & _Methods_2 & _Methods_3 extends infer T_3 ? T_3 extends {
+                        readonly withRender: {
+                            readonly field: "render";
+                            readonly restrict: import("react").ReactElement<any, any> | null;
+                        };
+                    } & _Methods & _Methods_1 & _Methods_2 & _Methods_3 ? T_3 extends infer U ? { [key_3 in keyof U]: U[key_3]; } : never : never : never, Stages_4>;
+                    extend: <_Methods_4 extends MethodRecord>(_methods: _Methods_4) => {
+                        build: <Stages_5 extends StageEntry[] = []>(stages?: Omit<StageEntry, 'stages'>[]) => <Props_5 = {}>(displayName?: string) => Modular<Props_5, {
+                            readonly withRender: {
+                                readonly field: "render";
+                                readonly restrict: import("react").ReactElement<any, any> | null;
+                            };
+                        } & _Methods & _Methods_1 & _Methods_2 & _Methods_3 & _Methods_4 extends infer T_4 ? T_4 extends {
+                            readonly withRender: {
+                                readonly field: "render";
+                                readonly restrict: import("react").ReactElement<any, any> | null;
+                            };
+                        } & _Methods & _Methods_1 & _Methods_2 & _Methods_3 & _Methods_4 ? T_4 extends infer U ? { [key_4 in keyof U]: U[key_4]; } : never : never : never, Stages_5>;
+                        extend: <_Methods_5 extends MethodRecord>(_methods: _Methods_5) => {
+                            build: <Stages_6 extends StageEntry[] = []>(stages?: Omit<StageEntry, 'stages'>[]) => <Props_6 = {}>(displayName?: string) => Modular<Props_6, {
+                                readonly withRender: {
+                                    readonly field: "render";
+                                    readonly restrict: import("react").ReactElement<any, any> | null;
+                                };
+                            } & _Methods & _Methods_1 & _Methods_2 & _Methods_3 & _Methods_4 & _Methods_5 extends infer T_5 ? T_5 extends {
+                                readonly withRender: {
+                                    readonly field: "render";
+                                    readonly restrict: import("react").ReactElement<any, any> | null;
+                                };
+                            } & _Methods & _Methods_1 & _Methods_2 & _Methods_3 & _Methods_4 & _Methods_5 ? T_5 extends infer U ? { [key_5 in keyof U]: U[key_5]; } : never : never : never, Stages_6>;
+                            extend: <_Methods_6 extends MethodRecord>(_methods: _Methods_6) => {
+                                build: <Stages_7 extends StageEntry[] = []>(stages?: Omit<StageEntry, 'stages'>[]) => <Props_7 = {}>(displayName?: string) => Modular<Props_7, {
+                                    readonly withRender: {
+                                        readonly field: "render";
+                                        readonly restrict: import("react").ReactElement<any, any> | null;
+                                    };
+                                } & _Methods & _Methods_1 & _Methods_2 & _Methods_3 & _Methods_4 & _Methods_5 & _Methods_6 extends infer T_6 ? T_6 extends {
+                                    readonly withRender: {
+                                        readonly field: "render";
+                                        readonly restrict: import("react").ReactElement<any, any> | null;
+                                    };
+                                } & _Methods & _Methods_1 & _Methods_2 & _Methods_3 & _Methods_4 & _Methods_5 & _Methods_6 ? T_6 extends infer U ? { [key_6 in keyof U]: U[key_6]; } : never : never : never, Stages_7>;
+                                extend: <_Methods_7 extends MethodRecord>(_methods: _Methods_7) => {
+                                    build: <Stages_8 extends StageEntry[] = []>(stages?: Omit<StageEntry, 'stages'>[]) => <Props_8 = {}>(displayName?: string) => Modular<Props_8, {
+                                        readonly withRender: {
+                                            readonly field: "render";
+                                            readonly restrict: import("react").ReactElement<any, any> | null;
+                                        };
+                                    } & _Methods & _Methods_1 & _Methods_2 & _Methods_3 & _Methods_4 & _Methods_5 & _Methods_6 & _Methods_7 extends infer T_7 ? T_7 extends {
+                                        readonly withRender: {
+                                            readonly field: "render";
+                                            readonly restrict: import("react").ReactElement<any, any> | null;
+                                        };
+                                    } & _Methods & _Methods_1 & _Methods_2 & _Methods_3 & _Methods_4 & _Methods_5 & _Methods_6 & _Methods_7 ? T_7 extends infer U ? { [key_7 in keyof U]: U[key_7]; } : never : never : never, Stages_8>;
+                                    extend: <_Methods_8 extends MethodRecord>(_methods: _Methods_8) => {
+                                        build: <Stages_9 extends StageEntry[] = []>(stages?: Omit<StageEntry, 'stages'>[]) => <Props_9 = {}>(displayName?: string) => Modular<Props_9, {
+                                            readonly withRender: {
+                                                readonly field: "render";
+                                                readonly restrict: import("react").ReactElement<any, any> | null;
+                                            };
+                                        } & _Methods & _Methods_1 & _Methods_2 & _Methods_3 & _Methods_4 & _Methods_5 & _Methods_6 & _Methods_7 & _Methods_8 extends infer T_8 ? T_8 extends {
+                                            readonly withRender: {
+                                                readonly field: "render";
+                                                readonly restrict: import("react").ReactElement<any, any> | null;
+                                            };
+                                        } & _Methods & _Methods_1 & _Methods_2 & _Methods_3 & _Methods_4 & _Methods_5 & _Methods_6 & _Methods_7 & _Methods_8 ? T_8 extends infer U ? { [key_8 in keyof U]: U[key_8]; } : never : never : never, Stages_9>;
+                                        extend: <_Methods_9 extends MethodRecord>(_methods: _Methods_9) => {
+                                            build: <Stages_10 extends StageEntry[] = []>(stages?: Omit<StageEntry, 'stages'>[]) => <Props_10 = {}>(displayName?: string) => Modular<Props_10, {
+                                                readonly withRender: {
+                                                    readonly field: "render";
+                                                    readonly restrict: import("react").ReactElement<any, any> | null;
+                                                };
+                                            } & _Methods & _Methods_1 & _Methods_2 & _Methods_3 & _Methods_4 & _Methods_5 & _Methods_6 & _Methods_7 & _Methods_8 & _Methods_9 extends infer T_9 ? T_9 extends {
+                                                readonly withRender: {
+                                                    readonly field: "render";
+                                                    readonly restrict: import("react").ReactElement<any, any> | null;
+                                                };
+                                            } & _Methods & _Methods_1 & _Methods_2 & _Methods_3 & _Methods_4 & _Methods_5 & _Methods_6 & _Methods_7 & _Methods_8 & _Methods_9 ? T_9 extends infer U ? { [key_9 in keyof U]: U[key_9]; } : never : never : never, Stages_10>;
+                                            extend: <_Methods_10 extends MethodRecord>(_methods: _Methods_10) => any;
+                                        };
+                                    };
+                                };
+                            };
+                        };
+                    };
+                };
+            };
+        };
+    };
+};
+export declare function createMethodRecord<R extends MethodRecord>(record: R): R;
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA,OAAO,EAAc,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAA;AAGvE,YAAY,EAAE,OAAO,EAAE,qBAAqB,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AAsH3E,eAAO,MAAM,cAAc;uDA7Gb,KAAK,UAAU,EAAE,QAAQ,CAAC,EAAE,gCAEF,MAAM;;;;;;;6DAFhC,KAAK,UAAU,EAAE,QAAQ,CAAC,EAAE,kCAEF,MAAM;;;;;;;;;;;;iEAFhC,KAAK,UAAU,EAAE,QAAQ,CAAC,EAAE,kCAEF,MAAM;;;;;;;;;;;;qEAFhC,KAAK,UAAU,EAAE,QAAQ,CAAC,EAAE,kCAEF,MAAM;;;;;;;;;;;;yEAFhC,KAAK,UAAU,EAAE,QAAQ,CAAC,EAAE,kCAEF,MAAM;;;;;;;;;;;;6EAFhC,KAAK,UAAU,EAAE,QAAQ,CAAC,EAAE,kCAEF,MAAM;;;;;;;;;;;;iFAFhC,KAAK,UAAU,EAAE,QAAQ,CAAC,EAAE,kCAEF,MAAM;;;;;;;;;;;;qFAFhC,KAAK,UAAU,EAAE,QAAQ,CAAC,EAAE,kCAEF,MAAM;;;;;;;;;;;;yFAFhC,KAAK,UAAU,EAAE,QAAQ,CAAC,EAAE,kCAEF,MAAM;;;;;;;;;;;;6FAFhC,KAAK,UAAU,EAAE,QAAQ,CAAC,EAAE,kCAEF,MAAM;;;;;;;;;;;;kGAFhC,KAAK,UAAU,EAAE,QAAQ,CAAC,EAAE,mCAEF,MAAM;;;;;;;;;;;;;;;;;;;;;;CAgHnC,CAAA;AAEX,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,YAAY,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAEvE"}

package/dist/index.js

@@ -0,0 +1,90 @@
+function ModularFactory(methods) {
+    return {
+        build: (stages = []) => {
+            return (displayName) => {
+                // Create the actual Component. This is a simple React Functional Component
+                // that will call the hooks for each registered stages in order.
+                const Component = ((props) => {
+                    // Prepare the shared arguments object, prefilling it with the props
+                    // and an empty render result
+                    const useComponent = Component.asHook();
+                    const args = useComponent(props);
+                    return args.render ?? null;
+                });
+                // Set the debug display name if provided
+                Component.displayName = displayName;
+                // Add an asHook system to get the components args as a reusable hook
+                Component.asHook = ((field) => (props) => {
+                    // Prepare the shared arguments object, prefilling it with the props
+                    // and an empty render result
+                    let args = { props, render: null };
+                    // Run each stage in order, replacing the arguments by the response
+                    // from the last stage
+                    for (const stage of stages) {
+                        const method = methods[stage.key];
+                        const useStage = stage.value;
+                        const useTransform = method.transform ??
+                            (() => typeof useStage === 'function'
+                                ? useStage({ ...args })
+                                : useStage);
+                        args = {
+                            ...args,
+                            [method.field]: useTransform(args, useStage),
+                        };
+                    }
+                    // Finally, return the args
+                    return field ? args[field] : args;
+                });
+                // Add a function for rewinding the component up to a certain stage
+                Component.atStage = ((stage) => {
+                    // Find the needed stage
+                    const stageIndex = stages.findIndex((record) => record.key === stage);
+                    // If the stage cannot be found, create a brand new, empty component
+                    if (stageIndex === -1) {
+                        return ModularFactory(methods).build()(displayName);
+                    }
+                    // Otherwise, keep all stages up to and including the found stage
+                    return ModularFactory(methods).build(stages.slice(0, stageIndex + 1))(displayName);
+                });
+                // Add each configured stage method to the component
+                Object.keys(methods).forEach((method) => {
+                    Component[method] = ((value) => {
+                        // Prepare the new stage
+                        const stage = { key: method, value };
+                        // For stages in "multiple" mode, simply append the stage
+                        if (methods[method].multiple) {
+                            return ModularFactory(methods).build([...stages, stage])(displayName);
+                        }
+                        // For other stages, check if a stage of the same key already exists
+                        const index = stages.findIndex((st) => st.key === method);
+                        // If so, copy the stages and replace the previous record
+                        if (index > -1) {
+                            const nextStages = [...stages];
+                            nextStages[index] = stage;
+                            return ModularFactory(methods).build(nextStages)(displayName);
+                        }
+                        // Otherwise, append the stage as in multiple mode
+                        return ModularFactory(methods).build([...stages, stage])(displayName);
+                    });
+                });
+                return Component;
+            };
+        },
+        extend: (_methods) => {
+            return ModularFactory({
+                ...methods,
+                ..._methods,
+            });
+        },
+    };
+}
+export const modularFactory = ModularFactory({
+    withRender: {
+        field: 'render',
+        restrict: {},
+    },
+});
+export function createMethodRecord(record) {
+    return record;
+}
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAKA,SAAS,cAAc,CAA+B,OAAgB;IAKpE,OAAO;QACL,KAAK,EAAE,CACL,SAAuC,EAAE,EACzC,EAAE;YACF,OAAO,CAAa,WAAoB,EAAE,EAAE;gBAC1C,2EAA2E;gBAC3E,gEAAgE;gBAChE,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;oBAC3B,oEAAoE;oBACpE,6BAA6B;oBAC7B,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,EAAE,CAAA;oBACvC,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;oBAEhC,OAAQ,IAAoC,CAAC,MAAM,IAAI,IAAI,CAAA;gBAC7D,CAAC,CAAyC,CAAA;gBAE1C,yCAAyC;gBACzC,SAAS,CAAC,WAAW,GAAG,WAAW,CAAA;gBAEnC,qEAAqE;gBACrE,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,KAAa,EAAE,EAAE,CAAC,CAAC,KAAY,EAAE,EAAE;oBACtD,oEAAoE;oBACpE,6BAA6B;oBAC7B,IAAI,IAAI,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;oBAElC,mEAAmE;oBACnE,sBAAsB;oBACtB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE;wBAC1B,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,GAAiB,CAAC,CAAA;wBAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAA;wBAC5B,MAAM,YAAY,GAChB,MAAM,CAAC,SAAS;4BAChB,CAAC,GAAG,EAAE,CACJ,OAAO,QAAQ,KAAK,UAAU;gCAC5B,CAAC,CAAC,QAAQ,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC;gCACvB,CAAC,CAAC,QAAQ,CAAC,CAAA;wBAEjB,IAAI,GAAG;4BACL,GAAG,IAAI;4BACP,CAAC,MAAM,CAAC,KAA0B,CAAC,EAAE,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC;yBAClE,CAAA;qBACF;oBAED,2BAA2B;oBAC3B,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAA0B,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;gBACxD,CAAC,CAA8D,CAAA;gBAE/D,mEAAmE;gBACnE,SAAS,CAAC,OAAO,GAAG,CAAC,CAAC,KAAiB,EAAE,EAAE;oBACzC,wBAAwB;oBACxB,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,KAAK,KAAK,CAAC,CAAA;oBAErE,oEAAoE;oBACpE,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE;wBACrB,OAAO,cAAc,CAAU,OAAO,CAAC,CAAC,KAAK,EAAE,CAAQ,WAAW,CAAC,CAAA;qBACpE;oBAED,iEAAiE;oBACjE,OAAO,cAAc,CAAU,OAAO,CAAC,CAAC,KAAK,CAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,CAAC,CAChC,CAAQ,WAAW,CAAC,CAAA;gBACvB,CAAC,CAA+D,CAAA;gBAEhE,oDAAoD;gBACpD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;oBACtC,SAAS,CAAC,MAA4B,CAAC,GAAG,CAAC,CAAC,KAAc,EAAE,EAAE;wBAC5D,wBAAwB;wBACxB,MAAM,KAAK,GAAG,EAAE,GAAG,EAAE,MAAoB,EAAE,KAAK,EAAE,CAAA;wBAElD,yDAAyD;wBACzD,IAAI,OAAO,CAAC,MAAoB,CAAC,CAAC,QAAQ,EAAE;4BAC1C,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,MAAM,EAAE,KAAK,CAAC,CAAC,CACtD,WAAW,CACZ,CAAA;yBACF;wBAED,oEAAoE;wBACpE,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAA;wBAEzD,yDAAyD;wBACzD,IAAI,KAAK,GAAG,CAAC,CAAC,EAAE;4BACd,MAAM,UAAU,GAAG,CAAC,GAAG,MAAM,CAAC,CAAA;4BAC9B,UAAU,CAAC,KAAK,CAAC,GAAG,KAAK,CAAA;4BACzB,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAC9C,WAAW,CACZ,CAAA;yBACF;wBAED,kDAAkD;wBAClD,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,MAAM,EAAE,KAAK,CAAC,CAAC,CACtD,WAAW,CACZ,CAAA;oBACH,CAAC,CAIoB,CAAA;gBACvB,CAAC,CAAC,CAAA;gBAEF,OAAO,SAAS,CAAA;YAClB,CAAC,CAAA;QACH,CAAC;QACD,MAAM,EAAE,CAAgC,QAAkB,EAAE,EAAE;YAC5D,OAAO,cAAc,CAAqB;gBACxC,GAAG,OAAO;gBACV,GAAG,QAAQ;aACZ,CAAC,CAAA;QACJ,CAAC;KACF,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,cAAc,CAAC;IAC3C,UAAU,EAAE;QACV,KAAK,EAAE,QAAQ;QACf,QAAQ,EAAE,EAAmC;KAC9C;CACO,CAAC,CAAA;AAEX,MAAM,UAAU,kBAAkB,CAAyB,MAAS;IAClE,OAAO,MAAM,CAAA;AACf,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,75 @@
+import { FunctionComponent } from 'react';
+declare type UnionToIntersection<U> = [U] extends [never] ? never : (U extends infer V ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
+export declare type StageEntry = {
+    key: MethodName;
+    value: unknown;
+    stages: string;
+};
+declare type StageList = StageEntry[];
+export declare type MethodName = `with${Capitalize<string>}`;
+export declare type MethodEntry = {
+    field: string;
+    transform?: (args: any, value: any) => any;
+    restrict?: unknown;
+    multiple?: boolean;
+    empty?: boolean;
+};
+export declare type MethodRecord = Record<MethodName, MethodEntry>;
+declare type AppendStage<List extends StageList, Stage extends MethodName, Value extends unknown, Prev extends StageEntry = GetStage<List, Stage>> = [
+    ...List,
+    {
+        key: Stage;
+        value: Value;
+        stages: [Prev] extends [never] ? List[number]['key'] : Prev['stages'];
+    }
+];
+declare type DropStages<List extends StageList, Dropped extends string> = {
+    [Index in keyof List]: List[Index]['key'] extends Dropped ? never : List[Index];
+};
+declare type KeepStages<List extends StageList, Allowed extends string> = {
+    [Index in keyof List]: List[Index]['key'] extends Allowed ? List[Index] : never;
+};
+declare type GetStage<List extends StageList, Key extends MethodName, Union = List[number]> = Union extends {
+    key: Key;
+    value: infer U;
+    stages: infer S;
+} ? {
+    key: Key;
+    value: U;
+    stages: S;
+} : never;
+declare type GetStageValue<List extends StageList, Key extends MethodName> = UnionToIntersection<GetStage<List, Key>['value']>;
+declare type ComputeArgs<Stages extends StageList, Limit extends string, Union = Stages[number], Intersection = UnionToIntersection<Union extends {
+    key: infer Key;
+    value: infer Value;
+} ? {
+    [key in Key extends string ? Key : never]: Value;
+} : never>> = Pick<Intersection, Limit extends keyof Intersection ? Limit : never> extends infer U ? {
+    [key in keyof U]: U[key] extends Record<string, unknown> ? U[key] extends infer V ? {
+        [key in keyof V]: V[key];
+    } : never : U[key];
+} : never;
+declare type TransformArg<Value, Key> = Key extends keyof ModularStageTransform<Value> ? ModularStageTransform<Value>[Key] : Value;
+declare type MapArgs<Stages extends StageList, Limit extends string, Methods extends MethodRecord, Props, Args = ComputeArgs<Stages, Limit>> = UnionToIntersection<{
+    props: Props;
+} | {
+    [key in keyof Methods]: key extends keyof Args ? Methods[key] extends MethodEntry ? {
+        [k in Methods[key]['field']]: TransformArg<Args[key], key>;
+    } : never : never;
+}[keyof Methods]> extends infer U ? {
+    [key in keyof U]: U[key] extends Record<string, unknown> ? U[key] extends infer V ? {
+        [key in keyof V]: V[key];
+    } : never : U[key];
+} : never;
+declare type ModularExtension<Props, Methods extends MethodRecord, Stages extends StageList> = {
+    [key in keyof Methods]: (Methods[key] extends MethodEntry ? Methods[key] : never)['restrict'] extends undefined ? <Key extends key extends MethodName ? key : never, Method extends Methods[Key] extends MethodEntry ? Methods[Key] : never, Prev extends Method['multiple'] extends true ? never : GetStageValue<Stages, Key>, Limit extends Method['multiple'] extends true ? Stages[number]['key'] : [GetStage<Stages, Key>] extends [never] ? Stages[number]['key'] : GetStage<Stages, Key>['stages'], KeptStages extends Method['multiple'] extends true ? DropStages<Stages, Key> : Stages, Value extends [Prev] extends [never] ? [Method['restrict']] extends [never] ? unknown : Method['restrict'] : Prev>(value?: Value | ((args: MapArgs<Stages, Limit, Methods, Props>) => Value | void)) => Modular<Props, Methods, AppendStage<KeptStages, Key, Value>> : <Key extends key extends MethodName ? key : never, Method extends Methods[Key] extends MethodEntry ? Methods[Key] : never, Prev extends Method['multiple'] extends true ? never : GetStageValue<Stages, Key>, Limit extends Method['multiple'] extends true ? Stages[number]['key'] : [GetStage<Stages, Key>] extends [never] ? Stages[number]['key'] : GetStage<Stages, Key>['stages'], KeptStages extends Method['multiple'] extends true ? DropStages<Stages, Key> : Stages, Value extends [Prev] extends [never] ? [Method['restrict']] extends [never] ? unknown : Method['restrict'] : Prev>(value: Value | ((args: MapArgs<Stages, Limit, Methods, Props>) => Value)) => Modular<Props, Methods, AppendStage<KeptStages, Key, Value>>;
+} & {
+    atStage<Key extends Stages[number]['key'], KeptStages extends KeepStages<Stages, GetStage<Stages, Key>['stages'] | Key>>(stage: Key): Modular<Props, Methods, KeptStages>;
+    asHook(): Props extends {} ? () => MapArgs<Stages, Stages[number]['key'], Methods, Props> : (props: Props) => MapArgs<Stages, Stages[number]['key'], Methods, Props>;
+    asHook<Field extends keyof MapArgs<Stages, Stages[number]['key'], Methods, Props>>(field: Field): Props extends {} ? () => MapArgs<Stages, Stages[number]['key'], Methods, Props>[Field] : (props: Props) => MapArgs<Stages, Stages[number]['key'], Methods, Props>[Field];
+};
+export declare type Modular<Props, Methods extends MethodRecord, Stages extends StageList> = FunctionComponent<Props> & ModularExtension<Props, Methods, Stages>;
+export interface ModularStageTransform<T> {
+}
+export {};
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,OAAO,CAAA;AAGzC,aAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC7C,KAAK,GACL,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GACzE,CAAC,GACD,KAAK,CAAA;AAGT,oBAAY,UAAU,GAAG;IAAE,GAAG,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAA;AAC5E,aAAK,SAAS,GAAG,UAAU,EAAE,CAAA;AAG7B,oBAAY,UAAU,GAAG,OAAO,UAAU,CAAC,MAAM,CAAC,EAAE,CAAA;AACpD,oBAAY,WAAW,GAAG;IACxB,KAAK,EAAE,MAAM,CAAA;IACb,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,KAAK,GAAG,CAAA;IAC1C,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,KAAK,CAAC,EAAE,OAAO,CAAA;CAChB,CAAA;AACD,oBAAY,YAAY,GAAG,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,CAAA;AAG1D,aAAK,WAAW,CACd,IAAI,SAAS,SAAS,EACtB,KAAK,SAAS,UAAU,EACxB,KAAK,SAAS,OAAO,EACrB,IAAI,SAAS,UAAU,GAAG,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,IAC7C;IACF,GAAG,IAAI;IACP;QACE,GAAG,EAAE,KAAK,CAAA;QACV,KAAK,EAAE,KAAK,CAAA;QACZ,MAAM,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAA;KACtE;CACF,CAAA;AAGD,aAAK,UAAU,CAAC,IAAI,SAAS,SAAS,EAAE,OAAO,SAAS,MAAM,IAAI;KAC/D,KAAK,IAAI,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,SAAS,OAAO,GACrD,KAAK,GACL,IAAI,CAAC,KAAK,CAAC;CAChB,CAAA;AAGD,aAAK,UAAU,CAAC,IAAI,SAAS,SAAS,EAAE,OAAO,SAAS,MAAM,IAAI;KAC/D,KAAK,IAAI,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,SAAS,OAAO,GACrD,IAAI,CAAC,KAAK,CAAC,GACX,KAAK;CACV,CAAA;AAGD,aAAK,QAAQ,CACX,IAAI,SAAS,SAAS,EACtB,GAAG,SAAS,UAAU,EACtB,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAClB,KAAK,SAAS;IAAE,GAAG,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAC3D;IAAE,GAAG,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,CAAC,CAAA;CAAE,GACjC,KAAK,CAAA;AAGT,aAAK,aAAa,CAChB,IAAI,SAAS,SAAS,EACtB,GAAG,SAAS,UAAU,IACpB,mBAAmB,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAA;AAIrD,aAAK,WAAW,CACd,MAAM,SAAS,SAAS,EACxB,KAAK,SAAS,MAAM,EACpB,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,EACtB,YAAY,GAAG,mBAAmB,CAChC,KAAK,SAAS;IAAE,GAAG,EAAE,MAAM,GAAG,CAAC;IAAC,KAAK,EAAE,MAAM,KAAK,CAAA;CAAE,GAChD;KAAG,GAAG,IAAI,GAAG,SAAS,MAAM,GAAG,GAAG,GAAG,KAAK,GAAG,KAAK;CAAE,GACpD,KAAK,CACV,IACC,IAAI,CACN,YAAY,EACZ,KAAK,SAAS,MAAM,YAAY,GAAG,KAAK,GAAG,KAAK,CAGjD,SAAS,MAAM,CAAC,GACb;KACG,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACpD,CAAC,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GACpB;SAAG,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC;KAAE,GAC5B,KAAK,GACP,CAAC,CAAC,GAAG,CAAC;CACX,GACD,KAAK,CAAA;AAIT,aAAK,YAAY,CAAC,KAAK,EAAE,GAAG,IAAI,GAAG,SAAS,MAAM,qBAAqB,CAAC,KAAK,CAAC,GAC1E,qBAAqB,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,GACjC,KAAK,CAAA;AAKT,aAAK,OAAO,CACV,MAAM,SAAS,SAAS,EACxB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,YAAY,EAC5B,KAAK,EACL,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,IAC/B,mBAAmB,CAEnB;IAAE,KAAK,EAAE,KAAK,CAAA;CAAE,GAEhB;KACG,GAAG,IAAI,MAAM,OAAO,GAAG,GAAG,SAAS,MAAM,IAAI,GAC1C,OAAO,CAAC,GAAG,CAAC,SAAS,WAAW,GAC9B;SAEG,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;KAC3D,GACD,KAAK,GAEP,KAAK;CACV,CAAC,MAAM,OAAO,CAAC,CAGnB,SAAS,MAAM,CAAC,GACb;KACG,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACpD,CAAC,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GACpB;SAAG,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC;KAAE,GAC5B,KAAK,GACP,CAAC,CAAC,GAAG,CAAC;CACX,GACD,KAAK,CAAA;AAET,aAAK,gBAAgB,CACnB,KAAK,EACL,OAAO,SAAS,YAAY,EAC5B,MAAM,SAAS,SAAS,IACtB;KACD,GAAG,IAAI,MAAM,OAAO,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,WAAW,GACrD,OAAO,CAAC,GAAG,CAAC,GACZ,KAAK,CAAC,CAAC,UAAU,CAAC,SAAS,SAAS,GACpC,CAEE,GAAG,SAAS,GAAG,SAAS,UAAU,GAAG,GAAG,GAAG,KAAK,EAEhD,MAAM,SAAS,OAAO,CAAC,GAAG,CAAC,SAAS,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,EAGtE,IAAI,SAAS,MAAM,CAAC,UAAU,CAAC,SAAS,IAAI,GACxC,KAAK,GACL,aAAa,CAAC,MAAM,EAAE,GAAG,CAAC,EAK9B,KAAK,SAAS,MAAM,CAAC,UAAU,CAAC,SAAS,IAAI,GACzC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GACrB,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACvC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GACrB,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,EAGnC,UAAU,SAAS,MAAM,CAAC,UAAU,CAAC,SAAS,IAAI,GAC9C,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,GACvB,MAAM,EAGV,KAAK,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAChC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAClC,OAAO,GACP,MAAM,CAAC,UAAU,CAAC,GACpB,IAAI,EAGR,KAAK,CAAC,EACF,KAAK,GACL,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,KAAK,GAAG,IAAI,CAAC,KACjE,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,GACjE,CAEE,GAAG,SAAS,GAAG,SAAS,UAAU,GAAG,GAAG,GAAG,KAAK,EAEhD,MAAM,SAAS,OAAO,CAAC,GAAG,CAAC,SAAS,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,EAGtE,IAAI,SAAS,MAAM,CAAC,UAAU,CAAC,SAAS,IAAI,GACxC,KAAK,GACL,aAAa,CAAC,MAAM,EAAE,GAAG,CAAC,EAK9B,KAAK,SAAS,MAAM,CAAC,UAAU,CAAC,SAAS,IAAI,GACzC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GACrB,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACvC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GACrB,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,EAGnC,UAAU,SAAS,MAAM,CAAC,UAAU,CAAC,SAAS,IAAI,GAC9C,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,GACvB,MAAM,EAGV,KAAK,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAChC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAClC,OAAO,GACP,MAAM,CAAC,UAAU,CAAC,GACpB,IAAI,EAGR,KAAK,EACD,KAAK,GACL,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,KAAK,CAAC,KAC1D,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;CACtE,GAAG;IAGF,OAAO,CAEL,GAAG,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,EAEjC,UAAU,SAAS,UAAU,CAC3B,MAAM,EACN,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,GAAG,CACtC,EAED,KAAK,EAAE,GAAG,GACT,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,CAAA;IAEtC,MAAM,IAAI,KAAK,SAAS,EAAE,GACtB,MAAM,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,GAC5D,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;IAG5E,MAAM,CACJ,KAAK,SAAS,MAAM,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,EAE1E,KAAK,EAAE,KAAK,GACX,KAAK,SAAS,EAAE,GACf,MAAM,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,GACnE,CACE,KAAK,EAAE,KAAK,KACT,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,CAAA;CACvE,CAAA;AAMD,oBAAY,OAAO,CAGjB,KAAK,EAGL,OAAO,SAAS,YAAY,EAE5B,MAAM,SAAS,SAAS,IAIxB,iBAAiB,CAAC,KAAK,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAA;AAMrE,MAAM,WAAW,qBAAqB,CAAC,CAAC;CAAI"}

package/dist/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":""}

package/package.json

@@ -0,0 +1,35 @@
+{
+  "name": "@modular-component/core",
+  "description": "Delightfully organized and deeply testable React Components",
+  "keywords": [
+    "React",
+    "Modular",
+    "Factory",
+    "Test"
+  ],
+  "version": "0.1.0",
+  "type": "module",
+  "license": "MIT",
+  "publishConfig": {
+    "access": "public"
+  },
+  "files": [
+    "src",
+    "dist",
+    "CHANGELOG.md"
+  ],
+  "scripts": {
+    "build": "yarn build:self",
+    "build:self": "tsc",
+    "license": "cp ../../LICENSE ./LICENSE"
+  },
+  "peerDependencies": {
+    "react": ">=17 <19"
+  },
+  "devDependencies": {
+    "@types/react": "^18.0.17",
+    "typescript": "^4.6.4"
+  },
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts"
+}

package/src/index.ts

@@ -0,0 +1,131 @@
+import { MethodName, MethodRecord, Modular, StageEntry } from './types'
+import { FunctionComponent } from 'react'
+
+export type { Modular, ModularStageTransform, MethodRecord } from './types'
+
+function ModularFactory<Methods extends MethodRecord>(methods: Methods) {
+  type CleanMethods = Methods extends infer U
+    ? { [key in keyof U]: U[key] }
+    : never
+
+  return {
+    build: <Stages extends StageEntry[] = []>(
+      stages: Omit<StageEntry, 'stages'>[] = [],
+    ) => {
+      return <Props = {}>(displayName?: string) => {
+        // Create the actual Component. This is a simple React Functional Component
+        // that will call the hooks for each registered stages in order.
+        const Component = ((props) => {
+          // Prepare the shared arguments object, prefilling it with the props
+          // and an empty render result
+          const useComponent = Component.asHook()
+          const args = useComponent(props)
+
+          return (args as unknown as { render: null }).render ?? null
+        }) as Modular<Props, CleanMethods, Stages>
+
+        // Set the debug display name if provided
+        Component.displayName = displayName
+
+        // Add an asHook system to get the components args as a reusable hook
+        Component.asHook = ((field: string) => (props: Props) => {
+          // Prepare the shared arguments object, prefilling it with the props
+          // and an empty render result
+          let args = { props, render: null }
+
+          // Run each stage in order, replacing the arguments by the response
+          // from the last stage
+          for (const stage of stages) {
+            const method = methods[stage.key as MethodName]
+            const useStage = stage.value
+            const useTransform =
+              method.transform ??
+              (() =>
+                typeof useStage === 'function'
+                  ? useStage({ ...args })
+                  : useStage)
+
+            args = {
+              ...args,
+              [method.field as keyof typeof args]: useTransform(args, useStage),
+            }
+          }
+
+          // Finally, return the args
+          return field ? args[field as keyof typeof args] : args
+        }) as unknown as Modular<Props, CleanMethods, Stages>['asHook']
+
+        // Add a function for rewinding the component up to a certain stage
+        Component.atStage = ((stage: MethodName) => {
+          // Find the needed stage
+          const stageIndex = stages.findIndex((record) => record.key === stage)
+
+          // If the stage cannot be found, create a brand new, empty component
+          if (stageIndex === -1) {
+            return ModularFactory<Methods>(methods).build()<Props>(displayName)
+          }
+
+          // Otherwise, keep all stages up to and including the found stage
+          return ModularFactory<Methods>(methods).build(
+            stages.slice(0, stageIndex + 1),
+          )<Props>(displayName)
+        }) as unknown as Modular<Props, CleanMethods, Stages>['atStage']
+
+        // Add each configured stage method to the component
+        Object.keys(methods).forEach((method) => {
+          Component[method as keyof CleanMethods] = ((value: unknown) => {
+            // Prepare the new stage
+            const stage = { key: method as MethodName, value }
+
+            // For stages in "multiple" mode, simply append the stage
+            if (methods[method as MethodName].multiple) {
+              return ModularFactory(methods).build([...stages, stage])<Props>(
+                displayName,
+              )
+            }
+
+            // For other stages, check if a stage of the same key already exists
+            const index = stages.findIndex((st) => st.key === method)
+
+            // If so, copy the stages and replace the previous record
+            if (index > -1) {
+              const nextStages = [...stages]
+              nextStages[index] = stage
+              return ModularFactory(methods).build(nextStages)<Props>(
+                displayName,
+              )
+            }
+
+            // Otherwise, append the stage as in multiple mode
+            return ModularFactory(methods).build([...stages, stage])<Props>(
+              displayName,
+            )
+          }) as unknown as Modular<
+            Props,
+            CleanMethods,
+            Stages
+          >[keyof CleanMethods]
+        })
+
+        return Component
+      }
+    },
+    extend: <_Methods extends MethodRecord>(_methods: _Methods) => {
+      return ModularFactory<Methods & _Methods>({
+        ...methods,
+        ..._methods,
+      })
+    },
+  }
+}
+
+export const modularFactory = ModularFactory({
+  withRender: {
+    field: 'render',
+    restrict: {} as ReturnType<FunctionComponent>,
+  },
+} as const)
+
+export function createMethodRecord<R extends MethodRecord>(record: R): R {
+  return record
+}

package/src/types.ts

@@ -0,0 +1,272 @@
+import { FunctionComponent } from 'react'
+
+// Collapse a union of similar object into the intersection of the various objects
+type UnionToIntersection<U> = [U] extends [never]
+  ? never
+  : (U extends infer V ? (k: U) => void : never) extends (k: infer I) => void
+  ? I
+  : never
+
+// Base types used for manipulating stages
+export type StageEntry = { key: MethodName; value: unknown; stages: string }
+type StageList = StageEntry[]
+
+// Base type used for manipulating methods
+export type MethodName = `with${Capitalize<string>}`
+export type MethodEntry = {
+  field: string
+  transform?: (args: any, value: any) => any
+  restrict?: unknown
+  multiple?: boolean
+  empty?: boolean
+}
+export type MethodRecord = Record<MethodName, MethodEntry>
+
+// Take a stage list, and append a new stage at the end
+type AppendStage<
+  List extends StageList,
+  Stage extends MethodName,
+  Value extends unknown,
+  Prev extends StageEntry = GetStage<List, Stage>,
+> = [
+  ...List,
+  {
+    key: Stage
+    value: Value
+    stages: [Prev] extends [never] ? List[number]['key'] : Prev['stages']
+  },
+]
+
+// Take a stage list, and remove all stages matching a set of keys
+type DropStages<List extends StageList, Dropped extends string> = {
+  [Index in keyof List]: List[Index]['key'] extends Dropped
+    ? never
+    : List[Index]
+}
+
+// Take a stage list, and keep only the stages matching a set of keys
+type KeepStages<List extends StageList, Allowed extends string> = {
+  [Index in keyof List]: List[Index]['key'] extends Allowed
+    ? List[Index]
+    : never
+}
+
+// Parse a stage list to extract all the stages matching a key
+type GetStage<
+  List extends StageList,
+  Key extends MethodName,
+  Union = List[number],
+> = Union extends { key: Key; value: infer U; stages: infer S }
+  ? { key: Key; value: U; stages: S }
+  : never
+
+// Parse a stage list to extract the collapsed value for a given stage key
+type GetStageValue<
+  List extends StageList,
+  Key extends MethodName,
+> = UnionToIntersection<GetStage<List, Key>['value']>
+
+// Collapse a complete stage list into an argument object
+// Use the deep `extends infer U` method to get a clean object in tooltips
+type ComputeArgs<
+  Stages extends StageList,
+  Limit extends string,
+  Union = Stages[number],
+  Intersection = UnionToIntersection<
+    Union extends { key: infer Key; value: infer Value }
+      ? { [key in Key extends string ? Key : never]: Value }
+      : never
+  >,
+> = Pick<
+  Intersection,
+  Limit extends keyof Intersection ? Limit : never
+
+  // Deeply spread the object for cleaner type tooltips
+> extends infer U
+  ? {
+      [key in keyof U]: U[key] extends Record<string, unknown>
+        ? U[key] extends infer V
+          ? { [key in keyof V]: V[key] }
+          : never
+        : U[key]
+    }
+  : never
+
+// Check if a custom transform exists for the given argument, and apply
+// it to the current value if there is
+type TransformArg<Value, Key> = Key extends keyof ModularStageTransform<Value>
+  ? ModularStageTransform<Value>[Key]
+  : Value
+
+// Map all computed arguments against the methods map to convert
+// from the stage key to the wanted field name
+// Use the deep `extends infer U` method to get a clean object in tooltips
+type MapArgs<
+  Stages extends StageList,
+  Limit extends string,
+  Methods extends MethodRecord,
+  Props,
+  Args = ComputeArgs<Stages, Limit>,
+> = UnionToIntersection<
+  // Start by injecting the original props
+  | { props: Props }
+  // Map over all configured methods
+  | {
+      [key in keyof Methods]: key extends keyof Args // Check if an arg exists for the given method
+        ? Methods[key] extends MethodEntry
+          ? {
+              // Extract the field name from the method
+              [k in Methods[key]['field']]: TransformArg<Args[key], key>
+            }
+          : never
+        : // Set to never if the arg does not exist
+          never
+    }[keyof Methods]
+
+  // Deeply spread the object for cleaner type tooltips
+> extends infer U
+  ? {
+      [key in keyof U]: U[key] extends Record<string, unknown>
+        ? U[key] extends infer V
+          ? { [key in keyof V]: V[key] }
+          : never
+        : U[key]
+    }
+  : never
+
+type ModularExtension<
+  Props,
+  Methods extends MethodRecord,
+  Stages extends StageList,
+> = {
+  [key in keyof Methods]: (Methods[key] extends MethodEntry
+    ? Methods[key]
+    : never)['restrict'] extends undefined
+    ? <
+        // Cast the method key to a method name
+        Key extends key extends MethodName ? key : never,
+        // Extract the current method
+        Method extends Methods[Key] extends MethodEntry ? Methods[Key] : never,
+        // If the mode is not 'multiple', get any previous value used
+        // for the stage
+        Prev extends Method['multiple'] extends true
+          ? never
+          : GetStageValue<Stages, Key>,
+        // Find the stages occurring before the first instance of the current
+        // stage, in order to limit the arguments to those defined before the
+        // stage. This is needed for 'single' mode stages that are called
+        // multiple time.
+        Limit extends Method['multiple'] extends true // Ignore for 'multiple' stages
+          ? Stages[number]['key']
+          : [GetStage<Stages, Key>] extends [never] // Ignore if it's the first time we see the stage
+          ? Stages[number]['key']
+          : GetStage<Stages, Key>['stages'],
+        // Compute the kept stages by dropping all references to current stage
+        // for multiple mode, or keeping all previous stages for single mode
+        KeptStages extends Method['multiple'] extends true
+          ? DropStages<Stages, Key>
+          : Stages,
+        // Get the value to use or infer, restricting it to any
+        // configured restriction or previously used values
+        Value extends [Prev] extends [never]
+          ? [Method['restrict']] extends [never]
+            ? unknown
+            : Method['restrict']
+          : Prev,
+      >(
+        // A stage accepts either a direct value or a function (hook) generating the value
+        value?:
+          | Value
+          | ((args: MapArgs<Stages, Limit, Methods, Props>) => Value | void),
+      ) => Modular<Props, Methods, AppendStage<KeptStages, Key, Value>>
+    : <
+        // Cast the method key to a method name
+        Key extends key extends MethodName ? key : never,
+        // Extract the current method
+        Method extends Methods[Key] extends MethodEntry ? Methods[Key] : never,
+        // If the mode is not 'multiple', get any previous value used
+        // for the stage
+        Prev extends Method['multiple'] extends true
+          ? never
+          : GetStageValue<Stages, Key>,
+        // Find the stages occurring before the first instance of the current
+        // stage, in order to limit the arguments to those defined before the
+        // stage. This is needed for 'single' mode stages that are called
+        // multiple time.
+        Limit extends Method['multiple'] extends true // Ignore for 'multiple' stages
+          ? Stages[number]['key']
+          : [GetStage<Stages, Key>] extends [never] // Ignore if it's the first time we see the stage
+          ? Stages[number]['key']
+          : GetStage<Stages, Key>['stages'],
+        // Compute the kept stages by dropping all references to current stage
+        // for multiple mode, or keeping all previous stages for single mode
+        KeptStages extends Method['multiple'] extends true
+          ? DropStages<Stages, Key>
+          : Stages,
+        // Get the value to use or infer, restricting it to any
+        // configured restriction or previously used values
+        Value extends [Prev] extends [never]
+          ? [Method['restrict']] extends [never]
+            ? unknown
+            : Method['restrict']
+          : Prev,
+      >(
+        // A stage accepts either a direct value or a function (hook) generating the value
+        value:
+          | Value
+          | ((args: MapArgs<Stages, Limit, Methods, Props>) => Value),
+      ) => Modular<Props, Methods, AppendStage<KeptStages, Key, Value>>
+} & {
+  // Create a new component using the same stages as the current component
+  // up to a certain point
+  atStage<
+    // Key of the stage to keep to
+    Key extends Stages[number]['key'],
+    // List of stages up to the one referenced by the key
+    KeptStages extends KeepStages<
+      Stages,
+      GetStage<Stages, Key>['stages'] | Key
+    >,
+  >(
+    stage: Key,
+  ): Modular<Props, Methods, KeptStages>
+  // Generate a hook instead of a component, returning the generated arguments
+  asHook(): Props extends {}
+    ? () => MapArgs<Stages, Stages[number]['key'], Methods, Props>
+    : (props: Props) => MapArgs<Stages, Stages[number]['key'], Methods, Props>
+  // Overload the asHook function to allow taking in a field from the generated arguments,
+  // and returning only the value from this field
+  asHook<
+    Field extends keyof MapArgs<Stages, Stages[number]['key'], Methods, Props>,
+  >(
+    field: Field,
+  ): Props extends {}
+    ? () => MapArgs<Stages, Stages[number]['key'], Methods, Props>[Field]
+    : (
+        props: Props,
+      ) => MapArgs<Stages, Stages[number]['key'], Methods, Props>[Field]
+}
+
+// Type used for describing a ModularComponent. In essence, it is a FunctionComponent
+// with all the factories methods appended.
+// In this type, we strongly-type all factory methods and the enhanced returned component
+// by keeping track of all the previous stages through a stage-list tuple
+export type Modular<
+  // The props are set and are invariant for the component, but the `props` argument
+  // itself can be extended
+  Props,
+  // List of all methods available for the component, won't change as the component
+  // is built but depends on the factory that started the build
+  Methods extends MethodRecord,
+  // Finally, the list of stages that will be appended as methods are called
+  Stages extends StageList,
+> =
+  // At its core, the ModularComponent is a normal FunctionComponent taking
+  // the original props, extended with additional methods
+  FunctionComponent<Props> & ModularExtension<Props, Methods, Stages>
+
+/* Exposed interfaces used for extending functionality */
+
+// Add a value transformation for a given stage. The T type is the
+// original type of the value passed to the stage.
+export interface ModularStageTransform<T> {}