The open-witness package

[Tags:bsd3, library, test]

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, 0.3.1, 0.4
Dependencies base (>=4.9.1 && <5), constraints, hashable, random, template-haskell, transformers, witness (==0.4) [details]
License BSD3
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 Thu Feb 2 06:59:34 UTC 2017 by AshleyYakeley
Distributions LTSHaskell:0.4, NixOS:0.4, Stackage:0.4, Tumbleweed:0.4
Downloads 651 total (34 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2017-02-02 [all 3 reports]
Hackage Matrix CI

Modules

  • Data
    • Data.OpenWitness
      • Data.OpenWitness.Dynamic
      • Data.OpenWitness.Exception
      • Data.OpenWitness.Instance
      • Data.OpenWitness.ST
      • Data.OpenWitness.TypeRep
      • Data.OpenWitness.Typeable
    • Type
      • Data.Type.Heterogeneous

Downloads

Maintainer's Corner

For package maintainers and hackage trustees