文件名称：行为：Haskell库，用于半组动作和torors
文件大小：31KB
文件格式：ZIP
更新时间：2024-03-15 02:36:37
transformations haskell-library semigroup-actions Haskell
使徒行传 介绍 行为是一个Haskell库半群的行动和torsors。 行为表示以组合方式应用变换的能力： act g ( act h x ) = act ( g <> h ) x 也就是说，一个行为的目标不一定是一个半群，而是可以通过一个半群来转换。 请注意，这是一个左动作（半组动作的元素在左侧）。 该库没有定义右动作，但是可以使用Dual将它们模拟为相反半组的左动作。 当有一个将一个元素转换为另一个元素的独特转换时，该行为被称为是tororor ： act ( x --> y ) x = y 例子 点和向量 平面中点的加法没有意义，但是可以通过空间矢量平移点，并且给定任意两个点，则存在唯一的平移，将第一个点移到第二个点。 data Point2D a = Point2D ! a ! a deriving stock ( Show , Generic ) deriv
【文件预览】：
acts-master
----changelog.md(1KB)
----img()
--------transport.svg(30KB)
--------coerce.svg(48KB)
--------intertwiner.svg(30KB)
----readme.md(8KB)
----src()
--------Data()
----examples()
--------Acts()
----.gitignore(69B)
----devinfo.md(810B)
----acts.cabal(3KB)