typir/lib/index.d.ts

General purpose type checking library

/******************************************************************************
 * Copyright 2024 TypeFox GmbH
 * This program and the accompanying materials are made available under the
 * terms of the MIT License, which is available in the project root.
 ******************************************************************************/
export * from './typir.js';
export * from './graph/type-edge.js';
export * from './graph/type-graph.js';
export * from './graph/type-node.js';
export * from './initialization/type-initializer.js';
export * from './initialization/type-reference.js';
export * from './initialization/type-descriptor.js';
export * from './initialization/type-waiting.js';
export * from './kinds/bottom/bottom-kind.js';
export * from './kinds/bottom/bottom-type.js';
export * from './kinds/class/class-initializer.js';
export * from './kinds/class/class-kind.js';
export * from './kinds/class/class-type.js';
export * from './kinds/class/class-validation.js';
export * from './kinds/class/top-class-kind.js';
export * from './kinds/class/top-class-type.js';
export * from './kinds/custom/custom-definitions.js';
export * from './kinds/custom/custom-initializer.js';
export * from './kinds/custom/custom-kind.js';
export * from './kinds/custom/custom-type.js';
export * from './kinds/fixed-parameters/fixed-parameters-kind.js';
export * from './kinds/fixed-parameters/fixed-parameters-type.js';
export * from './kinds/function/function-initializer.js';
export * from './kinds/function/function-kind.js';
export * from './kinds/function/function-overloading.js';
export * from './kinds/function/function-type.js';
export * from './kinds/function/function-validation-calls.js';
export * from './kinds/function/function-validation-unique.js';
export * from './kinds/multiplicity/multiplicity-kind.js';
export * from './kinds/multiplicity/multiplicity-type.js';
export * from './kinds/primitive/primitive-kind.js';
export * from './kinds/primitive/primitive-type.js';
export * from './kinds/top/top-kind.js';
export * from './kinds/top/top-type.js';
export * from './kinds/kind.js';
export * from './services/assignability.js';
export * from './services/caching.js';
export * from './services/conversion.js';
export * from './services/equality.js';
export * from './services/inference.js';
export * from './services/kind-registry.js';
export * from './services/language.js';
export * from './services/operator.js';
export * from './services/printing.js';
export * from './services/subtype.js';
export * from './services/validation.js';
export * from './utils/dependency-injection.js';
export * from './utils/rule-registration.js';
export * from './utils/utils.js';
export * from './utils/utils-definitions.js';
export * from './utils/utils-type-comparison.js';
//# sourceMappingURL=index.d.ts.map