NaiveSolver.cabal

cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.34.4.
--
-- see: https://github.com/sol/hpack

name:           NaiveSolver
version:        0.1.0.0
description:    Please see the README on GitHub at <https://github.com/githubuser/NaiveSolver#readme>
homepage:       https://github.com/githubuser/NaiveSolver#readme
bug-reports:    https://github.com/githubuser/NaiveSolver/issues
author:         Author name here
maintainer:     example@example.com
copyright:      2022 Author name here
license:        BSD3
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md
    ChangeLog.md

source-repository head
  type: git
  location: https://github.com/githubuser/NaiveSolver

library
  exposed-modules:
      BFSChoiceTree
      Boilerplate
      Data.Bag
      Data.BitVector
      Data.GridPrint
      Data.Growable
      Data.Mutable.Distributive
      Data.Mutable.Each
      Data.Mutable.Indexing
      Data.Mutable.Internal.MutZoom
      Data.Mutable.Lens
      Data.Mutable.QuickSort
      Data.Mutable.Slice
      Data.Tree.Leafy
      Data.Utils
      EGraph.ByteCodeVM
      EGraph.Class
      EGraph.Match
      EGraph.Matching
      EGraph.Pending
      EGraph.Plan
      EGraph.PlanAssembly
      EGraph.PlanSequence
      EGraph.PlanStep
      EGraph.PlanTypes
      EGraph.Pure
      EGraph.SimpleEgg
      EGraph.Storage
      EGraph.Types
      EGraph.UnionFind
      EGraphTests
      EPropTest
      FiniteDomains
      Lib
      MinMax
      Monad.Amb
      Monad.ConcreteBreadthFirst
      Monad.Critical
      Monad.Cut
      Monad.Graph
      Monad.Levels
      Monad.Oracle
      Monad.Snapshot
      Monad.StateT2
      Monad.Zipper
      Obsolete.ClusterEGraph
      Obsolete.DecisionDiagram
      Obsolete.GenericProp
      Obsolete.IncrementalDatalog
      Obsolete.IndexADT
      Obsolete.IndexedWalk
      Optics.Utils
      Propagator
      Range
      ShrinkLoop
      SKI
      SmartShrink
      SmartShrinkTest
      Types
  other-modules:
      Paths_NaiveSolver
  hs-source-dirs:
      src
  ghc-options: -Wall -Wunused-dependencies -O2 -XGHC2021
  build-depends:
      PyF
    , QuickCheck
    , StrictCheck
    , base >=4.7 && <5
    , bytestring
    , containers
    , data-fix
    , deepseq
    , distributive
    , foldl
    , generic-lens
    , generic-lens-core
    , generic-random
    , generics-sop
    , ghc-prim
    , hashable
    , indexed
    , int-like ==0.1.*
    , kure
    , lens
    , mmorph
    , monad-control
    , mtl
    , overeasy
    , pretty-simple
    , prettyprinter
    , primitive
    , profunctors
    , quickspec
    , random
    , recursion-schemes
    , spoon
    , text
    , transformers
    , twee-lib
    , unordered-containers
    , vector
    , vector-hashtables
    , zippers
  default-language: Haskell2010

executable NaiveSolver-exe
  main-is: Main.hs
  other-modules:
      Paths_NaiveSolver
  hs-source-dirs:
      app
  ghc-options: -Wall -Wunused-dependencies -O2 -XGHC2021 -O2 -threaded -rtsopts -with-rtsopts=-N -Wall
  build-depends:
      NaiveSolver
    , PyF
    , QuickCheck
    , StrictCheck
    , base >=4.7 && <5
    , bytestring
    , containers
    , data-fix
    , deepseq
    , distributive
    , foldl
    , generic-lens
    , generic-lens-core
    , generic-random
    , generics-sop
    , ghc-prim
    , hashable
    , indexed
    , int-like ==0.1.*
    , kure
    , lens
    , mmorph
    , monad-control
    , mtl
    , overeasy
    , pretty-simple
    , prettyprinter
    , primitive
    , profunctors
    , quickspec
    , random
    , recursion-schemes
    , spoon
    , text
    , transformers
    , twee-lib
    , unordered-containers
    , vector
    , vector-hashtables
    , zippers
  default-language: Haskell2010

test-suite NaiveSolver-test
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      Paths_NaiveSolver
  hs-source-dirs:
      test
  ghc-options: -Wall -Wunused-dependencies -O2 -XGHC2021 -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      NaiveSolver
    , PyF
    , QuickCheck
    , StrictCheck
    , base >=4.7 && <5
    , bytestring
    , containers
    , data-fix
    , deepseq
    , distributive
    , foldl
    , generic-lens
    , generic-lens-core
    , generic-random
    , generics-sop
    , ghc-prim
    , hashable
    , indexed
    , int-like ==0.1.*
    , kure
    , lens
    , mmorph
    , monad-control
    , mtl
    , overeasy
    , pretty-simple
    , prettyprinter
    , primitive
    , profunctors
    , quickspec
    , random
    , recursion-schemes
    , spoon
    , text
    , transformers
    , twee-lib
    , unordered-containers
    , vector
    , vector-hashtables
    , zippers
  default-language: Haskell2010