 |
VOOZH | about |
|
VOOZH | about |
dotnet add package TypeEquality --version 0.4.2
NuGet\Install-Package TypeEquality -Version 0.4.2
<PackageReference Include="TypeEquality" Version="0.4.2" />
<PackageVersion Include="TypeEquality" Version="0.4.2" />Directory.Packages.props
<PackageReference Include="TypeEquality" />Project file
paket add TypeEquality --version 0.4.2
#r "nuget: TypeEquality, 0.4.2"
#:package TypeEquality@0.4.2
#addin nuget:?package=TypeEquality&version=0.4.2Install as a Cake Addin
#tool nuget:?package=TypeEquality&version=0.4.2Install as a Cake Tool
👁 NuGet latest release
👁 NuGet latest pre-release
👁 Build status
This library contains type equalities (Teqs) for F#. These equalities allow us to create type-safe abstractions by allowing us to encode Generalised Algebraic Data Types (GADTs), as found in languages like Haskell.
Ralf Hinze explains the concepts of GADTs and phantom types in Fun with phantom types. In particular, Section 7, "A type equality type", covers the role of a type equality in the encoding of GADTs.
To use Teqs in your projects, you'll want to reference the main TypeEquality
project. The project is available as a nuget package - https://www.nuget.org/packages/TypeEquality.
This project provides a type Teq<'a,'b> of proofs that 'a
and 'b are the same type. By including these in the declaration of a
generic discriminated union, you can constrain the types each case
applies to, encoding a GADT.
An example of this may be found in the Example folder.
For more advanced usage, TypeEquality also allows you to reason about Teqs using the functions in the Teq and Teq.Cong (congruence) modules.
The library has some unit tests in the Test/TypeEquality.Test.fsproj project.
We welcome new contributors! We'll happily receive PRs for bug fixes or small changes. If you're contemplating something larger please get in touch first by opening a GitHub Issue describing the problem and how you propose to solve it.
Copyright 2018 G-Research
Licensed under the Apache License, Version 2.0 (the "License"); you may not use these files except in compliance with the License. You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.
| Product | Versions Compatible and additional computed target framework versions. |
|---|---|
| .NET | net5.0 net5.0 was computed. net5.0-windows net5.0-windows was computed. net6.0 net6.0 was computed. net6.0-android net6.0-android was computed. net6.0-ios net6.0-ios was computed. net6.0-maccatalyst net6.0-maccatalyst was computed. net6.0-macos net6.0-macos was computed. net6.0-tvos net6.0-tvos was computed. net6.0-windows net6.0-windows was computed. net7.0 net7.0 was computed. net7.0-android net7.0-android was computed. net7.0-ios net7.0-ios was computed. net7.0-maccatalyst net7.0-maccatalyst was computed. net7.0-macos net7.0-macos was computed. net7.0-tvos net7.0-tvos was computed. net7.0-windows net7.0-windows was computed. net8.0 net8.0 was computed. net8.0-android net8.0-android was computed. net8.0-browser net8.0-browser was computed. net8.0-ios net8.0-ios was computed. net8.0-maccatalyst net8.0-maccatalyst was computed. net8.0-macos net8.0-macos was computed. net8.0-tvos net8.0-tvos was computed. net8.0-windows net8.0-windows was computed. net9.0 net9.0 was computed. net9.0-android net9.0-android was computed. net9.0-browser net9.0-browser was computed. net9.0-ios net9.0-ios was computed. net9.0-maccatalyst net9.0-maccatalyst was computed. net9.0-macos net9.0-macos was computed. net9.0-tvos net9.0-tvos was computed. net9.0-windows net9.0-windows was computed. net10.0 net10.0 was computed. net10.0-android net10.0-android was computed. net10.0-browser net10.0-browser was computed. net10.0-ios net10.0-ios was computed. net10.0-maccatalyst net10.0-maccatalyst was computed. net10.0-macos net10.0-macos was computed. net10.0-tvos net10.0-tvos was computed. net10.0-windows net10.0-windows was computed. |
| .NET Core | netcoreapp2.0 netcoreapp2.0 was computed. netcoreapp2.1 netcoreapp2.1 was computed. netcoreapp2.2 netcoreapp2.2 was computed. netcoreapp3.0 netcoreapp3.0 was computed. netcoreapp3.1 netcoreapp3.1 was computed. |
| .NET Standard | netstandard2.0 netstandard2.0 is compatible. netstandard2.1 netstandard2.1 was computed. |
| .NET Framework | net461 net461 was computed. net462 net462 was computed. net463 net463 was computed. net47 net47 was computed. net471 net471 was computed. net472 net472 was computed. net48 net48 was computed. net481 net481 was computed. |
| MonoAndroid | monoandroid monoandroid was computed. |
| MonoMac | monomac monomac was computed. |
| MonoTouch | monotouch monotouch was computed. |
| Tizen | tizen40 tizen40 was computed. tizen60 tizen60 was computed. |
| Xamarin.iOS | xamarinios xamarinios was computed. |
| Xamarin.Mac | xamarinmac xamarinmac was computed. |
| Xamarin.TVOS | xamarintvos xamarintvos was computed. |
| Xamarin.WatchOS | xamarinwatchos xamarinwatchos was computed. |
Showing the top 5 NuGet packages that depend on TypeEquality:
| Package | Downloads |
|---|---|
|
HCollections
Heterogeneous collections for F#. Using heterogeneous collections, it's possible to act on arbitrary sum and product types in a generic way. |
|
|
WoofWare.Myriad.Plugins
Provides some Myriad compile-time code generation plugins. |
|
|
HeterogeneousCollections
Heterogeneous collections for F#. Using heterogeneous collections, it's possible to act on arbitrary sum and product types in a generic way. |
|
|
WoofWare.Incremental
A library for expressing computations that can change efficiently based on their inputs over time. |
|
|
WoofWare.Whippet.Plugin.ArgParser
Whippet F# source generator plugin, for generating arg parsers. |
This package is not used by any popular GitHub repositories.