Info
| Version: | 0.0.1-beta |
| Author(s): | Christopher Atkins |
| Last Update: | Monday, March 21, 2016 |
| .NET Fiddle: | Create the first Fiddle |
| Project Url: | http://github.com/caindy/DependentTypesProvider |
| NuGet Url: | https://www.nuget.org/packages/FSharp.DependentTypesProvider |
Install
Install-Package FSharp.DependentTypesProvider
dotnet add package FSharp.DependentTypesProvider
paket add FSharp.DependentTypesProvider
FSharp.DependentTypesProvider Download (Unzip the "nupkg" after downloading)
Dependencies
Tags
The FSharp.DependentTypes.Strings namespace
provides types for representing dependent strings, for example strings that must be within a particular range of lengths
(BoundedString). The FSharp.DependentTypes.Numbers namespace provides dependent types for the numeric primitives in .NET,
e.g.
BoundedInt.