Name:                egison
Version:             5.0.0
Synopsis:            Programming language with non-linear pattern-matching against non-free data
Description:
  An interpreter for Egison, a **pattern-matching-oriented**, purely functional programming language
  with a static type system.
  We can directly represent pattern-matching against lists, multisets, sets, trees, graphs and any kind of data types.
  .
  Egison 5 introduces a static type system with type classes, inductive data types,
  type inference, and type annotations, while preserving the expressive pattern-matching of Egison 4.
  .
  We can find Egison programs in @lib@ and @sample@ directories.
  This package also include Emacs Lisp file @emacs/egison-mode.el@.
  .
  We can do non-linear pattern-matching against non-free data types in Egison.
  An non-free data type is a data type whose data have no canonical form, a standard way to represent that object.
  It enables us to write elegant programs.
  .
  Please enjoy Egison!
Homepage:            http://www.egison.org
License:             MIT
License-file:        LICENSE
Author:              Satoshi Egi, Ryo Tanaka, Takahisa Watanabe, Kentaro Honda, Mayuko Kori, Momoko Hattori
Maintainer:          Satoshi Egi <egi@egison.org>
Category:            Compilers/Interpreters
Build-type:          Simple
Cabal-version:       2.0

Data-files:          lib/core/*.egi
                     lib/math/*.egi
                     lib/math/common/*.egi
                     lib/math/algebra/*.egi
                     lib/math/analysis/*.egi
                     lib/math/geometry/*.egi

Extra-doc-files:     Changelog.md

Extra-source-files:  README.md
                     benchmark/Benchmark.hs
                     benchmark/*.egi
                     test/lib/math/*.egi
                     test/lib/core/*.egi
                     sample/*.egi
                     sample/database/*.egi
                     sample/io/*.egi
                     sample/math/algebra/*.egi
                     sample/math/analysis/*.egi
                     sample/math/geometry/*.egi
                     sample/math/number/*.egi
                     sample/physics/*.egi
                     sample/repl/*.egi
                     sample/rosetta/*.egi
                     sample/sat/*.egi
                     emacs/egison-mode.el

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

Library
  default-language:    GHC2021
  Build-Depends:
      base                 >= 4.8     && < 5
    , random               >= 1.0     && < 2
    , containers           >= 0.6     && < 0.8
    , unordered-containers >= 0.1.0.0 && < 0.3
    , haskeline            >= 0.7     && < 0.9
    , transformers         >= 0.4     && < 0.7
    , mtl                  >= 2.2.2   && < 3
    , parsec               >= 3.0     && < 4
    , megaparsec           >= 7.0.0   && < 12
    , parser-combinators   >= 1.0     && < 2
    , directory            >= 1.3.0   && < 2
    , filepath             >= 1.4     && < 2
    , text                 >= 0.2     && < 2.2
    , regex-tdfa           >= 1.2.0   && < 2
    , process              >= 1.0     && < 2
    , vector               >= 0.12    && < 0.14
    , hashable             >= 1.0     && < 2
    , optparse-applicative >= 0.14    && < 0.20
    , prettyprinter        >= 1.0     && < 2
    , unicode-show         >= 0.1     && < 0.2
    , sweet-egison         >= 0.1.2.1 && < 0.2
  if !impl(ghc > 8.0)
    Build-Depends: fail
  Hs-Source-Dirs:  hs-src
  Exposed-Modules:
                   Language.Egison
                   Language.Egison.AST
                   Language.Egison.Core
                   Language.Egison.CmdOptions
                   Language.Egison.Completion
                       Language.Egison.Desugar
                   Language.Egison.Data
                  Language.Egison.Data.Collection
                  Language.Egison.Data.Utils
                  Language.Egison.EnvBuilder
                  Language.Egison.VarEntry
                  Language.Egison.EvalState
                  Language.Egison.Eval
                   Language.Egison.IExpr
                   Language.Egison.Match
                   Language.Egison.Math.Arith
                   Language.Egison.Math.Expr
                   Language.Egison.Math.Normalize
                   Language.Egison.Math.Rewrite
                   Language.Egison.Math
                   Language.Egison.MathOutput
                   Language.Egison.MList
                   Language.Egison.Parser
                   Language.Egison.Parser.NonS
                   Language.Egison.Pretty
                   Language.Egison.PrettyMath.AST
                   Language.Egison.PrettyMath.AsciiMath
                   Language.Egison.PrettyMath.Latex
                   Language.Egison.PrettyMath.Mathematica
                   Language.Egison.PrettyMath.Maxima
                   Language.Egison.Primitives
                   Language.Egison.Primitives.Arith
                   Language.Egison.Primitives.IO
                   Language.Egison.Primitives.String
                   Language.Egison.Primitives.Types
                   Language.Egison.Primitives.Utils
                   Language.Egison.RState
                   Language.Egison.Tensor
                   Language.Egison.Type
                   Language.Egison.Type.Check
                   Language.Egison.Type.Env
                   Language.Egison.Type.Error
                   Language.Egison.Type.Index
                   Language.Egison.Type.Infer
                   Language.Egison.Type.Subst
                   Language.Egison.Type.TensorMapInsertion
                   Language.Egison.Type.TypeClassExpand
                   Language.Egison.Type.Tensor
                   Language.Egison.Type.TypedDesugar
                   Language.Egison.Type.Types
                   Language.Egison.Type.Unify
                   Language.Egison.Type.Instance
                   Language.Egison.Type.Pretty
  Other-modules:   Paths_egison
  autogen-modules: Paths_egison
  ghc-options:  -Wall -Wno-name-shadowing -Wno-incomplete-patterns

Test-Suite test
  default-language:    GHC2021
  Type:           exitcode-stdio-1.0
  Hs-Source-Dirs: test
  Main-Is:        Test.hs
  Build-Depends:
      egison
    , base >= 4.8 && < 5
    , transformers
    , mtl
    , Glob
    , HUnit
    , test-framework
    , test-framework-hunit
    , filepath
  Other-modules:   Paths_egison
  autogen-modules: Paths_egison
  ghc-options:  -Wall -Wno-name-shadowing

Benchmark benchmark
  default-language:    GHC2021
  Type: exitcode-stdio-1.0
  Hs-Source-Dirs:  benchmark
  Main-Is: Benchmark.hs
  Build-Depends:
      egison
    , base >= 4.8 && < 5
    , criterion >= 0.5
    , transformers
  Other-modules:   Paths_egison
  autogen-modules: Paths_egison
  ghc-options:  -Wall -Wno-name-shadowing

Executable egison
  default-language:    GHC2021
  Main-is:             egison.hs
  Build-depends:
      egison
    , base >= 4.0 && < 5
    , exceptions           >= 0.10    && < 0.11
    , haskeline
    , mtl
    , directory
    , filepath             >= 1.4     && < 2
    , text
    , regex-tdfa
    , optparse-applicative
  if !impl(ghc > 8.0)
    Build-Depends: semigroups
  Hs-Source-Dirs:      hs-src/Interpreter
  Other-modules:       Paths_egison
  autogen-modules: Paths_egison
  ghc-options:  -threaded -rtsopts -Wall -Wno-name-shadowing