gf-3.11：语法框架
稳定性临时的
安全哈斯克尔无
语言哈斯克尔2010

GF.语法。标准

描述

规范GF语法的抽象语法，即后面剩下的语法高级结构，如函子和运算符已被删除通过部分评估。这是一种常见的中间体表示，以简化导出到其他格式。

剧情简介

文档

数据 语法 来源 #

完整的语法

建造师

语法 摘要[混凝土] 

实例

实例详细信息
显示 语法 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->语法->显示 #

显示::语法->字符串 #

showList（显示列表）:: [语法] ->显示 #

JSON格式 语法 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JS值->结果 语法 #

显示JSON::语法->JSValue公司 #

读取JSON::JSValue公司->结果[语法]#

显示JSON:: [语法] ->JSValue公司 #

很漂亮 语法 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::语法->文件 来源 #

pp列表:: [语法] ->文件 来源 #

抽象语法

数据 摘要 来源 #

抽象语法

建造师

摘要 型号Id 旗帜[CatDef（CatDef）] [功能定义] 

实例

实例详细信息
显示 摘要 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->摘要->显示 #

显示::摘要->字符串 #

showList（显示列表）:: [摘要] ->显示 #

JSON格式 摘要 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 摘要 #

显示JSON::摘要->JSValue公司 #

读取JSON::JSValue公司->结果[摘要]#

显示JSON:: [摘要] ->JSValue公司 #

很漂亮 摘要 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::摘要->文件 来源 #

pp列表:: [摘要] ->文件 来源 #

抽象名称::摘要->型号Id 来源 #

数据 CatDef（CatDef） 来源 #

建造师

CatDef（CatDef） 类别Id[类别Id] 

实例

实例详细信息
显示 CatDef（CatDef） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->CatDef（CatDef）->显示 #

显示::CatDef（CatDef）->字符串 #

showList（显示列表）:: [CatDef公司] ->显示S #

JSON格式 CatDef（CatDef） 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 CatDef（CatDef） #

显示JSON::CatDef（CatDef）->JSValue公司 #

读取JSON::JSValue公司->结果[CatDef（CatDef）]#

显示JSON:: [CatDef（CatDef）] ->JSValue公司 #

很漂亮 CatDef（CatDef） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::CatDef（CatDef）->文件 来源 #

pp列表:: [CatDef（CatDef）] ->文件 来源 #

数据 FunDef（功能定义） 来源 #

建造师

FunDef（功能定义） FunId（功能ID） 类型 

实例

实例详细信息
显示 FunDef（功能定义） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->FunDef（功能定义）->显示 #

显示::FunDef（功能定义）->字符串 #

showList（显示列表）:: [FunDef（功能定义）] ->显示 #

JSON格式 FunDef（功能定义） 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 FunDef（功能定义） #

显示JSON::FunDef（功能定义）->JSValue公司 #

读取JSON::JSValue公司->结果[FunDef（功能定义）]#

显示JSON:: [FunDef（功能定义）] ->JSValue公司 #

很漂亮 FunDef（功能定义） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::FunDef（功能定义）->文件 来源 #

pp列表:: [FunDef（功能定义）] ->文件 来源 #

数据 类型 来源 #

施工人员

类型[类型绑定]类型应用程序 

实例

实例详细信息
显示 类型 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->类型->显示 #

显示::类型->字符串 #

showList（显示列表）:: [类型] ->显示 #

JSON格式 类型 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 类型 #

显示JSON::类型->JSValue公司 #

读取JSON::JSValue公司->结果[类型]#

显示JSON:: [类型] ->JSValue公司 #

很漂亮 类型 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::类型->文件 来源 #

pp列表:: [类型] ->文件 来源 #

购电协议 类型 来源 # 
实例详细信息

定义于GF.语法。标准

方法

ppA（磅/平方英寸）::类型->文件 来源 #

数据 类型应用程序 来源 #

建造师

类型应用程序 类别Id[类型] 

实例

实例详细信息
显示 类型应用程序 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->类型应用程序->显示S #

显示::类型应用程序->字符串 #

showList（显示列表）:: [类型应用程序] ->显示 #

JSON格式 类型应用程序 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 类型应用程序 #

显示JSON::类型应用程序->JSValue公司 #

读取JSON::JSValue公司->结果[类型应用程序]#

显示JSON:: [类型应用程序] ->JS值 #

很漂亮 类型应用程序 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::类型应用程序->文件 来源 #

pp列表:: [类型应用程序] ->文件 来源 #

数据 类型绑定 来源 #

建造师

类型绑定 变量Id 类型 

实例

实例详细信息
显示 类型绑定 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->类型绑定->显示 #

显示::类型绑定->字符串 #

showList（显示列表）:: [类型绑定] ->显示 #

JSON格式 类型绑定 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 类型绑定 #

显示JSON::类型绑定->JSValue公司 #

读取JSON::JSValue公司->结果[类型绑定]#

显示JSON:: [类型绑定] ->JSValue公司 #

很漂亮 类型绑定 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::类型绑定->文件 来源 #

