The open-witness package

[Tags:bsd3, library]

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 (


Versions 0.1, 0.1.1, 0.3.1
Dependencies base (>=4.8 && <5), hashable, random, template-haskell, transformers, witness (>=0.3) [details]
License BSD3
Copyright Ashley Yakeley <>
Author Ashley Yakeley <>
Maintainer Ashley Yakeley <>
Stability Unknown
Category Data
Home page
Bug tracker
Uploaded Sat Apr 23 07:38:17 UTC 2016 by AshleyYakeley
Distributions NixOS:0.3.1
Downloads 535 total (5 in the last 30 days)
0 []
Status Docs available [build log]
Last success reported on 2016-04-23 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees