connections-0.0.3: connections.cabal
name: connections
version: 0.0.3
synopsis: Partial orders, Galois connections, and lattices.
description: A library for numerical conversions using Galois connections.
homepage: https://github.com/cmk/connections
license: BSD3
license-file: LICENSE
author: Chris McKinlay
maintainer: chris.mckinlay@gmail.com
category: Math, Numerical
stability: Experimental
build-type: Simple
extra-source-files: ChangeLog.md
cabal-version: >=1.10
library
hs-source-dirs: src
default-language: Haskell2010
ghc-options: -Wall -optc-std=c99
exposed-modules:
Data.Prd
, Data.Prd.Nan
, Data.Prd.Property
, Data.Float
, Data.Semigroup.Join
, Data.Semigroup.Meet
, Data.Connection
, Data.Connection.Int
, Data.Connection.Word
, Data.Connection.Float
, Data.Connection.Ratio
, Data.Connection.Round
, Data.Connection.Property
, Data.Semilattice
, Data.Semilattice.N5
, Data.Semilattice.Top
, Data.Semilattice.MaxMin
, Data.Semilattice.Property
, Numeric.Prelude
build-depends:
base >= 4.10 && < 5.0
, lawz >= 0.1.1 && < 1.0
, rings >= 0.0.3.1 && < 0.0.4
, containers >= 0.4.0 && < 0.7
, semigroupoids >= 5.0 && < 6.0
default-extensions:
ScopedTypeVariables
, TypeApplications
, MultiParamTypeClasses
, UndecidableInstances
, FlexibleInstances
, FlexibleContexts
, TypeOperators
test-suite test
type: exitcode-stdio-1.0
other-modules:
Test.Data.Prd
, Test.Data.Connection
, Test.Data.Connection.Int
, Test.Data.Connection.Word
, Test.Data.Connection.Float
, Test.Data.Connection.Ratio
build-depends:
base == 4.*
, connections -any
, hedgehog
, rings
, lawz
default-extensions:
ScopedTypeVariables,
TypeApplications
main-is: test.hs
hs-source-dirs: test
default-language: Haskell2010
ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall