语法-1.3：通用抽象语法和嵌入式语言实用程序

安全哈斯克尔无

语言。句法。前端。TupleConstrained（Tuple约束）

描述

受约束的句法Haskell元组的实例

简介

文件

班 TupleSat卫星dom p|dom->p来源

计算附加到的谓词的类型级函数薄纱或选择（以最先出现的为准）。

实例