├── .gitignore ├── .vscode └── tasks.json ├── README.md ├── TypeFighter.sln ├── bak ├── a_graphBasedSolver │ ├── TypeFighter │ │ ├── 01_Core.fsx │ │ ├── 02_DotNetCodeGen.fsx │ │ ├── 10_Api.fsx │ │ ├── 11_Expect.fsx │ │ ├── 12_Visu.fsx │ │ ├── 20a_TestCases.fsx │ │ └── 20b_FiddleTestCases.fsx │ ├── global.json │ ├── todo.md │ └── visu │ │ ├── index.html │ │ ├── package-lock.json │ │ ├── package.json │ │ ├── src │ │ ├── data.js │ │ ├── demoData.js │ │ ├── go.js │ │ ├── graphLayout.js │ │ └── treeLayout.js │ │ └── visu.fsx └── c_tsSolver │ ├── .gitignore │ ├── jest.config.js │ ├── package-lock.json │ ├── package.json │ ├── src │ ├── lang.ts │ ├── testSuite.ts │ ├── tests │ │ └── tests.ts │ └── utils.ts │ ├── ts-fs.md │ └── tsconfig.json ├── docu └── ast_ex_1.png ├── fiddle ├── emitMostSimple.fsx ├── emitMostSimple_withType.fsx ├── emitTest.fsx ├── emitTest_2.fsx ├── fiddle.fsx ├── fiddle2.fsx └── reformat.fsx ├── global.json ├── package.json ├── präsi └── 01.key ├── src ├── TypeFighter.Parser01 │ ├── Parser.fs │ └── TypeFighter.Parser01.fsproj ├── TypeFighter.Tests │ ├── TestCases │ │ ├── Arrays.fs │ │ ├── Base.fs │ │ ├── IntersectionTypes.fs │ │ ├── Misc.fs │ │ ├── PatternMatching.fs │ │ ├── Polymorphism.fs │ │ ├── Präsi.fsx │ │ ├── Records.fs │ │ └── TypeHierarchies.fs │ ├── TestHelper.fs │ ├── TestHelperFsiOverrides.fsx │ └── TypeFighter.Tests.fsproj ├── TypeFighter │ ├── Lang.fs │ ├── Tools.fs │ ├── TypeFighter.fsproj │ └── Utils.fs ├── _fsiBase.fsx └── visu │ ├── data │ └── data.js │ ├── index.html │ ├── index.js │ └── visu.fsx └── vite.config.js /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/.gitignore -------------------------------------------------------------------------------- /.vscode/tasks.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/.vscode/tasks.json -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/README.md -------------------------------------------------------------------------------- /TypeFighter.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/TypeFighter.sln -------------------------------------------------------------------------------- /bak/a_graphBasedSolver/TypeFighter/01_Core.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/a_graphBasedSolver/TypeFighter/01_Core.fsx -------------------------------------------------------------------------------- /bak/a_graphBasedSolver/TypeFighter/02_DotNetCodeGen.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/a_graphBasedSolver/TypeFighter/02_DotNetCodeGen.fsx -------------------------------------------------------------------------------- /bak/a_graphBasedSolver/TypeFighter/10_Api.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/a_graphBasedSolver/TypeFighter/10_Api.fsx -------------------------------------------------------------------------------- /bak/a_graphBasedSolver/TypeFighter/11_Expect.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/a_graphBasedSolver/TypeFighter/11_Expect.fsx -------------------------------------------------------------------------------- /bak/a_graphBasedSolver/TypeFighter/12_Visu.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/a_graphBasedSolver/TypeFighter/12_Visu.fsx -------------------------------------------------------------------------------- /bak/a_graphBasedSolver/TypeFighter/20a_TestCases.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/a_graphBasedSolver/TypeFighter/20a_TestCases.fsx -------------------------------------------------------------------------------- /bak/a_graphBasedSolver/TypeFighter/20b_FiddleTestCases.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/a_graphBasedSolver/TypeFighter/20b_FiddleTestCases.fsx -------------------------------------------------------------------------------- /bak/a_graphBasedSolver/global.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/a_graphBasedSolver/global.json -------------------------------------------------------------------------------- /bak/a_graphBasedSolver/todo.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/a_graphBasedSolver/todo.md -------------------------------------------------------------------------------- /bak/a_graphBasedSolver/visu/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/a_graphBasedSolver/visu/index.html -------------------------------------------------------------------------------- /bak/a_graphBasedSolver/visu/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/a_graphBasedSolver/visu/package-lock.json -------------------------------------------------------------------------------- /bak/a_graphBasedSolver/visu/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/a_graphBasedSolver/visu/package.json -------------------------------------------------------------------------------- /bak/a_graphBasedSolver/visu/src/data.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/a_graphBasedSolver/visu/src/data.js -------------------------------------------------------------------------------- /bak/a_graphBasedSolver/visu/src/demoData.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/a_graphBasedSolver/visu/src/demoData.js -------------------------------------------------------------------------------- /bak/a_graphBasedSolver/visu/src/go.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/a_graphBasedSolver/visu/src/go.js -------------------------------------------------------------------------------- /bak/a_graphBasedSolver/visu/src/graphLayout.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/a_graphBasedSolver/visu/src/graphLayout.js -------------------------------------------------------------------------------- /bak/a_graphBasedSolver/visu/src/treeLayout.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/a_graphBasedSolver/visu/src/treeLayout.js -------------------------------------------------------------------------------- /bak/a_graphBasedSolver/visu/visu.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/a_graphBasedSolver/visu/visu.fsx -------------------------------------------------------------------------------- /bak/c_tsSolver/.gitignore: -------------------------------------------------------------------------------- 1 | dist 2 | node_modules -------------------------------------------------------------------------------- /bak/c_tsSolver/jest.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/c_tsSolver/jest.config.js -------------------------------------------------------------------------------- /bak/c_tsSolver/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/c_tsSolver/package-lock.json -------------------------------------------------------------------------------- /bak/c_tsSolver/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/c_tsSolver/package.json -------------------------------------------------------------------------------- /bak/c_tsSolver/src/lang.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/c_tsSolver/src/lang.ts -------------------------------------------------------------------------------- /bak/c_tsSolver/src/testSuite.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/c_tsSolver/src/testSuite.ts -------------------------------------------------------------------------------- /bak/c_tsSolver/src/tests/tests.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/c_tsSolver/src/tests/tests.ts -------------------------------------------------------------------------------- /bak/c_tsSolver/src/utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/c_tsSolver/src/utils.ts -------------------------------------------------------------------------------- /bak/c_tsSolver/ts-fs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/c_tsSolver/ts-fs.md -------------------------------------------------------------------------------- /bak/c_tsSolver/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/bak/c_tsSolver/tsconfig.json -------------------------------------------------------------------------------- /docu/ast_ex_1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/docu/ast_ex_1.png -------------------------------------------------------------------------------- /fiddle/emitMostSimple.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/fiddle/emitMostSimple.fsx -------------------------------------------------------------------------------- /fiddle/emitMostSimple_withType.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/fiddle/emitMostSimple_withType.fsx -------------------------------------------------------------------------------- /fiddle/emitTest.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/fiddle/emitTest.fsx -------------------------------------------------------------------------------- /fiddle/emitTest_2.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/fiddle/emitTest_2.fsx -------------------------------------------------------------------------------- /fiddle/fiddle.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/fiddle/fiddle.fsx -------------------------------------------------------------------------------- /fiddle/fiddle2.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/fiddle/fiddle2.fsx -------------------------------------------------------------------------------- /fiddle/reformat.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/fiddle/reformat.fsx -------------------------------------------------------------------------------- /global.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/global.json -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/package.json -------------------------------------------------------------------------------- /präsi/01.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/präsi/01.key -------------------------------------------------------------------------------- /src/TypeFighter.Parser01/Parser.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/TypeFighter.Parser01/Parser.fs -------------------------------------------------------------------------------- /src/TypeFighter.Parser01/TypeFighter.Parser01.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/TypeFighter.Parser01/TypeFighter.Parser01.fsproj -------------------------------------------------------------------------------- /src/TypeFighter.Tests/TestCases/Arrays.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/TypeFighter.Tests/TestCases/Arrays.fs -------------------------------------------------------------------------------- /src/TypeFighter.Tests/TestCases/Base.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/TypeFighter.Tests/TestCases/Base.fs -------------------------------------------------------------------------------- /src/TypeFighter.Tests/TestCases/IntersectionTypes.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/TypeFighter.Tests/TestCases/IntersectionTypes.fs -------------------------------------------------------------------------------- /src/TypeFighter.Tests/TestCases/Misc.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/TypeFighter.Tests/TestCases/Misc.fs -------------------------------------------------------------------------------- /src/TypeFighter.Tests/TestCases/PatternMatching.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/TypeFighter.Tests/TestCases/PatternMatching.fs -------------------------------------------------------------------------------- /src/TypeFighter.Tests/TestCases/Polymorphism.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/TypeFighter.Tests/TestCases/Polymorphism.fs -------------------------------------------------------------------------------- /src/TypeFighter.Tests/TestCases/Präsi.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/TypeFighter.Tests/TestCases/Präsi.fsx -------------------------------------------------------------------------------- /src/TypeFighter.Tests/TestCases/Records.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/TypeFighter.Tests/TestCases/Records.fs -------------------------------------------------------------------------------- /src/TypeFighter.Tests/TestCases/TypeHierarchies.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/TypeFighter.Tests/TestCases/TypeHierarchies.fs -------------------------------------------------------------------------------- /src/TypeFighter.Tests/TestHelper.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/TypeFighter.Tests/TestHelper.fs -------------------------------------------------------------------------------- /src/TypeFighter.Tests/TestHelperFsiOverrides.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/TypeFighter.Tests/TestHelperFsiOverrides.fsx -------------------------------------------------------------------------------- /src/TypeFighter.Tests/TypeFighter.Tests.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/TypeFighter.Tests/TypeFighter.Tests.fsproj -------------------------------------------------------------------------------- /src/TypeFighter/Lang.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/TypeFighter/Lang.fs -------------------------------------------------------------------------------- /src/TypeFighter/Tools.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/TypeFighter/Tools.fs -------------------------------------------------------------------------------- /src/TypeFighter/TypeFighter.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/TypeFighter/TypeFighter.fsproj -------------------------------------------------------------------------------- /src/TypeFighter/Utils.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/TypeFighter/Utils.fs -------------------------------------------------------------------------------- /src/_fsiBase.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/_fsiBase.fsx -------------------------------------------------------------------------------- /src/visu/data/data.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/visu/data/data.js -------------------------------------------------------------------------------- /src/visu/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/visu/index.html -------------------------------------------------------------------------------- /src/visu/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/visu/index.js -------------------------------------------------------------------------------- /src/visu/visu.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/src/visu/visu.fsx -------------------------------------------------------------------------------- /vite.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SchlenkR/TypeFighter/HEAD/vite.config.js --------------------------------------------------------------------------------