connections-0.3.2: connections.cabal
name: connections
version: 0.3.2
synopsis: Orders, Galois connections, and lattices.
description: A library for working with Galois connections on various common preorders.
.
See the README for an overview.
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
README.md
extra-doc-files:
img/*.png
cabal-version: 1.18
library
hs-source-dirs: src
default-language: Haskell2010
ghc-options: -Wall -optc-std=c99
exposed-modules:
Data.Connection
, Data.Connection.Cast
, Data.Connection.Class
, Data.Connection.Fixed
, Data.Connection.Float
, Data.Connection.Int
, Data.Connection.Ratio
, Data.Connection.Time
, Data.Connection.Word
, Data.Connection.Property
, Data.Lattice
, Data.Lattice.Property
, Data.Order
, Data.Order.Interval
, Data.Order.Property
, Data.Order.Syntax
build-depends:
base >= 4.10 && < 5.0
, containers >= 0.4.0 && < 1.0
, extended-reals >= 0.2.0.0 && < 0.3
, time >= 1.8.0 && < 2.0
test-suite test
type: exitcode-stdio-1.0
other-modules:
Test.Data.Order
, Test.Data.Lattice
, Test.Data.Connection
, Test.Data.Connection.Int
, Test.Data.Connection.Word
, Test.Data.Connection.Fixed
, Test.Data.Connection.Float
, Test.Data.Connection.Ratio
, Test.Data.Connection.Time
build-depends:
base == 4.*
, connections -any
, hedgehog
, time >= 1.8.0 && < 2.0
default-extensions:
ScopedTypeVariables,
TypeApplications,
FlexibleContexts
main-is: test.hs
hs-source-dirs: test
default-language: Haskell2010
ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall
executable doctest
main-is: doctest.hs
ghc-options: -Wall -threaded
hs-source-dirs: test
default-language: Haskell2010
x-doctest-options: --fast
build-depends:
base
, doctest >= 0.8
, connections -any
default-extensions:
ScopedTypeVariables
, TypeApplications
, MultiParamTypeClasses
, UndecidableInstances
, FlexibleInstances
, FlexibleContexts