@hackage dec0.0.5

Decidable propositions.

Categories
License
BSD-3-Clause
Maintainer
Oleg.Grenrus <oleg.grenrus@iki.fi>
Links
Versions
- 0.0.5 Tue, 24 Oct 2023
- 0.0.4 Fri, 17 Dec 2021
- 0.0.3 Wed, 25 Mar 2020

This package provides a Dec type.

type Neg a = a -> Void

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

Installation
In your cabal file:
Tested Compilers
- 9.8.1
- 9.6.3
- 9.4.7
- 9.2.8
- 9.0.2
- 8.10.7
- 8.8.4
- 8.6.5
- 8.4.4
- 8.2.2
- 8.0.2
- 7.10.3
Dependencies (3)
- base >=4.7 && <4.18
- boring >=0.2 && <0.3
- void >=0.7.3 && <0.8
Dependents (4)
@hackage/singleton-bool, @hackage/bin, @hackage/boring, @hackage/fin