From f516ebbd3fb82630ee9f3881925333196cce8a05 Mon Sep 17 00:00:00 2001 From: CoprDistGit Date: Thu, 26 Oct 2023 22:55:43 +0000 Subject: automatic import of ghc-dec --- dec.cabal | 60 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 60 insertions(+) create mode 100755 dec.cabal (limited to 'dec.cabal') diff --git a/dec.cabal b/dec.cabal new file mode 100755 index 0000000..16224c7 --- /dev/null +++ b/dec.cabal @@ -0,0 +1,60 @@ +cabal-version: >=1.10 +name: dec +version: 0.0.5 +x-revision: 1 +synopsis: Decidable propositions. +category: Data, Dependent Types +description: + This package provides a @Dec@ type. + . + @ + type Neg a = a -> Void + . + data Dec a + \ = Yes a + \ | No (Neg a) + @ + +homepage: https://github.com/phadej/dec +bug-reports: https://github.com/phadej/dec/issues +license: BSD3 +license-file: LICENSE +author: Oleg Grenrus +maintainer: Oleg.Grenrus +copyright: (c) 2019-2021 Oleg Grenrus +build-type: Simple +extra-source-files: ChangeLog.md +tested-with: + GHC ==7.8.4 + || ==7.10.3 + || ==8.0.2 + || ==8.2.2 + || ==8.4.4 + || ==8.6.5 + || ==8.8.4 + || ==8.10.7 + || ==9.0.2 + || ==9.2.6 + || ==9.4.4 + || ==9.6.1 + +source-repository head + type: git + location: https://github.com/phadej/dec.git + +library + default-language: Haskell2010 + hs-source-dirs: src + ghc-options: -Wall -fprint-explicit-kinds + exposed-modules: Data.Type.Dec + build-depends: + base >=4.7 && <4.19 + , boring >=0.2 && <0.3 + + if !impl(ghc >=7.10) + build-depends: void >=0.7.3 && <0.8 + + if impl(ghc >=9.0) + -- these flags may abort compilation with GHC-8.10 + -- https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3295 + ghc-options: -Winferred-safe-imports -Wmissing-safe-haskell-mode -- cgit v1.2.3