The witness package

[Tags: bsd3, library]

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

Properties

Versions0.1, 0.2, 0.3
Change logNone available
Dependenciesbase (==4.*), categories (==1.0.*), constraints (>=0.3), transformers (>=0.3) [details]
LicenseBSD3
CopyrightAshley Yakeley <ashley@semantic.org>
AuthorAshley Yakeley <ashley@semantic.org>
MaintainerAshley Yakeley <ashley@semantic.org>
CategoryData
Home pagehttps://github.com/AshleyYakeley/witness
Bug trackerhttps://github.com/AshleyYakeley/witness/issues
UploadedMon Jan 26 07:00:58 UTC 2015 by AshleyYakeley
DistributionsNixOS:0.3
Downloads432 total (28 in last 30 days)
Votes
0 []
StatusDocs available [build log]
Last success reported on 2015-01-26 [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees