Function createTypirServices

Parameters

• Optionalcustomization1: Module<
      TypirServices<Specifics>,
      {
          Assignability?: TypeAssignability;
          caching?: {
              LanguageNodeInference?: LanguageNodeInferenceCaching;
              TypeRelationships?: TypeRelationshipCaching;
          };
          Conversion?: TypeConversion;
          Equality?: TypeEquality;
          factory?: {
              Bottom?: BottomFactoryService<Specifics>;
              Classes?: ClassFactoryService<Specifics>;
              Functions?: FunctionFactoryService<Specifics>;
              Operators?: OperatorFactoryService<Specifics>;
              Primitives?: PrimitiveFactoryService<Specifics>;
              Top?: TopFactoryService<Specifics>;
          };
          Inference?: TypeInferenceCollector<Specifics>;
          infrastructure?: {
              Graph?: TypeGraph;
              GraphAlgorithms?: GraphAlgorithms;
              Kinds?: KindRegistry<Specifics>;
              TypeResolver?: TypeResolvingService<Specifics>;
          };
          Language?: LanguageService<Specifics>;
          Printer?: ProblemPrinter<Specifics>;
          Subtype?: SubType;
          validation?: {
              Collector?: ValidationCollector<Specifics>;
              Constraints?: ValidationConstraints<Specifics>;
          };
      },
  >

  optional Typir module with customizations
• Optionalcustomization2: Module<
      TypirServices<Specifics>,
      {
          Assignability?: TypeAssignability;
          caching?: {
              LanguageNodeInference?: LanguageNodeInferenceCaching;
              TypeRelationships?: TypeRelationshipCaching;
          };
          Conversion?: TypeConversion;
          Equality?: TypeEquality;
          factory?: {
              Bottom?: BottomFactoryService<Specifics>;
              Classes?: ClassFactoryService<Specifics>;
              Functions?: FunctionFactoryService<Specifics>;
              Operators?: OperatorFactoryService<Specifics>;
              Primitives?: PrimitiveFactoryService<Specifics>;
              Top?: TopFactoryService<Specifics>;
          };
          Inference?: TypeInferenceCollector<Specifics>;
          infrastructure?: {
              Graph?: TypeGraph;
              GraphAlgorithms?: GraphAlgorithms;
              Kinds?: KindRegistry<Specifics>;
              TypeResolver?: TypeResolvingService<Specifics>;
          };
          Language?: LanguageService<Specifics>;
          Printer?: ProblemPrinter<Specifics>;
          Subtype?: SubType;
          validation?: {
              Collector?: ValidationCollector<Specifics>;
              Constraints?: ValidationConstraints<Specifics>;
          };
      },
  >

  optional Typir module with customizations
• Optionalcustomization3: Module<
      TypirServices<Specifics>,
      {
          Assignability?: TypeAssignability;
          caching?: {
              LanguageNodeInference?: LanguageNodeInferenceCaching;
              TypeRelationships?: TypeRelationshipCaching;
          };
          Conversion?: TypeConversion;
          Equality?: TypeEquality;
          factory?: {
              Bottom?: BottomFactoryService<Specifics>;
              Classes?: ClassFactoryService<Specifics>;
              Functions?: FunctionFactoryService<Specifics>;
              Operators?: OperatorFactoryService<Specifics>;
              Primitives?: PrimitiveFactoryService<Specifics>;
              Top?: TopFactoryService<Specifics>;
          };
          Inference?: TypeInferenceCollector<Specifics>;
          infrastructure?: {
              Graph?: TypeGraph;
              GraphAlgorithms?: GraphAlgorithms;
              Kinds?: KindRegistry<Specifics>;
              TypeResolver?: TypeResolvingService<Specifics>;
          };
          Language?: LanguageService<Specifics>;
          Printer?: ProblemPrinter<Specifics>;
          Subtype?: SubType;
          validation?: {
              Collector?: ValidationCollector<Specifics>;
              Constraints?: ValidationConstraints<Specifics>;
          };
      },
  >

  optional Typir module with customizations
• Optionalcustomization4: Module<
      TypirServices<Specifics>,
      {
          Assignability?: TypeAssignability;
          caching?: {
              LanguageNodeInference?: LanguageNodeInferenceCaching;
              TypeRelationships?: TypeRelationshipCaching;
          };
          Conversion?: TypeConversion;
          Equality?: TypeEquality;
          factory?: {
              Bottom?: BottomFactoryService<Specifics>;
              Classes?: ClassFactoryService<Specifics>;
              Functions?: FunctionFactoryService<Specifics>;
              Operators?: OperatorFactoryService<Specifics>;
              Primitives?: PrimitiveFactoryService<Specifics>;
              Top?: TopFactoryService<Specifics>;
          };
          Inference?: TypeInferenceCollector<Specifics>;
          infrastructure?: {
              Graph?: TypeGraph;
              GraphAlgorithms?: GraphAlgorithms;
              Kinds?: KindRegistry<Specifics>;
              TypeResolver?: TypeResolvingService<Specifics>;
          };
          Language?: LanguageService<Specifics>;
          Printer?: ProblemPrinter<Specifics>;
          Subtype?: SubType;
          validation?: {
              Collector?: ValidationCollector<Specifics>;
              Constraints?: ValidationConstraints<Specifics>;
          };
      },
  >

  optional Typir module with customizations