FlowTypes.ts — react Source File

Source Code

/**
 * TypeScript definitions for Flow type JSON representations
 * Based on the output of /data/sandcastle/boxes/fbsource/fbcode/flow/src/typing/convertTypes.ml
 */

// Base type for all Flow types with a kind field
export interface BaseFlowType {
  kind: string;
}

// Type for representing polarity
export type Polarity = 'positive' | 'negative' | 'neutral';

// Type for representing a name that might be null
export type OptionalName = string | null;

// Open type
export interface OpenType extends BaseFlowType {
  kind: 'Open';
}

// Def type
export interface DefType extends BaseFlowType {
  kind: 'Def';
  def: DefT;
}

// Eval type
export interface EvalType extends BaseFlowType {
  kind: 'Eval';
  type: FlowType;
  destructor: Destructor;
}

// Generic type
export interface GenericType extends BaseFlowType {
  kind: 'Generic';
  name: string;
  bound: FlowType;
  no_infer: boolean;
}

// ThisInstance type
export interface ThisInstanceType extends BaseFlowType {
  kind: 'ThisInstance';
  instance: InstanceT;
  is_this: boolean;
  name: string;
}

// ThisTypeApp type
export interface ThisTypeAppType extends BaseFlowType {
  kind: 'ThisTypeApp';
  t1: FlowType;
  t2: FlowType;
  t_list?: Array<FlowType>;
}

// TypeApp type
export interface TypeAppType extends BaseFlowType {
// ... (693 more lines)