行为:Haskell库用于半组动作和torors 源码

使徒行传 介绍 行为是一个Haskell库半群的行动和torsors。 行为表示以组合方式应用变换的能力: act g ( act h x ) = act ( g <> h ) x 也就是说,一个行为的目标不一定是一个半群,而是可以通过一个半群来转换。 请注意,这是一个左动作(半组动作的元素在左侧)。 该库没有定义右动作,但是可以使用Dual将它们模拟为相反半组的左动作。 当有一个将一个元素转换为另一个元素的独特转换时,该行为被称为是tororor : act ( x --> y ) x = y 例子 点和向量 平面中点的加法没有意义,但是可以通过空间矢量平移点,并且给