syntactic-1.16.2: Generic abstract syntax, and utilities for embedded languages

Safe HaskellNone
LanguageHaskell2010

Language.Syntactic

Description

The basic parts of the syntactic library

Documentation

module Data.PolyProxy

module Language.Syntactic.Syntax

module Language.Syntactic.Traversal

module Language.Syntactic.Constraint

module Language.Syntactic.Sugar

module Language.Syntactic.Interpretation

module Language.Syntactic.Interpretation.Equality

module Language.Syntactic.Interpretation.Render

module Language.Syntactic.Interpretation.Evaluation

module Language.Syntactic.Interpretation.Semantics

module Data.Constraint