srtree-db-0.1.0.0: srtree-db.cabal

cabal-version: 2.4
name:          srtree-db
version:       0.1.0.0
synopsis:      SQL persistence and querying for srtree e-graphs
description:   Reusable storage layer for srtree multiset e-graphs:
               a driver-neutral serialization of the Algorithm.EqSat.Store
               rows (backed by SQLite and PostgreSQL) plus SQL queries
               (topN, pareto, distribution counts, patterns).
               Dataset-specific fit tables are a later phase.
license:       BSD-3-Clause
license-file:  LICENSE
author:        Fabricio Olivetti de França
maintainer:    fabricio.olivetti@gmail.com
category:      Math, Data
build-type:    Simple
homepage:      https://github.com/folivetti/srtree-db#readme
bug-reports:   https://github.com/folivetti/srtree-db/issues
extra-source-files:
  ChangeLog.md

source-repository head
  type:     git
  location: https://github.com/folivetti/srtree-db

library
  hs-source-dirs:   src
  exposed-modules:
    Algorithm.EqSat.Storage.Types
    Algorithm.EqSat.Storage.Backend
    Algorithm.EqSat.Storage.ClassStore
    Algorithm.EqSat.Storage.Import
    Algorithm.EqSat.Storage.Stream
    Algorithm.EqSat.Storage.Schema
    Algorithm.EqSat.Storage.SQLite
    Algorithm.EqSat.Storage.Postgres
    Algorithm.EqSat.Storage.Query
  build-depends:
      base >=4.14 && <5
    , bytestring >=0.10 && <0.13
    , binary >=0.8 && <0.9
    , containers >=0.6 && <0.9
    , unordered-containers >=0.2 && <0.3
    , text >=1.2 && <2.2
    , direct-sqlite >=2.3 && <2.4
    , postgresql-libpq >=0.10 && <0.12
    , srtree >=3.0 && <3.1
    , vector >=0.12 && <0.14
    , mtl >=2.2 && <2.4
  default-language: Haskell2010

benchmark srtree-db-bench
  type:             exitcode-stdio-1.0
  main-is:          Bench.hs
  hs-source-dirs:   bench
  ghc-options:      -O2
  build-depends:
      base >=4.14 && <5
    , bytestring >=0.10 && <0.13
    , containers >=0.6 && <0.9
    , text >=1.2 && <2.2
    , time >=1.10 && <1.15
    , directory >=1.3 && <1.4
    , direct-sqlite >=2.3 && <2.4
    , postgresql-libpq >=0.10 && <0.12
    , srtree >=3.0 && <3.1
    , srtree-db >=0.1 && <0.2
  default-language: Haskell2010

test-suite srtree-db-test
  type:             exitcode-stdio-1.0
  main-is:          Main.hs
  hs-source-dirs:   test
  build-depends:
      base >=4.14 && <5
    , HUnit >=1.6 && <1.7
    , bytestring >=0.10 && <0.13
    , binary >=0.8 && <0.9
    , containers >=0.6 && <0.9
    , directory >=1.3 && <1.4
    , unordered-containers >=0.2 && <0.3
    , text >=1.2 && <2.2
    , direct-sqlite >=2.3 && <2.4
    , postgresql-libpq >=0.10 && <0.12
    , srtree >=3.0 && <3.1
    , srtree-db >=0.1 && <0.2
    , vector >=0.12 && <0.14
    , mtl >=2.2 && <2.4
  default-language: Haskell2010