ppList（应用程序列表）:: [类型绑定] ->文件 来源 #

Concreate语法

数据 混凝土 来源 #

具体语法

建造师

混凝土 型号Id 型号Id 旗帜[参数定义] [LincatDef（链接定义）] [林德夫] 

实例

实例详细信息
显示 混凝土 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->混凝土->显示 #

显示::混凝土->字符串 #

showList（显示列表）:: [混凝土] ->显示 #

JSON格式 混凝土 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 混凝土 #

显示JSON::混凝土->JSValue公司 #

读取JSON::JSValue公司->结果[混凝土]#

显示JSON:: [混凝土] ->JSValue公司 #

很漂亮 混凝土 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::混凝土->文件 来源 #

ppList（应用程序列表）:: [混凝土] ->文件 来源 #

conc名称::混凝土->型号Id 来源 #

数据 参数定义 来源 #

建造师

参数定义 参数Id[参数值定义] 
参数别名定义 参数Id LinType（线型） 

实例

实例详细信息
显示 参数定义 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->参数定义->显示 #

显示::参数定义->字符串 #

showList（显示列表）:: [参数定义] ->显示S #

JSON格式 参数定义 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 参数定义 #

显示JSON::参数定义->JSValue公司 #

读取JSON::JSValue公司->结果[参数定义]#

显示JSON:: [参数定义] ->JSValue公司 #

很漂亮 参数定义 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::参数定义->文件 来源 #

pp列表:: [参数定义] ->文件 来源 #

数据 LincatDef（链接定义） 来源 #

建造师

LincatDef（链接定义） 类别Id LinType（线型） 

实例

实例详细信息
显示 LincatDef（链接定义） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->LincatDef（链接定义）->显示 #

显示::LincatDef（链接定义）->字符串 #

showList（显示列表）:: [LincatDef（链接定义）] ->显示 #

JSON格式 LincatDef（链接定义） 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 LincatDef（链接定义） #

显示JSON::LincatDef（链接定义）->JSValue公司 #

读取JSON::JSValue公司->结果[LincatDef（链接定义）]#

显示JSON:: [LincatDef（链接定义）] ->JSValue公司 #

很漂亮 LincatDef（链接定义） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::LincatDef（链接定义）->文件 来源 #

pp列表:: [LincatDef（链接定义）] ->文件 来源 #

数据 LinDef公司 来源 #

施工人员

LinDef公司 FunId（功能ID）[变量Id]LinValue公司 

实例

实例详细信息
显示 林德夫 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->林德夫->显示 #

显示::林德夫->字符串 #

showList（显示列表）:: [林德夫] ->显示 #

JSON格式 林德夫 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 LinDef公司 #

显示JSON::林德夫->JSValue公司 #

读取JSON::JSValue公司->结果[林德夫]#

显示JSON:: [林德夫] ->JSValue公司 #

很漂亮 林德夫 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::林德夫->文件 来源 #

pp列表:: [林德夫] ->文件 来源 #

数据 LinType（线型） 来源 #

线性化类型，RHS林肯猫

建造师

浮动类型 
IntType（国际类型） 
参数类型 参数类型 
记录类型[记录行类型] 
结构类型 
表格类型 LinType（线型） LinType（线型） 
TupleType（TupleType）[LinType（线型）] 

实例

实例详细信息
等式 LinType（线型） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

(==)::LinType（线型）->LinType（线型）->布尔 #

(/=)::LinType（线型）->LinType（线型）->布尔 #

订单 LinType（线型） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

比较::LinType（线型）->林类型->订购 #

（<）::LinType（线型）->LinType（线型）->布尔 #

(<=)::LinType（线型）->LinType（线型）->布尔 #

(>)::LinType（线型）->LinType（线型）->布尔 #

(>=)::LinType（线型）->LinType（线型）->布尔 #

最大值::LinType（线型）->LinType（线型）->LinType（线型） #

最小值::LinType（线型）->林类型->LinType（线型） #

显示 LinType（线型） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->LinType（线型）->显示 #

显示::LinType（线型）->字符串 #

showList（显示列表）:: [LinType（线型）] ->显示 #

JSON格式 LinType（线型） 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 LinType（线型） #

显示JSON::LinType（线型）->JS值 #

读取JSON::JSValue公司->结果[LinType（线型）]#

显示JSON:: [LinType（线型）] ->JSValue公司 #

很漂亮 LinType（线型） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::LinType（线型）->文件 来源 #

pp列表:: [LinType（线型）] ->文件 来源 #

Rhs分离器 LinType（线型） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

rhs步骤::LinType（线型）->文件 来源 #

新类型 参数类型 来源 #

施工人员

参数类型Id 参数Id 

实例

实例详细信息
等式 参数类型 来源 # 
实例详细信息

定义于GF.语法。标准

方法

(==)::参数类型->参数类型->布尔 #

(/=)::参数类型->参数类型->布尔 #

订单 参数类型 来源 # 
实例详细信息

定义于GF.语法。标准

方法

比较::参数类型->参数类型->订购 #

