homepage: https://github.com/AshleyYakeley/open-witness
changelog-type: ''
hash: 7973b0579ba17b467dc4291739e96f2c59182ce58dec517925759f17f0ab19b9
test-bench-deps: {}
maintainer: Ashley Yakeley <ashley@semantic.org>
synopsis: open witnesses
changelog: ''
basic-deps:
  base: ! '>=4.8 && <5'
  witness: ! '>=0.3'
  hashable: -any
  transformers: -any
  random: -any
  template-haskell: -any
all-versions:
- '0.1'
- '0.1.1'
- '0.3.1'
author: Ashley Yakeley <ashley@semantic.org>
latest: '0.3.1'
description-type: haddock
description: ! '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>).'
license-name: BSD3

homepage: https://github.com/AshleyYakeley/open-witness
changelog-type: ''
hash: d8be5e067cd6a7b61388df1219aa0eba22c40a340d0eae528d9cd2e7ddac26ae
test-bench-deps:
  base: -any
  open-witness: -any
  witness: -any
  mtl: -any
  tasty-hunit: -any
  tasty: -any
maintainer: Ashley Yakeley <ashley@semantic.org>
synopsis: open witnesses
changelog: ''
basic-deps:
  base: ! '>=4.9.1 && <5'
  constraints: -any
  witness: ==0.4
  hashable: -any
  transformers: -any
  random: -any
  template-haskell: -any
all-versions:
- '0.1'
- '0.1.1'
- '0.3.1'
- '0.4'
author: Ashley Yakeley <ashley@semantic.org>
latest: '0.4'
description-type: haddock
description: ! '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>).'
license-name: BSD3

Update from Hackage at 2017-02-02T07:02:57Z
Update from Hackage at 2017-02-02T07:02:57Z
