@hackage syntactic0.3

Generic abstract syntax, and utilities for embedded languages

Categories
- Language
License
BSD-3-Clause
Maintainer
emax@chalmers.se
Links
Versions
- 3.8.4 Thu, 26 May 2022
- 3.8.3 Thu, 15 Apr 2021
- 3.8.2 Sat, 30 Jan 2021
- 3.8.1 Tue, 9 Apr 2019
- 3.8 Wed, 27 Mar 2019
- 3.7.1 Sat, 11 Aug 2018

Installation
In your cabal file:
Dependencies (6)
- array
- base >=4 && <4.4
- containers
- mtl >=1.1 && <3
- data-hash
- tuple >=0.2
Dependents (9)
@hackage/imperative-edsl, @hackage/co-feldspar, @hackage/acme-everything, @hackage/imperative-edsl-vhdl, @hackage/raw-feldspar, @hackage/feldspar-compiler, Show all…

This library provides:

Generic representation and manipulation of abstract syntax using a practical encoding of open data types (based on Data Types à la Carte [1])
Utilities for analyzing and transforming generic syntax
General variable binding constructs
Utilities for building extensible embedded languages based on generic syntax
A small proof-of-concept implementation of the embedded language Feldspar [2] (see the Examples directory)

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

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

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