数据 装饰 信息-表达式-信号 哪里 装饰 :: { 装饰信息 ::info( 拒绝结果 信号) decoExpr(装饰Expr) ::expr信号
} -> 装饰 信息-表达式-信号
获取信息 :: AST公司 ( 装饰 信息dom)sig->info( 拒绝结果 信号) 更新装饰 :: 对于所有人 info dom a(信息a->信息a)-> ASTF公司 ( 装饰 信息域)a-> ASTF公司 ( 装饰 信息dom) 提升式装饰 ::(表达式->信息( 拒绝结果 s) ->b)-> 装饰 信息表达式s->b 集合信息 :: ( 对于所有人 信号。 信息sig->b)-> AST公司 ( 装饰 信息域)sig->[b] 至树记录 时间: 对于所有人 信息dom a( 伦德尔 信息, ToTree(ToTree) dom)=> ASTF公司 ( 装饰 信息域)a-> 树 字符串 showDecor公司 :: ( 伦德尔 信息, ToTree(ToTree) dom)=> ASTF公司 ( 装饰 信息域)a-> 字符串 抽屉装饰 :: ( 伦德尔 信息, ToTree(ToTree) dom)=> ASTF公司 ( 装饰 信息域)a-> IO(输入输出) () 条纹装饰 :: AST公司 ( 装饰 信息域)sig-> AST公司 dom信号