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

安全哈斯克尔无

语言。句法。解释。评价

简介

文档

类型系列 表示信号发生器来源

具有给定签名的符号的表示

班 评估快递哪里来源

方法

评价：：表达式->表示一来源

表达式的求值

实例

评估 语义学 
评估 清空 
评估 条件 
评估 构造 
评估 身份 
评估 字面意义的 
评估 选择 
评估 薄纱 
评估 让 
评估dom=>评估(AST公司dom） 
莫纳德m=>评估(蒙纳德m） 
(评估表达式1，评估expr2）=>评估(:+:expr1 expr2） 
评估dom=>评估(以下为：||dom pred） 
评估dom=>评估(:|dom pred） 
评估表达式=>评估(装饰信息表达式） 
评估dom=>评估(次级施工1c dom p） 
评估dom=>评估(次级施工2c dom pa pb）