algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

Numeric.Semiring.Involutive

Synopsis

Documentation

class (Semiring r, InvolutiveMultiplication r) => InvolutiveSemiring r Source #

adjoint (x + y) = adjoint x + adjoint y

Instances

InvolutiveSemiring Bool Source # 
InvolutiveSemiring Int Source # 
InvolutiveSemiring Int8 Source # 
InvolutiveSemiring Int16 Source # 
InvolutiveSemiring Int32 Source # 
InvolutiveSemiring Int64 Source # 
InvolutiveSemiring Integer Source # 
InvolutiveSemiring Natural Source # 
InvolutiveSemiring Word Source # 
InvolutiveSemiring Word8 Source # 
InvolutiveSemiring Word16 Source # 
InvolutiveSemiring Word32 Source # 
InvolutiveSemiring Word64 Source # 
InvolutiveSemiring () Source # 
InvolutiveSemiring Euclidean Source # 
(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Trig r) Source # 
(Commutative r, Group r, InvolutiveSemiring r) => InvolutiveSemiring (Hyper r) Source # 
(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Dual' r) Source # 
(Commutative r, InvolutiveSemiring r, Rng r) => InvolutiveSemiring (Hyper' r) Source # 
(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Dual r) Source # 
(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Complex r) Source # 
(InvolutiveSemiring a, InvolutiveSemiring b) => InvolutiveSemiring (a, b) Source # 
(InvolutiveSemiring a, InvolutiveSemiring b, InvolutiveSemiring c) => InvolutiveSemiring (a, b, c) Source # 
(InvolutiveSemiring a, InvolutiveSemiring b, InvolutiveSemiring c, InvolutiveSemiring d) => InvolutiveSemiring (a, b, c, d) Source # 
(InvolutiveSemiring a, InvolutiveSemiring b, InvolutiveSemiring c, InvolutiveSemiring d, InvolutiveSemiring e) => InvolutiveSemiring (a, b, c, d, e) Source #