homepage: https://github.com/AshleyYakeley/witness
changelog-type: ''
hash: b114c2646fecceab5ebb3c3e2e6ccb2f7cdca7a27fedac6146d8055a0ee9be60
test-bench-deps: {}
maintainer: <ashley@semantic.org>
synopsis: values that witness types
changelog: ''
basic-deps:
  semigroupoids: -any
  base: '>=4.14 && <5'
  constraints: -any
  transformers: -any
  countable: -any
all-versions:
- '0.1'
- '0.2'
- '0.3'
- 0.3.0.1
- '0.4'
- '0.5'
author: Ashley Yakeley
latest: '0.5'
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: BSD-3-Clause

homepage: https://github.com/AshleyYakeley/witness
changelog-type: markdown
hash: 62d4c841d71fc4856a3221a945f9053b6bfaf8d1e6414dc834afb657222ff050
test-bench-deps: {}
maintainer: <ashley@semantic.org>
synopsis: values that witness types
changelog: |
  ## [0.6] - 2022-05-08
  - reorganise modules
  - rename types and functions
  - additional functionality

  ## [0.5] - 2020-09-22
basic-deps:
  base: '>=4.15 && <5'
  constraints: '>=0.13'
  countable: '>=1.2'
all-versions:
- '0.1'
- '0.2'
- '0.3'
- 0.3.0.1
- '0.4'
- '0.5'
- '0.6'
author: Ashley Yakeley
latest: '0.6'
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 a wide variety of witness
  types. It also provides classes for /representatives/, which are values that represent
  types.
license-name: BSD-2-Clause

Update from Hackage at 2022-05-08T21:15:23Z
Update from Hackage at 2022-05-08T21:15:23Z
