ghc-dec

This package provides a 'Dec' type.
' type Neg a = a -> Void
data Dec a = Yes a | No (Neg a) '.

          

---

License: BSD-3-Clause
URL: https://hackage.haskell.org/package/dec