Type Alias ValidationRuleFunctional<Specifics, InputType>

ValidationRuleFunctional: (
    languageNode: InputType,
    accept: ValidationProblemAcceptor<Specifics>,
    typir: TypirServices<Specifics>,
) => void

Describes a simple, state-less validation rule, which might produce an unlimited number of problems.

Type Parameters

Specifics extends TypirSpecifics
InputType extends Specifics["LanguageType"] = Specifics["LanguageType"]

Type declaration

- (
      languageNode: InputType,
      accept: ValidationProblemAcceptor<Specifics>,
      typir: TypirServices<Specifics>,
  ): void
- Parameters
  - languageNode: InputType
  - accept: ValidationProblemAcceptor<Specifics>
  - typir: TypirServices<Specifics>
  Returns void