linear-1.22: Linear Algebra
Copyright(C) 2012-2015 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Linear.Conjugate

Description

Involutive rings

Synopsis

Documentation

class Num a => Conjugate a where Source #

An involutive ring

Minimal complete definition

Nothing

Methods

conjugate :: a -> a Source #

Conjugate a value. This defaults to the trivial involution.

>>> conjugate (1 :+ 2)
1.0 :+ (-2.0)
>>> conjugate 1
1

default conjugate :: TrivialConjugate a => a -> a Source #

Instances

Instances details
Conjugate CDouble Source # 
Instance details

Defined in Linear.Conjugate

Conjugate CFloat Source # 
Instance details

Defined in Linear.Conjugate

Conjugate Int16 Source # 
Instance details

Defined in Linear.Conjugate

Conjugate Int32 Source # 
Instance details

Defined in Linear.Conjugate

Conjugate Int64 Source # 
Instance details

Defined in Linear.Conjugate

Conjugate Int8 Source # 
Instance details

Defined in Linear.Conjugate

Methods

conjugate :: Int8 -> Int8 Source #

Conjugate Word16 Source # 
Instance details

Defined in Linear.Conjugate

Conjugate Word32 Source # 
Instance details

Defined in Linear.Conjugate

Conjugate Word64 Source # 
Instance details

Defined in Linear.Conjugate

Conjugate Word8 Source # 
Instance details

Defined in Linear.Conjugate

Conjugate Integer Source # 
Instance details

Defined in Linear.Conjugate

Conjugate Double Source # 
Instance details

Defined in Linear.Conjugate

Conjugate Float Source # 
Instance details

Defined in Linear.Conjugate

Conjugate Int Source # 
Instance details

Defined in Linear.Conjugate

Methods

conjugate :: Int -> Int Source #

Conjugate Word Source # 
Instance details

Defined in Linear.Conjugate

Methods

conjugate :: Word -> Word Source #

(Conjugate a, RealFloat a) => Conjugate (Complex a) Source # 
Instance details

Defined in Linear.Conjugate

Methods

conjugate :: Complex a -> Complex a Source #

(Conjugate a, RealFloat a) => Conjugate (Quaternion a) Source # 
Instance details

Defined in Linear.Quaternion

class Conjugate a => TrivialConjugate a Source #

Requires and provides a default definition such that

conjugate = id

Instances

Instances details
TrivialConjugate CDouble Source # 
Instance details

Defined in Linear.Conjugate

TrivialConjugate CFloat Source # 
Instance details

Defined in Linear.Conjugate

TrivialConjugate Int16 Source # 
Instance details

Defined in Linear.Conjugate

TrivialConjugate Int32 Source # 
Instance details

Defined in Linear.Conjugate

TrivialConjugate Int64 Source # 
Instance details

Defined in Linear.Conjugate

TrivialConjugate Int8 Source # 
Instance details

Defined in Linear.Conjugate

TrivialConjugate Word16 Source # 
Instance details

Defined in Linear.Conjugate

TrivialConjugate Word32 Source # 
Instance details

Defined in Linear.Conjugate

TrivialConjugate Word64 Source # 
Instance details

Defined in Linear.Conjugate

TrivialConjugate Word8 Source # 
Instance details

Defined in Linear.Conjugate

TrivialConjugate Integer Source # 
Instance details

Defined in Linear.Conjugate

TrivialConjugate Double Source # 
Instance details

Defined in Linear.Conjugate

TrivialConjugate Float Source # 
Instance details

Defined in Linear.Conjugate

TrivialConjugate Int Source # 
Instance details

Defined in Linear.Conjugate

TrivialConjugate Word Source # 
Instance details

Defined in Linear.Conjugate