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