packages feed

connections-0.0.2: connections.cabal

name:                connections
version:             0.0.2
synopsis:            Partial orders & Galois connections.
description:         A library for precision rounding using Galois connections.
homepage:            https://github.com/cmk/connections
license:             BSD3
license-file:        LICENSE
author:              Chris McKinlay
maintainer:          chris.mckinlay@gmail.com
category:            Math
build-type:          Simple
extra-source-files:  ChangeLog.md
cabal-version:       >=1.10

library
  exposed-modules:
      Data.Prd
    , Data.Prd.Property
    , Data.Prd.Lattice
    , Data.Prd.Nan
    , Data.Connection
    , Data.Connection.Property
    , Data.Connection.Word
    , Data.Connection.Int
    , Data.Connection.Float
    , Data.Connection.Yoneda
    , Data.Float

  build-depends:       
      base           >= 4.10  && < 5.0
    , containers     >= 0.4.0 && < 0.7
    , semigroupoids  == 5.*
    , property       >= 0.0.1 && < 1.0

  default-extensions:
      ScopedTypeVariables
    , TypeApplications
    , MultiParamTypeClasses
    , UndecidableInstances
    , FlexibleInstances
  hs-source-dirs: src
  default-language: Haskell2010

test-suite test
  type: exitcode-stdio-1.0
  other-modules:
      Test.Data.Float
    , Test.Data.Connection.Int
    , Test.Data.Connection.Word
  build-depends:       
      base == 4.*
    , connections -any 
    , hedgehog
    , property
  default-extensions:
      ScopedTypeVariables,
      TypeApplications
  main-is: test.hs
  hs-source-dirs: test
  default-language: Haskell2010
  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall