boring-0.1.2: boring.cabal

name:               boring
version:            0.1.2
synopsis:           Boring and Absurd types
description:
  * @Boring@ types are isomorphic to @()@.
  . 
  * @Absurd@ types are isomorphic to @Void@.
  .
  See [What does () mean in Haskell -answer by Conor McBride](https://stackoverflow.com/questions/33112439/what-does-mean-in-haskell/33115522#33115522)

homepage:           https://github.com/phadej/boring
bug-reports:        https://github.com/phadej/boring/issues
license:            BSD3
license-file:       LICENSE
author:             Oleg Grenrus <oleg.grenrus@iki.fi>
maintainer:         Oleg.Grenrus <oleg.grenrus@iki.fi>
copyright:          (c) 2017-2019 Oleg Grenrus
category:           Data
build-type:         Simple
extra-source-files: ChangeLog.md
cabal-version:      >=1.10
tested-with:
  GHC ==8.8.1 || ==8.6.5 || ==8.4.4 || ==8.2.2 || ==8.0.2 || ==7.10.3 || ==7.8.4

source-repository head
  type:     git
  location: https://github.com/phadej/boring.git

library
  exposed-modules:  Data.Boring
  build-depends:
      adjunctions          >=4.4     && <4.5
    , base                 >=4.7     && <4.13
    , base-compat          >=0.10.5  && <0.11
    , constraints          ==0.4.1.3 || >=0.10 && <0.12
    , dec                  >=0.0.3   && <0.1
    , fin                  >=0.0.3   && <0.1
    , generics-sop         >=0.3.2.0 && <0.6
    , singleton-bool       >=0.1.4   && <0.2
    , streams              >=3.3     && <3.4
    , tagged               >=0.8.6   && <0.9
    , transformers         >=0.3     && <0.6
    , transformers-compat  >=0.5     && <0.7
    , vec                  >=0.1     && <0.2

  if !impl(ghc >=8.0)
    build-depends: semigroups >=0.18.5 && <0.20

  if !impl(ghc >=7.10)
    build-depends: void >=0.7.2 && <0.8

  other-extensions:
    CPP
    FlexibleContexts
    GADTs
    TypeOperators

  hs-source-dirs:   src
  default-language: Haskell2010