(<)::参数类型->参数类型->布尔 #

（<=）::参数类型->参数类型->布尔 #

(>)::参数类型->参数类型->布尔 #

(>=)::参数类型->参数类型->布尔 #

最大值::参数类型->参数类型->参数类型 #

最小值::参数类型->参数类型->参数类型 #

显示 参数类型 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示录制::国际->参数类型->显示 #

显示::参数类型->字符串 #

showList（显示列表）:: [参数类型] ->显示 #

JSON格式 参数类型 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 参数类型 #

显示JSON::参数类型->JSValue公司 #

读取JSON::JSValue公司->结果[参数类型]#

显示JSON:: [参数类型] ->JSValue公司 #

很漂亮 参数类型 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::参数类型->文件 来源 #

pp列表:: [参数类型] ->文件 来源 #

数据 LinValue公司 来源 #

线性化值，RHS林

建造师

ConcatValue公司 LinValue公司 LinValue公司 
文字值 LinLiteral（线性文字） 
错误值 字符串 
参数常量 参数值 
预定义值 预定义ID 
记录值[记录行值] 
表格值 LinType（线型）[表格行值] 
TupleValue公司[LinValue公司] 
变量值[LinValue公司] 
变量值 变量值Id 
PreValue（预取值）[([字符串],LinValue公司)]LinValue公司 
投影 LinValue公司 标签Id 
选择 LinValue公司 LinValue公司 
注释值 字符串 LinValue公司 

实例

实例详细信息
等式 LinValue公司 来源 # 
实例详细信息

定义于GF.语法。标准

方法

(==)::LinValue公司->LinValue公司->布尔 #

(/=)::LinValue公司->LinValue公司->布尔 #

订单 LinValue公司 来源 # 
实例详细信息

定义于GF.语法。标准

方法

比较::LinValue公司->LinValue公司->订购 #

(<)::LinValue公司->LinValue公司->布尔 #

(<=)::LinValue公司->LinValue公司->布尔 #

(>)::LinValue公司->LinValue公司->布尔 #

(>=)::LinValue公司->LinValue公司->布尔 #

最大值::LinValue公司->LinValue公司->LinValue公司 #

最小值::LinValue公司->LinValue公司->LinValue公司 #

显示 LinValue公司 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->LinValue公司->显示 #

显示::LinValue公司->字符串 #

showList（显示列表）:: [LinValue公司] ->显示S #

JSON格式 LinValue公司 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 LinValue公司 #

显示JSON::LinValue公司->JSValue公司 #

读取JSON::JSValue公司->结果[LinValue公司]#

显示JSON:: [LinValue公司] ->JSValue公司 #

很漂亮 LinValue公司 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::LinValue公司->文件 来源 #

pp列表:: [LinValue公司] ->文件 来源 #

Rhs分离器 LinValue公司 来源 # 
实例详细信息

定义于GF.语法。标准

方法

rhs步骤::LinValue公司->文件 来源 #

购电协议 LinValue公司 来源 # 
实例详细信息

定义于GF.语法。标准

方法

ppA（磅/平方英寸）::LinValue公司->文件 来源 #

数据 LinLiteral（线性文字） 来源 #

建造师

浮动常数 浮子 
IntConstant（整数常量） 国际 
StrConstant公司 字符串 

实例

实例详细信息
等式 LinLiteral（线性文字） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

(==)::LinLiteral（线性文字）->LinLiteral语言->布尔 #

(/=)::LinLiteral（线性文字）->LinLiteral（线性文字）->布尔 #

订单 LinLiteral（线性文字） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

比较::LinLiteral（线性文字）->LinLiteral（线性文字）->订购 #

(<)::LinLiteral（线性文字）->LinLiteral（线性文字）->布尔 #

(<=)::LinLiteral（线性文字）->LinLiteral（线性文字）->布尔 #

(>)::LinLiteral（线性文字）->LinLiteral（线性文字）->布尔 #

（>=）::LinLiteral（线性文字）->LinLiteral（线性文字）->布尔 #

最大值::LinLiteral（线性文字）->LinLiteral（线性文字）->LinLiteral（线性文字） #

最小值::LinLiteral（线性文字）->LinLiteral（线性文字）->LinLiteral（线性文字） #

显示 LinLiteral（线性文字） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->LinLiteral（线性文字）->显示 #

显示::LinLiteral（线性文字）->字符串 #

showList（显示列表）:: [LinLiteral（线性文字）] ->显示 #

JSON格式 LinLiteral语言 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 LinLiteral（线性文字） #

显示JSON::LinLiteral（线性文字）->JSValue公司 #

读取JSON::JSValue公司->结果[LinLiteral（线性文字）]#

显示JSON:: [LinLiteral（线性文字）] ->JSValue公司 #

很漂亮 LinLiteral（线性文字） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::LinLiteral语言->文件 来源 #

ppList（应用程序列表）:: [LinLiteral（线性文字）] ->文件 来源 #

购电协议 LinLiteral（线性文字） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

ppA（磅/平方英寸）::LinLiteral（线性文字）->文件 来源 #

