https://github.com/egison/egison
Raw File
Tip revision: 653eb783c8fed17f89b91dafee5c33e2d51c8a9e authored by Satoshi Egi on 27 March 2014, 12:44:09 UTC
version 3.3.4
Tip revision: 653eb78
egison.cabal
Name:                egison
Version:             3.3.4
Synopsis:            Programming language with non-linear pattern-matching with backtracking
Description:
  An interpreter for Egison, the programming langugage that realized non-linear pattern-matching with backtracking.
  With Egison, 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 @egison-mode.el@ in @elisp@ directory.
  .
  The following code is the program that determines poker-hands written in Egison.
  All hands are expressed in a single pattern.
  We can run this code online at <http://www.egison.org/demonstrations/poker-hands.html>.
  .
  <<http://www.egison.org/images/poker-hands.png>>
  .
  The pattern-matching of Egison is very powerful.
  We can use it for pattern-matching against graphs, too.
  Egison is not popular at all now.
  Please help us to make Egison popular.
Homepage:            http://www.egison.org
License:             MIT
License-file:        LICENSE
Author:              Satoshi Egi, Ryo Tanaka, Takahisa Watanabe, Kentaro Honda
Maintainer:          Satoshi Egi <egi@egison.org>
Category:            Compilers/Interpreters
Build-type:          Simple
Cabal-version:       >=1.8

Extra-Source-Files:  benchmark/Benchmark.hs

Data-files:          lib/core/base.egi lib/core/collection.egi lib/core/order.egi lib/core/number.egi lib/core/natural-number.egi lib/core/string.egi lib/core/database.egi lib/core/io.egi
                     lib/tree/xml.egi lib/math/prime.egi
                     sample/*.egi sample/io/*.egi sample/io/*.egi
                     elisp/egison-mode.el

source-repository head
  type: git
  location: https://github.com/egison/egison.git
  
Library
  Build-Depends:   base >= 4.0 && < 5, array, random, containers, unordered-containers, haskeline, transformers, mtl, parsec >= 3.0, directory, ghc, ghc-paths, strict-io, bytestring, text, regex-posix, direct-sqlite
  Hs-Source-Dirs:  hs-src
  Exposed-Modules:
                   Language.Egison
                   Language.Egison.Core
                   Language.Egison.Desugar
                   Language.Egison.Types
                   Language.Egison.Parser
                   Language.Egison.Primitives
                   Language.Egison.Util
  Other-modules:   Paths_egison

Test-Suite test
  Type:           exitcode-stdio-1.0
  Hs-Source-Dirs: test
  Main-Is:        UnitTest.hs
  Build-Depends: egison, base >= 4.0 && < 5, transformers, mtl, Glob, HUnit, test-framework, test-framework-hunit
  Other-modules:   Paths_egison

Benchmark benchmark
  Type: exitcode-stdio-1.0
  Hs-Source-Dirs:  benchmark
  Main-Is: Benchmark.hs
  Build-Depends: egison, base >= 4.0 && < 5, deepseq, criterion >= 0.5, transformers, mtl
  Other-modules:   Paths_egison

Executable egison
  Main-is:             egison.hs
  Build-depends:       egison, base >= 4.0 && < 5, array, containers, unordered-containers, haskeline, transformers, mtl, parsec >= 3.0, directory, ghc, ghc-paths, filepath, strict-io, bytestring
  Hs-Source-Dirs:      hs-src/Interpreter
  Other-modules:       Paths_egison
back to top