The open-witness package
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).
Properties
| Versions | 0.1, 0.1.1 |
|---|---|
| Dependencies | base (≥2.0), mtl (≥1.1), witness (0.1) |
| License | BSD3 |
| Author | Ashley Yakeley <ashley@semantic.org> |
| Maintainer | Ashley Yakeley <ashley@semantic.org> |
| Category | Data |
| Upload date | Sat Aug 23 08:13:19 UTC 2008 |
| Uploaded by | AshleyYakeley |
| Built on | ghc-6.10, ghc-6.12, ghc-6.8 |
| Build failure | ghc-7.0 (log) |
Modules
Downloads
- open-witness-0.1.1.tar.gz (Cabal source package)
- package description (included in the package)