Popularity
1.0
Growing
Activity
0.0
Stable
0
1
0
Monthly Downloads: 3
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Latest version: v0.1.0.0
involutive-semigroups alternatives and similar packages
Based on the "Algebra" category.
Alternatively, view involutive-semigroups alternatives based on common mentions on social networks and blogs.
-
multi-instance
Multiple typeclass instances, selected by explicit application of a phantom type parameter -
linear-tests
tests for Matrix.Linear Haskell library. Includes Arbitrary instances and property tests
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
Promo
www.saashub.com
Do you think we are missing an alternative of involutive-semigroups or a related project?
README
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) = xrev (x <> y) = rev y <> rev x.
reverse is the prototypical example. Any group inverse automatically satisfies
these laws.