lambda-calculus.cabal

cabal-version:      2.4

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

-- 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: Lambda calculus with Church encondings

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

-- URL for the project homepage or repository.
homepage:

-- A URL where users can report bugs.
-- bug-reports:

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

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

-- The package author(s).
author:             Fernanda Andrade

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

-- A copyright notice.
-- copyright:
-- category:

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

library
    -- Modules exported by the library.
    exposed-modules:  ChurchEncoding.ChurchBoolean
                      ChurchEncoding.ChurchNumeral
                      LambdaCalculus.LambdaCalculus

    -- Modules included in this library but not exported.
    -- other-modules:

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

    -- Other library packages from which modules are imported.
    build-depends:    base ^>=4.16.4.0,
                      containers ==0.6.*,

    ghc-options: -Wall



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

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

test-suite lambda-calculus-test
    -- Base language which the package is written in.
    default-language: Haskell2010

    -- The interface type and version of the test suite.
    type:             exitcode-stdio-1.0

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

    ghc-options: -Wall

    -- The entrypoint to the test suite.
    main-is:          Spec.hs

    -- Test dependencies.
    build-depends:    base ^>=4.16.4.0,
                      hspec ==2.*,
                      containers ==0.6.*,
                      lambda-calculus,
    other-modules:    ChurchEncoding.ChurchBooleanSpec
                      ChurchEncoding.ChurchNumeralSpec
                      LambdaCalculus.LambdaCalculusSpec
    build-tool-depends: hspec-discover:hspec-discover == 2.*