数据 LinPattern（线型图案） 来源 #

建造师

参数模式 参数模式 
记录模式[记录行 LinPattern（线型图案）] 
TuplePattern模式[LinPattern（线型图案）] 
WildPattern（野生模式） 

实例

实例详细信息
等式 LinPattern（线型图案） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

(==)::LinPattern（线型图案）->LinPattern（线型图案）->布尔 #

（/=）::LinPattern（线型图案）->LinPattern（线型图案）->布尔 #

订单 LinPattern（线型图案） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

比较::LinPattern（线型图案）->LinPattern（线型图案）->订购 #

(<)::LinPattern（线型图案）->LinPattern（线型图案）->布尔 #

(<=)::LinPattern（线型图案）->LinPattern（线型图案）->布尔 #

(>)::LinPattern（线型图案）->LinPattern（线型图案）->布尔 #

（>=）::Lin图案->LinPattern（线型图案）->布尔 #

最大值::LinPattern（线型图案）->LinPattern（线型图案）->LinPattern（线型图案） #

最小值::LinPattern（线型图案）->LinPattern（线型图案）->LinPattern（线型图案） #

显示 LinPattern（线型图案） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->LinPattern（线型图案）->显示 #

显示::LinPattern（线型图案）->字符串 #

showList（显示列表）:: [LinPattern（线型图案）] ->显示 #

JSON格式 Lin图案 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 LinPattern（线型图案） #

显示JSON::LinPattern（线型图案）->JSValue公司 #

读取JSON::JSValue公司->结果[LinPattern（线型图案）]#

显示JSON:: [LinPattern（线型图案）] ->JSValue公司 #

很漂亮 LinPattern（线型图案） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::LinPattern（线型图案）->文件 来源 #

ppList（应用程序列表）:: [Lin图案] ->文件 来源 #

Rhs分离器 LinPattern（线型图案） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

rhs步骤::LinPattern（线型图案）->文件 来源 #

购电协议 LinPattern（线型图案） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

ppA（磅/平方英寸）::LinPattern（线型图案）->文件 来源 #

类型 参数值=参数 LinValue公司 来源 #

类型 参数模式=参数 LinPattern（线型图案） 来源 #

类型 参数值定义=参数 参数Id 来源 #

数据 参数参数来源 #

建造师

参数 参数Id[参数] 

实例

实例详细信息
Functor（仿真器） 参数 来源 # 
实例详细信息

定义于GF.语法。标准

方法

功能性维修计划：：（a->b）->参数a->参数b#

（<$）：：a->参数b->参数一#

可折叠的 参数 来源 # 
实例详细信息

定义于GF.语法。标准

方法

折叠::单体m=>参数米->米#

foldMap（折叠地图）::单体m=>（a->m）->参数a->米#

foldMap'::单体m=>（a->m）->参数a->米#

文件夹：：（a->b->b）->b->参数a->b#

foldr（折叠）：：（a->b->b）->b->参数a->b#

折叠：：（b->a->b）->b->参数a->b#

foldl（折叠）：：（b->a->b）->b->参数a->b#

文件夹1：：（a->a->a）->参数a->a#

文件夹1：：（a->a->a）->参数a->a#

到列表::参数a->[a]#

无效的::参数a->布尔 #

长度::参数a->国际 #

元素::等式a=>a->参数a->布尔 #

最大限度::订单a=>参数a->a#

最低限度::订单a=>参数a->a#

总和::号码a=>参数a->a#

产品::号码a=>参数a->a#

可穿越的 参数 来源 # 
实例详细信息

定义于GF.语法。标准

方法

