The morte package

[Tags:benchmark, bsd3, library, program, test]

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

Properties

Versions 1.0.0, 1.0.1, 1.1.0, 1.1.1, 1.1.2, 1.2.0, 1.2.1, 1.3.0, 1.3.1, 1.4.0, 1.4.1, 1.4.2, 1.5.0, 1.5.1, 1.6.0, 1.6.1, 1.6.2, 1.6.3, 1.6.4, 1.6.5, 1.6.6, 1.6.7, 1.6.8, 1.6.9
Dependencies array (>=0.4.0.0 && <0.6), base (==4.*), binary (>=0.7.0.0 && <0.9), code-page (>=0.1.1 && <0.2), 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), morte, optparse-applicative (<0.15), pipes (>=4.0.0 && <4.4), system-fileio (>=0.2.1 && <0.4), system-filepath (>=0.3.1 && <0.5), text (>=0.11.1.0 && <1.3), text-format (<0.4), transformers (>=0.2.0.0 && <0.6) [details]
License BSD3
Copyright 2016 Gabriel Gonzalez
Author Gabriel Gonzalez
Maintainer Gabriel439@gmail.com
Category Compiler
Bug tracker https://github.com/Gabriel439/Haskell-Morte-Library/issues
Source repository head: git clone https://github.com/Gabriel439/Haskell-Morte-Library
Uploaded Thu Jun 15 13:53:38 UTC 2017 by GabrielGonzalez
Distributions LTSHaskell:1.6.9, NixOS:1.6.9, Stackage:1.6.9, Tumbleweed:1.6.9
Downloads 2170 total (58 in the last 30 days)
Votes
2 []
Status Docs available [build log]
Last success reported on 2017-06-15 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees