├── .editorconfig ├── .eslintignore ├── .eslintrc.json ├── .github └── workflows │ ├── actions.yml │ ├── docs.yml │ ├── publish-latest.yml │ └── publish-next.yml ├── .gitignore ├── .vscode ├── extensions.json ├── launch.json └── settings.json ├── CHANGELOG.md ├── CONTRIBUTING.md ├── LICENSE ├── README.md ├── RELEASE.md ├── bin └── cli.js ├── documentation ├── bindings │ └── binding-langium.md ├── customization.md ├── design.md ├── getting-started.md ├── index.md ├── kinds │ └── custom-types.md ├── services │ ├── assignability.md │ ├── inference.md │ └── language.md └── usecases.md ├── examples ├── expression │ ├── README.md │ ├── package.json │ ├── src │ │ ├── expression-ast.ts │ │ ├── expression-lexer.ts │ │ ├── expression-parser.ts │ │ ├── expression-type-system.ts │ │ └── expression-validator.ts │ ├── test │ │ ├── expression-lexer.test.ts │ │ ├── expression-parser.test.ts │ │ └── expression-validator.test.ts │ ├── tsconfig.json │ ├── tsconfig.src.json │ └── tsconfig.test.json ├── lox │ ├── README.md │ ├── esbuild.mjs │ ├── examples │ │ └── basic.lox │ ├── langium-config.json │ ├── language-configuration.json │ ├── package.json │ ├── src │ │ ├── cli │ │ │ ├── cli-util.ts │ │ │ └── main.ts │ │ ├── extension │ │ │ └── main.ts │ │ └── language │ │ │ ├── lox-code-actions.ts │ │ │ ├── lox-linker.ts │ │ │ ├── lox-module.ts │ │ │ ├── lox-scope.ts │ │ │ ├── lox-type-checking.ts │ │ │ ├── lox-utils.ts │ │ │ ├── lox-validator.ts │ │ │ ├── lox.langium │ │ │ └── main.ts │ ├── syntaxes │ │ ├── lox.monarch.ts │ │ └── lox.tmLanguage.json │ ├── test │ │ ├── lox-type-checking-classes.test.ts │ │ ├── lox-type-checking-cycles.test.ts │ │ ├── lox-type-checking-functions.test.ts │ │ ├── lox-type-checking-method.test.ts │ │ ├── lox-type-checking-operators.test.ts │ │ ├── lox-type-checking-statements.test.ts │ │ └── lox-type-checking-utils.ts │ ├── tsconfig.json │ ├── tsconfig.src.json │ └── tsconfig.test.json └── ox │ ├── README.md │ ├── esbuild.mjs │ ├── examples │ ├── EclipseCon2024.ox │ ├── LangDev2024.ox │ ├── basic.ox │ ├── factorial.ox │ └── vars.ox │ ├── langium-config.json │ ├── language-configuration.json │ ├── package.json │ ├── src │ ├── cli │ │ ├── cli-util.ts │ │ └── main.ts │ ├── extension │ │ └── main.ts │ └── language │ │ ├── main.ts │ │ ├── ox-module.ts │ │ ├── ox-type-checking.ts │ │ ├── ox-validator.ts │ │ └── ox.langium │ ├── syntaxes │ └── ox.tmLanguage.json │ ├── test │ ├── ox-type-checking-functions.test.ts │ ├── ox-type-checking-operators.test.ts │ ├── ox-type-checking-statements.test.ts │ └── ox-type-checking-utils.ts │ ├── tsconfig.json │ ├── tsconfig.src.json │ └── tsconfig.test.json ├── package.json ├── packages ├── .DS_Store ├── typir-langium │ ├── README.md │ ├── package.json │ ├── src │ │ ├── features │ │ │ ├── langium-caching.ts │ │ │ ├── langium-inference.ts │ │ │ ├── langium-language.ts │ │ │ ├── langium-printing.ts │ │ │ ├── langium-type-creator.ts │ │ │ └── langium-validation.ts │ │ ├── index.ts │ │ ├── typir-langium.ts │ │ └── utils │ │ │ └── typir-langium-utils.ts │ ├── tsconfig.json │ ├── tsconfig.src.json │ ├── tsconfig.test.json │ └── typedoc.json └── typir │ ├── README.md │ ├── package.json │ ├── src │ ├── graph │ │ ├── graph-algorithms.ts │ │ ├── type-edge.ts │ │ ├── type-graph.ts │ │ └── type-node.ts │ ├── index-test.ts │ ├── index.ts │ ├── initialization │ │ ├── type-descriptor.ts │ │ ├── type-initializer.ts │ │ ├── type-reference.ts │ │ └── type-waiting.ts │ ├── kinds │ │ ├── bottom │ │ │ ├── bottom-kind.ts │ │ │ └── bottom-type.ts │ │ ├── class │ │ │ ├── class-initializer.ts │ │ │ ├── class-kind.ts │ │ │ ├── class-type.ts │ │ │ ├── class-validation.ts │ │ │ ├── top-class-kind.ts │ │ │ └── top-class-type.ts │ │ ├── custom │ │ │ ├── custom-definitions.ts │ │ │ ├── custom-initializer.ts │ │ │ ├── custom-kind.ts │ │ │ └── custom-type.ts │ │ ├── fixed-parameters │ │ │ ├── fixed-parameters-kind.ts │ │ │ └── fixed-parameters-type.ts │ │ ├── function │ │ │ ├── function-inference-call.ts │ │ │ ├── function-inference-overloaded.ts │ │ │ ├── function-initializer.ts │ │ │ ├── function-kind.ts │ │ │ ├── function-overloading.ts │ │ │ ├── function-type.ts │ │ │ ├── function-validation-calls.ts │ │ │ └── function-validation-unique.ts │ │ ├── kind.ts │ │ ├── multiplicity │ │ │ ├── multiplicity-kind.ts │ │ │ └── multiplicity-type.ts │ │ ├── primitive │ │ │ ├── primitive-kind.ts │ │ │ └── primitive-type.ts │ │ └── top │ │ │ ├── top-kind.ts │ │ │ └── top-type.ts │ ├── services │ │ ├── assignability.ts │ │ ├── caching.ts │ │ ├── conversion.ts │ │ ├── equality.ts │ │ ├── inference.ts │ │ ├── kind-registry.ts │ │ ├── language.ts │ │ ├── operator.ts │ │ ├── printing.ts │ │ ├── subtype.ts │ │ └── validation.ts │ ├── test │ │ ├── predefined-language-nodes.ts │ │ └── test-utils.ts │ ├── typir.ts │ └── utils │ │ ├── dependency-injection.ts │ │ ├── rule-registration.ts │ │ ├── utils-definitions.ts │ │ ├── utils-type-comparison.ts │ │ └── utils.ts │ ├── test │ ├── api-example.test.ts │ ├── customization-example.test.ts │ ├── kinds │ │ ├── class │ │ │ └── class.test.ts │ │ ├── custom │ │ │ ├── custom-cycles.test.ts │ │ │ ├── custom-descriptors.test.ts │ │ │ ├── custom-example-matrix.test.ts │ │ │ ├── custom-example-restricted.test.ts │ │ │ ├── custom-independent.test.ts │ │ │ ├── custom-nested-properties.test.ts │ │ │ └── custom-optional-properties.test.ts │ │ ├── function │ │ │ ├── operator-inference-call.test.ts │ │ │ ├── operator-overloaded.test.ts │ │ │ └── operator-validation-call-arguments.test.ts │ │ └── primitive │ │ │ └── primitive.test.ts │ ├── services │ │ ├── conversion.test.ts │ │ ├── inference-registry.test.ts │ │ └── validation-registry.test.ts │ ├── type-definitions.test.ts │ └── utils │ │ └── test-utils.test.ts │ ├── tsconfig.json │ ├── tsconfig.src.json │ ├── tsconfig.test.json │ └── typedoc.json ├── resources ├── logo │ ├── logo-black.svg │ ├── logo-white.svg │ ├── tapir-black.svg │ └── tapir-white.svg └── talks │ ├── 2024-10-17-LangDev.pdf │ └── 2024-10-24-EclipseCon.pdf ├── scripts └── update-version.js ├── tsconfig.build.json ├── tsconfig.json ├── typedoc.json └── vite.config.ts /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/.editorconfig -------------------------------------------------------------------------------- /.eslintignore: -------------------------------------------------------------------------------- 1 | *.js -------------------------------------------------------------------------------- /.eslintrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/.eslintrc.json -------------------------------------------------------------------------------- /.github/workflows/actions.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/.github/workflows/actions.yml -------------------------------------------------------------------------------- /.github/workflows/docs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/.github/workflows/docs.yml -------------------------------------------------------------------------------- /.github/workflows/publish-latest.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/.github/workflows/publish-latest.yml -------------------------------------------------------------------------------- /.github/workflows/publish-next.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/.github/workflows/publish-next.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/.gitignore -------------------------------------------------------------------------------- /.vscode/extensions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/.vscode/extensions.json -------------------------------------------------------------------------------- /.vscode/launch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/.vscode/launch.json -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/README.md -------------------------------------------------------------------------------- /RELEASE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/RELEASE.md -------------------------------------------------------------------------------- /bin/cli.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/bin/cli.js -------------------------------------------------------------------------------- /documentation/bindings/binding-langium.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/documentation/bindings/binding-langium.md -------------------------------------------------------------------------------- /documentation/customization.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/documentation/customization.md -------------------------------------------------------------------------------- /documentation/design.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/documentation/design.md -------------------------------------------------------------------------------- /documentation/getting-started.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/documentation/getting-started.md -------------------------------------------------------------------------------- /documentation/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/documentation/index.md -------------------------------------------------------------------------------- /documentation/kinds/custom-types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/documentation/kinds/custom-types.md -------------------------------------------------------------------------------- /documentation/services/assignability.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/documentation/services/assignability.md -------------------------------------------------------------------------------- /documentation/services/inference.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/documentation/services/inference.md -------------------------------------------------------------------------------- /documentation/services/language.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/documentation/services/language.md -------------------------------------------------------------------------------- /documentation/usecases.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/documentation/usecases.md -------------------------------------------------------------------------------- /examples/expression/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/expression/README.md -------------------------------------------------------------------------------- /examples/expression/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/expression/package.json -------------------------------------------------------------------------------- /examples/expression/src/expression-ast.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/expression/src/expression-ast.ts -------------------------------------------------------------------------------- /examples/expression/src/expression-lexer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/expression/src/expression-lexer.ts -------------------------------------------------------------------------------- /examples/expression/src/expression-parser.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/expression/src/expression-parser.ts -------------------------------------------------------------------------------- /examples/expression/src/expression-type-system.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/expression/src/expression-type-system.ts -------------------------------------------------------------------------------- /examples/expression/src/expression-validator.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/expression/src/expression-validator.ts -------------------------------------------------------------------------------- /examples/expression/test/expression-lexer.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/expression/test/expression-lexer.test.ts -------------------------------------------------------------------------------- /examples/expression/test/expression-parser.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/expression/test/expression-parser.test.ts -------------------------------------------------------------------------------- /examples/expression/test/expression-validator.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/expression/test/expression-validator.test.ts -------------------------------------------------------------------------------- /examples/expression/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/expression/tsconfig.json -------------------------------------------------------------------------------- /examples/expression/tsconfig.src.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/expression/tsconfig.src.json -------------------------------------------------------------------------------- /examples/expression/tsconfig.test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/expression/tsconfig.test.json -------------------------------------------------------------------------------- /examples/lox/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/README.md -------------------------------------------------------------------------------- /examples/lox/esbuild.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/esbuild.mjs -------------------------------------------------------------------------------- /examples/lox/examples/basic.lox: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/examples/basic.lox -------------------------------------------------------------------------------- /examples/lox/langium-config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/langium-config.json -------------------------------------------------------------------------------- /examples/lox/language-configuration.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/language-configuration.json -------------------------------------------------------------------------------- /examples/lox/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/package.json -------------------------------------------------------------------------------- /examples/lox/src/cli/cli-util.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/src/cli/cli-util.ts -------------------------------------------------------------------------------- /examples/lox/src/cli/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/src/cli/main.ts -------------------------------------------------------------------------------- /examples/lox/src/extension/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/src/extension/main.ts -------------------------------------------------------------------------------- /examples/lox/src/language/lox-code-actions.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/src/language/lox-code-actions.ts -------------------------------------------------------------------------------- /examples/lox/src/language/lox-linker.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/src/language/lox-linker.ts -------------------------------------------------------------------------------- /examples/lox/src/language/lox-module.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/src/language/lox-module.ts -------------------------------------------------------------------------------- /examples/lox/src/language/lox-scope.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/src/language/lox-scope.ts -------------------------------------------------------------------------------- /examples/lox/src/language/lox-type-checking.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/src/language/lox-type-checking.ts -------------------------------------------------------------------------------- /examples/lox/src/language/lox-utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/src/language/lox-utils.ts -------------------------------------------------------------------------------- /examples/lox/src/language/lox-validator.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/src/language/lox-validator.ts -------------------------------------------------------------------------------- /examples/lox/src/language/lox.langium: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/src/language/lox.langium -------------------------------------------------------------------------------- /examples/lox/src/language/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/src/language/main.ts -------------------------------------------------------------------------------- /examples/lox/syntaxes/lox.monarch.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/syntaxes/lox.monarch.ts -------------------------------------------------------------------------------- /examples/lox/syntaxes/lox.tmLanguage.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/syntaxes/lox.tmLanguage.json -------------------------------------------------------------------------------- /examples/lox/test/lox-type-checking-classes.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/test/lox-type-checking-classes.test.ts -------------------------------------------------------------------------------- /examples/lox/test/lox-type-checking-cycles.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/test/lox-type-checking-cycles.test.ts -------------------------------------------------------------------------------- /examples/lox/test/lox-type-checking-functions.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/test/lox-type-checking-functions.test.ts -------------------------------------------------------------------------------- /examples/lox/test/lox-type-checking-method.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/test/lox-type-checking-method.test.ts -------------------------------------------------------------------------------- /examples/lox/test/lox-type-checking-operators.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/test/lox-type-checking-operators.test.ts -------------------------------------------------------------------------------- /examples/lox/test/lox-type-checking-statements.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/test/lox-type-checking-statements.test.ts -------------------------------------------------------------------------------- /examples/lox/test/lox-type-checking-utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/test/lox-type-checking-utils.ts -------------------------------------------------------------------------------- /examples/lox/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/tsconfig.json -------------------------------------------------------------------------------- /examples/lox/tsconfig.src.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/tsconfig.src.json -------------------------------------------------------------------------------- /examples/lox/tsconfig.test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/lox/tsconfig.test.json -------------------------------------------------------------------------------- /examples/ox/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/README.md -------------------------------------------------------------------------------- /examples/ox/esbuild.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/esbuild.mjs -------------------------------------------------------------------------------- /examples/ox/examples/EclipseCon2024.ox: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/examples/EclipseCon2024.ox -------------------------------------------------------------------------------- /examples/ox/examples/LangDev2024.ox: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/examples/LangDev2024.ox -------------------------------------------------------------------------------- /examples/ox/examples/basic.ox: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/examples/basic.ox -------------------------------------------------------------------------------- /examples/ox/examples/factorial.ox: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/examples/factorial.ox -------------------------------------------------------------------------------- /examples/ox/examples/vars.ox: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/examples/vars.ox -------------------------------------------------------------------------------- /examples/ox/langium-config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/langium-config.json -------------------------------------------------------------------------------- /examples/ox/language-configuration.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/language-configuration.json -------------------------------------------------------------------------------- /examples/ox/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/package.json -------------------------------------------------------------------------------- /examples/ox/src/cli/cli-util.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/src/cli/cli-util.ts -------------------------------------------------------------------------------- /examples/ox/src/cli/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/src/cli/main.ts -------------------------------------------------------------------------------- /examples/ox/src/extension/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/src/extension/main.ts -------------------------------------------------------------------------------- /examples/ox/src/language/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/src/language/main.ts -------------------------------------------------------------------------------- /examples/ox/src/language/ox-module.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/src/language/ox-module.ts -------------------------------------------------------------------------------- /examples/ox/src/language/ox-type-checking.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/src/language/ox-type-checking.ts -------------------------------------------------------------------------------- /examples/ox/src/language/ox-validator.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/src/language/ox-validator.ts -------------------------------------------------------------------------------- /examples/ox/src/language/ox.langium: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/src/language/ox.langium -------------------------------------------------------------------------------- /examples/ox/syntaxes/ox.tmLanguage.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/syntaxes/ox.tmLanguage.json -------------------------------------------------------------------------------- /examples/ox/test/ox-type-checking-functions.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/test/ox-type-checking-functions.test.ts -------------------------------------------------------------------------------- /examples/ox/test/ox-type-checking-operators.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/test/ox-type-checking-operators.test.ts -------------------------------------------------------------------------------- /examples/ox/test/ox-type-checking-statements.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/test/ox-type-checking-statements.test.ts -------------------------------------------------------------------------------- /examples/ox/test/ox-type-checking-utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/test/ox-type-checking-utils.ts -------------------------------------------------------------------------------- /examples/ox/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/tsconfig.json -------------------------------------------------------------------------------- /examples/ox/tsconfig.src.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/tsconfig.src.json -------------------------------------------------------------------------------- /examples/ox/tsconfig.test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/examples/ox/tsconfig.test.json -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/package.json -------------------------------------------------------------------------------- /packages/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/.DS_Store -------------------------------------------------------------------------------- /packages/typir-langium/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir-langium/README.md -------------------------------------------------------------------------------- /packages/typir-langium/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir-langium/package.json -------------------------------------------------------------------------------- /packages/typir-langium/src/features/langium-caching.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir-langium/src/features/langium-caching.ts -------------------------------------------------------------------------------- /packages/typir-langium/src/features/langium-inference.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir-langium/src/features/langium-inference.ts -------------------------------------------------------------------------------- /packages/typir-langium/src/features/langium-language.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir-langium/src/features/langium-language.ts -------------------------------------------------------------------------------- /packages/typir-langium/src/features/langium-printing.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir-langium/src/features/langium-printing.ts -------------------------------------------------------------------------------- /packages/typir-langium/src/features/langium-type-creator.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir-langium/src/features/langium-type-creator.ts -------------------------------------------------------------------------------- /packages/typir-langium/src/features/langium-validation.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir-langium/src/features/langium-validation.ts -------------------------------------------------------------------------------- /packages/typir-langium/src/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir-langium/src/index.ts -------------------------------------------------------------------------------- /packages/typir-langium/src/typir-langium.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir-langium/src/typir-langium.ts -------------------------------------------------------------------------------- /packages/typir-langium/src/utils/typir-langium-utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir-langium/src/utils/typir-langium-utils.ts -------------------------------------------------------------------------------- /packages/typir-langium/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir-langium/tsconfig.json -------------------------------------------------------------------------------- /packages/typir-langium/tsconfig.src.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir-langium/tsconfig.src.json -------------------------------------------------------------------------------- /packages/typir-langium/tsconfig.test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir-langium/tsconfig.test.json -------------------------------------------------------------------------------- /packages/typir-langium/typedoc.json: -------------------------------------------------------------------------------- 1 | { 2 | "entryPoints": ["src/index.ts"] 3 | } 4 | -------------------------------------------------------------------------------- /packages/typir/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/README.md -------------------------------------------------------------------------------- /packages/typir/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/package.json -------------------------------------------------------------------------------- /packages/typir/src/graph/graph-algorithms.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/graph/graph-algorithms.ts -------------------------------------------------------------------------------- /packages/typir/src/graph/type-edge.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/graph/type-edge.ts -------------------------------------------------------------------------------- /packages/typir/src/graph/type-graph.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/graph/type-graph.ts -------------------------------------------------------------------------------- /packages/typir/src/graph/type-node.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/graph/type-node.ts -------------------------------------------------------------------------------- /packages/typir/src/index-test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/index-test.ts -------------------------------------------------------------------------------- /packages/typir/src/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/index.ts -------------------------------------------------------------------------------- /packages/typir/src/initialization/type-descriptor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/initialization/type-descriptor.ts -------------------------------------------------------------------------------- /packages/typir/src/initialization/type-initializer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/initialization/type-initializer.ts -------------------------------------------------------------------------------- /packages/typir/src/initialization/type-reference.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/initialization/type-reference.ts -------------------------------------------------------------------------------- /packages/typir/src/initialization/type-waiting.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/initialization/type-waiting.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/bottom/bottom-kind.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/bottom/bottom-kind.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/bottom/bottom-type.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/bottom/bottom-type.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/class/class-initializer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/class/class-initializer.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/class/class-kind.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/class/class-kind.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/class/class-type.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/class/class-type.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/class/class-validation.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/class/class-validation.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/class/top-class-kind.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/class/top-class-kind.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/class/top-class-type.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/class/top-class-type.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/custom/custom-definitions.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/custom/custom-definitions.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/custom/custom-initializer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/custom/custom-initializer.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/custom/custom-kind.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/custom/custom-kind.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/custom/custom-type.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/custom/custom-type.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/fixed-parameters/fixed-parameters-kind.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/fixed-parameters/fixed-parameters-kind.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/fixed-parameters/fixed-parameters-type.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/fixed-parameters/fixed-parameters-type.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/function/function-inference-call.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/function/function-inference-call.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/function/function-inference-overloaded.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/function/function-inference-overloaded.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/function/function-initializer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/function/function-initializer.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/function/function-kind.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/function/function-kind.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/function/function-overloading.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/function/function-overloading.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/function/function-type.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/function/function-type.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/function/function-validation-calls.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/function/function-validation-calls.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/function/function-validation-unique.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/function/function-validation-unique.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/kind.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/kind.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/multiplicity/multiplicity-kind.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/multiplicity/multiplicity-kind.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/multiplicity/multiplicity-type.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/multiplicity/multiplicity-type.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/primitive/primitive-kind.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/primitive/primitive-kind.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/primitive/primitive-type.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/primitive/primitive-type.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/top/top-kind.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/top/top-kind.ts -------------------------------------------------------------------------------- /packages/typir/src/kinds/top/top-type.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/kinds/top/top-type.ts -------------------------------------------------------------------------------- /packages/typir/src/services/assignability.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/services/assignability.ts -------------------------------------------------------------------------------- /packages/typir/src/services/caching.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/services/caching.ts -------------------------------------------------------------------------------- /packages/typir/src/services/conversion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/services/conversion.ts -------------------------------------------------------------------------------- /packages/typir/src/services/equality.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/services/equality.ts -------------------------------------------------------------------------------- /packages/typir/src/services/inference.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/services/inference.ts -------------------------------------------------------------------------------- /packages/typir/src/services/kind-registry.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/services/kind-registry.ts -------------------------------------------------------------------------------- /packages/typir/src/services/language.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/services/language.ts -------------------------------------------------------------------------------- /packages/typir/src/services/operator.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/services/operator.ts -------------------------------------------------------------------------------- /packages/typir/src/services/printing.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/services/printing.ts -------------------------------------------------------------------------------- /packages/typir/src/services/subtype.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/services/subtype.ts -------------------------------------------------------------------------------- /packages/typir/src/services/validation.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/services/validation.ts -------------------------------------------------------------------------------- /packages/typir/src/test/predefined-language-nodes.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/test/predefined-language-nodes.ts -------------------------------------------------------------------------------- /packages/typir/src/test/test-utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/test/test-utils.ts -------------------------------------------------------------------------------- /packages/typir/src/typir.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/typir.ts -------------------------------------------------------------------------------- /packages/typir/src/utils/dependency-injection.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/utils/dependency-injection.ts -------------------------------------------------------------------------------- /packages/typir/src/utils/rule-registration.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/utils/rule-registration.ts -------------------------------------------------------------------------------- /packages/typir/src/utils/utils-definitions.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/utils/utils-definitions.ts -------------------------------------------------------------------------------- /packages/typir/src/utils/utils-type-comparison.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/utils/utils-type-comparison.ts -------------------------------------------------------------------------------- /packages/typir/src/utils/utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/src/utils/utils.ts -------------------------------------------------------------------------------- /packages/typir/test/api-example.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/test/api-example.test.ts -------------------------------------------------------------------------------- /packages/typir/test/customization-example.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/test/customization-example.test.ts -------------------------------------------------------------------------------- /packages/typir/test/kinds/class/class.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/test/kinds/class/class.test.ts -------------------------------------------------------------------------------- /packages/typir/test/kinds/custom/custom-cycles.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/test/kinds/custom/custom-cycles.test.ts -------------------------------------------------------------------------------- /packages/typir/test/kinds/custom/custom-descriptors.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/test/kinds/custom/custom-descriptors.test.ts -------------------------------------------------------------------------------- /packages/typir/test/kinds/custom/custom-example-matrix.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/test/kinds/custom/custom-example-matrix.test.ts -------------------------------------------------------------------------------- /packages/typir/test/kinds/custom/custom-example-restricted.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/test/kinds/custom/custom-example-restricted.test.ts -------------------------------------------------------------------------------- /packages/typir/test/kinds/custom/custom-independent.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/test/kinds/custom/custom-independent.test.ts -------------------------------------------------------------------------------- /packages/typir/test/kinds/custom/custom-nested-properties.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/test/kinds/custom/custom-nested-properties.test.ts -------------------------------------------------------------------------------- /packages/typir/test/kinds/custom/custom-optional-properties.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/test/kinds/custom/custom-optional-properties.test.ts -------------------------------------------------------------------------------- /packages/typir/test/kinds/function/operator-inference-call.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/test/kinds/function/operator-inference-call.test.ts -------------------------------------------------------------------------------- /packages/typir/test/kinds/function/operator-overloaded.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/test/kinds/function/operator-overloaded.test.ts -------------------------------------------------------------------------------- /packages/typir/test/kinds/function/operator-validation-call-arguments.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/test/kinds/function/operator-validation-call-arguments.test.ts -------------------------------------------------------------------------------- /packages/typir/test/kinds/primitive/primitive.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/test/kinds/primitive/primitive.test.ts -------------------------------------------------------------------------------- /packages/typir/test/services/conversion.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/test/services/conversion.test.ts -------------------------------------------------------------------------------- /packages/typir/test/services/inference-registry.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/test/services/inference-registry.test.ts -------------------------------------------------------------------------------- /packages/typir/test/services/validation-registry.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/test/services/validation-registry.test.ts -------------------------------------------------------------------------------- /packages/typir/test/type-definitions.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/test/type-definitions.test.ts -------------------------------------------------------------------------------- /packages/typir/test/utils/test-utils.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/test/utils/test-utils.test.ts -------------------------------------------------------------------------------- /packages/typir/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/tsconfig.json -------------------------------------------------------------------------------- /packages/typir/tsconfig.src.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/tsconfig.src.json -------------------------------------------------------------------------------- /packages/typir/tsconfig.test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/packages/typir/tsconfig.test.json -------------------------------------------------------------------------------- /packages/typir/typedoc.json: -------------------------------------------------------------------------------- 1 | { 2 | "entryPoints": ["src/index.ts"] 3 | } 4 | -------------------------------------------------------------------------------- /resources/logo/logo-black.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/resources/logo/logo-black.svg -------------------------------------------------------------------------------- /resources/logo/logo-white.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/resources/logo/logo-white.svg -------------------------------------------------------------------------------- /resources/logo/tapir-black.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/resources/logo/tapir-black.svg -------------------------------------------------------------------------------- /resources/logo/tapir-white.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/resources/logo/tapir-white.svg -------------------------------------------------------------------------------- /resources/talks/2024-10-17-LangDev.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/resources/talks/2024-10-17-LangDev.pdf -------------------------------------------------------------------------------- /resources/talks/2024-10-24-EclipseCon.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/resources/talks/2024-10-24-EclipseCon.pdf -------------------------------------------------------------------------------- /scripts/update-version.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/scripts/update-version.js -------------------------------------------------------------------------------- /tsconfig.build.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/tsconfig.build.json -------------------------------------------------------------------------------- /tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/tsconfig.json -------------------------------------------------------------------------------- /typedoc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/typedoc.json -------------------------------------------------------------------------------- /vite.config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TypeFox/typir/HEAD/vite.config.ts --------------------------------------------------------------------------------