Package Info

ghc-witness


Values that witness types


Development/Libraries/Haskell

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&gt;).


License: BSD-2-Clause
URL: https://hackage.haskell.org/package/witness

Categories

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
0.4-bp150.2.3 info GA Release 2018-08-01 15
  • AArch64
  • ghc-witness
  • ghc-witness-devel
0.4-bp150.2.5 info GA Release 2018-07-31 15
  • ppc64le
  • ghc-witness
  • ghc-witness-devel
0.4-bp150.2.6 info GA Release 2018-07-30 15
  • x86-64
  • ghc-witness
  • ghc-witness-devel