- class Multiplicative r => InvolutiveMultiplication r where
- adjoint :: r -> r

- adjointCommutative :: Commutative r => r -> r

# Documentation

class Multiplicative r => InvolutiveMultiplication r whereSource

An semigroup with involution

adjoint a * adjoint b = adjoint (b * a)

adjointCommutative :: Commutative r => r -> rSource