aern2-mfun-0.2.9.0: aern2-mfun.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:           aern2-mfun
version:        0.2.9.0
synopsis:       Multi-variate real function optimisation and proving
description:    Please see the README on GitHub at <https://github.com/michalkonecny/aern2/#readme>
category:       Math
homepage:       https://github.com/michalkonecny/aern2#readme
bug-reports:    https://github.com/michalkonecny/aern2/issues
author:         Eike Neumann, Junaid Rasheed, Michal Konecny
maintainer:     mikkonecny@gmail.com
copyright:      2019-2022 Eike Neumann, Junaid Rasheed, Michal Konecny
license:        BSD3
build-type:     Simple

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

library
  exposed-modules:
      AERN2.AD.Differential
      AERN2.AD.GenericOperations
      AERN2.AD.MPBallOperations
      AERN2.AD.Type
      AERN2.BoxFun.Box
      AERN2.BoxFun.Optimisation
      AERN2.BoxFun.TestFunctions
      AERN2.BoxFun.Type
      AERN2.Linear.Matrix.Inverse
      AERN2.Linear.Matrix.Type
      AERN2.Linear.Vector.Type
      AERN2.Util.Util
  other-modules:
      Paths_aern2_mfun
  hs-source-dirs:
      src
  default-extensions:
      RebindableSyntax,
      ScopedTypeVariables,
      TypeFamilies,
      TypeOperators,
      ConstraintKinds,
      DefaultSignatures,
      MultiParamTypeClasses,
      FlexibleContexts,
      FlexibleInstances,
      UndecidableInstances
  other-extensions:
      TemplateHaskell
  ghc-options: -Wall
  build-depends:
      aern2-fun >=0.2.9
    , aern2-mp >=0.2.9
    , base ==4.*
    , collect-errors >=0.1.5
    , mixed-types-num >=0.5.9
    , vector
  default-language: Haskell2010

executable aern2-mfun-benchmark-optimisation
  main-is: bench/OptimisationBenchmark.hs
  other-modules:
      Paths_aern2_mfun
  default-extensions:
      RebindableSyntax,
      ScopedTypeVariables,
      TypeFamilies,
      TypeOperators,
      ConstraintKinds,
      DefaultSignatures,
      MultiParamTypeClasses,
      FlexibleContexts,
      FlexibleInstances,
      UndecidableInstances
  other-extensions:
      TemplateHaskell
  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall -O2
  build-depends:
      aern2-fun >=0.2.9
    , aern2-mfun
    , aern2-mp >=0.2.9
    , base ==4.*
    , collect-errors >=0.1.5
    , mixed-types-num >=0.5.9
    , vector
  default-language: Haskell2010