dec

Decidable propositions.

https://github.com/phadej/vec

Version on this page:0.0.4
LTS Haskell 22.39:0.0.6
Stackage Nightly 2024-10-31:0.0.6
Latest on Hackage:0.0.6

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.4@sha256:7fcaf7059957d1c1ccd956a9a713276252cc66d487903766798c224781a13481,1387

Module documentation for 0.0.4

Depends on 1 package(full list with versions):
base
Used by 3 packages in lts-18.8(full list with versions):
bin, fin, singleton-bool

This package provides a Dec type.

type Neg a = a -> Void

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

Changes

Revision history for dec

0.0.4

  • Mark module as explicitly Safe.

0.0.3

  • First version. Released on an unsuspecting world.