Type Alias OperatorValidationRule<TypeType, Specifics, T>

OperatorValidationRule: (
    operatorCall: T,
    operatorName: string,
    operatorType: TypeType,
    accept: ValidationProblemAcceptor<Specifics>,
    typir: TypirServices<Specifics>,
) => void

Type Parameters

TypeType extends Type
Specifics extends TypirSpecifics
T extends Specifics["LanguageType"] = Specifics["LanguageType"]

Type declaration

- (
      operatorCall: T,
      operatorName: string,
      operatorType: TypeType,
      accept: ValidationProblemAcceptor<Specifics>,
      typir: TypirServices<Specifics>,
  ): void
- Parameters
  - operatorCall: T
  - operatorName: string
  - operatorType: TypeType
  - accept: ValidationProblemAcceptor<Specifics>
  - typir: TypirServices<Specifics>
  Returns void