logic-inference.cabal

cabal-version:      3.0
-- The cabal-version field refers to the version of the .cabal specification,
-- and can be different from the cabal-install (the tool) version and the
-- Cabal (the library) version you are using. As such, the Cabal (the library)
-- version used must be equal or greater than the version stated in this field.
-- Starting from the specification version 2.2, the cabal-version field must be
-- the first thing in the cabal file.

-- Initial package description 'logic-inference' generated by
-- 'cabal init'. For further documentation, see:
--   http://haskell.org/cabal/users-guide/
--
-- The name of the package.
name:               logic-inference

-- The package version.
-- See the Haskell package versioning policy (PVP) for standards
-- guiding when and how versions should be incremented.
-- https://pvp.haskell.org
-- PVP summary:     +-+------- breaking API changes
--                  | | +----- non-breaking API additions
--                  | | | +--- code changes with no API change
version:            0.1.0.0

-- A short (one-line) description of the package.
-- synopsis:

-- A longer description of the package.
-- description:

-- The license under which the package is released.
license:            MIT

-- The file containing the license text.
license-file:       LICENSE

-- The package author(s).
author:             PedroByJoao

-- An email address to which users can send suggestions, bug reports, and patches.
maintainer:         joaoexplorer235@gmail.com

-- A copyright notice.
-- copyright:
category:           Language
build-type:         Simple

-- Extra doc files to be distributed with the package, such as a CHANGELOG or a README.
extra-doc-files:    CHANGELOG.md

-- Extra source files to be distributed with the package, such as examples, or a tutorial module.
-- extra-source-files:

common warnings
    ghc-options: -Wall

library
    import:           warnings
    exposed-modules:  Logic,
                      Parser,
                      Inference,
                      V1,
                      V2,
                      V3
    build-depends:    base ^>=4.18.2.1,
                     hashable,
                     unordered-containers,
                     containers
    hs-source-dirs:   src
    default-language: Haskell2010

executable logic-inference
    -- Import common warning flags.
    import:           warnings

    -- .hs or .lhs file containing the Main module.
    main-is:          Main.hs

    -- Modules included in this executable, other than Main.
    -- other-modules:

    -- LANGUAGE extensions used by modules in this package.
    -- other-extensions:

    -- Other library packages from which modules are imported.
    build-depends:    base ^>=4.18.2.1,
                     unordered-containers,
                     containers,
                     logic-inference

    -- Directories containing source files.
    hs-source-dirs:   app

    -- Base language which the package is written in.
    default-language: Haskell2010

test-suite logic-tests
    type:             exitcode-stdio-1.0
    import:           warnings
    main-is:         Spec.hs
    other-modules:   V1Spec,
                     V2Spec,
                     InferenceSpec
    build-depends:   base ^>=4.18.2.1,
                    logic-inference,
                    hspec ^>=2.11.7,
                    containers,
                    unordered-containers,
                    hashable
    build-tool-depends: hspec-discover:hspec-discover
    hs-source-dirs:  test
    default-language: Haskell2010