接口参考
豫言 / 编译器核心 @ 0.1.0
选择模块,查看其公开名称、中文类型与源码注释。
测试/分配分析。测试。豫
4 个公开名称
测试/创建证明。测试。豫
7 个公开名称
测试/单步压缩。测试。豫
17 个公开名称
测试/回收编码。测试。豫
14 个公开名称
测试/回收运行时生成。豫
0 个公开名称
测试/完整初始化证明。测试。豫
14 个公开名称
测试/容器逃逸。测试。豫
19 个公开名称
测试/差分关系。测试。豫
6 个公开名称
测试/差分关系穷举。测试。豫
6 个公开名称
测试/影子根保活。测试。豫
3 个公开名称
测试/循环关系。测试。豫
14 个公开名称
测试/折叠摘要。测试。豫
6 个公开名称
测试/整数返回证明。测试。豫
9 个公开名称
测试/条件累加。测试。豫
3 个公开名称
测试/栈入口生成。测试。豫
9 个公开名称
测试/栈前导生成。测试。豫
9 个公开名称
测试/栈双步生成。测试。豫
16 个公开名称
测试/栈向量填充生成。测试。豫
9 个公开名称
测试/栈向量疏号生成。测试。豫
9 个公开名称
测试/栈地址生成。测试。豫
17 个公开名称
测试/栈填充证明。测试。豫
7 个公开名称
测试/栈封闭证明。测试。豫
16 个公开名称
测试/栈循环生成。测试。豫
12 个公开名称
测试/栈数值生成。测试。豫
12 个公开名称
测试/栈表示证明。测试。豫
17 个公开名称
测试/栈覆盖证明。测试。豫
12 个公开名称
测试/栈调用图。测试。豫
9 个公开名称
测试/栈重复访问。测试。豫
7 个公开名称
测试/栈长度复用。测试。豫
8 个公开名称
测试/栈长度生成。测试。豫
12 个公开名称
测试/注释语法。测试。豫
3 个公开名称
测试/源码前缀。测试。豫
5 个公开名称
测试/私有构造证明。测试。豫
16 个公开名称
测试/索引证明。测试。豫
4 个公开名称
测试/纯调用复用。测试。豫
10 个公开名称
测试/纯调用证明。测试。豫
12 个公开名称
测试/线性栈运行时生成。豫
0 个公开名称
测试/统一正则。测试。豫
2 个公开名称
测试/虚组取值生成。豫
3 个公开名称
测试/虚组消费者生成。豫
15 个公开名称
测试/虚组调用链。测试。豫
13 个公开名称
测试/语义标记。测试。豫
1 个公开名称
测试/调用局部分配。测试。豫
7 个公开名称
测试/调用逃逸。测试。豫
6 个公开名称
测试/进步证明。测试。豫
6 个公开名称
测试/递归形态。测试。豫
2 个公开名称
测试/邻接消除。测试。豫
3 个公开名称
编译数据/抽象绑定树结构/命名环境术。豫
9 个公开名称
编译数据/抽象绑定树结构/抽象语法树/内建常量数据。豫
18 个公开名称
编译数据/抽象绑定树结构/抽象语法树/内建常量表示方法。豫
1 个公开名称
编译数据/抽象绑定树结构/抽象语法树/副作用检查。豫
1 个公开名称
编译数据/抽象绑定树结构/抽象语法树/复杂度计算。豫
1 个公开名称
编译数据/抽象绑定树结构/抽象语法树/序列化/序列化总集。豫
4 个公开名称
编译数据/抽象绑定树结构/抽象语法树/序列化/抽象语法树反序列化工具。豫
5 个公开名称
编译数据/抽象绑定树结构/抽象语法树/序列化/抽象语法树反序列化节点名称。豫
6 个公开名称
编译数据/抽象绑定树结构/抽象语法树/序列化/抽象语法树序列化工具。豫
16 个公开名称
编译数据/抽象绑定树结构/抽象语法树/总集。豫
247 个公开名称
编译数据/抽象绑定树结构/抽象语法树/抽象语法友好表示方法。豫
5 个公开名称
编译数据/抽象绑定树结构/抽象语法树/抽象语法树基础操作。豫
40 个公开名称
编译数据/抽象绑定树结构/抽象语法树/抽象语法树数据。豫
118 个公开名称
编译数据/抽象绑定树结构/抽象语法树/抽象语法树方法。豫
39 个公开名称
编译数据/抽象绑定树结构/抽象语法树/抽象语法树相等方法。豫
3 个公开名称
编译数据/抽象绑定树结构/抽象语法树/抽象语法树表示。豫
8 个公开名称
编译数据/抽象绑定树结构/抽象语法树/结构名称操作数据。豫
9 个公开名称
编译数据/抽象绑定树结构/检查后定义处理。豫
2 个公开名称
编译数据/抽象绑定树结构/模块操作。豫
6 个公开名称
编译数据/操作符/内建操作符/内建操作符对象定义。豫
42 个公开名称
编译数据/操作符/内建操作符/内建操作符类型定义。豫
9 个公开名称
编译数据/操作符/内建操作符/总集。豫
2 个公开名称
编译数据/操作符/内建操作符/文言符集。豫
2 个公开名称
编译数据/操作符/操作符操作。豫
21 个公开名称
编译数据/操作符/操作符数据结构。豫
37 个公开名称
编译数据/编译配置/全局配置。豫
52 个公开名称
编译数据/编译配置/编译期输出。豫
7 个公开名称
编译数据/编译配置/阶段环境。豫
5 个公开名称
编译数据/语义标记信息。豫
27 个公开名称
编译数据/语言服务信息。豫
57 个公开名称
编译步骤/代码生成/主程序生成入口。豫
3 个公开名称
编译步骤/代码生成/回收值桥接。豫
17 个公开名称
编译步骤/代码生成/回收运行时。豫
45 个公开名称
编译步骤/代码生成/底层后端/底层中间式。豫
30 个公开名称
编译步骤/代码生成/底层后端/底层化简。豫
6 个公开名称
编译步骤/代码生成/底层后端/底层提升。豫
14 个公开名称
编译步骤/代码生成/底层后端/底层模块。豫
30 个公开名称
编译步骤/代码生成/底层后端/底层求值。豫
34 个公开名称
编译步骤/代码生成/底层后端/底层生成。豫
28 个公开名称
编译步骤/代码生成/底层后端/底层读取。豫
32 个公开名称
编译步骤/代码生成/统一网页汇编。豫
37 个公开名称
编译步骤/代码生成/网页汇编分配分析。豫
4 个公开名称
编译步骤/代码生成/网页汇编创建证明。豫
6 个公开名称
编译步骤/代码生成/网页汇编初始化证明。豫
15 个公开名称
编译步骤/代码生成/网页汇编双整组。豫
12 个公开名称
编译步骤/代码生成/网页汇编双步生成。豫
12 个公开名称
编译步骤/代码生成/网页汇编容器逃逸。豫
5 个公开名称
编译步骤/代码生成/网页汇编差分关系。豫
12 个公开名称
编译步骤/代码生成/网页汇编循环入口。豫
5 个公开名称
编译步骤/代码生成/网页汇编循环关系。豫
7 个公开名称
编译步骤/代码生成/网页汇编折叠摘要。豫
18 个公开名称
编译步骤/代码生成/网页汇编整数专门化。豫
18 个公开名称
编译步骤/代码生成/网页汇编条件累加。豫
1 个公开名称
编译步骤/代码生成/网页汇编构造常量。豫
10 个公开名称
编译步骤/代码生成/网页汇编栈入口。豫
2 个公开名称
编译步骤/代码生成/网页汇编栈前导。豫
1 个公开名称
编译步骤/代码生成/网页汇编栈后端。豫
7 个公开名称
编译步骤/代码生成/网页汇编栈向量填充。豫
2 个公开名称
编译步骤/代码生成/网页汇编栈地址归纳。豫
4 个公开名称
编译步骤/代码生成/网页汇编栈填充证明。豫
10 个公开名称
编译步骤/代码生成/网页汇编栈封闭证明。豫
8 个公开名称
编译步骤/代码生成/网页汇编栈循环守卫。豫
2 个公开名称
编译步骤/代码生成/网页汇编栈数值生成。豫
11 个公开名称
编译步骤/代码生成/网页汇编栈标量活性。豫
5 个公开名称
编译步骤/代码生成/网页汇编栈表示证明。豫
5 个公开名称
编译步骤/代码生成/网页汇编栈覆盖证明。豫
2 个公开名称
编译步骤/代码生成/网页汇编栈调用图。豫
5 个公开名称
编译步骤/代码生成/网页汇编栈重复访问。豫
3 个公开名称
编译步骤/代码生成/网页汇编栈长度复用。豫
2 个公开名称
编译步骤/代码生成/网页汇编混合整数。豫
18 个公开名称
编译步骤/代码生成/网页汇编私有整组。豫
30 个公开名称
编译步骤/代码生成/网页汇编私有构造。豫
27 个公开名称
编译步骤/代码生成/网页汇编私有签名。豫
6 个公开名称
编译步骤/代码生成/网页汇编私有返回。豫
7 个公开名称
编译步骤/代码生成/网页汇编索引证明。豫
2 个公开名称
编译步骤/代码生成/网页汇编纯调用复用。豫
5 个公开名称
编译步骤/代码生成/网页汇编纯调用证明。豫
3 个公开名称
编译步骤/代码生成/网页汇编线性栈基础。豫
1 个公开名称
编译步骤/代码生成/网页汇编编码基础。豫
45 个公开名称
编译步骤/代码生成/网页汇编虚组入口。豫
4 个公开名称
编译步骤/代码生成/网页汇编虚组取值。豫
6 个公开名称
编译步骤/代码生成/网页汇编虚组整数。豫
2 个公开名称
编译步骤/代码生成/网页汇编虚组消费。豫
1 个公开名称
编译步骤/代码生成/网页汇编虚组生成。豫
6 个公开名称
编译步骤/代码生成/网页汇编虚组调用链。豫
5 个公开名称
编译步骤/代码生成/网页汇编融合入口。豫
9 个公开名称
编译步骤/代码生成/网页汇编融合构造。豫
2 个公开名称
编译步骤/代码生成/网页汇编调用逃逸。豫
13 个公开名称
编译步骤/代码生成/网页汇编返回证明。豫
1 个公开名称
编译步骤/代码生成/网页汇编进步证明。豫
4 个公开名称
编译步骤/代码生成/网页汇编递归形态。豫
2 个公开名称
编译步骤/代码生成/网页汇编邻接消除。豫
1 个公开名称
编译步骤/优化/函数参数优化。豫
1 个公开名称
编译步骤/优化/前优化入口。豫
5 个公开名称
编译步骤/优化/前函数续延化变换。豫
3 个公开名称
编译步骤/优化/基础工具/定义查找。豫
1 个公开名称
编译步骤/优化/基础工具/表达式带定义操作。豫
6 个公开名称
编译步骤/优化/尾调用优化。豫
2 个公开名称
编译步骤/优化/栈分配优化。豫
3 个公开名称
编译步骤/优化/树组优化框架。豫
1 个公开名称
编译步骤/优化/结构顶层绑定优化。豫
1 个公开名称
编译步骤/优化/跨文件优化/去柯里化。豫
5 个公开名称
编译步骤/优化/跨文件优化/常量内联。豫
21 个公开名称
编译步骤/优化/跨文件优化/跨文件优化入口。豫
1 个公开名称
编译步骤/名称解析/名称解析。豫
13 个公开名称
编译步骤/总体过程/中间语言。测试。豫
10 个公开名称
编译步骤/总体过程/中间语言。豫
23 个公开名称
编译步骤/总体过程/中间语言性能。豫
1 个公开名称
编译步骤/总体过程/中间阶段。测试。豫
4 个公开名称
编译步骤/总体过程/中间阶段工具。豫
4 个公开名称
编译步骤/总体过程/中间阶段检查。豫
6 个公开名称
编译步骤/总体过程/中间阶段集成。测试。豫
4 个公开名称
编译步骤/总体过程/分布编译步骤。豫
23 个公开名称
编译步骤/总体过程/单一编译工作。豫
1 个公开名称
编译步骤/总体过程/编译文件缓存工具。豫
29 个公开名称
编译步骤/总体过程/编译过程。豫
2 个公开名称
编译步骤/总体过程/编译过程工具。豫
11 个公开名称
编译步骤/总体过程/阶段文件写入。测试。豫
1 个公开名称
编译步骤/总体过程/阶段样例。测试。豫
5 个公开名称
编译步骤/总体过程/阶段源码基础。豫
28 个公开名称
编译步骤/总体过程/阶段源码性能。豫
0 个公开名称
编译步骤/总体过程/阶段节点语法。豫
2 个公开名称
编译步骤/求值正则变换/无类型正则变换。豫
7 个公开名称
编译步骤/求值正则变换/正则无副作用消除。豫
2 个公开名称
编译步骤/求值正则变换/统一正则数据。豫
50 个公开名称
编译步骤/求值正则变换/统一正则构造。豫
11 个公开名称
编译步骤/求值正则变换/统一正则验证。豫
2 个公开名称
编译步骤/求值正则变换/顶层。豫
3 个公开名称
编译步骤/类型标注擦除/当前续延调用转换。豫
1 个公开名称
编译步骤/类型标注擦除/模式匹配展开。豫
5 个公开名称
编译步骤/类型标注擦除/模式匹配消除。豫
2 个公开名称
编译步骤/类型标注擦除/模式匹配转换处理。豫
4 个公开名称
编译步骤/类型标注擦除/类型擦除。豫
2 个公开名称
编译步骤/类型标注擦除/转换擦除顶层。豫
2 个公开名称
编译步骤/类型标注擦除/隐式参数擦除。豫
2 个公开名称
编译步骤/类型检查/函数应用隐式参数合成。豫
18 个公开名称
编译步骤/类型检查/对象类型检查。豫
2 个公开名称
编译步骤/类型检查/文件结构检查。豫
9 个公开名称
编译步骤/类型检查/模式匹配类型检查。豫
3 个公开名称
编译步骤/类型检查/模式合一。豫
2 个公开名称
编译步骤/类型检查/模式合一结构比较。豫
8 个公开名称
编译步骤/类型检查/类型检查基础。豫
9 个公开名称
编译步骤/类型检查/类型检查工具。豫
8 个公开名称
编译步骤/类型检查/类型类型检查。豫
6 个公开名称
编译步骤/语法分析/具体语法树。豫
2 个公开名称
编译步骤/语法分析/函数合集。豫
9 个公开名称
编译步骤/语法分析/导入解析。豫
1 个公开名称
编译步骤/语法分析/导入预测。豫
2 个公开名称
编译步骤/语法分析/抽象语法分析。豫
25 个公开名称
编译步骤/语法分析/抽象语法分析工具。豫
7 个公开名称
编译步骤/语法分析/整数小数解析。豫
8 个公开名称
编译步骤/语法分析/注释操作。豫
22 个公开名称
编译步骤/语法分析/源码语义标记。豫
2 个公开名称
编译步骤/语法分析/表达式解析。豫
21 个公开名称
编译步骤/语法分析/表达式解析输入分析。豫
8 个公开名称
编译步骤/语法分析/词法解析。豫
12 个公开名称
编译步骤/闭包转换/全局结构变量储存变换。豫
5 个公开名称
编译步骤/闭包转换/函数提升。豫
2 个公开名称
编译步骤/闭包转换/正则前闭包转换。豫
1 个公开名称
编译步骤/闭包转换/递归节点闭包前变换。豫
2 个公开名称
编译步骤/闭包转换/闭包转换顶层。豫
7 个公开名称
编译辅助工具/命令行/可打印文档。豫
2 个公开名称
编译辅助工具/命令行/命令行参数处理。豫
1 个公开名称
编译辅助工具/命令行/版本管理。豫
1 个公开名称
编译辅助工具/调试工具/调试入口。豫
8 个公开名称
网页汇编核心/中文文本。豫
15 个公开名称
网页汇编核心/二进制生成。豫
12 个公开名称
网页汇编核心/二进制读取。豫
22 个公开名称
网页汇编核心/位运算。测试。豫
5 个公开名称
网页汇编核心/位运算用例。豫
3 个公开名称
网页汇编核心/内存指令。测试。豫
15 个公开名称
网页汇编核心/内存指令执行。豫
1 个公开名称
网页汇编核心/回收文本。豫
31 个公开名称
网页汇编核心/回收模块。豫
208 个公开名称
网页汇编核心/回收编码。豫
87 个公开名称
网页汇编核心/复合类型匹配。测试。豫
7 个公开名称
网页汇编核心/复合类型匹配。豫
8 个公开名称
网页汇编核心/外部模块。测试。豫
26 个公开名称
网页汇编核心/外部模块。豫
13 个公开名称
网页汇编核心/字节通道。豫
1 个公开名称
网页汇编核心/存储二进制。豫
11 个公开名称
网页汇编核心/存储模块。测试。豫
22 个公开名称
网页汇编核心/存储模块。豫
12 个公开名称
网页汇编核心/完整全局。测试。豫
3 个公开名称
网页汇编核心/完整全局验证。豫
3 个公开名称
网页汇编核心/完整内存。测试。豫
3 个公开名称
网页汇编核心/完整内存指令。测试。豫
3 个公开名称
网页汇编核心/完整内存验证。豫
3 个公开名称
网页汇编核心/完整函数体。测试。豫
5 个公开名称
网页汇编核心/完整函数体。豫
6 个公开名称
网页汇编核心/完整函数接口。测试。豫
6 个公开名称
网页汇编核心/完整函数接口。豫
9 个公开名称
网页汇编核心/完整分支表。测试。豫
3 个公开名称
网页汇编核心/完整启动。测试。豫
3 个公开名称
网页汇编核心/完整启动验证。豫
2 个公开名称
网页汇编核心/完整异常。测试。豫
3 个公开名称
网页汇编核心/完整捕获。测试。豫
3 个公开名称
网页汇编核心/完整控制类型。测试。豫
9 个公开名称
网页汇编核心/完整控制类型。豫
5 个公开名称
网页汇编核心/完整数据验证。豫
2 个公开名称
网页汇编核心/完整标签验证。豫
2 个公开名称
网页汇编核心/完整类型。测试。豫
3 个公开名称
网页汇编核心/完整类型。豫
39 个公开名称
网页汇编核心/完整类型栈。测试。豫
11 个公开名称
网页汇编核心/完整类型栈。豫
13 个公开名称
网页汇编核心/完整类型读取。测试。豫
5 个公开名称
网页汇编核心/完整类型读取。豫
10 个公开名称
网页汇编核心/完整结构指令。测试。豫
3 个公开名称
网页汇编核心/完整表调用。测试。豫
3 个公开名称
网页汇编核心/完整表验证。豫
3 个公开名称
网页汇编核心/完整调用。测试。豫
3 个公开名称
网页汇编核心/完整选择指令。测试。豫
3 个公开名称
网页汇编核心/客体内存执行。豫
1 个公开名称
网页汇编核心/客体区段。豫
4 个公开名称
网页汇编核心/客体堆。测试。豫
5 个公开名称
网页汇编核心/客体堆。豫
6 个公开名称
网页汇编核心/客体复合全局初置。豫
1 个公开名称
网页汇编核心/客体复合类型索引。豫
3 个公开名称
网页汇编核心/客体宽除。豫
2 个公开名称
网页汇编核心/客体小整。测试。豫
6 个公开名称
网页汇编核心/客体小整。豫
4 个公开名称
网页汇编核心/客体执行。豫
6 个公开名称
网页汇编核心/客体执行组件。豫
1 个公开名称
网页汇编核心/客体数组执行。豫
1 个公开名称
网页汇编核心/客体栈验证。豫
7 个公开名称
网页汇编核心/客体根回收。豫
1 个公开名称
网页汇编核心/客体索引。豫
5 个公开名称
网页汇编核心/客体结构执行。豫
1 个公开名称
网页汇编核心/客体自动分配。豫
1 个公开名称
网页汇编核心/客体解码。豫
2 个公开名称
网页汇编核心/客体读数。豫
6 个公开名称
网页汇编核心/客体资源。豫
5 个公开名称
网页汇编核心/客体链接。豫
5 个公开名称
网页汇编核心/常量编码读取。豫
2 个公开名称
网页汇编核心/引用转换。测试。豫
3 个公开名称
网页汇编核心/引用转换验证。豫
3 个公开名称
网页汇编核心/批量内存。测试。豫
10 个公开名称
网页汇编核心/提交日志。豫
5 个公开名称
网页汇编核心/数据实例。豫
4 个公开名称
网页汇编核心/数据数组。测试。豫
3 个公开名称
网页汇编核心/数组对象指令。测试。豫
3 个公开名称
网页汇编核心/数组对象指令验证。豫
3 个公开名称
网页汇编核心/整数执行。豫
21 个公开名称
网页汇编核心/整数核心。测试。豫
17 个公开名称
网页汇编核心/整数比较。测试。豫
5 个公开名称
网页汇编核心/整数比较用例。豫
3 个公开名称
网页汇编核心/文件目录。豫
1 个公开名称
网页汇编核心/标量指令类型。测试。豫
3 个公开名称
网页汇编核心/标量指令类型。豫
2 个公开名称
网页汇编核心/模块类型检查。测试。豫
4 个公开名称
网页汇编核心/模块类型检查。豫
2 个公开名称
网页汇编核心/模块结构。豫
68 个公开名称
网页汇编核心/模块装配。测试。豫
14 个公开名称
网页汇编核心/模块装配。豫
12 个公开名称
网页汇编核心/模块验证。豫
18 个公开名称
网页汇编核心/状态二进制。豫
4 个公开名称
网页汇编核心/状态模块。测试。豫
14 个公开名称
网页汇编核心/状态模块。豫
6 个公开名称
网页汇编核心/类型作用域。测试。豫
3 个公开名称
网页汇编核心/类型作用域。豫
10 个公开名称
网页汇编核心/类型段验证。测试。豫
7 个公开名称
网页汇编核心/类型段验证。豫
6 个公开名称
网页汇编核心/类型身份。测试。豫
10 个公开名称
网页汇编核心/类型身份。豫
13 个公开名称
网页汇编核心/线性内存。测试。豫
8 个公开名称
网页汇编核心/线性内存。豫
14 个公开名称
网页汇编核心/结构对象指令。测试。豫
3 个公开名称
网页汇编核心/结构对象指令验证。豫
4 个公开名称
网页汇编核心/结构控制。测试。豫
14 个公开名称
网页汇编核心/虚拟磁盘。豫
3 个公开名称
网页汇编核心/虚拟磁盘发现。豫
1 个公开名称
网页汇编核心/跨模块类型。测试。豫
8 个公开名称
网页汇编核心/跨模块类型。豫
4 个公开名称
网页汇编核心/选择指令验证。豫
2 个公开名称
网页汇编核心/除余。测试。豫
6 个公开名称
网页汇编核心/除余用例。豫
4 个公开名称
网页汇编核心/顺序指令验证。测试。豫
3 个公开名称
网页汇编核心/顺序指令验证。豫
7 个公开名称
顺序标识符/顺序标识符。豫
3 个公开名称