@hackage / dec

Decidable propositions.

Latest0.0.6

About

Metadata

  • Last updated , by phadej
  • License BSD-3-Clause

  • Maintained by: Oleg.Grenrus <oleg.grenrus@iki.fi>

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.12.1
  2. 9.10.1
  3. 9.8.4
  4. 9.6.6
  5. 9.4.8
  6. 9.2.8
  7. 9.0.2
  8. 8.10.7
  9. 8.8.4
  10. 8.6.5

Readme

This package provides a Dec type.

type Neg a = a -> Void

data Dec a
    = Yes a
    | No (Neg a)