homepage: https://github.com/phadej/vec
changelog-type: markdown
hash: 0367be8f7c5865c9a4d9fa6205f98b804ef59eee1207833dc14a4864f5b1b107
test-bench-deps: {}
maintainer: Oleg.Grenrus <oleg.grenrus@iki.fi>
synopsis: Decidable propositions.
changelog: |
  # Revision history for dec

  ## 0.0.4

  - Mark module as explicitly `Safe`.

  ## 0.0.3

  - First version. Released on an unsuspecting world.
basic-deps:
  base: '>=4.7 && <4.17'
all-versions:
- 0.0.3
- 0.0.4
author: Oleg Grenrus <oleg.grenrus@iki.fi>
latest: 0.0.4
description-type: haddock
description: |-
  This package provides a @Dec@ type.

  @
  type Neg a = a -> Void

  data Dec a
  \    = Yes a
  \    | No (Neg a)
  @
license-name: BSD-3-Clause

homepage: https://github.com/phadej/vec
changelog-type: markdown
hash: 5b63eb5bcd3ec1b97e182be28a50881cf3a697a2ccf61d97ad8bd546ea6ed7eb
test-bench-deps: {}
maintainer: Oleg.Grenrus <oleg.grenrus@iki.fi>
synopsis: Decidable propositions.
changelog: |
  # Revision history for dec

  ## 0.0.5

  - Add `boringYes` and `absurdNo`.
  - Add `Decidable a => Boring (Dec a)` instance.
  - Add `Decidable ()`, `Decidable Void`, `Decidable (a, b)` instances.

  ## 0.0.4

  - Mark module as explicitly `Safe`.

  ## 0.0.3

  - First version. Released on an unsuspecting world.
basic-deps:
  base: '>=4.7 && <4.18'
  boring: '>=0.2 && <0.3'
all-versions:
- 0.0.3
- 0.0.4
- 0.0.5
author: Oleg Grenrus <oleg.grenrus@iki.fi>
latest: 0.0.5
description-type: haddock
description: |-
  This package provides a @Dec@ type.

  @
  type Neg a = a -> Void

  data Dec a
  \    = Yes a
  \    | No (Neg a)
  @
license-name: BSD-3-Clause

Update from Hackage at 2022-08-21T11:52:26Z
Update from Hackage at 2022-08-21T11:52:26Z
