{-# LANGUAGE CPP #-}
{-# LANGUAGE DefaultSignatures #-}
module Linear.Conjugate
( Conjugate(..)
, TrivialConjugate
) where
import Data.Complex hiding (conjugate)
import Data.Int
import Data.Word
import Foreign.C.Types (CFloat, CDouble)
class Num a => Conjugate a where
conjugate :: a -> a
#ifndef HLINT
default conjugate :: TrivialConjugate a => a -> a
conjugate = forall a. a -> a
id
#endif
class Conjugate a => TrivialConjugate a
instance Conjugate Integer
instance Conjugate Int
instance Conjugate Int64
instance Conjugate Int32
instance Conjugate Int16
instance Conjugate Int8
instance Conjugate Word
instance Conjugate Word64
instance Conjugate Word32
instance Conjugate Word16
instance Conjugate Word8
instance Conjugate Double
instance Conjugate Float
instance Conjugate CFloat
instance Conjugate CDouble
instance (Conjugate a, RealFloat a) => Conjugate (Complex a) where
{-# SPECIALIZE instance Conjugate (Complex Float) #-}
{-# SPECIALIZE instance Conjugate (Complex Double) #-}
conjugate :: Complex a -> Complex a
conjugate (a
a :+ a
b) = forall a. Conjugate a => a -> a
conjugate a
a forall a. a -> a -> Complex a
:+ forall a. Num a => a -> a
negate a
b
instance TrivialConjugate Integer
instance TrivialConjugate Int
instance TrivialConjugate Int64
instance TrivialConjugate Int32
instance TrivialConjugate Int16
instance TrivialConjugate Int8
instance TrivialConjugate Word
instance TrivialConjugate Word64
instance TrivialConjugate Word32
instance TrivialConjugate Word16
instance TrivialConjugate Word8
instance TrivialConjugate Double
instance TrivialConjugate Float
instance TrivialConjugate CFloat
instance TrivialConjugate CDouble