witness: values that witness types

[ bsd3, data, library ] [ Propose Tags ]

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).

Versions [faq] 0.1, 0.2, 0.3,, 0.4
Dependencies base (>=4.7 && <5), constraints, semigroupoids, transformers [details]
License BSD-3-Clause
Copyright Ashley Yakeley <ashley@semantic.org>
Author Ashley Yakeley <ashley@semantic.org>
Maintainer Ashley Yakeley <ashley@semantic.org>
Category Data
Home page https://github.com/AshleyYakeley/witness
Bug tracker https://github.com/AshleyYakeley/witness/issues
Uploaded by AshleyYakeley at Sun Jun 26 08:08:09 UTC 2016
Distributions LTSHaskell:0.4, NixOS:0.4, Stackage:0.4
Downloads 3197 total (290 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2016-06-26 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees