BSD-3-Clause licensed by Oleg Grenrus
Maintained by Oleg.Grenrus
This version can be pinned in stack with:dec-0.0.5@sha256:5b63eb5bcd3ec1b97e182be28a50881cf3a697a2ccf61d97ad8bd546ea6ed7eb,1432

Module documentation for 0.0.5

Depends on 2 packages(full list with versions):
Used by 3 packages in lts-19.25(full list with versions):

This package provides a Dec type.

type Neg a = a -> Void

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


Revision history for dec


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


  • Mark module as explicitly Safe.


  • First version. Released on an unsuspecting world.