procxy / VerifyIsomorphism

Type Alias: VerifyIsomorphism<T, Mode, SH>

type VerifyIsomorphism<T, Mode, SH> = UnwrapProcxy<Procxy<T, Mode, SH>> extends T ? T : never;

Defined in: src/types/isomorphism.ts:180

Compile-time assertion that T round-trips through Procxy<T> without loss.

Type Parameters

Type Parameter	Default type	Description
T	-	Original type to verify
Mode extends SerializationMode	"json"	Serialization mode
SH extends boolean	false	Handle support flag

Remarks

Resolves to T when UnwrapProcxy<Procxy<T, Mode, SH>> extends T (i.e., the isomorphism holds). Resolves to never otherwise — useful in a type _check = VerifyIsomorphism<T> statement to get a compile error when the mapping breaks.

Example

import type { VerifyIsomorphism } from 'procxy';
import { Calculator } from './calculator.js';

type _check = VerifyIsomorphism<Calculator>; // Calculator (isomorphism holds)