Safe Haskell	Safe
Language	Haskell98

Numeric.Semiring.Involutive

Synopsis

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

Documentation

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

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

Instances

InvolutiveSemiring Bool #
Instance details Defined in Numeric.Algebra.Involutive
InvolutiveSemiring Int #
Instance details Defined in Numeric.Algebra.Involutive
InvolutiveSemiring Int8 #
Instance details Defined in Numeric.Algebra.Involutive
InvolutiveSemiring Int16 #
Instance details Defined in Numeric.Algebra.Involutive
InvolutiveSemiring Int32 #
Instance details Defined in Numeric.Algebra.Involutive
InvolutiveSemiring Int64 #
Instance details Defined in Numeric.Algebra.Involutive
InvolutiveSemiring Integer #
Instance details Defined in Numeric.Algebra.Involutive
InvolutiveSemiring Natural #
Instance details Defined in Numeric.Algebra.Involutive
InvolutiveSemiring Word #
Instance details Defined in Numeric.Algebra.Involutive
InvolutiveSemiring Word8 #
Instance details Defined in Numeric.Algebra.Involutive
InvolutiveSemiring Word16 #
Instance details Defined in Numeric.Algebra.Involutive
InvolutiveSemiring Word32 #
Instance details Defined in Numeric.Algebra.Involutive
InvolutiveSemiring Word64 #
Instance details Defined in Numeric.Algebra.Involutive
InvolutiveSemiring () #
Instance details Defined in Numeric.Algebra.Involutive
InvolutiveSemiring Euclidean #
Instance details Defined in Numeric.Coalgebra.Geometric
(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Trig r) #
Instance details Defined in Numeric.Coalgebra.Trigonometric
(Commutative r, Group r, InvolutiveSemiring r) => InvolutiveSemiring (Hyper r) #
Instance details Defined in Numeric.Coalgebra.Hyperbolic
(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Dual' r) #
Instance details Defined in Numeric.Coalgebra.Dual
(Commutative r, InvolutiveSemiring r, Rng r) => InvolutiveSemiring (Hyper' r) #
Instance details Defined in Numeric.Algebra.Hyperbolic
(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Dual r) #
Instance details Defined in Numeric.Algebra.Dual
(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Complex r) #
Instance details Defined in Numeric.Algebra.Complex
(InvolutiveSemiring a, InvolutiveSemiring b) => InvolutiveSemiring (a, b) #
Instance details Defined in Numeric.Algebra.Involutive
(InvolutiveSemiring a, InvolutiveSemiring b, InvolutiveSemiring c) => InvolutiveSemiring (a, b, c) #
Instance details Defined in Numeric.Algebra.Involutive
(InvolutiveSemiring a, InvolutiveSemiring b, InvolutiveSemiring c, InvolutiveSemiring d) => InvolutiveSemiring (a, b, c, d) #
Instance details Defined in Numeric.Algebra.Involutive
(InvolutiveSemiring a, InvolutiveSemiring b, InvolutiveSemiring c, InvolutiveSemiring d, InvolutiveSemiring e) => InvolutiveSemiring (a, b, c, d, e) #
Instance details Defined in Numeric.Algebra.Involutive