name:                boring
version:             0
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.4.2,
  GHC==7.6.3,
  GHC==7.8.4,
  GHC==7.10.3,
  GHC==8.0.2,
  GHC==8.2.1

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

library
  exposed-modules:
    Data.Boring
  build-depends:
    base         >=4.5   && <4.11,
    adjunctions  >=4.3   && <4.4,
    tagged       >=0.8.5 && <0.9,
    transformers >=0.3   && <0.6

  if !impl(ghc >= 8.0)
    build-depends:
      semigroups         >=0.18.3   && <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