open-witness: open witnesses
Open witnesses are witnesses that can witness to any type. However, they cannot be constructed, they can only be generated in the IO monad. See the paper Witnesses and Open Witnesses (http://semantic.org/stuff/Open-Witnesses.pdf).
Modules
[Index]
Downloads
- open-witness-0.4.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1, 0.1.1, 0.3.1, 0.4, 0.4.0.1, 0.5, 0.6 |
|---|---|
| Dependencies | base (>=4.9.1 && <5), constraints, hashable, random, template-haskell, transformers, witness (==0.4) [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/open-witness |
| Bug tracker | https://github.com/AshleyYakeley/open-witness/issues |
| Uploaded | by AshleyYakeley at 2017-08-02T09:36:02Z |
| Distributions | LTSHaskell:0.6, NixOS:0.6, Stackage:0.6 |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 4396 total (28 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2017-08-02 [all 1 reports] |