boring-0: boring.cabal
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