Programatica Haskell前端

该索引显示了属于主Programatica Haskell的模块前端。这包括

在下面的列表中,目录名链接到相应的README文件。

模块

号码簿基础/AST-抽象语法(非递归结构)

  1. 基本语法,基本语法映射,基本语法漂亮,基本语法结构,基本语法实用程序
  2. HasBaseName(哈斯基名称)
  3. HasBaseStruct结构
  4. HsAssoc公司,HsAssocPretty公司,HS关联结构,HsAssocUtil公司
  5. Hs常量
  6. HsDecl公司,HsDecl贴图,HsDeclPretty公司,HsDeclStruct结构,HsDeclUtil(HsDeclUtil)
  7. HsExp公司,HsExpMaps(HsExp贴图),HsExpPretty公司,HsExpStruct结构,HsExpUtil公司
  8. HS字段,Hs字段映射,Hs字段漂亮,Hs字段结构
  9. Hs防护装置,HsGuards地图,HsGuards漂亮,Hs护栏结构,Hs防护实用程序
  10. HsIdent公司,HsIdentPretty公司
  11. HsKind公司,HsKind贴图,HS有点漂亮,HsKind结构,HsKindUtil公司
  12. Hs文字,HsLiteral漂亮
  13. Hs模块,Hs模块映射,Hs模块弹性
  14. Hs名称
  15. HsPat公司,HsPatMaps(HsPatMaps),HsPatPretty公司,HsPat结构,HsPatUtil软件
  16. HsTypeMaps(H类型映射),HsType漂亮,Hs类型结构,HsTypeUtil(H类型实用程序)
  17. 特殊名称
  18. SrcLoc公司,SrcLocPretty公司

号码簿基本/定义-范围界定(名称解析)

  1. 定义的名称,定义的名称库,定义的名称基本结构
  2. 自由名称,免费名称库,自由名称基本结构
  3. 名称映射
  4. 名称映射库,名称映射基本结构
  5. PNT公司
  6. ReAssoc公司,ReAssocBase公司,ReAssocBaseStruct(ReAssoc基本结构)
  7. ReAssoc模块
  8. 范围模块
  9. 作用域名称,作用域名称基础,作用域名称基本结构
  10. 唯一名称

号码簿基/库-通用实用程序库

  1. 摘要IO
  2. 帐户列表
  3. 命令行分析器3
  4. 目录实用程序
  5. 文件单元
  6. Finite地图
  7. 电梯
  8. 列表
  9. MUtils(毫米)
  10. 新SCC
  11. 操作类型
  12. 路径实用程序
  13. 产品
  14. 递归
  15. 集合
  16. 简单图形
  17. SIO公司
  18. 统计
  19. 取消链接
  20. UTF8标准,UTF8实用程序

目录base/lib/Monads-Iavor的Monads和Monad Transformers

  1. 控制_维护_修复
  2. 环境管理,环境管理技术
  3. 除MT外
  4. IdM公司
  5. ImpUtils公司
  6. IxEnvM(IxEnvM),Ix环境
  7. Ix输出M
  8. Ix状态M,Ix状态MT
  9. 机器翻译
  10. 输出M
  11. 状态M,状态MT

目录库/模块-Haskell模块系统

  1. AST4模块系统
  2. 检查模块
  3. 树人
  4. ModSysAST系统
  5. 模块
  6. 姓名
  7. 姓名实体
  8. PP模块
  9. 资格名称
  10. 关系
  11. 供应链管理
  12. 类型ID
  13. 工作模块

号码簿基本/第2部分-Haskell 98分析器

  1. LexUtil公司
  2. 数字名称
  3. ParseMonad公司
  4. 分析器选项
  5. 职位名称
  6. 源名称

目录base/parse2/Lexer-The Haskell Lexer(生成和手写模块)

  1. HsLayoutPre
  2. HsLex公司
  3. HsLexer公司
  4. HsLexer密码1
  5. HsLexerPos公司
  6. HsLex合并
  7. HsLexUtils公司
  8. Hs标记

目录base/parse2/Parser-Haskell 98 Happy Parser

  1. HsParser公司
  2. 解析Util
  3. 位置语法

目录库/漂亮-漂亮的打印库

  1. 全新PrettyPrint
  2. PPU(PPU)
  3. PrettyDoc公司
  4. PrettyEnv公司
  5. 漂亮打印
  6. 漂亮打印2
  7. Pretty标准
  8. 漂亮的符号
  9. PrettyUtil公司
  10. 标记标签

目录基/语法-基本语言抽象语法绑定递归定义

  1. 语法,合成税收入,语法RecPretty

号码簿基础/TI-基本语言的类型推理基础结构和类型推理

  1. 名称地图装饰
  2. 原始TiMonad
  3. 技术信息
  4. TiBase公司,TiBaseStruct结构
  5. TiBySuper公司
  6. TiClasses公司
  7. TiClassInst公司
  8. TiClassInst2课程
  9. Ti约束
  10. TiContext缩减
  11. 时间间隔
  12. TiDecorate公司
  13. TiDefault(默认值)
  14. TiDefined名称
  15. TiDerived实例
  16. 蒂丁斯特
  17. TiDkc公司
  18. 时间间隔
  19. TiE公司
  20. TiEnvFM公司
  21. TiError公司
  22. TiFields公司
  23. TiFreeNames(TiFreeName)
  24. TiFresh公司
  25. TiFunDeps公司
  26. TiGeneralize(T通用化)
  27. TiHs名称
  28. TiInstanceDB
  29. TiKEnv公司
  30. TiKinds公司
  31. TiLit公司
  32. TiModule(TiModule)
  33. 蒂莫纳德
  34. TiName地图
  35. TiNames公司
  36. 小费
  37. TiPNT公司
  38. 蒂普鲁德
  39. TiPretty公司
  40. 提拉(TiRhs)
  41. TiSCC公司
  42. TiSolve公司
  43. TiT公司
  44. TiTEnv公司
  45. TiTypes(时间类型)
  46. TiUtil公司
  47. 统一

