Copyright	(C) 2012-2015 Edward Kmett
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	Safe
Language	Haskell98

Linear.Conjugate

Description

Involutive rings

Synopsis

Documentation

class Num a => Conjugate a where #

An involutive ring

Methods

conjugate :: a -> a #

Conjugate a value. This defaults to the trivial involution.

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

>>> conjugate 1
1

Conjugate a value. This defaults to the trivial involution.

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

>>> conjugate 1
1

Instances

Conjugate Double #
Methods conjugate :: Double -> Double #
Conjugate Float #
Methods conjugate :: Float -> Float #
Conjugate Int #
Methods conjugate :: Int -> Int #
Conjugate Int8 #
Methods conjugate :: Int8 -> Int8 #
Conjugate Int16 #
Methods conjugate :: Int16 -> Int16 #
Conjugate Int32 #
Methods conjugate :: Int32 -> Int32 #
Conjugate Int64 #
Methods conjugate :: Int64 -> Int64 #
Conjugate Integer #
Methods conjugate :: Integer -> Integer #
Conjugate Word #
Methods conjugate :: Word -> Word #
Conjugate Word8 #
Methods conjugate :: Word8 -> Word8 #
Conjugate Word16 #
Methods conjugate :: Word16 -> Word16 #
Conjugate Word32 #
Methods conjugate :: Word32 -> Word32 #
Conjugate Word64 #
Methods conjugate :: Word64 -> Word64 #
Conjugate CFloat #
Methods conjugate :: CFloat -> CFloat #
Conjugate CDouble #
Methods conjugate :: CDouble -> CDouble #
(Conjugate a, RealFloat a) => Conjugate (Complex a) #
Methods conjugate :: Complex a -> Complex a #
(Conjugate a, RealFloat a) => Conjugate (Quaternion a) #
Methods conjugate :: Quaternion a -> Quaternion a #

Requires and provides a default definition such that

conjugate = id