Name: egison Version: 4.2.1 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. We can directly represent pattern-matching against lists, multisets, sets, trees, graphs and any kind of data types. . We can find Egison programs in @lib@ and @sample@ directories. This package also include Emacs Lisp file @elisp/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 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-source-files: README.md Changelog.md benchmark/Benchmark.hs benchmark/*.egi test/fixture/*.egi test/lib/math/*.egi test/lib/core/*.egi sample/*.egi sample/sat/*.egi sample/math/geometry/*.egi sample/math/number/*.egi elisp/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.0 , 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.0 , parsec >= 3.0 && < 4.0 , megaparsec >= 7.0.0 && < 12.0 , parser-combinators >= 1.0 && < 2.0 , directory >= 1.3.0 && < 2.0 , text >= 0.2 && < 2.2 , regex-tdfa >= 1.2.0 && < 2.0 , process >= 1.0 && < 2.0 , vector >= 0.12 && < 0.14 , hashable >= 1.0 && < 2.0 , optparse-applicative >= 0.14 && < 0.20 , prettyprinter >= 1.0 && < 2.0 , 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.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.SExpr 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 Other-modules: Paths_egison autogen-modules: Paths_egison ghc-options: -O3 -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 Test-Suite test-cli default-language: GHC2021 Type: exitcode-stdio-1.0 Hs-Source-Dirs: test Main-Is: CLITest.hs Build-Depends: egison , base >= 4.8 && < 5 , process , HUnit , test-framework , test-framework-hunit 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.0 , 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: -O3 -threaded -rtsopts -Wall -Wno-name-shadowing Executable egison-translate default-language: GHC2021 Main-is: translator.hs Build-depends: egison , base >= 4.8 && < 5 , prettyprinter Hs-Source-Dirs: hs-src/Tool ghc-options: -Wall -Wno-name-shadowing