involutive-semigroups: Semigroups with involution.

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

Provides a typeclass for semigroups with "inverse-like" operations.

[Skip to Readme]


[Index] [Quick Jump]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS]
Change log
Dependencies base (>= && <4.15), bytestring (>= && <0.11), containers (>= && <0.7), text (>= && <1.3), vector (>= && <0.13) [details]
License BSD-3-Clause
Copyright 2020 Nicholas Coltharp
Author Nicholas Coltharp
Category Algebra, Data, Math
Bug tracker
Source repo head: git clone
Uploaded by nosewings at 2020-07-30T06:42:58Z
Downloads 225 total (11 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2020-07-30 [all 1 reports]

Readme for involutive-semigroups-

[back to package description]

A semigroup S is said to be with involution if it comes equipped with an "inverse-like" operation rev. Specifically, the following must hold for all x y : S:

  • rev (rev x) = x
  • rev (x <> y) = rev y <> rev x.

reverse is the prototypical example. Any group inverse automatically satisfies these laws.