Name: syntactic Version: 3.7.1 Synopsis: Generic representation and manipulation of abstract syntax Description: The library provides a generic representation of type-indexed abstract syntax trees (or indexed data types in general). It also permits the definition of open syntax trees based on the technique in Data Types à la Carte [1]. . (Note that the difference between version 2.x and 3.0 is not that big. The bump to 3.0 was done because the modules changed namespace.) . For more information, see \"A Generic Abstract Syntax Model for Embedded Languages\" (ICFP 2012): . * Paper: . * Slides: . Example EDSLs can be found in the @examples@ folder. . \[1\] W. Swierstra. Data Types à la Carte. /Journal of Functional Programming/, 18(4):423-436, 2008, . License: BSD3 License-file: LICENSE Author: Emil Axelsson Maintainer: 78emil@gmail.com Copyright: Copyright (c) 2011-2015, Emil Axelsson Homepage: https://github.com/emilaxelsson/syntactic Bug-reports: https://github.com/emilaxelsson/syntactic/issues Stability: experimental Category: Language Build-type: Simple Cabal-version: >=1.16 extra-source-files: CONTRIBUTORS examples/*.hs tests/*.hs tests/gold/*.txt benchmarks/*.hs source-repository head type: git location: https://github.com/emilaxelsson/syntactic flag th description: Include the module Language.Syntactic.TH, which uses Template Haskell default: True library exposed-modules: Language.Syntactic Language.Syntactic.Syntax Language.Syntactic.Traversal Language.Syntactic.Interpretation Language.Syntactic.Sugar Language.Syntactic.Decoration Language.Syntactic.Functional Language.Syntactic.Functional.Sharing Language.Syntactic.Functional.WellScoped Language.Syntactic.Sugar.Binding Language.Syntactic.Sugar.BindingTyped Language.Syntactic.Sugar.Monad Language.Syntactic.Sugar.MonadTyped if flag(th) exposed-modules: Data.NestTuple Data.NestTuple.TH Language.Syntactic.TH Language.Syntactic.Functional.Tuple Language.Syntactic.Functional.Tuple.TH Language.Syntactic.Sugar.Tuple Language.Syntactic.Sugar.TupleTyped build-depends: base >= 4.6 && < 5, constraints, containers, data-hash, deepseq >= 1.4.3.0, mtl >= 2 && < 3, syb, tree-view >= 0.5 if impl(ghc < 7.10) build-depends: base-orphans if impl(ghc < 7.8) build-depends: tagged if flag(th) build-depends: template-haskell hs-source-dirs: src default-language: Haskell2010 default-extensions: DefaultSignatures DeriveDataTypeable DeriveFunctor DeriveFoldable DeriveTraversable FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving RankNTypes RecordWildCards ScopedTypeVariables TypeFamilies TypeOperators other-extensions: OverlappingInstances UndecidableInstances test-suite examples type: exitcode-stdio-1.0 hs-source-dirs: tests examples main-is: Tests.hs default-language: Haskell2010 build-depends: syntactic, base, containers, mtl, QuickCheck, tagged, tasty, tasty-golden, tasty-quickcheck, tasty-th, utf8-string benchmark syntactic-bench type: exitcode-stdio-1.0 hs-source-dirs: benchmarks main-is: MainBenchmark.hs build-depends: base, criterion >= 1, deepseq, syntactic default-language: Haskell2010 default-extensions: FlexibleInstances GADTs MultiParamTypeClasses TypeOperators other-extensions: TemplateHaskell