FSharp.DependentTypesProvider

This is a library for F# developers; it contains two F# type providers. 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.


Keywords
F#, fsharp, typeprovider
License
MIT
Install
Install-Package FSharp.DependentTypesProvider -Version 0.0.1-beta