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 <[email protected]>
maintainer:         Oleg.Grenrus <[email protected]>
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

You are viewing proxied material from ftp.icm.edu.pl. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.