Name: morte Version: 1.6.12 Cabal-Version: >=1.8.0.2 Build-Type: Simple Tested-With: GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.2, GHC == 8.0.1 License: BSD3 License-File: LICENSE Copyright: 2016 Gabriel Gonzalez Author: Gabriel Gonzalez Maintainer: Gabriel439@gmail.com Bug-Reports: https://github.com/Gabriel439/Haskell-Morte-Library/issues Synopsis: A bare-bones calculus of constructions Description: Morte is a typed, purely functional, and strongly normalizing intermediate language designed for whole-program super-optimization. Use this library to type-check, optimize, parse, pretty-print, serialize and deserialize expressions in this intermediate language. . This library also installs an executable that you can use to type-check and optimize a @morte@ program. . "Morte.Core" contains the core calculus of constructions for this language . "Morte.Lexer" contains the @alex@-generated lexer for Morte . "Morte.Parser" contains the parser for Morte . Read "Morte.Tutorial" to learn how to use this library Category: Compiler Data-Files: bench/src/*.mt test/src/*.mt Source-Repository head Type: git Location: https://github.com/Gabriel439/Haskell-Morte-Library Library Hs-Source-Dirs: src Build-Depends: base >= 4 && < 5 , array >= 0.4.0.0 && < 0.6 , binary >= 0.7.0.0 && < 0.9 , containers >= 0.5.0.0 && < 0.6 , deepseq >= 1.3.0 && < 1.5 , Earley >= 0.10.1.0 && < 0.13, http-client >= 0.5.0 && < 0.6 , http-client-tls >= 0.2.0 && < 0.4 , microlens >= 0.2.0.0 && < 0.5 , microlens-mtl >= 0.1.3.1 && < 0.2 , pipes >= 4.0.0 && < 4.4 , system-filepath >= 0.3.1 && < 0.5 , system-fileio >= 0.2.1 && < 0.4 , text >= 0.11.1.0 && < 1.3 , text-format < 0.4 , transformers >= 0.2.0.0 && < 0.6 Exposed-Modules: Morte.Context, Morte.Core, Morte.Import, Morte.Lexer, Morte.Parser, Morte.Tutorial Build-Tools: alex Executable morte Hs-Source-Dirs: exec Main-Is: Main.hs Build-Depends: base >= 4 && < 5 , code-page >= 0.1.1 && < 0.2 , morte , optparse-applicative < 0.15 , text >= 0.11.1.0 && < 1.3 , text-format < 0.4 Benchmark bench Type: exitcode-stdio-1.0 HS-Source-Dirs: bench Main-Is: Main.hs GHC-Options: -Wall Build-Depends: base >= 4 && < 5 , criterion >= 1.0.0.1 && < 1.3, morte , system-filepath >= 0.3.1 && < 0.5, text >= 0.11.1.0 && < 1.3 Test-Suite test Type: exitcode-stdio-1.0 HS-Source-Dirs: test Main-Is: Main.hs Other-Modules: ClosedWellTyped GHC-Options: -Wall Build-Depends: base >= 4 && < 5 , mtl >= 2.2 && < 2.3 , QuickCheck >= 2.8.1 && < 2.11, system-filepath >= 0.3.1 && < 0.5 , tasty >= 0.11 && < 0.13, tasty-hunit >= 0.9 && < 0.10, tasty-quickcheck >= 0.8.4 && < 0.10, transformers >= 0.2.0.0 && < 0.6 , morte , text >= 0.11.1.0 && < 1.3