open-witness: open witnesses

[ bsd3, data, library ] [ Propose Tags ]
Versions 0.1, 0.1.1, 0.3.1, 0.4,
Dependencies base (>=4.9.1 && <5), constraints, hashable, random, template‑haskell, transformers, witness (==0.4) [details]
License BSD-3-Clause
Copyright Ashley Yakeley <>
Author Ashley Yakeley <>
Maintainer Ashley Yakeley <>
Category Data
Home page
Bug tracker
Uploaded by AshleyYakeley at Wed Aug 2 09:36:02 UTC 2017
Distributions LTSHaskell:, NixOS:, Stackage:, openSUSE:
Downloads 1392 total (13 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-08-02 [all 1 reports]
Hackage Matrix CI

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 (




Maintainer's Corner

For package maintainers and hackage trustees