├── .gitattributes ├── .github └── ISSUE_TEMPLATE.md ├── .gitignore ├── .paket ├── Paket.Restore.targets ├── paket.exe └── paket.targets ├── .travis.yml ├── DependentTypes.sln ├── LICENSE.txt ├── README.md ├── RELEASE_NOTES.md ├── appveyor.yml ├── docs ├── benchmarks.html ├── content │ ├── github-blue.png │ ├── github.png │ ├── img │ │ ├── github-blue.png │ │ └── github.png │ ├── style.css │ ├── style_light.css │ └── tips.js ├── img │ ├── DependentPairTooltip.png │ ├── DependentTypeTooltip.png │ └── logo.png ├── index.html ├── license.html ├── reference │ ├── dependenttypes-dependentpair-4.html │ ├── dependenttypes-dependenttype-4.html │ ├── dependenttypes-helpers.html │ ├── dependenttypes-pi-3.html │ ├── dependenttypes-sigma-3.html │ ├── dependenttypes-somedependenttype-4.html │ └── index.html ├── release-notes.html ├── tutorial.html └── typeallthethings.html ├── docsrc ├── content │ ├── benchmarks.fsx │ ├── index.fsx │ ├── tutorial.fsx │ └── typeallthethings.fsx ├── files │ └── img │ │ ├── DependentPairTooltip.png │ │ ├── DependentTypeTooltip.png │ │ └── logo.png └── tools │ └── templates │ └── template.cshtml ├── lib └── README.md ├── paket.dependencies ├── paket.lock ├── src ├── Build │ ├── AssemblyInfo.fs │ ├── Program.fs │ ├── Tasks.fs │ ├── build.fsproj │ └── paket.references ├── DependentTypes │ ├── AssemblyInfo.fs │ ├── DependentTypes.fs │ ├── DependentTypes.fsproj │ ├── Scripts │ │ └── Script1.fsx │ ├── paket.references │ └── paket.template ├── DependentTypesConsole │ ├── AssemblyInfo.fs │ ├── DemoDependentFunction.fs │ ├── DemoDependentType.fs │ ├── DemoLimitedValue.fs │ ├── DependentTypesConsole.fsproj │ ├── Experimental.fs │ ├── Experimental2.fs │ ├── Program.fs │ └── paket.references └── DomainLib │ ├── AssemblyInfo.fs │ ├── Domain.fs │ ├── Domain.fsi │ ├── Domain2.fs │ ├── Domain2.fsi │ ├── DomainLib.fsproj │ └── paket.references └── tests ├── Benchmark.Tests ├── Benchmark.Tests.fsproj ├── Benchmarks.fs ├── RunTests.fs └── paket.references ├── DependentTypes.Tests ├── AssemblyInfo.fs ├── DependentType.fs ├── DependentTypes.Tests.fsproj ├── RunTests.fs ├── SomeDependentType .fs └── paket.references └── DomainLib.Tests ├── Domain2Types.fs ├── DomainLib.Tests.fsproj ├── DomainTypes.fs ├── Generators.fs ├── RunTests.fs └── paket.references /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/.github/ISSUE_TEMPLATE.md -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/.gitignore -------------------------------------------------------------------------------- /.paket/Paket.Restore.targets: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/.paket/Paket.Restore.targets -------------------------------------------------------------------------------- /.paket/paket.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/.paket/paket.exe -------------------------------------------------------------------------------- /.paket/paket.targets: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/.paket/paket.targets -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/.travis.yml -------------------------------------------------------------------------------- /DependentTypes.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/DependentTypes.sln -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/README.md -------------------------------------------------------------------------------- /RELEASE_NOTES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/RELEASE_NOTES.md -------------------------------------------------------------------------------- /appveyor.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/appveyor.yml -------------------------------------------------------------------------------- /docs/benchmarks.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/benchmarks.html -------------------------------------------------------------------------------- /docs/content/github-blue.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/content/github-blue.png -------------------------------------------------------------------------------- /docs/content/github.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/content/github.png -------------------------------------------------------------------------------- /docs/content/img/github-blue.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/content/img/github-blue.png -------------------------------------------------------------------------------- /docs/content/img/github.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/content/img/github.png -------------------------------------------------------------------------------- /docs/content/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/content/style.css -------------------------------------------------------------------------------- /docs/content/style_light.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/content/style_light.css -------------------------------------------------------------------------------- /docs/content/tips.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/content/tips.js -------------------------------------------------------------------------------- /docs/img/DependentPairTooltip.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/img/DependentPairTooltip.png -------------------------------------------------------------------------------- /docs/img/DependentTypeTooltip.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/img/DependentTypeTooltip.png -------------------------------------------------------------------------------- /docs/img/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/img/logo.png -------------------------------------------------------------------------------- /docs/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/index.html -------------------------------------------------------------------------------- /docs/license.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/license.html -------------------------------------------------------------------------------- /docs/reference/dependenttypes-dependentpair-4.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/reference/dependenttypes-dependentpair-4.html -------------------------------------------------------------------------------- /docs/reference/dependenttypes-dependenttype-4.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/reference/dependenttypes-dependenttype-4.html -------------------------------------------------------------------------------- /docs/reference/dependenttypes-helpers.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/reference/dependenttypes-helpers.html -------------------------------------------------------------------------------- /docs/reference/dependenttypes-pi-3.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/reference/dependenttypes-pi-3.html -------------------------------------------------------------------------------- /docs/reference/dependenttypes-sigma-3.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/reference/dependenttypes-sigma-3.html -------------------------------------------------------------------------------- /docs/reference/dependenttypes-somedependenttype-4.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/reference/dependenttypes-somedependenttype-4.html -------------------------------------------------------------------------------- /docs/reference/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/reference/index.html -------------------------------------------------------------------------------- /docs/release-notes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/release-notes.html -------------------------------------------------------------------------------- /docs/tutorial.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/tutorial.html -------------------------------------------------------------------------------- /docs/typeallthethings.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docs/typeallthethings.html -------------------------------------------------------------------------------- /docsrc/content/benchmarks.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docsrc/content/benchmarks.fsx -------------------------------------------------------------------------------- /docsrc/content/index.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docsrc/content/index.fsx -------------------------------------------------------------------------------- /docsrc/content/tutorial.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docsrc/content/tutorial.fsx -------------------------------------------------------------------------------- /docsrc/content/typeallthethings.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docsrc/content/typeallthethings.fsx -------------------------------------------------------------------------------- /docsrc/files/img/DependentPairTooltip.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docsrc/files/img/DependentPairTooltip.png -------------------------------------------------------------------------------- /docsrc/files/img/DependentTypeTooltip.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docsrc/files/img/DependentTypeTooltip.png -------------------------------------------------------------------------------- /docsrc/files/img/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docsrc/files/img/logo.png -------------------------------------------------------------------------------- /docsrc/tools/templates/template.cshtml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/docsrc/tools/templates/template.cshtml -------------------------------------------------------------------------------- /lib/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/lib/README.md -------------------------------------------------------------------------------- /paket.dependencies: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/paket.dependencies -------------------------------------------------------------------------------- /paket.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/paket.lock -------------------------------------------------------------------------------- /src/Build/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/Build/AssemblyInfo.fs -------------------------------------------------------------------------------- /src/Build/Program.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/Build/Program.fs -------------------------------------------------------------------------------- /src/Build/Tasks.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/Build/Tasks.fs -------------------------------------------------------------------------------- /src/Build/build.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/Build/build.fsproj -------------------------------------------------------------------------------- /src/Build/paket.references: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/Build/paket.references -------------------------------------------------------------------------------- /src/DependentTypes/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/DependentTypes/AssemblyInfo.fs -------------------------------------------------------------------------------- /src/DependentTypes/DependentTypes.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/DependentTypes/DependentTypes.fs -------------------------------------------------------------------------------- /src/DependentTypes/DependentTypes.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/DependentTypes/DependentTypes.fsproj -------------------------------------------------------------------------------- /src/DependentTypes/Scripts/Script1.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/DependentTypes/Scripts/Script1.fsx -------------------------------------------------------------------------------- /src/DependentTypes/paket.references: -------------------------------------------------------------------------------- 1 | FSharp.Core -------------------------------------------------------------------------------- /src/DependentTypes/paket.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/DependentTypes/paket.template -------------------------------------------------------------------------------- /src/DependentTypesConsole/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/DependentTypesConsole/AssemblyInfo.fs -------------------------------------------------------------------------------- /src/DependentTypesConsole/DemoDependentFunction.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/DependentTypesConsole/DemoDependentFunction.fs -------------------------------------------------------------------------------- /src/DependentTypesConsole/DemoDependentType.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/DependentTypesConsole/DemoDependentType.fs -------------------------------------------------------------------------------- /src/DependentTypesConsole/DemoLimitedValue.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/DependentTypesConsole/DemoLimitedValue.fs -------------------------------------------------------------------------------- /src/DependentTypesConsole/DependentTypesConsole.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/DependentTypesConsole/DependentTypesConsole.fsproj -------------------------------------------------------------------------------- /src/DependentTypesConsole/Experimental.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/DependentTypesConsole/Experimental.fs -------------------------------------------------------------------------------- /src/DependentTypesConsole/Experimental2.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/DependentTypesConsole/Experimental2.fs -------------------------------------------------------------------------------- /src/DependentTypesConsole/Program.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/DependentTypesConsole/Program.fs -------------------------------------------------------------------------------- /src/DependentTypesConsole/paket.references: -------------------------------------------------------------------------------- 1 | FSharp.Core -------------------------------------------------------------------------------- /src/DomainLib/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/DomainLib/AssemblyInfo.fs -------------------------------------------------------------------------------- /src/DomainLib/Domain.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/DomainLib/Domain.fs -------------------------------------------------------------------------------- /src/DomainLib/Domain.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/DomainLib/Domain.fsi -------------------------------------------------------------------------------- /src/DomainLib/Domain2.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/DomainLib/Domain2.fs -------------------------------------------------------------------------------- /src/DomainLib/Domain2.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/DomainLib/Domain2.fsi -------------------------------------------------------------------------------- /src/DomainLib/DomainLib.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/src/DomainLib/DomainLib.fsproj -------------------------------------------------------------------------------- /src/DomainLib/paket.references: -------------------------------------------------------------------------------- 1 | FSharp.Core -------------------------------------------------------------------------------- /tests/Benchmark.Tests/Benchmark.Tests.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/tests/Benchmark.Tests/Benchmark.Tests.fsproj -------------------------------------------------------------------------------- /tests/Benchmark.Tests/Benchmarks.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/tests/Benchmark.Tests/Benchmarks.fs -------------------------------------------------------------------------------- /tests/Benchmark.Tests/RunTests.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/tests/Benchmark.Tests/RunTests.fs -------------------------------------------------------------------------------- /tests/Benchmark.Tests/paket.references: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/tests/Benchmark.Tests/paket.references -------------------------------------------------------------------------------- /tests/DependentTypes.Tests/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/tests/DependentTypes.Tests/AssemblyInfo.fs -------------------------------------------------------------------------------- /tests/DependentTypes.Tests/DependentType.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/tests/DependentTypes.Tests/DependentType.fs -------------------------------------------------------------------------------- /tests/DependentTypes.Tests/DependentTypes.Tests.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/tests/DependentTypes.Tests/DependentTypes.Tests.fsproj -------------------------------------------------------------------------------- /tests/DependentTypes.Tests/RunTests.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/tests/DependentTypes.Tests/RunTests.fs -------------------------------------------------------------------------------- /tests/DependentTypes.Tests/SomeDependentType .fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/tests/DependentTypes.Tests/SomeDependentType .fs -------------------------------------------------------------------------------- /tests/DependentTypes.Tests/paket.references: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/tests/DependentTypes.Tests/paket.references -------------------------------------------------------------------------------- /tests/DomainLib.Tests/Domain2Types.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/tests/DomainLib.Tests/Domain2Types.fs -------------------------------------------------------------------------------- /tests/DomainLib.Tests/DomainLib.Tests.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/tests/DomainLib.Tests/DomainLib.Tests.fsproj -------------------------------------------------------------------------------- /tests/DomainLib.Tests/DomainTypes.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/tests/DomainLib.Tests/DomainTypes.fs -------------------------------------------------------------------------------- /tests/DomainLib.Tests/Generators.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/tests/DomainLib.Tests/Generators.fs -------------------------------------------------------------------------------- /tests/DomainLib.Tests/RunTests.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/tests/DomainLib.Tests/RunTests.fs -------------------------------------------------------------------------------- /tests/DomainLib.Tests/paket.references: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jackfoxy/DependentTypes/HEAD/tests/DomainLib.Tests/paket.references --------------------------------------------------------------------------------