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 maintainer: Oleg.Grenrus 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