导线::适用的f=>（a->fb）->参数a->f(参数b）#

序列A::适用的f=>参数（f a）->f(参数a）#

地图M::莫纳德m=>（a->m b）->参数a->米(参数b）#

序列::莫纳德m=>参数（毫安）->米(参数a）#

等式参数=>等式(参数参数） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

(==)::参数参数->参数参数->布尔 #

(/=)::参数参数->参数参数->布尔 #

订单参数=>订单(参数参数） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

比较::参数参数->参数参数->订购 #

(<)::参数参数->参数参数->布尔 #

(<=)::参数参数->参数参数->布尔 #

(>)::参数参数->参数参数->布尔 #

(>=)::参数参数->参数参数->布尔 #

最大值::参数参数->参数参数->参数参数#

最小值::参数参数->参数参数->参数参数#

显示参数=>显示(参数参数） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->参数参数->显示 #

显示::参数参数->字符串 #

showList（显示列表）:: [参数参数]->显示 #

JSON格式参数=>JSON格式(参数参数） 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果(参数arg）#

显示JSON::参数参数->JSValue公司 #

读取JSON::JSValue公司->结果[参数参数]#

显示JSON:: [参数参数]->JSValue公司 #

购电协议参数=>很漂亮(参数参数） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::参数参数->文件 来源 #

pp列表:: [参数参数]->文件 来源 #

购电协议参数=>购电协议(参数arg） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

ppA（磅/平方英寸）::参数参数->文件 来源 #

类型 记录行类型=记录行 LinType（线型） 来源 #

类型 记录行值=记录行 LinValue公司 来源 #

类型 表格行值=表格行 LinValue公司 来源 #

数据 记录行相对湿度来源 #

建造师

记录行 标签Id相对湿度 

实例

实例详细信息
Functor（仿真器） 记录行 来源 # 
实例详细信息

定义于GF.语法。标准

方法

功能性维修计划：：（a->b）->记录行a->记录行b#

（<$）：：a->记录行b->记录行一#

可折叠的 记录行 来源 # 
实例详细信息

定义于GF.语法。标准

方法

折叠::单体m=>记录行米->米#

foldMap（折叠地图）::单体m=>（a->m）->记录行a->米#

foldMap'::单体m=>（a->m）->记录行a->米#

文件夹：：（a->b->b）->b->记录行a->b#

foldr（折叠）：：（a->b->b）->b->记录行a->b#

折叠：：（b->a->b）->b->记录行a->b#

折叠：：（b->a->b）->b->记录行a->b#

文件夹1：：（a->a->a）->记录行a->a#

文件夹1：：（a->a->a）->记录行a->a#

到列表::记录行a->[a]#

无效的::记录行a->布尔 #

长度::记录行a->国际 #

元素::等式a=>a->记录行a->布尔 #

最大限度::订单a=>记录行a->a#

最低限度::订单a=>记录行a->a#

总和::号码a=>记录行a->a#

产品::号码a=>记录行a->a#

可穿越的 记录行 来源 # 
实例详细信息

定义于GF.语法。标准

方法

导线::适用的f=>（a->fb）->记录行a->f(记录行b）#

序列A::适用的f=>记录行（f a）->f(记录行a）#

地图M::莫纳德m=>（a->m b）->记录行a->米(记录行b）#

序列::莫纳德m=>记录行（毫安）->米(记录行a）#

等式rhs=>等式(记录行相对湿度） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

(==)::记录行相对湿度->记录行相对湿度->布尔 #

(/=)::记录行相对湿度->记录行相对湿度->布尔 #

订单相对湿度=>订单(记录行相对湿度） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

比较::记录行相对湿度->记录行相对湿度->订购 #

(<)::记录行重组人血清->记录行相对湿度->布尔 #

(<=)::记录行相对湿度->记录行相对湿度->布尔 #

(>)::记录行相对湿度->记录行相对湿度->布尔 #

(>=)::记录行相对湿度->记录行相对湿度->布尔 #

最大值::记录行相对湿度->记录行重组人血清->记录行相对湿度#

最小值::记录行相对湿度->记录行相对湿度->记录行相对湿度#

显示相对湿度=>显示(记录行相对湿度） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->记录行相对湿度->显示 #

显示::记录行相对湿度->字符串 #

showList（显示列表）:: [记录行相对湿度]->显示 #

JSON格式a=>JSON格式(记录行a） 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果(记录行a）#

显示JSON::记录行a->JSValue公司 #

读取JSON::JSValue公司->结果[记录行【a】#

显示JSON:: [记录行a] ->JSValue公司 #

Rhs分离器相对湿度=>很漂亮(记录行rhs） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::记录行相对湿度->文件 来源 #

pp列表:: [记录行相对湿度]->文件 来源 #

数据 表格行相对湿度来源 #

建造师

表格行 LinPattern（线型图案）相对湿度 

实例

实例详细信息
Functor（仿真器） 表格行 来源 # 
实例详细信息

定义于GF.语法。标准

方法

功能性维修计划：：（a->b）->表格行a->表格行b#

（<$）：：a->表格行b->表格行一#

可折叠的 表格行 来源 # 
实例详细信息

定义于GF.语法。标准

方法

折叠::单体m=>表格行米->米#

foldMap（折叠地图）::单体m=>（a->m）->表格行a->米#

文件夹映射'::单体m=>（a->m）->表格行a->米#

文件夹：：（a->b->b）->b->表格行a->b#

foldr（折叠）：：（a->b->b）->b->表格行a->b#

折叠：：（b->a->b）->b->表格行a->b#

foldl（折叠）：：（b->a->b）->b->表格行a->b#

文件夹1：：（a->a->a）->表格行a->a#

文件夹1：：（a->a->a）->表格行a->a#

到列表::表格行a->[a]#

无效的::表格行a->布尔 #

长度::表格行a->国际 #

元素::等式a=>a->表格行a->布尔 #

最大限度::订单a=>表格行a->a#

最低限度::订单a=>表格行a->a#

总和::号码a=>表格行a->a#

产品::号码a=>表格行a->a#

可穿越的 表格行 来源 # 
实例详细信息

定义于GF.语法。标准

方法

导线::适用的f=>（a->fb）->表格行a->f(表格行b）#

序列A::适用的f=>表格行（f a）->f(表格行a）#

地图M::莫纳德m=>（a->m b）->表格行a->米(表格行b）#

序列::莫纳德m=>表格行（毫安）->米(表格行a）#

等式相对湿度=>等式(表格行相对湿度） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

（==）::表格行相对湿度->表格行相对湿度->布尔 #

(/=)::表格行相对湿度->表格行相对湿度->布尔 #

订单相对湿度=>订单(表格行相对湿度） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

比较::表格行相对湿度->表格行相对湿度->订购 #

(<)::表格行相对湿度->表格行相对湿度->布尔 #

(<=)::表格行相对湿度->表格行相对湿度->布尔 #

（>）::表格行重组人血清->表格行相对湿度->布尔 #

(>=)::表格行相对湿度->表格行相对湿度->布尔 #

最大值::表格行相对湿度->表格行相对湿度->表格行相对湿度#

最小值::表格行相对湿度->表格行相对湿度->表格行相对湿度#

显示相对湿度=>显示(表格行相对湿度） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->表格行相对湿度->显示 #

显示::表格行重组人血清->字符串 #

显示列表:: [表格行相对湿度]->显示 #

JSON格式相对湿度=>JSON格式(表格行相对湿度） 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果(表格行相对湿度）#

显示JSON::表格行相对湿度->JSValue公司 #

读取JSON::JSValue公司->结果[表格行相对湿度]#

显示JSON:: [表格行相对湿度]->JS值 #

很漂亮相对湿度=>很漂亮(表格行相对湿度） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::表格行相对湿度->文件 来源 #

pp列表:: [表格行相对湿度]->文件 来源 #

具体语法中的标识符

新类型 预定义ID 来源 #

建造师

预定义ID 身份证件 

实例

实例详细信息
等式 预定义ID 来源 # 
实例详细信息

定义于GF.语法。标准

方法

(==)::预定义ID->预定义ID->布尔 #

(/=)::预定义ID->预定义ID->布尔 #

订单 预定义ID 来源 # 
实例详细信息

定义于GF.语法。标准

方法

比较::预定义ID->预定义ID->订购 #

(<)::预定义ID->预定义ID->布尔 #

(<=)::预定义ID->预定义ID->布尔 #

(>)::预定义ID->预定义ID->布尔 #

(>=)::预定义ID->预定义ID->布尔 #

最大值::预定义ID->预定义ID->预定义ID #

最小值::预定义ID->预定义ID->预定义ID #

显示 预定义ID 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->预定义ID->显示 #

显示::预定义ID->字符串 #

showList（显示列表）:: [预定义ID] ->显示 #

JSON格式 预定义ID 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JS值->结果 预定义ID #

显示JSON::预定义ID->JSValue公司 #

读取JSON::JSValue公司->结果[预定义ID]#

显示JSON:: [预定义ID] ->JSValue公司 #

很漂亮 预定义ID 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::预定义ID->文件 来源 #

pp列表:: [预定义ID] ->文件 来源 #

购电协议 预定义ID 来源 # 
实例详细信息

定义于GF.语法。标准

方法

ppA（磅/平方英寸）::预定义ID->文件 来源 #

新类型 标签Id 来源 #

建造师

标签Id 身份证件 

实例

实例详细信息
等式 标签Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

(==)::标签Id->标签Id->布尔 #

(/=)::标签Id->标签Id->布尔 #

订单 标签Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

比较::标签Id->标签Id->订购 #

（<）::标签Id->标签Id->布尔 #

(<=)::标签Id->标签Id->布尔 #

(>)::标签Id->标签Id->布尔 #

(>=)::标签Id->标签Id->布尔 #

最大值::标签Id->标签Id->标签Id #

最小值::标签Id->标签Id->标签Id #

显示 标签Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->标签Id->显示 #

显示::标签Id->字符串 #

showList（显示列表）:: [标签Id] ->显示 #

JSON格式 标签Id 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 标签Id #

显示JSON::标签Id->JSValue公司 #

读取JSON::JSValue公司->结果[标签Id]#

显示JSON:: [标签Id] ->JSValue公司 #

很漂亮 标签Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::标签Id->文件 来源 #

pp列表:: [标签Id] ->文件 来源 #

数据 变量值Id 来源 #

建造师

变量值Id 资格ID 

实例

实例详细信息
等式 变量值Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

(==)::变量值Id->变量值Id->布尔 #

(/=)::变量值Id->变量值Id->布尔 #

订单 变量值Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

比较::变量值Id->变量值Id->订购 #

(<)::变量值Id->变量值Id->布尔 #

(<=)::变量值Id->变量值Id->布尔 #

(>)::变量值Id->变量值Id->布尔 #

（>=）::变量值Id->变量值Id->布尔 #

最大值::变量值Id->变量值Id->变量值Id #

最小值::变量值Id->变量值Id->变量值Id #

显示 变量值Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->变量值Id->显示 #

显示::变量值Id->字符串 #

showList（显示列表）:: [变量值Id] ->显示 #

JSON格式 变量值Id 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 变量值Id #

显示JSON::变量值Id->JSValue公司 #

读取JSON::JSValue公司->结果[变量值Id]#

显示JSON:: [变量值Id] ->JSValue公司 #

很漂亮 变量值Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::变量值Id->文件 来源 #

ppList（应用程序列表）:: [变量值Id] ->文件 来源 #

新类型 参数Id 来源 #

参数类型或参数值的名称

建造师

参数Id 资格ID 

实例

实例详细信息
等式 参数Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

(==)::参数Id->参数Id->布尔 #

(/=)::参数Id->参数Id->布尔 #

订单 参数Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

比较::参数Id->参数Id->订购 #

（<）::参数Id->参数Id->布尔 #

(<=)::参数Id->参数Id->布尔 #

(>)::参数Id->参数Id->布尔 #

(>=)::参数Id->参数Id->布尔 #

最大值::参数Id->参数Id->参数Id #

最小值::参数Id->参数Id->参数Id #

显示 参数Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->参数Id->显示 #

显示::参数Id->字符串 #

showList（显示列表）:: [参数Id] ->显示 #

JSON格式 参数Id 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 参数Id #

显示JSON::参数Id->JSValue公司 #

读取JSON::JSValue公司->结果[参数Id]#

显示JSON:: [参数Id] ->JSValue公司 #

很漂亮 参数Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::参数Id->文件 来源 #

pp列表:: [参数Id] ->文件 来源 #

购电协议 参数Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

ppA（磅/平方英寸）::参数Id->文件 来源 #

用于抽象和具体句法

新类型 型号Id 来源 #

建造师

模式Id 身份证件 

实例

实例详细信息
等式 型号Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

(==)::型号Id->型号Id->布尔 #

(/=)::型号Id->型号Id->布尔 #

订单 型号Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

比较::型号Id->型号Id->订购 #

(<)::型号Id->型号Id->布尔 #

(<=)::型号Id->模式Id->布尔 #

(>)::型号Id->型号Id->布尔 #

(>=)::型号Id->型号Id->布尔 #

最大值::型号Id->型号Id->型号Id #

最小值::型号Id->型号Id->型号Id #

显示 型号Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->型号Id->显示S #

显示::型号Id->字符串 #

showList（显示列表）:: [型号Id] ->显示 #

JSON格式 型号Id 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 型号Id #

显示JSON::型号Id->JSValue公司 #

读取JSON::JSValue公司->结果[型号Id]#

显示JSON:: [型号Id] ->JS值 #

很漂亮 型号Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::型号Id->文件 来源 #

pp列表:: [型号Id] ->文件 来源 #

新类型 类别Id 来源 #

建造师

类别Id 身份证件 

实例

实例详细信息
等式 类别Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

(==)::类别Id->类别Id->布尔 #

(/=)::类别Id->类别Id->布尔 #

订单 类别Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

比较::类别Id->类别Id->订购 #

(<)::类别Id->类别Id->布尔 #

(<=)::类别Id->类别Id->布尔 #

(>)::类别Id->类别Id->布尔 #

(>=)::类别Id->类别Id->布尔 #

最大值::类别Id->类别Id->类别Id #

最小值::类别Id->类别Id->类别Id #

显示 类别Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->类别Id->显示 #

显示::类别Id->字符串 #

showList（显示列表）:: [类别Id] ->显示S #

JSON格式 类别Id 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 类别Id #

显示JSON::类别Id->JSValue公司 #

读取JSON::JSValue公司->结果[类别Id]#

显示JSON:: [类别Id] ->JSValue公司 #

很漂亮 类别Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::类别Id->文件 来源 #

pp列表:: [类别Id] ->文件 来源 #

新类型 FunId（功能ID） 来源 #

建造师

FunId（功能ID） 身份证件 

实例

实例详细信息
等式 功能ID 来源 # 
实例详细信息

定义于GF.语法。标准

方法

(==)::FunId（功能ID）->FunId（功能ID）->布尔 #

(/=)::FunId（功能ID）->FunId（功能ID）->布尔 #

显示 FunId（功能ID） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->FunId（功能ID）->显示 #

显示::FunId（功能ID）->字符串 #

showList（显示列表）:: [FunId（功能ID）] ->显示 #

JSON格式 FunId（功能ID） 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 FunId（功能ID） #

显示JSON::FunId（功能ID）->JSValue公司 #

读取JSON::JSValue公司->结果[FunId（功能ID）]#

显示JSON:: [FunId（功能ID）] ->JSValue公司 #

很漂亮 FunId（功能ID） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::FunId（功能ID）->文件 来源 #

pp列表:: [功能ID] ->文件 来源 #

数据 变量Id 来源 #

建造师

匿名 
变量Id 身份证件 

实例

实例详细信息
显示 变量Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->变量Id->显示 #

显示::变量Id->字符串 #

showList（显示列表）:: [变量Id] ->显示 #

JSON格式 变量Id 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 变量Id #

显示JSON::变量Id->JSValue公司 #

读取JSON::JSValue公司->结果[变量Id]#

显示JSON:: [变量Id] ->JSValue公司 #

很漂亮 变量Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::变量Id->文件 来源 #

pp列表:: [变量Id] ->文件 来源 #

新类型 旗帜 来源 #

建造师

旗帜[(标志名称,标志值)] 

实例

实例详细信息
显示 旗帜 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->旗帜->显示 #

显示::旗帜->字符串 #

showList（显示列表）:: [旗帜] ->显示 #

JSON格式 旗帜 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 旗帜 #

显示JSON::旗帜->JSValue公司 #

读取JSON::JSValue公司->结果[旗帜]#

显示JSON:: [旗帜] ->JS值 #

很漂亮 旗帜 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::旗帜->文件 来源 #

pp列表:: [旗帜] ->文件 来源 #

类型 标志名称=身份证件 来源 #

数据 标志值 来源 #

建造师

Str公司 字符串 
国际 国际 
飞行高度 双精度 

实例

实例详细信息
显示 标志值 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->标志值->显示 #

显示::标志值->字符串 #

showList（显示列表）:: [标志值] ->显示 #

JSON格式 标志值 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 标志值 #

显示JSON::标志值->JSValue公司 #

读取JSON::JSValue公司->结果[标志值]#

显示JSON:: [标志值] ->JSValue公司 #

很漂亮 标志值 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::标志值->文件 来源 #

pp列表:: [标志值] ->文件 来源 #

标识符

类型 身份证件=RawIdent公司 来源 #

数据 质量ID 来源 #

建造师

Qual公司 型号Id 身份证件 
不相等 身份证件 

实例

实例详细信息
等式 资格ID 来源 # 
实例详细信息

定义于GF.语法。标准

方法

(==)::资格ID->资格ID->布尔 #

(/=)::资格ID->资格ID->布尔 #

订单 资格ID 来源 # 
实例详细信息

定义于GF.语法。标准

方法

比较::资格ID->资格ID->订购 #

(<)::资格ID->质量ID->布尔 #

(<=)::资格ID->资格ID->布尔 #

(>)::资格ID->资格ID->布尔 #

(>=)::资格ID->资格ID->布尔 #

最大值::资格ID->资格ID->资格ID #

最小值::资格ID->资格ID->资格ID #

显示 质量ID 来源 # 
实例详细信息

定义于GF.语法。标准

方法

显示Prec::国际->资格ID->显示 #

显示::资格ID->字符串 #

showList（显示列表）:: [资格ID] ->显示 #

JSON格式 资格ID 来源 # 
实例详细信息

定义于GF.语法。规范JSON

方法

读取JSON::JSValue公司->结果 资格ID #

显示JSON::资格ID->JSValue公司 #

读取JSON::JS值->结果[资格ID]#

显示JSON:: [资格ID] ->JSValue公司 #

很漂亮 资格ID 来源 # 
实例详细信息

定义于GF.语法。标准

方法

聚丙烯::资格ID->文件 来源 #

pp列表:: [资格ID] ->文件 来源 #

购电协议 资格ID 来源 # 
实例详细信息

定义于GF.语法。标准

方法

ppA（磅/平方英寸）::资格ID->文件 来源 #

印刷精美

班 很漂亮a=>购电协议一哪里 来源 #

以原子方式漂亮打印（如有必要，用括号括起来）

方法

ppA（磅/平方英寸）：：a->文件 来源 #

实例

实例详细信息
购电协议 质量ID 来源 # 
实例详细信息

定义于GF.语法。标准

方法

ppA（磅/平方英寸）::资格ID->文件 来源 #

购电协议 参数Id 来源 # 
实例详细信息

定义于GF.语法。标准

方法

ppA（磅/平方英寸）::参数Id->文件 来源 #

购电协议 预定义ID 来源 # 
实例详细信息

定义于GF.语法。标准

方法

ppA（磅/平方英寸）::预定义ID->文件 来源 #

购电协议 LinPattern（线型图案） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

ppA（磅/平方英寸）::LinPattern（线型图案）->文件 来源 #

购电协议 LinLiteral（线性文字） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

ppA公司::LinLiteral（线性文字）->文件 来源 #

购电协议 LinValue公司 来源 # 
实例详细信息

定义于GF.语法。标准

方法

ppA（磅/平方英寸）::LinValue公司->文件 来源 #

购电协议 类型 来源 # 
实例详细信息

定义于GF.语法。标准

方法

ppA（磅/平方英寸）::类型->文件 来源 #

购电协议参数=>购电协议(参数参数） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

ppA（磅/平方英寸）::参数参数->文件 来源 #

班 很漂亮相对湿度=>Rhs分离器相对湿度哪里 来源 #

方法

rhs步骤：：rhs->文件 来源 #

实例

实例详细信息
Rhs分离器 LinPattern（线型图案） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

rhs步骤::LinPattern（线型图案）->文件 来源 #

Rhs分离器 LinValue公司 来源 # 
实例详细信息

定义于GF.语法。标准

方法

rhs步骤::LinValue公司->文件 来源 #

Rhs分离器 LinType（线型） 来源 # 
实例详细信息

定义于GF.语法。标准

方法

rhs步骤::LinType（线型）->文件 来源 #

9月半日::很漂亮a2=>[a2]->[文件]来源 #

块::很漂亮a2=>[a2]->文件 来源 #