名称：语法版本：3.4提要：抽象语法的泛型表示和操作描述：该库提供了类型诱导的抽象语法树的通用表示（或通常的索引数据类型）。它还允许定义开放语法树基于数据类型a la Carte[1]中的技术。.（请注意，2.x版和3.0版之间的差异并不大3.0已完成，因为模块更改了命名空间。）.有关详细信息，请参阅\“嵌入式语言的通用抽象语法模型”（ICFP 2012）：.*纸张：.*幻灯片：.EDSL示例可以在@examples@文件夹中找到。.\[1]W.Swierstra。数据类型如Carte。/函数编程杂志/，18（4）：423-4362008，.许可证：BSD3License-file:许可证作者：埃米尔·阿克塞尔森维护人员：emax@chalmers.se公司版权所有：版权所有（c）2011-2015，Emil Axelsson主页：https://github.com/emilaxelsson/synstratic网站错误报告：https://github.com/emilaxelsson/syntact/issues（https://github.com/emilaxelsson/syntact/issues）稳定性：实验性类别：语言构建类型：简单电缆版本：>=1.16外部源文件：贡献者示例/*.hs测试/*.hs测试/gold/*.txt基准/*.hs源-储水头类型：git位置：https://github.com/emilaxelsson/synstratic网站标志thdescription:包含模块Language。句法。TH，使用模板哈斯克尔默认值：True图书馆暴露模块：语言。句法语言。句法。语法语言。句法。Traversal公司语言。句法。解释语言。句法。糖语言。句法。装饰语言。句法。功能语言。句法。功能性。共享语言。句法。功能性。WellScoped公司语言。句法。糖。绑定语言。句法。糖。绑定类型语言。句法。糖。莫纳德语言。句法。糖。单色打印if标志（th）暴露模块：语言。句法。真实航向语言。句法。功能性。薄纱语言。句法。糖。薄纱语言。句法。糖。TupleTyped公司其他模块：语言。句法。功能性。塔普。真实航向取决于构建：基数>=4&&<5，约束，容器，数据处理，deepseq、，mtl>=2&&<3，syb、，树状视图如果impl（ghc<7.10）取决于内部版本：base-orphans如果impl（ghc<7.8）build-depends:标记if标志（th）依赖于内部版本：template-haskellhs-源代码：src默认语言：Haskell2010默认扩展名：默认签名派生数据类型派生函数派生可折叠派生Traversable灵活的上下文灵活实例功能相关性GADTs公司广义新类型派生排名类型作用域类型变量类型系列类型运算符其他扩展：重叠实例无法确定的实例测试套件示例类型：exitcode-stio-1.0hs-source-dirs：测试示例main-is：测试.hs默认语言：Haskell2010默认扩展名：取决于构建：句法，底座，容器，mtl（平均寿命），快速检查，已标记，美味的，美味的金色，美味速查，美味，utf8-字符串基准语法测试台类型：exitcode-stio-1.0hs-source-dirs：基准main-is：主要基准.hs取决于构建：底座，标准>=1，deepseq、，句法默认语言：Haskell2010默认扩展名：灵活实例GADTs公司多参数类型类类型运算符其他扩展：TemplateHaskell公司