open-witness: open witnesses

[ bsd2, data, library ] [ Propose Tags ]

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 2008 draft paper Witnesses and Open Witnesses (https://semantic.org/wp-content/uploads/Open-Witnesses.pdf).

Modules

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

Downloads

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
Change log changelog.md
Dependencies base (>=4.15 && <5), constraints (>=0.13), hashable (>=1.3), random (>=1.2), template-haskell (>=2.17), transformers (>=0.5), witness (>=0.6) [details]
License BSD-2-Clause
Copyright (c) 2017-2022 Ashley Yakeley
Author Ashley Yakeley
Maintainer <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 2022-05-10T19:55:15Z
Distributions NixOS:0.6, Stackage:0.6
Downloads 4034 total (26 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2022-05-11 [all 2 reports]