TypeSchema.ts — react Source File

Source Code

/**
 * Copyright (c) Meta Platforms, Inc. and affiliates.
 *
 * This source code is licensed under the MIT license found in the
 * LICENSE file in the root directory of this source tree.
 */

import {isValidIdentifier} from '@babel/types';
import {z} from 'zod/v4';
import {Effect, ValueKind} from '..';
import {
  EffectSchema,
  ValueKindSchema,
  ValueReason,
  ValueReasonSchema,
} from './HIR';

export type ObjectPropertiesConfig = {[key: string]: TypeConfig};
export const ObjectPropertiesSchema: z.ZodType<ObjectPropertiesConfig> = z
  .record(
    z.string(),
    z.lazy(() => TypeSchema),
  )
  .refine(record => {
    return Object.keys(record).every(
      key => key === '*' || key === 'default' || isValidIdentifier(key),
    );
  }, 'Expected all "object" property names to be valid identifier, `*` to match any property, of `default` to define a module default export');

export type ObjectTypeConfig = {
  kind: 'object';
  properties: ObjectPropertiesConfig | null;
};
export const ObjectTypeSchema: z.ZodType<ObjectTypeConfig> = z.object({
  kind: z.literal('object'),
  properties: ObjectPropertiesSchema.nullable(),
});

export const LifetimeIdSchema = z.string().refine(id => id.startsWith('@'), {
  message: "Placeholder names must start with '@'",
});

export type FreezeEffectConfig = {
  kind: 'Freeze';
  value: string;
  reason: ValueReason;
};

export const FreezeEffectSchema: z.ZodType<FreezeEffectConfig> = z.object({
  kind: z.literal('Freeze'),
  value: LifetimeIdSchema,
  reason: ValueReasonSchema,
});

export type MutateEffectConfig = {
  kind: 'Mutate';
  value: string;
};

export const MutateEffectSchema: z.ZodType<MutateEffectConfig> = z.object({
// ... (266 more lines)