Numeric.Multiplication.Involutive

Documentation

class Multiplicative r => InvolutiveMultiplication r where

An semigroup with involution

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

Methods

adjoint :: r -> r

Instances

InvolutiveMultiplication Bool

InvolutiveMultiplication Int

InvolutiveMultiplication Int8

InvolutiveMultiplication Int16

InvolutiveMultiplication Int32

InvolutiveMultiplication Int64

InvolutiveMultiplication Integer

InvolutiveMultiplication Word

InvolutiveMultiplication Word8

InvolutiveMultiplication Word16

InvolutiveMultiplication Word32

InvolutiveMultiplication Word64

InvolutiveMultiplication ()

InvolutiveMultiplication Natural

(InvolutiveMultiplication a, InvolutiveMultiplication b) => InvolutiveMultiplication (a, b)

(InvolutiveMultiplication a, InvolutiveMultiplication b, InvolutiveMultiplication c) => InvolutiveMultiplication (a, b, c)

(InvolutiveMultiplication a, InvolutiveMultiplication b, InvolutiveMultiplication c, InvolutiveMultiplication d) => InvolutiveMultiplication (a, b, c, d)

(InvolutiveMultiplication a, InvolutiveMultiplication b, InvolutiveMultiplication c, InvolutiveMultiplication d, InvolutiveMultiplication e) => InvolutiveMultiplication (a, b, c, d, e)

adjointCommutative :: Commutative r => r -> r