open-witness: open witnesses

[ bsd2, data, library ] [ Propose Tags ] [ Report a vulnerability ]

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

[Last Documentation]

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

open-witness-0.7.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

AshleyYakeley

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.1, 0.1.1, 0.3.1, 0.4, 0.4.0.1, 0.5, 0.6, 0.7
Change log	changelog.md
Dependencies	base (>=4.19 && <5), constraints (>=0.14), hashable (>=1.3), random (>=1.2), template-haskell (>=2.17), transformers (>=0.5), witness (>=0.7) [details]
Tested with	ghc ==9.8.4, ghc ==9.10.1
License	BSD-2-Clause
Copyright	(c) 2017-2024 Ashley Yakeley
Author	Ashley Yakeley
Maintainer	<ashley@semantic.org>
Category	Data
Home page	https://github.com/AshleyYakeley/open-witness#readme
Bug tracker	https://github.com/AshleyYakeley/open-witness/issues
Source repo	head: git clone https://github.com/AshleyYakeley/open-witness
Uploaded	by AshleyYakeley at 2024-12-16T03:59:08Z
Distributions	LTSHaskell:0.6, NixOS:0.6, Stackage:0.7
Reverse Dependencies	1 direct, 0 indirect [details]
Downloads	4608 total (36 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 2024-12-16 [all 2 reports]