号码簿基础/变换-程序转换

  1. BetaReduce公司
  2. 字段选择器
  3. 地图DeclM,MapDeclM数据库,映射DeclMBaseStruct
  4. 删除ListComp,删除ListCompBase
  5. 删除PatBinds
  6. SimpField标签
  7. SimpFunBind(SimpFun绑定)
  8. SimpPatMatch,SimpPatMatchBase公司
  9. 替代,替代基础,SubstituteBaseStruct(替换基本结构)

号码簿基/变换/派生-派生实例代码生成

  1. 派生
  2. 派生边界
  3. 派生枚举
  4. 推导公式
  5. 派生Ix
  6. 派生订单
  7. 派生读取
  8. 派生显示
  9. 衍生工具

号码簿hs2阿尔法-Haskell-to-Alfa翻译

  1. 主{-hs2alfa/apfe.hs-}
  2. 基本结构2Alfa
  3. PfeAlfaCmds公司
  4. Prop2Alfa公司
  5. 美国公民及移民委员会

目录hs2alfa/AlfaSource

  1. 抽象操作
  2. UA摘要
  3. UAnnots公司
  4. UFree公司
  5. U马奇
  6. UMetaVar公司
  7. U替代品
  8. 实用程序2

目录hs2html-Haskell-to-HTML渲染器

  1. ConvRefs类型
  2. HLex2小时
  3. HLex标记模块名称
  4. LitTxt(精简文本)
  5. 我的文档
  6. 我的文档2HTML
  7. 分析MyDoc
  8. 参考类型

号码簿hs2战略-Haskell-to-Stratego(Plover)翻译

  1. 基本2战略2
  2. 基本结构2战略2
  3. Prop2战略2
  4. PropStruct2战略
  5. 战略司令部
  6. TiBase2战略
  7. TiProp2战略

目录hs2stratego/AST

  1. 圆括号
  2. 战略AST2
  3. StrategoDecl公司
  4. 战略模式
  5. StrategoProp公司
  6. StrategoTerm公司
  7. 战略类型

号码簿全氟乙烯-Programatica Front-end框架和命令行界面

  1. 现在
  2. 主{-pfe/pfe.hs-}
  3. PFE0型
  4. Pfe0Cmds公司
  5. Pfe1Cmds公司
  6. PFE2型
  7. Pfe2Cmds铅
  8. PFE3型
  9. Pfe3Cmds公司
  10. Pfe3计量
  11. PFE4系列
  12. Pfe4Cmds铅
  13. PfeChase公司
  14. PfeCleanCmd(PfeCleanCmd)
  15. 主{-pfe/pfeclient.hs-}
  16. PfeDepCmds公司
  17. PFEdeps公司
  18. PfeHtml命令
  19. PfeInteractive公司
  20. PfeParse公司
  21. PfeSocket公司
  22. Pfe转换命令
  23. PfeVersionCmd(PfeVersion命令)
  24. PFE_HTML
  25. PFE_重写
  26. PFE_重写
  27. PFE_标准名称

号码簿财产-Plogic扩展

  1. 主{属性/ppfe.hs-}
  2. PPfeCmds(PPfeCmd)
  3. PPfe实例
  4. PPfeMain公司

目录属性//hs2伊莎贝尔

  1. 基础结构2伊莎贝尔
  2. 伊莎贝尔医学博士
  3. 提案2伊莎贝尔
  4. PropStruct2伊莎贝尔

目录属性//hs2伊莎贝尔/AST

  1. 伊莎贝尔AST
  2. 伊莎贝勒代尔
  3. 伊莎贝尔·普罗普
  4. 伊莎贝尔特姆
  5. 伊莎贝尔类型
  6. 混音器

Plogic扩展的目录属性/AST-AST(非递归结构)

  1. HsPropMaps(HsProp贴图),HsPropPretty公司,HsPropStruct结构

目录属性/defs-Plogic扩展的作用域(名称解析)

  1. 定义的名称属性,定义名称PropStruct
  2. 自由名称属性,自由名称PropStruct
  3. 名称映射属性,名称映射PropStruct
  4. ReAssocProp公司,ReAssocPropStruct公司
  5. 作用域名称属性,作用域名称属性结构

目录属性/parse2-Haskell的分析器+Plogic扩展

  1. PropLexer公司

目录属性/parse2/Parser

  1. 属性分析器
  2. 属性分析实用程序
  3. PropPlogic公司
  4. PropPosSyntax(属性语法)

目录属性/pfe-为Plogic扩展添加的命令行接口

  1. 属性
  2. 证书属性
  3. 证书服务器
  4. 单线属性
  5. 分析属性
  6. 解析CertAttrs
  7. PfePropCmds(预测属性命令)
  8. PFE_证书

目录属性/语法-Plogic扩展AST的打结递归定义

  1. HasPropStruct结构
  2. 属性语法,PropSyntaxRec公司,属性语法结构

目录属性/TI-Plogic扩展的类型推断

  1. 名称映射PropDecorate
  2. TiProp公司
  3. TiPropDecorate公司
  4. TiPropInstances(TiPropInstance)
  5. TiPropStruct结构

目录属性/转换-Plogic扩展的程序转换

  1. MapDeclMProp地图,MapDeclMPropStruct(映射DeclMPropStruct)
  2. 删除ListCompProp
  3. SimpPatMatchProp
  4. 替代提升,替代PropStruct
  5. ToQC(总质量控制)
2009-01-04