简介
主要的 :: IO（输入输出） () 获取选项 :: IO（输入输出） ( 选项 , [ 文件路径 ]) main选项 :: 选项 -> [ 文件路径 ] -> IO（输入输出） () 主GFI :: 选项 -> [ 文件路径 ] -> IO（输入输出） () 主运行GFI :: 选项 -> [ 文件路径 ] -> IO（输入输出） () 主服务器GFI :: 选项 -> 国际 -> [ 文件路径 ] -> IO（输入输出） 服务器 主GFC :: 选项 -> [ 文件路径 ] -> IO（输入输出） () 链接语法 :: 选项 -> ( UTC时间 , [( 模块名称 , 语法 )]) -> IO（输入输出） () 写入PGF :: 选项 -> 前列腺素F -> IOE公司 () 写入输出 :: 选项 -> 前列腺素F -> IOE公司 () 编译到PGF :: 选项 -> [ 文件路径 ] -> IOE公司 前列腺素F 链接 :: 选项 -> ( 模块名称 , 语法 ) -> IOE公司 前列腺素F 批处理编译 :: 选项 -> [ 文件路径 ] -> IOE公司 ( UTC时间 , ( 模块名称 , 语法 )) srcAbs名称 :: 语法 -> 模块名称 -> 模块名称 并行批处理编译 :: 也许 吧 国际 -> 选项 -> [ 文件路径 ] -> IO（输入输出） ( UTC时间 , [( 模块名称 , 语法 )]) 导出PGF :: 选项 -> 输出格式 -> 前列腺素F -> [( 文件路径 , 字符串 )] 类型 一个输出 = ( 也许 吧 完整路径 , 编译的模块 ) 类型 编译的模块 = 模块 compileOne（编译一） :: ( 输出 米， 错误消息 米， 莫纳迪奥 米， 单数失败 m） => 选项 -> 语法 -> 完整路径 ->米 一个输出 重复使用GFO :: ( 输出 米， 错误消息 米， 莫纳迪奥 米， 单数失败 m） => 选项 -> 语法 -> 完整路径 ->米 一个输出 使用TheSource :: ( 输出 米， 错误消息 米， 莫纳迪奥 米， 单数失败 m） => 选项 -> 语法 -> 完整路径 ->米 一个输出 获取源模块 :: ( 莫纳迪奥 米， 错误消息 m） => 选项 -> 文件路径 ->米( 模块名称 , 模块信息 ) 获取BNFCRules :: 选项 -> 文件路径 -> IOE公司 [BNFC规则] 获取EBNF规则 :: 选项 -> 文件路径 -> IOE公司 [规则] 数据 语法 数据 模块名称 类型 模块 = ( 模块名称 , 模块信息 ) 数据 模块信息 = ModInfo（模式信息） { m类型 :: 模块类型 穆斯塔斯 :: 模块状态 mflags标记 :: 选项 梅克森德 :: [( 模块名称 , M包括 )] m带 :: 也许 吧 ( 模块名称 , M包括 , [( 模块名称 , 模块名称 )]) 莫本斯 :: [ OpenSpec（开放规范） ] mexdeps公司 :: [ 模块名称 ] msrc公司 :: 文件路径 毫秒 :: 也许 吧 ( 阵列 序列Id 顺序 ) jments公司 :: 地图 标识 信息
} 类型 源语法 = 语法 类型 源模式信息 = 模块信息 类型 源模块 = 模块 数据 模块类型 空语法 :: 语法 m语法 :: [ 模块 ] -> 语法 模块 :: 语法 -> [ 模块 ] prepend模块 :: 语法 -> 模块 -> 语法 模块Map :: 语法 -> 地图 模块名称 模块信息 数据 M包括 数据 OpenSpec（开放规范） 延伸 :: 模块信息 -> [ 模块名称 ] 是继承的 :: M包括 -> 标识 -> 布尔 继承全部 :: 模块名称 -> ( 模块名称 , M包括 ) 打开的模块 :: OpenSpec（开放规范） -> 模块名称 所有部门模块 :: 语法 -> 模块信息 -> [ OpenSpec（开放规范） ] 语法部分 :: 语法 -> 模块 -> 语法 depPathModule（depPath模块） :: 模块信息 -> [ OpenSpec（开放规范） ] 所有延伸 :: 语法 -> 模块名称 -> [ 模块 ] 所有ExtendsPlus :: 语法 -> 模块名称 -> [ 模块名称 ] 查找模块 :: 错误消息 m=> 语法 -> 模块名称 ->米 模块信息 是ModAbs :: 模块信息 -> 布尔 是ModRes :: 模块信息 -> 布尔 是ModCnc :: 模块信息 -> 布尔 相同的M类型 :: 模块类型 -> 模块类型 -> 布尔 isCompileable模块 :: 模块信息 -> 布尔 isComplete模块 :: 模块信息 -> 布尔 所有摘要 :: 语法 -> [ 模块名称 ] 最伟大的摘要 :: 语法 -> 也许 吧 模块名称 所有资源 :: 语法 -> [ 模块名称 ] 最大的资源 :: 语法 -> 也许 吧 模块名称 所有混凝土 :: 语法 -> 模块名称 -> [ 模块名称 ] 所有混凝土模块 :: 语法 -> [ 模块名称 ] 混凝土文摘 :: 错误消息 m=> 语法 -> 模块名称 ->米 模块名称 数据 模块状态 数据 信息 = AbsCat公司 ( 也许 吧 ( L（左） 上下文 )) | AbsFun公司 ( 也许 吧 ( L（左） 类型 )) ( 也许 吧 国际 ) ( 也许 吧 [ L（左） 方程式 ]) ( 也许 吧 布尔 ) | 重新参数 ( 也许 吧 ( L（左） [ 参数 ])) ( 也许 吧 [ 期限 ]) | ResValue（ResValue） ( L（左） 类型 ) | ResOper（恢复操作） ( 也许 吧 ( L（左） 类型 )) ( 也许 吧 ( L（左） 期限 )) | 重新过载 [ 模块名称 ] [( L（左） 类型 , L（左） 期限 )] | CncCat公司 ( 也许 吧 ( L（左） 类型 )) ( 也许 吧 ( L（左） 期限 )) ( 也许 吧 ( L（左） 期限 )) ( 也许 吧 ( L（左） 期限 )) ( 也许 吧 PMCFG公司 ) | CncFun公司 ( 也许 吧 ( 标识 , 上下文 , 类型 )) ( 也许 吧 ( L（左） 期限 )) ( 也许 吧 ( L（左） 期限 )) ( 也许 吧 PMCFG公司 ) | 任何Ind 布尔 模块名称
数据 期限 = Vr（沃尔沃） 标识 | 抄送 标识 | 反对的论点 标识 | 排序 标识 | EInt公司 国际 | E漂浮 双精度 | K（K） 字符串 | 清空 | 应用程序 期限 期限 | 防抱死制动系统 绑定类型 标识 期限 | 元 ! 元ID | ImplArg公司 期限 | 生产 绑定类型 标识 期限 期限 | 键入 期限 期限 | 例子 期限 字符串 | RecType（记录类型） [ 标签 ] | R（右） [ 分配 ] | P（P） 期限 标签 | 外部R 期限 期限 | 表 期限 期限 | T型 TInfo信息 [ 案例 ] | V（V） 类型 [ 期限 ] | S公司 期限 期限 | 让 本地定义 期限 | 问 Q齿 | 质量控制 Q齿 | C类 期限 期限 | 胶水 期限 期限 | EPatt公司 帕特 | EPatt类型 期限 | ELincat公司 标识 期限 | ELin公司 标识 期限 | AdHoc过载 [ 期限 ] | FV公司 [ 期限 ] | Alts（备选方案） 期限 [( 期限 , 期限 )] | Strs公司 [ 期限 ] | 错误 字符串
类型 类型 = 期限 类型 猫 = Q齿 类型 有趣 = Q齿 类型 Q齿 = ( 模块名称 , 标识 ) 数据 绑定类型 数据 帕特 数据 TInfo信息 数据 标签 类型 元ID = 国际 类型 海波 = ( 绑定类型 , 标识 , 期限 ) 类型 上下文 = [ 海波 ] 类型 方程式 = ([ 帕特 ], 期限 ) 类型 标签 = ( 标签 , 类型 ) 类型 分配 = ( 标签 , ( 也许 吧 类型 , 期限 )) 类型 案例 = ( 帕特 , 期限 ) 类型 本地定义 = ( 标识 , ( 也许 吧 类型 , 期限 )) 类型 参数 = ( 标识 , 上下文 ) 类型 奥尔滕 = ( 期限 , [( 期限 , 期限 )]) 类型 替代 = [( 标识 , 期限 )] var标签 :: 国际 -> 标签 元组标签 :: 国际 -> 标签 lin标签 :: 国际 -> 标签 Lin标签 :: 标签 标识2标签 :: 标识 -> 标签 标签2ident :: 标签 -> 标识 数据 位置 数据 L（左） 一个= L（左） 位置 一 取消锁定 :: L（左） a->a 无位置 ：：a-> L（左） 一 pp位置 :: 文件路径 -> 位置 -> 文件 ppL（磅/升） :: ( 很漂亮 a1， 很漂亮 a3）=> L（左） a3->a1-> 文件 数据 PMCFG公司 = PMCFG公司 [ 生产 ] ( 阵列 FunId（功能ID） ( U阵列 L索引 序列Id )) 数据 生产 = 生产 ! FId公司 ! FunId（功能ID） [[ FId公司 ]] 类型 FId公司 = 国际 类型 FunId（功能ID） = 国际 类型 序列Id = 国际 类型 L索引 = 国际 类型 顺序 = 阵列 DotPos符号 typeForm（类型窗体） :: 类型 -> ( 上下文 , 猫 , [ 期限 ]) 类型FormCnc :: 类型 -> ( 上下文 , 类型 ) valCat公司 :: 类型 -> 猫 valType（值类型） :: 类型 -> 类型 valTypeCnc :: 类型 -> 类型 类型骨架 :: 类型 -> ([( 国际 , 猫 )], 猫 ) 猫骨架 :: 类型 -> ([ 猫 ], 猫 ) funsTo和From :: 类型 -> ( 猫 , [( 猫 , [ 国际 ])]) 是递归类型 :: 类型 -> 布尔 是高级订单类型 :: 类型 -> 布尔 上下文类型 :: 莫纳德 m=> 类型 ->米 上下文 术语表单 :: 莫纳德 m=> 期限 ->米([( 绑定类型 , 标识 )], 期限 , [ 期限 ]) termFormCnc :: 期限 -> ([( 绑定类型 , 标识 )], 期限 ) 应用程序窗体 :: 期限 -> ( 期限 , [ 期限 ]) mkProd简单 :: 上下文 -> 期限 -> 期限 mkProd公司 :: 上下文 -> 期限 -> [ 期限 ] -> 期限 mk术语 :: ([( 绑定类型 , 标识 )], 期限 , [ 期限 ]) -> 期限 mk应用程序 :: 期限 -> [ 期限 ] -> 期限 mk抗体 :: [( 绑定类型 , 标识 )] -> 期限 -> 期限 应用Cons :: 标识 -> [ 期限 ] -> 期限 mkLet公司 :: [ 本地定义 ] -> 期限 -> 期限 mkLet未键入 :: 上下文 -> 期限 -> 期限 是可变的 :: 期限 -> 布尔 u类型 :: 类型 分配 :: 标签 -> 期限 -> 分配 转让 :: 标签 -> 类型 -> 期限 -> 分配 解压缩 :: [ 分配 ] -> ([ 标签 ], [ 期限 ]) mk分配 :: [( 标签 , 期限 )] -> [ 分配 ] 项目收入 :: 标签 -> [ 分配 ] -> 期限 zip分配 :: [ 标签 ] -> [ 期限 ] -> [ 分配 ] 地图分配 :: 莫纳德 m=>( 期限 ->m c）->[ 分配 ]->米[( 标签 , ( 也许 吧 c、 c））] mk记录N :: 国际 -> ( 国际 -> 标签 ) -> [ 期限 ] -> 期限 mk记录 :: ( 国际 -> 标签 ) -> [ 期限 ] -> 期限 mkRec类型N :: 国际 -> ( 国际 -> 标签 ) -> [ 类型 ] -> 类型 mkRecType（mkRec类型） :: ( 国际 -> 标签 ) -> [ 类型 ] -> 类型 记录2子集 :: 期限 -> 错误 替代 typeType类型 :: 类型 类型PType :: 类型 类型Str :: 类型 键入Tok :: 类型 类型Strs :: 类型 类型字符串 :: 类型 类型浮点 :: 类型 类型Int :: 类型 类型Ints :: 国际 -> 类型 PBool型 :: 类型 类型错误 :: 类型 isTypeInts :: 类型 -> 也许 吧 国际 是PredefConstant :: 期限 -> 布尔 checkPredefError（检查预定义错误） :: 单数失败 m=> 期限 ->米 期限 cnPredef（预测） :: 标识 -> 期限 mk选择 :: 期限 -> [ 期限 ] -> 期限 mk表格 :: [ 期限 ] -> 期限 -> 期限 mkC表格 :: [( 绑定类型 , 标识 )] -> 期限 -> 期限 mkHypo公司 :: 期限 -> 海波 eqStrIdent（等效结构标识） :: 标识 -> 标识 -> 布尔 元组2记录 :: [ 期限 ] -> [ 分配 ] 元组2记录类型 :: [ 期限 ] -> [ 标签 ] 元组2recordPatt :: [ 帕特 ] -> [( 标签 , 帕特 )] mk案例 :: 标识 -> 期限 -> 期限 mk野生案例 :: 期限 -> 期限 mk函数类型 :: [ 类型 ] -> 类型 -> 类型 加接收类型 :: 错误消息 m=> 期限 -> 期限 ->米 期限 plus记录 :: 错误消息 m=> 期限 -> 期限 ->米 期限 defLinType（定义行类型） :: 类型 mk刷新变量 :: [ 标识 ] -> 标识 mk刷新变量X :: [ 标识 ] -> 标识 -> 标识 最大VarIndex :: [ 标识 ] -> 国际 mk刷新变量 :: 国际 -> [ 标识 ] -> [ 标识 ] 刷新AsTerm :: 字符串 -> 期限 字符串2项 :: 字符串 -> 期限 第2学期 :: 国际 -> 期限 浮动2项 :: 双精度 -> 期限 标识2端子 :: 标识 -> 期限 符号OfIdent :: 标识 -> 字符串 西米 :: 标识 -> 字符串 仅IdentOf :: 期限 -> 也许 吧 标识 线型Str :: 类型 linAsStr系列 :: 字符串 -> 期限 第二学期 :: 期限 -> 错误 帕特 patt2项 :: 帕特 -> 期限 合成安全操作 :: ( 期限 -> 期限 ) -> 期限 -> 期限 合成Op :: 莫纳德 m=>( 期限 ->米 期限 ) -> 期限 ->米 期限 合成安全模式操作 :: ( 帕特 -> 帕特 ) -> 帕特 -> 帕特 合成模式操作 :: 莫纳德 m=>( 帕特 ->米 帕特 ) -> 帕特 ->米 帕特 集合Op :: 单体 m=>( 期限 ->m）-> 期限 ->米 mconcat地图 :: 单体 c=>（a->c）->[a]->c 集合模式操作 :: ( 帕特 ->[a]）-> 帕特 ->【a】 重定向术语 :: 模块名称 -> 期限 -> 期限 所有案例值 :: 期限 -> [([ 帕特 ], 期限 )] strsFromTerm字符串 :: 期限 -> 错误 [结构] 获取表格类型 :: TInfo信息 -> 错误 类型 更改表格类型 :: 莫纳德 m=>( 类型 ->米 类型 ) -> TInfo信息 ->米 TInfo信息 单词InTerm :: 期限 -> [ 字符串 ] 不存在 :: 期限 默认LinType :: 类型 分拣接收 :: [( 标签 ，a）]->[( 标签 ，a）] 所有依赖项 :: ( 模块名称 -> 布尔 ) -> 地图 标识 信息 -> [( 标识 , [ 标识 ])] 地形排序 :: 错误消息 m=> 源模块 ->米[( 标识 , 信息 )] 拓扑排序Jments2 :: 错误消息 m=> 源模块 ->米[[( 标识 , 信息 )]] 数据 TermPrintQual（终端打印质量） pp模块 :: TermPrintQual（终端打印质量） -> 源模块 -> 文件 pp判断 :: 很漂亮 a2=> TermPrintQual（终端打印质量） ->（a2， 信息 ) -> 文件 pp参数 :: 很漂亮 a1=> TermPrintQual（终端打印质量） ->[（a1，[（a， 标识 , 期限 )])] -> 文件 pp术语 :: ( 订单 t、， 号码 t） => TermPrintQual（终端打印质量） ->t-> 期限 -> 文件 ppPatt（ppPatt） :: ( 号码 a、， 订单 a） => TermPrintQual（终端打印质量） ->a-> 帕特 -> 文件 pp值 :: TermPrintQual（终端打印质量） -> 国际 ->值-> 文件 ppConstrs公司 ：：约束->[ 文件 ] ppQ凹痕 :: TermPrintQual（终端打印质量） -> Q齿 -> 文件 ppMeta公司 ：：MetaId-> 文件 获取Abs :: 期限 -> ([( 绑定类型 , 标识 )], 期限 ) 新类型 模块名称 = 明尼苏达州 标识 模块名称S :: 字符串 -> 模块名称 数据 标识 标识2utf8 :: 标识 -> 字节字符串 显示Ident :: 标识 -> 字符串 前缀Ident :: 字符串 -> 标识 -> 标识 标识 :: 字符串 -> 标识 标识C :: RawIdent公司 -> 标识 标识W :: 标识 标识V :: RawIdent公司 -> 国际 -> 标识 标识A :: RawIdent公司 -> 国际 -> 标识 识别AV :: RawIdent公司 -> 国际 -> 国际 -> 标识 argIdent参数 :: 国际 -> 标识 -> 国际 -> 标识 是ArgIdent :: 标识 -> 布尔 获取参数索引 :: 标识 -> 也许 吧 国际 变量Str :: 标识 瓦尔克斯 :: 国际 -> 标识 是WildIdent :: 标识 -> 布尔 varIndex变量索引 :: 标识 -> 国际 数据 RawIdent公司 原始标识S :: 字符串 -> RawIdent公司 原始标识C :: 字节字符串 -> RawIdent公司 ident2raw（标识2原始） :: 标识 -> RawIdent公司 前缀RawIdent :: RawIdent公司 -> RawIdent公司 -> RawIdent公司 是前缀 :: RawIdent公司 -> RawIdent公司 -> 布尔 showRawIdent（显示原始标识） :: RawIdent公司 -> 字符串 数据 已标记版本 一 解码模块标题 :: 莫纳迪奥 io=> 文件路径 ->国际奥委会( 已标记版本 模块 ) 解码模块 :: 莫纳迪奥 io=> 文件路径 ->国际奥委会 源模块 编码模块 :: 莫纳迪奥 io=> 文件路径 -> 源模块 ->io（） 语法的 :: 选项 -> 模块名称 -> 语法 -> 语法 摘要2经典 :: 模块名称 -> 语法 -> 摘要 混凝土2标准 :: 选项 -> 模块名称 -> 语法 -> [( 文件路径 , 混凝土 )] 投影 :: LinValue公司 -> 标签Id -> LinValue公司 选择 :: LinValue公司 -> LinValue公司 -> LinValue公司
命令行界面
编译GF语法
编译单个模块
抽象语法、解析、漂亮打印和序列化
语法模块
实例
| | |
| | |
| | |
判决
抽象语法( 防抱死制动系统 ) 资源( 皇家经济学会 ) 具体语法( 数控 )