The open-witness package

[ Tags: bsd3, 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 paper Witnesses and Open Witnesses (http://semantic.org/stuff/Open-Witnesses.pdf).

Properties

Versions 0.1, 0.1.1, 0.3.1, 0.4, 0.4.0.1
Dependencies base (>=2.0), mtl (>=1.1), witness (==0.1) [details]
License BSD3
Author Ashley Yakeley <ashley@semantic.org>
Maintainer Ashley Yakeley <ashley@semantic.org>
Category Data
Uploaded Mon Aug 18 07:06:57 UTC 2008 by AshleyYakeley
Distributions LTSHaskell:0.4.0.1, NixOS:0.4.0.1, Stackage:0.4.0.1, Tumbleweed:0.4
Downloads 747 total (21 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees