·Message,isHigh等人

类型

数据消息 b=低|高b
实例函子(消息)实例(等式,等式b)=>Eq(消息 b)实例(作战需求文件,作战需求文件b)=>Ord(消息 b)实例(显示,显示b)=>显示(消息 b)isHigh::消息 b->布尔isLow::消息 b->布尔stripHigh::消息a1号 a2->也许吧a2stripLow::消息 b->也许吧地图信息:(t1->) -> (t2型->b)->消息t1 t2型->消息 b法律:(t->)->消息t b->消息 b阿希::(t->b)->消息 t->消息 bpushMsg::函子f=>消息(f ) (f b) ->f(消息 b)

说明

消息类型是用于Fudgets的输入和输出消息的类型。

另请参见

F等等。