说明:使徒行传
介绍
行为是一个Haskell库半群的行动和torsors。
行为表示以组合方式应用变换的能力:
act g ( act h x ) = act ( g h ) x
也就是说,一个行为的目标不一定是一个半群,而是可以通过一个半群来转换。
请注意,这是一个左动作(半组动作的元素在左侧)。 该库没有定义右动作,但是可以使用Dual将它们模拟为相反半组的左动作。
当有一个将一个元素转换为另一个元素的独特转换时,该行为被称为是tororor :
act ( x --> y <weixin_42173205> 上传 | 大小:31kb