豫豫言文档API ATLAS
入口软件/豫言/编译器核心/临时发布文档索引。豫
165 模块2178 名称
← 全部模块

模块 / 28

软件/豫言/编译器核心/编译步骤/类型标注擦除/模式匹配展开。豫

软件/豫言/编译器核心/编译步骤/类型标注擦除/模式匹配展开。豫

5公开名称

检查模式头一致

公开
化「字符串」而化「节点名称」而化「节点名称」而「爻」

暂无说明。

收集模式头

公开
化(「列」于(「节点名称」合「整数」))而化(「列」于「表达式」)而(「列」于(「节点名称」合「整数」))

暂无说明。

展开模式匹配

公开
化「表达式」而化(「列」于「表达式」)而化(「列」于((「列」于「表达式」)合「表达式」))而「表达式」

检查模式头全部统一乃化节点名称列而有也。 检查模式头全部统一者会名们而 鉴名们而 有【】则元 或有「第一名」衔「后」则 ((有列也态射于(检查模式头一致于第一名)于后);元)也。 TODO Converage TODO 减少Code Copying

展开模式匹配内部顶层

公开
化「字符串」而化「表达式」而「表达式」

将一个归一过的模式匹配变成决策树(Decision Tree)

展开模式匹配顶层

公开
化「表达式」而「表达式」

暂无说明。