A witness is a value that /witnesses/ some sort of constraint on some list of type variables. This library provides support for simple witnesses, that constrain a type variable to a single type, and equality witnesses, that constrain two type variables to be the same type. It also provides classes for representatives, which are values that represent types. See the paper /Witnesses and Open Witnesses/ (<http://semantic.org/stuff/Open-Witnesses.pdf>).
| Package Version | Update ID | Released | Package Hub Version | Platforms | Subpackages |
|---|---|---|---|---|---|
| 0.4-bp150.2.3 info | GA Release | 2018-08-01 | 15 |
|
|
| 0.4-bp150.2.5 info | GA Release | 2018-07-31 | 15 |
|
|
| 0.4-bp150.2.6 info | GA Release | 2018-07-30 | 15 |
|
|