cabal-version: 2.0
name: quantification
version: 0.5.2
synopsis: Rage against the quantification
description: Data types and typeclasses to deal with universally and existentially quantified types
homepage: https://github.com/andrewthad/quantification#readme
license: BSD3
license-file: LICENSE
author: Andrew Martin
maintainer: andrew.thaddeus@gmail.com
copyright: 2018 Andrew Martin
category: Web
build-type: Simple

library
  hs-source-dirs: src
  exposed-modules:
    Data.Binary.Lifted
    Data.Exists
    Data.Monoid.Lifted
    Topaz.Rec
    Topaz.Types
  build-depends:
      base >= 4.11.1 && < 5
    , binary >= 0.8 && < 0.10
    , ghc-prim >= 0.5 && < 0.7
    , hashable >= 1.2 && < 1.4
    , aeson >= 1.0 && < 1.5
    , text >= 1.0 && < 2.0
    , path-pieces >= 0.2 && < 0.3
    , vector >= 0.11 && < 0.13
    , containers >= 0.5 && < 0.7
    , unordered-containers >= 0.2 && < 0.3
  default-language: Haskell2010
  ghc-options: -O2 -Wall

source-repository head
  type:     git
  location: https://github.com/andrewthad/quantification