homepage: https://github.com/AshleyYakeley/witness
changelog-type: ''
hash: c807cfd70ea05a12f3599cfaf387e80a534e1c3f4c377f7e952f47963af29cb8
test-bench-deps: {}
maintainer: Ashley Yakeley <ashley@semantic.org>
synopsis: values that witness types
changelog: ''
basic-deps:
  base: ! '>=4.7 && <5'
  constraints: -any
  categories: -any
  transformers: -any
all-versions:
- '0.1'
- '0.2'
- '0.3'
- '0.3.0.1'
author: Ashley Yakeley <ashley@semantic.org>
latest: '0.3.0.1'
description-type: haddock
description: ! 'A witness is a value that /witnesses/ some sort of constraint on some
  list of type variables.

  This library provides support for simple witnesses, that constrain a type variable
  to a single type, and equality witnesses, that constrain two type variables to be
  the same type.

  It also provides classes for representatives, which are values that represent types.

  See the paper /Witnesses and Open Witnesses/ (<http://semantic.org/stuff/Open-Witnesses.pdf>).'
license-name: BSD3

homepage: https://github.com/AshleyYakeley/witness
changelog-type: ''
hash: 1fb17e6257589e8c3f3c5dc839d09ab312a576ca5d3d75d1ba69f8783257acac
test-bench-deps: {}
maintainer: Ashley Yakeley <ashley@semantic.org>
synopsis: values that witness types
changelog: ''
basic-deps:
  semigroupoids: -any
  base: ! '>=4.7 && <5'
  constraints: -any
  transformers: -any
all-versions:
- '0.1'
- '0.2'
- '0.3'
- '0.3.0.1'
- '0.4'
author: Ashley Yakeley <ashley@semantic.org>
latest: '0.4'
description-type: haddock
description: ! 'A witness is a value that /witnesses/ some sort of constraint on some
  list of type variables.

  This library provides support for simple witnesses, that constrain a type variable
  to a single type, and equality witnesses, that constrain two type variables to be
  the same type.

  It also provides classes for representatives, which are values that represent types.

  See the paper /Witnesses and Open Witnesses/ (<http://semantic.org/stuff/Open-Witnesses.pdf>).'
license-name: BSD3

Update from Hackage at 2016-06-26T08:22:49+0000
Update from Hackage at 2016-06-26T08:22:49+0000
