packages feed

interval-algebra-2.2.0: interval-algebra.cabal

cabal-version:  2.2
name:           interval-algebra
version:        2.2.0
synopsis:       An implementation of Allen's interval algebra for temporal logic
description:    Please see the README on GitHub at <https://github.com/novisci/interval-algebra>
category:       Algebra,Time
homepage:       https://github.com/novisci/interval-algebra#readme
bug-reports:    https://github.com/novisci/interval-algebra/issues
author:         Bradley Saul, Brendan Brown
maintainer:     <bsaul@novisci.com> 2020-2022, <bbrown@targetrwe.com> 2023

copyright:      (c) NoviSci 2020-2022,
                    Target RWE 2023
license:        BSD-3-Clause
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md
    ChangeLog.md

source-repository head
  type: git
  location: https://github.com/novisci/interval-algebra

library
  exposed-modules:
      IntervalAlgebra
      IntervalAlgebra.Core
      IntervalAlgebra.IntervalUtilities
      IntervalAlgebra.IntervalDiagram
      IntervalAlgebra.PairedInterval
      IntervalAlgebra.Axioms
      IntervalAlgebra.RelationProperties
      IntervalAlgebra.Arbitrary
  other-modules:
      Paths_interval_algebra
  autogen-modules:
      Paths_interval_algebra
  hs-source-dirs:
      src
  build-depends:
      base >=4.7 && <5
    , binary ^>= 0.8
    , containers ^>= 0.6
    , deepseq >= 1.1 && < 1.5
    , foldl ^>= 1.4
    , prettyprinter ^>= 1.7
    , QuickCheck ^>= 2.14
    , text ^>= 1.2 || ^>= 2.0
    , time >= 1.9 && < 2
  default-language: Haskell2010

test-suite axioms
  type: exitcode-stdio-1.0
  main-is: Main.hs
  other-modules:
      AxiomsSpec
  hs-source-dirs:
      test-axioms
  ghc-options: -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      base >=4.7 && <5
    , hspec < 2.12
    , interval-algebra
    , QuickCheck
    , time
  default-language: Haskell2010

test-suite relations
  type: exitcode-stdio-1.0
  main-is: Main.hs
  other-modules:
      RelationPropertiesSpec
  hs-source-dirs:
      test-relation-properties
  ghc-options: -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      base >=4.7 && <5
    , hspec < 2.12
    , interval-algebra
    , QuickCheck
    , time
  default-language: Haskell2010

test-suite interval-algebra-test
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      IntervalAlgebraSpec
      IntervalAlgebra.IntervalUtilitiesSpec
      IntervalAlgebra.PairedIntervalSpec
      Paths_interval_algebra
  autogen-modules:
      Paths_interval_algebra
  hs-source-dirs:
      test
  ghc-options: -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      base >=4.7 && <5
    , containers
    , hspec < 2.12
    , interval-algebra
    , QuickCheck
    , time
  build-tool-depends:
      hspec-discover:hspec-discover >= 2.9.2
  default-language: Haskell2010

executable tutorial
  main-is: TutorialMain.hs
  hs-source-dirs: tutorial
  build-depends:
      base >=4.7 && <5
    , containers ^>= 0.6
    , interval-algebra
    , prettyprinter ^>= 1.7
    , time >= 1.9 && < 2
  default-language: Haskell2010