name:          search
category:      Math, Topology, Search
version:       0.2
license:       BSD3
cabal-version: >= 1.8
license-file:  LICENSE
author:        Edward A. Kmett
maintainer:    Edward A. Kmett <ekmett@gmail.com>
stability:     provisional
homepage:      http://github.com/ekmett/search/
bug-reports:   http://github.com/ekmett/search/issues
copyright:     Copyright (C) 2014 Edward A. Kmett
synopsis:      Infinite search in finite time with Hilbert's epsilon
description:   Infinite search in finite time with Hilbert's epsilon
build-type:    Custom
extra-source-files:
  .travis.yml
  .vim.custom
  travis/config
  CHANGELOG.markdown
  README.markdown

custom-setup
  setup-depends:
    base >= 4 && <5,
    Cabal,
    cabal-doctest >= 1 && <1.1

source-repository head
  type: git
  location: git://github.com/ekmett/search.git

library
  build-depends:
    base                 >= 4.8   && < 5,
    ghc-prim,
    profunctors          >= 4     && < 6,
    semigroupoids        >= 4     && < 6,
    tagged               >= 0.7   && < 1,
    transformers         >= 0.3   && < 0.6

  exposed-modules:
    Data.Search
    Data.Search.Intensional
    Data.Search.LazyBool

  ghc-options: -Wall -fwarn-tabs -O2
  hs-source-dirs: src

-- Verify the results of the examples
test-suite doctests
  type:           exitcode-stdio-1.0
  main-is:        doctests.hs
  ghc-options:    -Wall -threaded
  hs-source-dirs: tests
  build-depends:
    base,
    directory >= 1.0 && < 1.3,
    doctest   >= 0.8 && < 0.14,
    filepath  >= 1.3 && < 1.5,
    search