acts: Semigroup actions and torsors.

[ algebra, bsd3, library, math ] [ Propose Tags ]

Acts and torsors model types which can be transformed under the action of another type.

A prototypical example is affine space, which has an action by translation: given any two points in affine space, there is a unique translation that brings one to the other.

This can be useful in a library keeping track of time: on top of needing to keep track of units, one also needs to distinguish between absolute time (time stamps) and relative time (time differences). The operations one expects in this situation are:

This library provides a convenient framework which helps to avoid mixing up these two different notions.

A fleshed out example is available at Acts.Examples.MusicalIntervals, which showcases the use of actions and torsors in the context of musical intervals and harmony. It also demonstrates common usage patterns of this library, such as how to automatically derive instances.

See also the project readme, which includes a simple example with 2D affine space.

Versions [faq],,
Change log
Dependencies base (>=4.12 && <4.15), deepseq (>= && <1.5), finitary (>= && <1.3), finite-typelits (>= && <0.2), groups (>= && <0.5) [details]
License BSD-3-Clause
Author Sam Derbyshire
Maintainer Sam Derbyshire
Revised Revision 1 made by sheaf at Mon Feb 17 13:02:59 UTC 2020
Category Algebra, Math
Home page
Bug tracker
Source repo head: git clone git://
Uploaded by sheaf at Sun Feb 16 12:25:56 UTC 2020
Downloads 91 total (91 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]


[Index] [Quick Jump]


Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees