dec

Decidable propositions.

https://github.com/phadej/dec

LTS Haskell 23.18:0.0.6@rev:1
Stackage Nightly 2025-04-11:0.0.6@rev:1
Latest on Hackage:0.0.6@rev:1

See all snapshotsdec appears in

BSD-3-Clause licensedbyOleg Grenrus
Maintained byOleg.Grenrus
This version can be pinned in stack with:dec-0.0.6@sha256:201b3b5e20424addfedd412e31079cee8b6272325d7ff463a57c31a8c19493f7,1384

Module documentation for 0.0.6

Depends on 2 packages(full list with versions):
Used by 3 packages inlts-23.17(full list with versions):

This package provides aDec type.

type Neg a = a -> Voiddata Dec a    = Yes a    | No (Neg a)

Changes

Revision history for dec

0.0.6

  • Support GHC-8.6.5…9.10.1

0.0.5

  • AddboringYes andabsurdNo.
  • AddDecidable a => Boring (Dec a) instance.
  • AddDecidable (),Decidable Void,Decidable (a, b) instances.

0.0.4

  • Mark module as explicitlySafe.

0.0.3

  • First version. Released on an unsuspecting world.