Cabal revisions of ecta-1.0.0.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-cabal-version: 1.12-name: ecta-version: 1.0.0.0-license: BSD3-license-file: LICENSE-copyright: 2021 Jimmy Koppel-maintainer: darmanithird@gmail.com-author: Jimmy Koppel-homepage: https://github.com/jkoppel/ecta#readme-bug-reports: https://github.com/jkoppel/ecta/issues-description:- Please see the README on GitHub at <https://github.com/jkoppel/ecta#readme>--build-type: Simple-extra-source-files:- README.md- ChangeLog.md--source-repository head- type: git- location: https://github.com/jkoppel/ecta--flag profile-caches- default: False- manual: True--library- exposed-modules:- Application.SAT- Application.TermSearch.Dataset- Application.TermSearch.Evaluation- Application.TermSearch.TermSearch- Application.TermSearch.Type- Application.TermSearch.Utils- Data.ECTA- Data.ECTA.Internal.ECTA.Enumeration- Data.ECTA.Internal.ECTA.Operations- Data.ECTA.Internal.ECTA.Type- Data.ECTA.Internal.ECTA.Visualization- Data.ECTA.Internal.Paths- Data.ECTA.Internal.Paths.Zipper- Data.ECTA.Internal.Term- Data.ECTA.Paths- Data.ECTA.Term- Data.HashTable.Extended- Data.Interned.Extended.HashTableBased- Data.Interned.Extended.SingleThreaded- Data.Memoization- Data.Memoization.Metrics- Data.Persistent.UnionFind- Data.Text.Extended.Pretty- Utility.Fixpoint- Utility.HashJoin-- hs-source-dirs: src- other-modules: Paths_ecta- default-language: Haskell2010- default-extensions:- BangPatterns ConstraintKinds DataKinds DefaultSignatures- DeriveDataTypeable DeriveGeneric EmptyDataDecls- ExistentialQuantification FlexibleContexts FlexibleInstances- FunctionalDependencies GADTs GeneralizedNewtypeDeriving- KindSignatures LambdaCase MultiParamTypeClasses NamedFieldPuns- PatternGuards PatternSynonyms RankNTypes ScopedTypeVariables- StandaloneDeriving TupleSections TypeApplications TypeFamilies- TypeOperators ViewPatterns-- ghc-options: -Wall- build-depends:- array >=0.5.4.0 && <0.6,- base >=4.14.3.0 && <4.15,- cmdargs >=0.10.21 && <0.11,- containers >=0.6.5.1 && <0.7,- equivalence >=0.3.5 && <0.4,- extra >=1.7.9 && <1.8,- fgl >=5.7.0.3 && <5.8,- hashable >=1.3.0.0 && <1.4,- hashtables >=1.2.4.2 && <1.3,- ilist >=0.4.0.1 && <0.5,- intern >=0.9.4 && <0.10,- language-dot >=0.1.1 && <0.2,- lens >=4.19.2 && <4.20,- mtl >=2.2.2 && <2.3,- pipes >=4.3.16 && <4.4,- pretty-simple >=4.0.0.0 && <4.1,- raw-strings-qq ==1.1.*,- text >=1.2.4.1 && <1.3,- time >=1.9.3 && <1.10,- unordered-containers >=0.2.16.0 && <0.3,- vector >=0.12.3.1 && <0.13,- vector-instances ==3.4.*-- if flag(profile-caches)- cpp-options: -DPROFILE_CACHES--executable hectare- main-is: Main.hs- hs-source-dirs: app- other-modules: Paths_ecta- default-language: Haskell2010- default-extensions:- BangPatterns ConstraintKinds DataKinds DefaultSignatures- DeriveDataTypeable DeriveGeneric EmptyDataDecls- ExistentialQuantification FlexibleContexts FlexibleInstances- FunctionalDependencies GADTs GeneralizedNewtypeDeriving- KindSignatures LambdaCase MultiParamTypeClasses NamedFieldPuns- PatternGuards PatternSynonyms RankNTypes ScopedTypeVariables- StandaloneDeriving TupleSections TypeApplications TypeFamilies- TypeOperators ViewPatterns-- ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall- build-depends:- base >=4.14.3.0 && <4.15,- cmdargs >=0.10.21 && <0.11,- containers >=0.6.5.1 && <0.7,- ecta -any,- hashable >=1.3.0.0 && <1.4,- language-dot >=0.1.1 && <0.2,- mtl >=2.2.2 && <2.3,- pipes >=4.3.16 && <4.4,- pretty-simple >=4.0.0.0 && <4.1,- text >=1.2.4.1 && <1.3,- time >=1.9.3 && <1.10,- unordered-containers >=0.2.16.0 && <0.3,- vector >=0.12.3.1 && <0.13-- if flag(profile-caches)- cpp-options: -DPROFILE_CACHES--test-suite unit-tests- type: exitcode-stdio-1.0- main-is: Spec.hs- build-tool-depends: hspec-discover:hspec-discover -any- hs-source-dirs: test- other-modules:- CacheProfilingSpec- Data.Persistent.UnionFindSpec- ECTASpec- PathsSpec- SATSpec- Test.Generators.ECTA- Utility.HashJoinSpec- Paths_ecta-- default-language: Haskell2010- default-extensions:- BangPatterns ConstraintKinds DataKinds DefaultSignatures- DeriveDataTypeable DeriveGeneric EmptyDataDecls- ExistentialQuantification FlexibleContexts FlexibleInstances- FunctionalDependencies GADTs GeneralizedNewtypeDeriving- KindSignatures LambdaCase MultiParamTypeClasses NamedFieldPuns- PatternGuards PatternSynonyms RankNTypes ScopedTypeVariables- StandaloneDeriving TupleSections TypeApplications TypeFamilies- TypeOperators ViewPatterns-- ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall -Wno-orphans- build-depends:- QuickCheck >=2.14.2 && <2.15,- base >=4.14.3.0 && <4.15,- cmdargs >=0.10.21 && <0.11,- containers >=0.6.5.1 && <0.7,- ecta -any,- equivalence >=0.3.5 && <0.4,- hashable >=1.3.0.0 && <1.4,- hspec >=2.7.10 && <2.8,- language-dot >=0.1.1 && <0.2,- mtl >=2.2.2 && <2.3,- pipes >=4.3.16 && <4.4,- pretty-simple >=4.0.0.0 && <4.1,- text >=1.2.4.1 && <1.3,- time >=1.9.3 && <1.10,- unordered-containers >=0.2.16.0 && <0.3,- vector >=0.12.3.1 && <0.13-- if flag(profile-caches)- cpp-options: -DPROFILE_CACHES--benchmark mainbench- type: exitcode-stdio-1.0- main-is: Benchmarks.hs- hs-source-dirs: benchmarks- other-modules:- TestData- Paths_ecta-- default-language: Haskell2010- default-extensions:- BangPatterns ConstraintKinds DataKinds DefaultSignatures- DeriveDataTypeable DeriveGeneric EmptyDataDecls- ExistentialQuantification FlexibleContexts FlexibleInstances- FunctionalDependencies GADTs GeneralizedNewtypeDeriving- KindSignatures LambdaCase MultiParamTypeClasses NamedFieldPuns- PatternGuards PatternSynonyms RankNTypes ScopedTypeVariables- StandaloneDeriving TupleSections TypeApplications TypeFamilies- TypeOperators ViewPatterns-- ghc-options: -threaded -rtsopts -with-rtsopts=-N -O2- build-depends:- base >=4.14.3.0 && <4.15,- cmdargs >=0.10.21 && <0.11,- containers >=0.6.5.1 && <0.7,- criterion >=1.5.13.0 && <1.6,- ecta -any,- hashable >=1.3.0.0 && <1.4,- language-dot >=0.1.1 && <0.2,- mtl >=2.2.2 && <2.3,- pipes >=4.3.16 && <4.4,- pretty-simple >=4.0.0.0 && <4.1,- text >=1.2.4.1 && <1.3,- time >=1.9.3 && <1.10,- unordered-containers >=0.2.16.0 && <0.3,- vector >=0.12.3.1 && <0.13-- if flag(profile-caches)- cpp-options: -DPROFILE_CACHES+cabal-version: 1.12 +name: ecta +version: 1.0.0.0 +x-revision: 1 +license: BSD3 +license-file: LICENSE +copyright: 2021 Jimmy Koppel +maintainer: darmanithird@gmail.com +author: Jimmy Koppel +homepage: https://github.com/jkoppel/ecta#readme +bug-reports: https://github.com/jkoppel/ecta/issues +description: + Please see the README on GitHub at <https://github.com/jkoppel/ecta#readme> + +build-type: Simple +extra-source-files: + README.md + ChangeLog.md + +source-repository head + type: git + location: https://github.com/jkoppel/ecta + +flag profile-caches + default: False + manual: True + +library + exposed-modules: + Application.SAT + Application.TermSearch.Dataset + Application.TermSearch.Evaluation + Application.TermSearch.TermSearch + Application.TermSearch.Type + Application.TermSearch.Utils + Data.ECTA + Data.ECTA.Internal.ECTA.Enumeration + Data.ECTA.Internal.ECTA.Operations + Data.ECTA.Internal.ECTA.Type + Data.ECTA.Internal.ECTA.Visualization + Data.ECTA.Internal.Paths + Data.ECTA.Internal.Paths.Zipper + Data.ECTA.Internal.Term + Data.ECTA.Paths + Data.ECTA.Term + Data.HashTable.Extended + Data.Interned.Extended.HashTableBased + Data.Interned.Extended.SingleThreaded + Data.Memoization + Data.Memoization.Metrics + Data.Persistent.UnionFind + Data.Text.Extended.Pretty + Utility.Fixpoint + Utility.HashJoin + + hs-source-dirs: src + other-modules: Paths_ecta + default-language: Haskell2010 + default-extensions: + BangPatterns ConstraintKinds DataKinds DefaultSignatures + DeriveDataTypeable DeriveGeneric EmptyDataDecls + ExistentialQuantification FlexibleContexts FlexibleInstances + FunctionalDependencies GADTs GeneralizedNewtypeDeriving + KindSignatures LambdaCase MultiParamTypeClasses NamedFieldPuns + PatternGuards PatternSynonyms RankNTypes ScopedTypeVariables + StandaloneDeriving TupleSections TypeApplications TypeFamilies + TypeOperators ViewPatterns + + ghc-options: -Wall + build-depends: + array >=0.5.4.0 && <0.6, + base >=4.4 && <4.15, + cmdargs >=0.10.21 && <0.11, + containers >=0.6.5.1 && <0.7, + equivalence >=0.3.5 && <0.4, + extra >=1.7.9 && <1.8, + fgl >=5.7.0.3 && <5.8, + hashable >=1.3.0.0 && <1.4, + hashtables >=1.2.4.2 && <1.3, + ilist >=0.4.0.1 && <0.5, + intern >=0.9.4 && <0.10, + language-dot >=0.1.1 && <0.2, + lens >=4.19.2 && <4.20, + mtl >=2.2.2 && <2.3, + pipes >=4.3.16 && <4.4, + pretty-simple >=4.0.0.0 && <4.1, + raw-strings-qq ==1.1.*, + text >=1.2.4.1 && <1.3, + time >=1.9.3 && <1.10, + unordered-containers >=0.2.16.0 && <0.3, + vector >=0.12.3.1 && <0.13, + vector-instances ==3.4.* + + if flag(profile-caches) + cpp-options: -DPROFILE_CACHES + +executable hectare + main-is: Main.hs + hs-source-dirs: app + other-modules: Paths_ecta + default-language: Haskell2010 + default-extensions: + BangPatterns ConstraintKinds DataKinds DefaultSignatures + DeriveDataTypeable DeriveGeneric EmptyDataDecls + ExistentialQuantification FlexibleContexts FlexibleInstances + FunctionalDependencies GADTs GeneralizedNewtypeDeriving + KindSignatures LambdaCase MultiParamTypeClasses NamedFieldPuns + PatternGuards PatternSynonyms RankNTypes ScopedTypeVariables + StandaloneDeriving TupleSections TypeApplications TypeFamilies + TypeOperators ViewPatterns + + ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall + build-depends: + base >=4.4 && <4.15, + cmdargs >=0.10.21 && <0.11, + containers >=0.6.5.1 && <0.7, + ecta -any, + hashable >=1.3.0.0 && <1.4, + language-dot >=0.1.1 && <0.2, + mtl >=2.2.2 && <2.3, + pipes >=4.3.16 && <4.4, + pretty-simple >=4.0.0.0 && <4.1, + text >=1.2.4.1 && <1.3, + time >=1.9.3 && <1.10, + unordered-containers >=0.2.16.0 && <0.3, + vector >=0.12.3.1 && <0.13 + + if flag(profile-caches) + cpp-options: -DPROFILE_CACHES + +test-suite unit-tests + type: exitcode-stdio-1.0 + main-is: Spec.hs + build-tool-depends: hspec-discover:hspec-discover -any + hs-source-dirs: test + other-modules: + CacheProfilingSpec + Data.Persistent.UnionFindSpec + ECTASpec + PathsSpec + SATSpec + Test.Generators.ECTA + Utility.HashJoinSpec + Paths_ecta + + default-language: Haskell2010 + default-extensions: + BangPatterns ConstraintKinds DataKinds DefaultSignatures + DeriveDataTypeable DeriveGeneric EmptyDataDecls + ExistentialQuantification FlexibleContexts FlexibleInstances + FunctionalDependencies GADTs GeneralizedNewtypeDeriving + KindSignatures LambdaCase MultiParamTypeClasses NamedFieldPuns + PatternGuards PatternSynonyms RankNTypes ScopedTypeVariables + StandaloneDeriving TupleSections TypeApplications TypeFamilies + TypeOperators ViewPatterns + + ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall -Wno-orphans + build-depends: + QuickCheck >=2.14.2 && <2.15, + base >=4.4 && <4.15, + cmdargs >=0.10.21 && <0.11, + containers >=0.6.5.1 && <0.7, + ecta -any, + equivalence >=0.3.5 && <0.4, + hashable >=1.3.0.0 && <1.4, + hspec >=2.7.10 && <2.8, + language-dot >=0.1.1 && <0.2, + mtl >=2.2.2 && <2.3, + pipes >=4.3.16 && <4.4, + pretty-simple >=4.0.0.0 && <4.1, + text >=1.2.4.1 && <1.3, + time >=1.9.3 && <1.10, + unordered-containers >=0.2.16.0 && <0.3, + vector >=0.12.3.1 && <0.13 + + if flag(profile-caches) + cpp-options: -DPROFILE_CACHES + +benchmark mainbench + type: exitcode-stdio-1.0 + main-is: Benchmarks.hs + hs-source-dirs: benchmarks + other-modules: + TestData + Paths_ecta + + default-language: Haskell2010 + default-extensions: + BangPatterns ConstraintKinds DataKinds DefaultSignatures + DeriveDataTypeable DeriveGeneric EmptyDataDecls + ExistentialQuantification FlexibleContexts FlexibleInstances + FunctionalDependencies GADTs GeneralizedNewtypeDeriving + KindSignatures LambdaCase MultiParamTypeClasses NamedFieldPuns + PatternGuards PatternSynonyms RankNTypes ScopedTypeVariables + StandaloneDeriving TupleSections TypeApplications TypeFamilies + TypeOperators ViewPatterns + + ghc-options: -threaded -rtsopts -with-rtsopts=-N -O2 + build-depends: + base >=4.4 && <4.15, + cmdargs >=0.10.21 && <0.11, + containers >=0.6.5.1 && <0.7, + criterion >=1.5.13.0 && <1.6, + ecta -any, + hashable >=1.3.0.0 && <1.4, + language-dot >=0.1.1 && <0.2, + mtl >=2.2.2 && <2.3, + pipes >=4.3.16 && <4.4, + pretty-simple >=4.0.0.0 && <4.1, + text >=1.2.4.1 && <1.3, + time >=1.9.3 && <1.10, + unordered-containers >=0.2.16.0 && <0.3, + vector >=0.12.3.1 && <0.13 + + if flag(profile-caches) + cpp-options: -DPROFILE_CACHES