morte-1.1.0: morte.cabal
Name: morte
Version: 1.1.0
Cabal-Version: >=1.8.0.2
Build-Type: Simple
License: BSD3
License-File: LICENSE
Copyright: 2014 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 @happy@-generated parser for Morte
.
Read "Morte.Tutorial" to learn how to use this library
Category: Compiler
Data-Dir: benchmarks/src
Data-Files: *.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.8 ,
deepseq >= 1.3.0 && < 1.5 ,
lens-family-core >= 1.0.0 && < 1.3.0 ,
pipes >= 4.0.0 && < 4.2 ,
text >= 0.11.1.0 && < 1.3 ,
transformers >= 0.2.0.0 && < 0.5
Exposed-Modules:
Morte.Core,
Morte.Lexer,
Morte.Parser,
Morte.Tutorial
Build-Tools: alex, happy
GHC-Options: -O2
Executable morte
Hs-Source-Dirs: exec
Main-Is: Main.hs
Build-Depends:
base >= 4 && < 5 ,
morte ,
optparse-applicative <= 0.11.0.1 ,
text >= 0.11.1.0 && < 1.3
Benchmark benchmarks
Type: exitcode-stdio-1.0
HS-Source-Dirs: benchmarks
Main-Is: Bench.hs
GHC-Options: -O2 -Wall
Build-Depends:
base >= 4 && < 5 ,
criterion < 1.1 ,
morte >= 1.1.0 ,
text >= 0.11.1.0 && < 1.3