|
|
|
|
@@ -4,41 +4,18 @@ import * as React from "react"
|
|
|
|
|
import type * as Component from "./Component.js"
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* A unique symbol representing the Memoized component type.
|
|
|
|
|
* Used as a type brand to identify Memoized components.
|
|
|
|
|
*
|
|
|
|
|
* @experimental
|
|
|
|
|
*/
|
|
|
|
|
export const MemoizedTypeId: unique symbol = Symbol.for("@effect-fc/Memoized/Memoized")
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* The type of the Memoized type ID symbol.
|
|
|
|
|
*/
|
|
|
|
|
export type MemoizedTypeId = typeof MemoizedTypeId
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* A Memoized component that uses React.memo to optimize re-renders based on prop equality.
|
|
|
|
|
* Combines Component behavior with Memoized-specific options.
|
|
|
|
|
* A trait for `Component`'s that uses `React.memo` to optimize re-renders based on prop equality.
|
|
|
|
|
*
|
|
|
|
|
* @template P The props type of the component
|
|
|
|
|
*
|
|
|
|
|
* @example
|
|
|
|
|
* ```ts
|
|
|
|
|
* const MyComponent = component({ ... })
|
|
|
|
|
* const MemoizedComponent = memoized(MyComponent)
|
|
|
|
|
* ```
|
|
|
|
|
*/
|
|
|
|
|
export interface Memoized<P> extends MemoizedPrototype, MemoizedOptions<P> {}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* The prototype object for Memoized components containing their methods and behaviors.
|
|
|
|
|
*/
|
|
|
|
|
export interface MemoizedPrototype {
|
|
|
|
|
/**
|
|
|
|
|
* The Memoized type ID brand.
|
|
|
|
|
*/
|
|
|
|
|
readonly [MemoizedTypeId]: MemoizedTypeId
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
@@ -57,27 +34,9 @@ export interface MemoizedOptions<P> {
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* The prototype object for Memoized components.
|
|
|
|
|
* Provides the `transformFunctionComponent` method for memoizing React function components.
|
|
|
|
|
*
|
|
|
|
|
* @internal Use the `memoized` function to create Memoized components instead of accessing this directly.
|
|
|
|
|
*/
|
|
|
|
|
export const MemoizedPrototype: MemoizedPrototype = Object.freeze({
|
|
|
|
|
[MemoizedTypeId]: MemoizedTypeId,
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Transforms a React function component by wrapping it with React.memo.
|
|
|
|
|
*
|
|
|
|
|
* @param f - The React function component to memoize
|
|
|
|
|
* @returns A memoized version of the component that uses the configured propsEquivalence function
|
|
|
|
|
*
|
|
|
|
|
* @example
|
|
|
|
|
* ```ts
|
|
|
|
|
* const MemoizedComponent = memoized(MyComponent)
|
|
|
|
|
* const Fn = MemoizedComponent.transformFunctionComponent((props) => <div>{props.x}</div>)
|
|
|
|
|
* ```
|
|
|
|
|
*/
|
|
|
|
|
transformFunctionComponent<P extends {}>(
|
|
|
|
|
this: Memoized<P>,
|
|
|
|
|
f: React.FC<P>,
|
|
|
|
|
@@ -87,37 +46,19 @@ export const MemoizedPrototype: MemoizedPrototype = Object.freeze({
|
|
|
|
|
} as const)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* A type guard to check if a value is a Memoized component.
|
|
|
|
|
*
|
|
|
|
|
* @param u - The value to check
|
|
|
|
|
* @returns `true` if the value is a Memoized component, `false` otherwise
|
|
|
|
|
*
|
|
|
|
|
* @example
|
|
|
|
|
* ```ts
|
|
|
|
|
* if (isMemoized(component)) {
|
|
|
|
|
* // component is a Memoized component
|
|
|
|
|
* }
|
|
|
|
|
* ```
|
|
|
|
|
*/
|
|
|
|
|
export const isMemoized = (u: unknown): u is Memoized<unknown> => Predicate.hasProperty(u, MemoizedTypeId)
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Converts a Component into a Memoized component that optimizes re-renders using React.memo.
|
|
|
|
|
*
|
|
|
|
|
* The resulting component will use React.memo to skip re-renders when props haven't changed,
|
|
|
|
|
* based on the configured equivalence function (or the default equality check).
|
|
|
|
|
* Converts a Component into a `Memoized` component that optimizes re-renders using `React.memo`.
|
|
|
|
|
*
|
|
|
|
|
* @param self - The component to convert to a Memoized component
|
|
|
|
|
* @returns A Memoized component with the same body, error, and context types as the input
|
|
|
|
|
* @returns A new `Memoized` component with the same body, error, and context types as the input
|
|
|
|
|
*
|
|
|
|
|
* @example
|
|
|
|
|
* ```ts
|
|
|
|
|
* const MyComponent = component({
|
|
|
|
|
* body: (props) => // ...
|
|
|
|
|
* })
|
|
|
|
|
*
|
|
|
|
|
* const MemoizedComponent = memoized(MyComponent)
|
|
|
|
|
* const MyMemoizedComponent = MyComponent.pipe(
|
|
|
|
|
* Memoized.memoized,
|
|
|
|
|
* )
|
|
|
|
|
* ```
|
|
|
|
|
*/
|
|
|
|
|
export const memoized = <T extends Component.Component<any, any, any, any>>(
|
|
|
|
|
@@ -141,16 +82,17 @@ export const memoized = <T extends Component.Component<any, any, any, any>>(
|
|
|
|
|
*
|
|
|
|
|
* @example
|
|
|
|
|
* ```ts
|
|
|
|
|
* const MemoizedComponent = memoized(MyComponent)
|
|
|
|
|
* // Curried
|
|
|
|
|
* const MyMemoizedComponent = MyComponent.pipe(
|
|
|
|
|
* Memoized.memoized,
|
|
|
|
|
* Memoized.withOptions({ propsEquivalence: (a, b) => a.id === b.id }),
|
|
|
|
|
* )
|
|
|
|
|
*
|
|
|
|
|
* // Uncurried
|
|
|
|
|
* const configured = withOptions(MemoizedComponent, {
|
|
|
|
|
* propsEquivalence: (a, b) => a.id === b.id
|
|
|
|
|
* })
|
|
|
|
|
*
|
|
|
|
|
* // Curried
|
|
|
|
|
* const configurer = withOptions({ propsEquivalence: (a, b) => a.id === b.id })
|
|
|
|
|
* const configured = configurer(MemoizedComponent)
|
|
|
|
|
* const MyMemoizedComponent = Memoized.withOptions(
|
|
|
|
|
* Memoized.memoized(MyComponent),
|
|
|
|
|
* { propsEquivalence: (a, b) => a.id === b.id },
|
|
|
|
|
* )
|
|
|
|
|
* ```
|
|
|
|
|
*/
|
|
|
|
|
export const withOptions: {
|
|
|
|
|
|