symtegration-0.6.1: symtegration.cabal

cabal-version: 1.12

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

name:           symtegration
version:        0.6.1
synopsis:       Library for symbolic integration of mathematical expressions.
description:    Symtegration is a library providing symbolic integration of mathematical expressions.
                .
                For example,
                .
                >>> import Symtegration
                >>> toHaskell <$> integrate "x" (4 * "x" ** 3 + 1)
                Just "x + x ** 4"
                .
                See the "Symtegration" module for the main interface.
category:       Mathematics, Symbolic Computation
homepage:       https://symtegration.dev/
bug-reports:    https://github.com/symtegration/symtegration/issues
author:         Yoo Chung
maintainer:     dev@chungyc.org
copyright:      Copyright 2025 Yoo Chung
license:        Apache-2.0
license-file:   LICENSE
build-type:     Simple
tested-with:
    GHC == 9.12.1 || == 9.10.1 || == 9.8.4 || == 9.6.6
extra-source-files:
    CHANGELOG.md
    LICENSE
    README.md
    docs/CODE_OF_CONDUCT.md
    docs/CONTRIBUTING.md
    docs/SECURITY.md

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

library
  exposed-modules:
      Symtegration
      Symtegration.Differentiation
      Symtegration.Integration
      Symtegration.Integration.Exponential
      Symtegration.Integration.Factor
      Symtegration.Integration.Parts
      Symtegration.Integration.Powers
      Symtegration.Integration.Rational
      Symtegration.Integration.Substitution
      Symtegration.Integration.Sum
      Symtegration.Integration.Term
      Symtegration.Integration.Trigonometric
      Symtegration.Numeric
      Symtegration.Polynomial
      Symtegration.Polynomial.Indexed
      Symtegration.Polynomial.Solve
      Symtegration.Polynomial.Symbolic
      Symtegration.Symbolic
      Symtegration.Symbolic.Haskell
      Symtegration.Symbolic.LaTeX
      Symtegration.Symbolic.Simplify
      Symtegration.Symbolic.Simplify.AlgebraicRingOrder
      Symtegration.Symbolic.Simplify.Fraction
      Symtegration.Symbolic.Simplify.NumericFolding
      Symtegration.Symbolic.Simplify.SymbolicFolding
      Symtegration.Symbolic.Simplify.Tidy
  other-modules:
      Paths_symtegration
  hs-source-dirs:
      src
  default-extensions:
      LambdaCase
      OverloadedStrings
  ghc-options: -Wall
  build-depends:
      ad ==4.5.*
    , base >=4.18 && <4.22
    , containers >=0.6 && <0.8
    , text >=2.0 && <2.2
    , text-show >=3.10 && <3.12
  default-language: GHC2021

test-suite examples
  type: exitcode-stdio-1.0
  main-is: test/Examples.hs
  other-modules:
      Paths_symtegration
  default-extensions:
      LambdaCase
      OverloadedStrings
  ghc-options: -Wall -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      ad ==4.5.*
    , base >=4.18 && <4.22
    , containers >=0.6 && <0.8
    , doctest-parallel ==0.3.*
    , symtegration
    , text >=2.0 && <2.2
    , text-show >=3.10 && <3.12
  default-language: GHC2021

test-suite spec
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      Symtegration.ErrorDouble
      Symtegration.FiniteDouble
      Symtegration.Integration.ExponentialSpec
      Symtegration.Integration.FactorSpec
      Symtegration.Integration.PartsSpec
      Symtegration.Integration.PowersSpec
      Symtegration.Integration.Properties
      Symtegration.Integration.RationalSpec
      Symtegration.Integration.SubstitutionSpec
      Symtegration.Integration.SumSpec
      Symtegration.Integration.TermSpec
      Symtegration.Integration.TrigonometricSpec
      Symtegration.IntegrationSpec
      Symtegration.NumericSpec
      Symtegration.Polynomial.Indexed.Arbitrary
      Symtegration.Polynomial.IndexedSpec
      Symtegration.Polynomial.SolveSpec
      Symtegration.Polynomial.SymbolicSpec
      Symtegration.PolynomialSpec
      Symtegration.Symbolic.Arbitrary
      Symtegration.Symbolic.HaskellSpec
      Symtegration.Symbolic.LaTeXSpec
      Symtegration.Symbolic.Simplify.AlgebraicRingOrderSpec
      Symtegration.Symbolic.Simplify.FractionSpec
      Symtegration.Symbolic.Simplify.NumericFoldingSpec
      Symtegration.Symbolic.Simplify.Properties
      Symtegration.Symbolic.Simplify.SymbolicFoldingSpec
      Symtegration.Symbolic.Simplify.TidySpec
      Symtegration.SymbolicSpec
      Paths_symtegration
  hs-source-dirs:
      test
  default-extensions:
      LambdaCase
      OverloadedStrings
  ghc-options: -Wall -threaded -rtsopts -with-rtsopts=-N
  build-tool-depends:
      hspec-discover:hspec-discover ==2.11.*
  build-depends:
      QuickCheck >=2.14 && <2.16
    , ad ==4.5.*
    , base >=4.18 && <4.22
    , containers >=0.6 && <0.8
    , hspec ==2.11.*
    , symtegration
    , text >=2.0 && <2.2
    , text-show >=3.10 && <3.12
  default-language: GHC2021