syntactic: Generic abstract syntax, and utilities for embedded languages

[ bsd3, language, library ] [ Propose Tags ]

This library provides:

Note: The library is probably mostly useful for functional object languages, such as Feldspar. Currently, it does not support cyclic programs.

The following people have contributed to Syntactic:

\[1\] Data types à la carte, by Wouter Swierstra, in Journal of Functional Programming, 2008

\[2\] http://hackage.haskell.org/package/feldspar-language

Versions [faq] 0.1, 0.2, 0.2.0.1, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 1.0, 1.0.1, 1.2, 1.2.1, 1.3, 1.4, 1.5.1, 1.5.2, 1.6.1, 1.7.1, 1.8, 1.9, 1.10, 1.11, 1.12.1, 1.13, 1.14, 1.15, 1.15.1, 1.16, 1.16.1, 1.16.2, 1.17, 2.0, 2.1, 3.0, 3.1, 3.2, 3.2.1, 3.3, 3.4, 3.5, 3.6, 3.6.1, 3.6.2, 3.6.3, 3.7, 3.7.1
Dependencies array, base (>=4 && <4.4), containers, data-hash, mtl (>=1.1 && <3), tagged, transformers (>=0.2), tuple (>=0.2) [details]
License BSD-3-Clause
Copyright Copyright (c) 2011, Emil Axelsson
Author Emil Axelsson
Maintainer emax@chalmers.se
Category Language
Home page http://projects.haskell.org/syntactic/
Source repo head: darcs get http://projects.haskell.org/syntactic/
Uploaded by EmilAxelsson at Mon Dec 5 13:22:11 UTC 2011
Distributions NixOS:3.7.1
Downloads 16305 total (600 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2016-12-26 [all 6 reports]

Modules

  • Language
    • Language.Syntactic
      • Constructs
        • Language.Syntactic.Constructs.Annotate
        • Language.Syntactic.Constructs.Binding
          • Language.Syntactic.Constructs.Binding.HigherOrder
          • Language.Syntactic.Constructs.Binding.Optimize
        • Language.Syntactic.Constructs.Condition
        • Language.Syntactic.Constructs.Literal
        • Language.Syntactic.Constructs.Monad
        • Language.Syntactic.Constructs.Symbol
        • Language.Syntactic.Constructs.Tuple
        • Language.Syntactic.Constructs.TupleSyntacticPoly
        • Language.Syntactic.Constructs.TupleSyntacticSimple
      • Frontend
        • Language.Syntactic.Frontend.Monad
      • Interpretation
        • Language.Syntactic.Interpretation.Equality
        • Language.Syntactic.Interpretation.Evaluation
        • Language.Syntactic.Interpretation.Render
      • Sharing
        • Language.Syntactic.Sharing.Graph
        • Language.Syntactic.Sharing.Reify
        • Language.Syntactic.Sharing.ReifyHO
        • Language.Syntactic.Sharing.SimpleCodeMotion
        • Language.Syntactic.Sharing.StableName
        • Language.Syntactic.Sharing.Utils
      • Language.Syntactic.Syntax

Downloads

Maintainer's Corner

For package maintainers and hackage trustees