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