cabal-version: >=1.10
name: logict-sequence
version: 0.2
-- A short (one-line) description of the package.
synopsis: A backtracking logic-programming monad with asymptotic improvements to msplit
-- A longer description of the package.
description: Adapted from the paper
<http://okmij.org/ftp/Haskell/zseq.pdf>
by Atze van der Ploeg and Oleg Kiselyov
category: Control
-- A URL where users can report bugs.
bug-reports: https://github.com/dagit/logict-sequence/issues
-- The license under which the package is released.
license: MIT
license-file: LICENSE
author: Jason Dagit
maintainer: Jason Dagit <dagitj@gmail.com>
homepage: https://github.com/dagit/logict-sequence
build-type: Simple
-- A copyright notice.
copyright: (c) 2021 Jason Dagit,
(c) 2014 Atze van der Ploeg
-- category:
extra-source-files: CHANGELOG.md
README.md
include/logict-sequence.h
tested-with: GHC==7.8.4,GHC==7.10.3,GHC==8.0.2,GHC==8.2.2,GHC==8.4.4,GHC==8.6.5,GHC ==8.8.4,GHC==8.10.4,GHC==9.0.2,GHC==9.2.5,GHC==9.4.3
source-repository head
type: git
location: https://github.com/dagit/logict-sequence
library
exposed-modules: Control.Monad.Logic.Sequence
, Control.Monad.Logic.Sequence.Compat
, Control.Monad.Logic.Sequence.Morph
, Control.Monad.Logic.Sequence.Internal
, Control.Monad.Logic.Sequence.Internal.Queue
, Control.Monad.Logic.Sequence.Internal.ScheduledQueue
, Control.Monad.Logic.Sequence.Internal.Any
-- Modules included in this library but not exported.
-- other-modules:
-- LANGUAGE extensions used by modules in this package.
-- other-extensions:
build-depends: base >=4.5 && <5
build-depends: mtl >=2.0 && <2.3
build-depends: sequence >= 0.9.8 && < 0.10
build-depends: logict >= 0.7.1.0 && < 0.8
build-depends: mmorph
build-depends: transformers
if impl(ghc < 8.0)
build-depends: fail
hs-source-dirs: src
default-language: Haskell2010
ghc-options: -Wall -O2
include-dirs: include
test-suite logict-test
if impl(ghc < 8)
buildable: False
type: exitcode-stdio-1.0
hs-source-dirs: test
default-language: Haskell2010
main-is: Test.hs
build-depends: base >=4.7 && < 5
, logict-sequence
, hedgehog
, hspec
, hspec-hedgehog
, hedgehog-fn
, sequence
, logict
, transformers
, mtl
, mmorph
-- Try to work around weird CI failure
if impl(ghc == 8.4.4)
build-depends: vector-builder == 0.3.7.2
if impl(ghc == 8.2.2)
build-depends: vector-builder == 0.3.7.2
test-suite do-nothing
type: exitcode-stdio-1.0
hs-source-dirs: test
default-language: Haskell2010
main-is: do-nothing.hs
build-depends: base
benchmark logic-performance
if impl(ghc < 8.0.2)
buildable: False
type: exitcode-stdio-1.0
hs-source-dirs: bench
main-is: logic-performance.hs
build-depends: base,
mtl,
containers,
list-t,
logict,
gauge,
logict-sequence
ghc-options: -Wall -O2 -threaded
default-language: Haskell2010