dec

Decidable propositions.

https://github.com/phadej/vec

Version on this page:0.0.3@rev:1
LTS Haskell 24.17:0.0.6@rev:1
Stackage Nightly 2025-10-30:0.0.6@rev:1
Latest on Hackage:0.0.6@rev:1

See all snapshots dec appears in

BSD-3-Clause licensed by Oleg Grenrus
Maintained by Oleg.Grenrus
This version can be pinned in stack with:dec-0.0.3@sha256:c0a3ddaf4c989e2a3d83f91dbe0e70db75a16aad9b24ab8312ceab8af9f2b325,1131

Module documentation for 0.0.3

Depends on 1 package(full list with versions):
base
Used by 3 packages in nightly-2020-01-08(full list with versions):
boring, fin, singleton-bool

This package provides a Dec type.

type Not a = a -> Void

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

Changes

Revision history for dec

0.0.3

  • First version. Released on an unsuspecting world.