boring-0.1: boring.cabal

name:                boring
version:             0.1
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 Oleg Grenrus
category:            Data
build-type:          Simple
extra-source-files:  ChangeLog.md
cabal-version:       >=1.10
tested-with:
  GHC==7.8.4,
  GHC==7.10.3,
  GHC==8.0.2,
  GHC==8.2.2,
  GHC==8.4.1

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

library
  exposed-modules:
    Data.Boring
  build-depends:
    base                >=4.7     && <4.12,
    base-compat         >=0.9.3   && <0.11,
    adjunctions         >=4.4     && <4.5,
    constraints         ==0.4.1.3 || >=0.10 && <0.11,
    fin                 >=0.0.1   && <0.1,
    generics-sop        >=0.3.2.0 && <0.4,
    tagged              >=0.8.5   && <0.9,
    streams             >=3.3     && <3.4,
    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.4   && <0.19
  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