dec

Version 0.0.3 revision 2 uploaded 2020-03-25T12:39:23.000Z by phadej.

Package meta

Synopsis

Decidable propositions.

Description

This package provides a Dec type.

type Neg a = a -> Void

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

Author

Oleg Grenrus <oleg.grenrus@iki.fi>

Bug reports

https://github.com/phadej/vec/issues

Category

Data, Dependent Types

Copyright

(c) 2019 Oleg Grenrus

Homepage

https://github.com/phadej/vec

Maintainer

Oleg.Grenrus <oleg.grenrus@iki.fi>

Package URL

n/a

Stability

n/a

Components

• lib:dec