hmatrix-gsl-0.19.0.1: Numerical computation
Copyright(c) Alberto Ruiz 2006-14
LicenseGPL
MaintainerAlberto Ruiz
Stabilityprovisional
Safe HaskellNone
LanguageHaskell2010

Numeric.GSL

Description

This module reexports all available GSL functions.

The GSL special functions are in the separate package hmatrix-special.

Synopsis

Documentation

magnitude :: RealFloat a => Complex a -> a #

cis :: Floating a => a -> Complex a #

conjugate :: Num a => Complex a -> Complex a #

imagPart :: Complex a -> a #

mkPolar :: Floating a => a -> a -> Complex a #

phase :: RealFloat a => Complex a -> a #

polar :: RealFloat a => Complex a -> (a, a) #

realPart :: Complex a -> a #

data Complex a #

Constructors

!a :+ !a 

Instances

Instances details
MonadZip Complex 
Instance details

Defined in Data.Complex

Methods

mzip :: Complex a -> Complex b -> Complex (a, b)

mzipWith :: (a -> b -> c) -> Complex a -> Complex b -> Complex c

munzip :: Complex (a, b) -> (Complex a, Complex b)

Foldable1 Complex 
Instance details

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => Complex m -> m

foldMap1 :: Semigroup m => (a -> m) -> Complex a -> m

foldMap1' :: Semigroup m => (a -> m) -> Complex a -> m

toNonEmpty :: Complex a -> NonEmpty a

maximum :: Ord a => Complex a -> a

minimum :: Ord a => Complex a -> a

head :: Complex a -> a

last :: Complex a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Complex a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Complex a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Complex a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Complex a -> b

Eq1 Complex 
Instance details

Defined in Data.Functor.Classes

Methods

liftEq :: (a -> b -> Bool) -> Complex a -> Complex b -> Bool

Read1 Complex 
Instance details

Defined in Data.Functor.Classes

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Complex a)

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Complex a]

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Complex a)

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Complex a]

Show1 Complex 
Instance details

Defined in Data.Functor.Classes

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Complex a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Complex a] -> ShowS

Applicative Complex 
Instance details

Defined in Data.Complex

Methods

pure :: a -> Complex a

(<*>) :: Complex (a -> b) -> Complex a -> Complex b

liftA2 :: (a -> b -> c) -> Complex a -> Complex b -> Complex c

(*>) :: Complex a -> Complex b -> Complex b

(<*) :: Complex a -> Complex b -> Complex a

Functor Complex 
Instance details

Defined in Data.Complex

Methods

fmap :: (a -> b) -> Complex a -> Complex b

(<$) :: a -> Complex b -> Complex a

Monad Complex 
Instance details

Defined in Data.Complex

Methods

(>>=) :: Complex a -> (a -> Complex b) -> Complex b

(>>) :: Complex a -> Complex b -> Complex b

return :: a -> Complex a

MonadFix Complex 
Instance details

Defined in Data.Complex

Methods

mfix :: (a -> Complex a) -> Complex a

Foldable Complex 
Instance details

Defined in Data.Complex

Methods

fold :: Monoid m => Complex m -> m

foldMap :: Monoid m => (a -> m) -> Complex a -> m

foldMap' :: Monoid m => (a -> m) -> Complex a -> m

foldr :: (a -> b -> b) -> b -> Complex a -> b

foldr' :: (a -> b -> b) -> b -> Complex a -> b

foldl :: (b -> a -> b) -> b -> Complex a -> b

foldl' :: (b -> a -> b) -> b -> Complex a -> b

foldr1 :: (a -> a -> a) -> Complex a -> a

foldl1 :: (a -> a -> a) -> Complex a -> a

toList :: Complex a -> [a]

null :: Complex a -> Bool

length :: Complex a -> Int

elem :: Eq a => a -> Complex a -> Bool

maximum :: Ord a => Complex a -> a

minimum :: Ord a => Complex a -> a

sum :: Num a => Complex a -> a

product :: Num a => Complex a -> a

Traversable Complex 
Instance details

Defined in Data.Complex

Methods

traverse :: Applicative f => (a -> f b) -> Complex a -> f (Complex b)

sequenceA :: Applicative f => Complex (f a) -> f (Complex a)

mapM :: Monad m => (a -> m b) -> Complex a -> m (Complex b)

sequence :: Monad m => Complex (m a) -> m (Complex a)

CTrans C 
Instance details

Defined in Internal.Numeric

Methods

ctrans :: Matrix C -> Matrix C

Generic1 Complex 
Instance details

Defined in Data.Complex

Associated Types

type Rep1 Complex 
Instance details

Defined in Data.Complex

type Rep1 Complex = D1 ('MetaData "Complex" "Data.Complex" "base" 'False) (C1 ('MetaCons ":+" ('InfixI 'NotAssociative 6) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1))

Methods

from1 :: Complex a -> Rep1 Complex a

to1 :: Rep1 Complex a -> Complex a

Domain C M 
Instance details

Defined in Numeric.LinearAlgebra.Static

Methods

mul :: forall (m :: Nat) (k :: Nat) (n :: Nat). (KnownNat m, KnownNat k, KnownNat n) => M m k -> M k n -> M m n Source #

app :: forall (m :: Nat) (n :: Nat). (KnownNat m, KnownNat n) => M m n -> C n -> C m Source #

dot :: forall (n :: Nat). KnownNat n => C n -> C n -> Source #

cross :: C 3 -> C 3 -> C 3 Source #

diagR :: forall (m :: Nat) (n :: Nat) (k :: Nat). (KnownNat m, KnownNat n, KnownNat k) => -> C k -> M m n Source #

dvmap :: forall (n :: Nat). KnownNat n => ( -> ) -> C n -> C n Source #

dmmap :: forall (n :: Nat) (m :: Nat). (KnownNat m, KnownNat n) => ( -> ) -> M n m -> M n m Source #

outer :: forall (n :: Nat) (m :: Nat). (KnownNat m, KnownNat n) => C n -> C m -> M n m Source #

zipWithVector :: forall (n :: Nat). KnownNat n => ( -> -> ) -> C n -> C n -> C n Source #

det :: forall (n :: Nat). KnownNat n => M n n -> Source #

invlndet :: forall (n :: Nat). KnownNat n => M n n -> (M n n, (, )) Source #

expm :: forall (n :: Nat). KnownNat n => M n n -> M n n Source #

sqrtm :: forall (n :: Nat). KnownNat n => M n n -> M n n Source #

inv :: forall (n :: Nat). KnownNat n => M n n -> M n n Source #

Normed Matrix (Complex Double) 
Instance details

Defined in Internal.Algorithms

Methods

pnorm :: NormType -> Matrix (Complex Double) -> RealOf (Complex Double)

Normed Matrix (Complex Float) 
Instance details

Defined in Internal.Algorithms

Methods

pnorm :: NormType -> Matrix (Complex Float) -> RealOf (Complex Float)

Normed Vector (Complex Double) 
Instance details

Defined in Internal.Algorithms

Methods

pnorm :: NormType -> Vector (Complex Double) -> RealOf (Complex Double)

Normed Vector (Complex Float) 
Instance details

Defined in Internal.Algorithms

Methods

pnorm :: NormType -> Vector (Complex Float) -> RealOf (Complex Float)

Container Vector (Complex Double) 
Instance details

Defined in Internal.Numeric

Methods

conj' :: Vector (Complex Double) -> Vector (Complex Double)

size' :: Vector (Complex Double) -> IndexOf Vector

scalar' :: Complex Double -> Vector (Complex Double)

scale' :: Complex Double -> Vector (Complex Double) -> Vector (Complex Double)

addConstant :: Complex Double -> Vector (Complex Double) -> Vector (Complex Double)

add' :: Vector (Complex Double) -> Vector (Complex Double) -> Vector (Complex Double)

sub :: Vector (Complex Double) -> Vector (Complex Double) -> Vector (Complex Double)

mul :: Vector (Complex Double) -> Vector (Complex Double) -> Vector (Complex Double)

equal :: Vector (Complex Double) -> Vector (Complex Double) -> Bool

cmap' :: Element b => (Complex Double -> b) -> Vector (Complex Double) -> Vector b

konst' :: Complex Double -> IndexOf Vector -> Vector (Complex Double)

build' :: IndexOf Vector -> ArgOf Vector (Complex Double) -> Vector (Complex Double)

atIndex' :: Vector (Complex Double) -> IndexOf Vector -> Complex Double

minIndex' :: Vector (Complex Double) -> IndexOf Vector

maxIndex' :: Vector (Complex Double) -> IndexOf Vector

minElement' :: Vector (Complex Double) -> Complex Double

maxElement' :: Vector (Complex Double) -> Complex Double

sumElements' :: Vector (Complex Double) -> Complex Double

prodElements' :: Vector (Complex Double) -> Complex Double

step' :: Vector (Complex Double) -> Vector (Complex Double)

ccompare' :: Vector (Complex Double) -> Vector (Complex Double) -> Vector I

cselect' :: Vector I -> Vector (Complex Double) -> Vector (Complex Double) -> Vector (Complex Double) -> Vector (Complex Double)

find' :: (Complex Double -> Bool) -> Vector (Complex Double) -> [IndexOf Vector]

assoc' :: IndexOf Vector -> Complex Double -> [(IndexOf Vector, Complex Double)] -> Vector (Complex Double)

accum' :: Vector (Complex Double) -> (Complex Double -> Complex Double -> Complex Double) -> [(IndexOf Vector, Complex Double)] -> Vector (Complex Double)

scaleRecip :: Complex Double -> Vector (Complex Double) -> Vector (Complex Double)

divide :: Vector (Complex Double) -> Vector (Complex Double) -> Vector (Complex Double)

arctan2' :: Vector (Complex Double) -> Vector (Complex Double) -> Vector (Complex Double)

cmod' :: Complex Double -> Vector (Complex Double) -> Vector (Complex Double)

fromInt' :: Vector I -> Vector (Complex Double)

toInt' :: Vector (Complex Double) -> Vector I

fromZ' :: Vector Z -> Vector (Complex Double)

toZ' :: Vector (Complex Double) -> Vector Z

Container Vector (Complex Float) 
Instance details

Defined in Internal.Numeric

Methods

conj' :: Vector (Complex Float) -> Vector (Complex Float)

size' :: Vector (Complex Float) -> IndexOf Vector

scalar' :: Complex Float -> Vector (Complex Float)

scale' :: Complex Float -> Vector (Complex Float) -> Vector (Complex Float)

addConstant :: Complex Float -> Vector (Complex Float) -> Vector (Complex Float)

add' :: Vector (Complex Float) -> Vector (Complex Float) -> Vector (Complex Float)

sub :: Vector (Complex Float) -> Vector (Complex Float) -> Vector (Complex Float)

mul :: Vector (Complex Float) -> Vector (Complex Float) -> Vector (Complex Float)

equal :: Vector (Complex Float) -> Vector (Complex Float) -> Bool

cmap' :: Element b => (Complex Float -> b) -> Vector (Complex Float) -> Vector b

konst' :: Complex Float -> IndexOf Vector -> Vector (Complex Float)

build' :: IndexOf Vector -> ArgOf Vector (Complex Float) -> Vector (Complex Float)

atIndex' :: Vector (Complex Float) -> IndexOf Vector -> Complex Float

minIndex' :: Vector (Complex Float) -> IndexOf Vector

maxIndex' :: Vector (Complex Float) -> IndexOf Vector

minElement' :: Vector (Complex Float) -> Complex Float

maxElement' :: Vector (Complex Float) -> Complex Float

sumElements' :: Vector (Complex Float) -> Complex Float

prodElements' :: Vector (Complex Float) -> Complex Float

step' :: Vector (Complex Float) -> Vector (Complex Float)

ccompare' :: Vector (Complex Float) -> Vector (Complex Float) -> Vector I

cselect' :: Vector I -> Vector (Complex Float) -> Vector (Complex Float) -> Vector (Complex Float) -> Vector (Complex Float)

find' :: (Complex Float -> Bool) -> Vector (Complex Float) -> [IndexOf Vector]

assoc' :: IndexOf Vector -> Complex Float -> [(IndexOf Vector, Complex Float)] -> Vector (Complex Float)

accum' :: Vector (Complex Float) -> (Complex Float -> Complex Float -> Complex Float) -> [(IndexOf Vector, Complex Float)] -> Vector (Complex Float)

scaleRecip :: Complex Float -> Vector (Complex Float) -> Vector (Complex Float)

divide :: Vector (Complex Float) -> Vector (Complex Float) -> Vector (Complex Float)

arctan2' :: Vector (Complex Float) -> Vector (Complex Float) -> Vector (Complex Float)

cmod' :: Complex Float -> Vector (Complex Float) -> Vector (Complex Float)

fromInt' :: Vector I -> Vector (Complex Float)

toInt' :: Vector (Complex Float) -> Vector I

fromZ' :: Vector Z -> Vector (Complex Float)

toZ' :: Vector (Complex Float) -> Vector Z

Unbox a => Vector Vector (Complex a) 
Instance details

Defined in Data.Vector.Unboxed.Base

Methods

basicUnsafeFreeze :: Mutable Vector s (Complex a) -> ST s (Vector (Complex a))

basicUnsafeThaw :: Vector (Complex a) -> ST s (Mutable Vector s (Complex a))

basicLength :: Vector (Complex a) -> Int

basicUnsafeSlice :: Int -> Int -> Vector (Complex a) -> Vector (Complex a)

basicUnsafeIndexM :: Vector (Complex a) -> Int -> Box (Complex a)

basicUnsafeCopy :: Mutable Vector s (Complex a) -> Vector (Complex a) -> ST s ()

elemseq :: Vector (Complex a) -> Complex a -> b -> b

Unbox a => MVector MVector (Complex a) 
Instance details

Defined in Data.Vector.Unboxed.Base

Methods

basicLength :: MVector s (Complex a) -> Int

basicUnsafeSlice :: Int -> Int -> MVector s (Complex a) -> MVector s (Complex a)

basicOverlaps :: MVector s (Complex a) -> MVector s (Complex a) -> Bool

basicUnsafeNew :: Int -> ST s (MVector s (Complex a))

basicInitialize :: MVector s (Complex a) -> ST s ()

basicUnsafeReplicate :: Int -> Complex a -> ST s (MVector s (Complex a))

basicUnsafeRead :: MVector s (Complex a) -> Int -> ST s (Complex a)

basicUnsafeWrite :: MVector s (Complex a) -> Int -> Complex a -> ST s ()

basicClear :: MVector s (Complex a) -> ST s ()

basicSet :: MVector s (Complex a) -> Complex a -> ST s ()

basicUnsafeCopy :: MVector s (Complex a) -> MVector s (Complex a) -> ST s ()

basicUnsafeMove :: MVector s (Complex a) -> MVector s (Complex a) -> ST s ()

basicUnsafeGrow :: MVector s (Complex a) -> Int -> ST s (MVector s (Complex a))

Data a => Data (Complex a) 
Instance details

Defined in Data.Complex

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Complex a -> c (Complex a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Complex a)

toConstr :: Complex a -> Constr

dataTypeOf :: Complex a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Complex a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Complex a))

gmapT :: (forall b. Data b => b -> b) -> Complex a -> Complex a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Complex a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Complex a -> r

gmapQ :: (forall d. Data d => d -> u) -> Complex a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Complex a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Complex a -> m (Complex a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Complex a -> m (Complex a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Complex a -> m (Complex a)

RealFloat a => Floating (Complex a) 
Instance details

Defined in Data.Complex

Methods

pi :: Complex a

exp :: Complex a -> Complex a

log :: Complex a -> Complex a

sqrt :: Complex a -> Complex a

(**) :: Complex a -> Complex a -> Complex a

logBase :: Complex a -> Complex a -> Complex a

sin :: Complex a -> Complex a

cos :: Complex a -> Complex a

tan :: Complex a -> Complex a

asin :: Complex a -> Complex a

acos :: Complex a -> Complex a

atan :: Complex a -> Complex a

sinh :: Complex a -> Complex a

cosh :: Complex a -> Complex a

tanh :: Complex a -> Complex a

asinh :: Complex a -> Complex a

acosh :: Complex a -> Complex a

atanh :: Complex a -> Complex a

log1p :: Complex a -> Complex a

expm1 :: Complex a -> Complex a

log1pexp :: Complex a -> Complex a

log1mexp :: Complex a -> Complex a

Floating (Vector (Complex Double)) 
Instance details

Defined in Numeric.Vector

Methods

pi :: Vector (Complex Double)

exp :: Vector (Complex Double) -> Vector (Complex Double)

log :: Vector (Complex Double) -> Vector (Complex Double)

sqrt :: Vector (Complex Double) -> Vector (Complex Double)

(**) :: Vector (Complex Double) -> Vector (Complex Double) -> Vector (Complex Double)

logBase :: Vector (Complex Double) -> Vector (Complex Double) -> Vector (Complex Double)

sin :: Vector (Complex Double) -> Vector (Complex Double)

cos :: Vector (Complex Double) -> Vector (Complex Double)

tan :: Vector (Complex Double) -> Vector (Complex Double)

asin :: Vector (Complex Double) -> Vector (Complex Double)

acos :: Vector (Complex Double) -> Vector (Complex Double)

atan :: Vector (Complex Double) -> Vector (Complex Double)

sinh :: Vector (Complex Double) -> Vector (Complex Double)

cosh :: Vector (Complex Double) -> Vector (Complex Double)

tanh :: Vector (Complex Double) -> Vector (Complex Double)

asinh :: Vector (Complex Double) -> Vector (Complex Double)

acosh :: Vector (Complex Double) -> Vector (Complex Double)

atanh :: Vector (Complex Double) -> Vector (Complex Double)

log1p :: Vector (Complex Double) -> Vector (Complex Double)

expm1 :: Vector (Complex Double) -> Vector (Complex Double)

log1pexp :: Vector (Complex Double) -> Vector (Complex Double)

log1mexp :: Vector (Complex Double) -> Vector (Complex Double)

Floating (Vector (Complex Float)) 
Instance details

Defined in Numeric.Vector

Methods

pi :: Vector (Complex Float)

exp :: Vector (Complex Float) -> Vector (Complex Float)

log :: Vector (Complex Float) -> Vector (Complex Float)

sqrt :: Vector (Complex Float) -> Vector (Complex Float)

(**) :: Vector (Complex Float) -> Vector (Complex Float) -> Vector (Complex Float)

logBase :: Vector (Complex Float) -> Vector (Complex Float) -> Vector (Complex Float)

sin :: Vector (Complex Float) -> Vector (Complex Float)

cos :: Vector (Complex Float) -> Vector (Complex Float)

tan :: Vector (Complex Float) -> Vector (Complex Float)

asin :: Vector (Complex Float) -> Vector (Complex Float)

acos :: Vector (Complex Float) -> Vector (Complex Float)

atan :: Vector (Complex Float) -> Vector (Complex Float)

sinh :: Vector (Complex Float) -> Vector (Complex Float)

cosh :: Vector (Complex Float) -> Vector (Complex Float)

tanh :: Vector (Complex Float) -> Vector (Complex Float)

asinh :: Vector (Complex Float) -> Vector (Complex Float)

acosh :: Vector (Complex Float) -> Vector (Complex Float)

atanh :: Vector (Complex Float) -> Vector (Complex Float)

log1p :: Vector (Complex Float) -> Vector (Complex Float)

expm1 :: Vector (Complex Float) -> Vector (Complex Float)

log1pexp :: Vector (Complex Float) -> Vector (Complex Float)

log1mexp :: Vector (Complex Float) -> Vector (Complex Float)

Storable a => Storable (Complex a) 
Instance details

Defined in Data.Complex

Methods

sizeOf :: Complex a -> Int

alignment :: Complex a -> Int

peekElemOff :: Ptr (Complex a) -> Int -> IO (Complex a)

pokeElemOff :: Ptr (Complex a) -> Int -> Complex a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Complex a)

pokeByteOff :: Ptr b -> Int -> Complex a -> IO ()

peek :: Ptr (Complex a) -> IO (Complex a)

poke :: Ptr (Complex a) -> Complex a -> IO ()

Generic (Complex a) 
Instance details

Defined in Data.Complex

Associated Types

type Rep (Complex a) 
Instance details

Defined in Data.Complex

type Rep (Complex a) = D1 ('MetaData "Complex" "Data.Complex" "base" 'False) (C1 ('MetaCons ":+" ('InfixI 'NotAssociative 6) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))

Methods

from :: Complex a -> Rep (Complex a) x

to :: Rep (Complex a) x -> Complex a

RealFloat a => Num (Complex a) 
Instance details

Defined in Data.Complex

Methods

(+) :: Complex a -> Complex a -> Complex a

(-) :: Complex a -> Complex a -> Complex a

(*) :: Complex a -> Complex a -> Complex a

negate :: Complex a -> Complex a

abs :: Complex a -> Complex a

signum :: Complex a -> Complex a

fromInteger :: Integer -> Complex a

Num (Vector (Complex Double)) 
Instance details

Defined in Numeric.Vector

Methods

(+) :: Vector (Complex Double) -> Vector (Complex Double) -> Vector (Complex Double)

(-) :: Vector (Complex Double) -> Vector (Complex Double) -> Vector (Complex Double)

(*) :: Vector (Complex Double) -> Vector (Complex Double) -> Vector (Complex Double)

negate :: Vector (Complex Double) -> Vector (Complex Double)

abs :: Vector (Complex Double) -> Vector (Complex Double)

signum :: Vector (Complex Double) -> Vector (Complex Double)

fromInteger :: Integer -> Vector (Complex Double)

Num (Vector (Complex Float)) 
Instance details

Defined in Numeric.Vector

Methods

(+) :: Vector (Complex Float) -> Vector (Complex Float) -> Vector (Complex Float)

(-) :: Vector (Complex Float) -> Vector (Complex Float) -> Vector (Complex Float)

(*) :: Vector (Complex Float) -> Vector (Complex Float) -> Vector (Complex Float)

negate :: Vector (Complex Float) -> Vector (Complex Float)

abs :: Vector (Complex Float) -> Vector (Complex Float)

signum :: Vector (Complex Float) -> Vector (Complex Float)

fromInteger :: Integer -> Vector (Complex Float)

Read a => Read (Complex a) 
Instance details

Defined in Data.Complex

Methods

readsPrec :: Int -> ReadS (Complex a)

readList :: ReadS [Complex a]

readPrec :: ReadPrec (Complex a)

readListPrec :: ReadPrec [Complex a]

RealFloat a => Fractional (Complex a) 
Instance details

Defined in Data.Complex

Methods

(/) :: Complex a -> Complex a -> Complex a

recip :: Complex a -> Complex a

fromRational :: Rational -> Complex a

Show a => Show (Complex a) 
Instance details

Defined in Data.Complex

Methods

showsPrec :: Int -> Complex a -> ShowS

show :: Complex a -> String

showList :: [Complex a] -> ShowS

Eq a => Eq (Complex a) 
Instance details

Defined in Data.Complex

Methods

(==) :: Complex a -> Complex a -> Bool

(/=) :: Complex a -> Complex a -> Bool

Field (Complex Double) 
Instance details

Defined in Internal.Algorithms

Methods

svd' :: Matrix (Complex Double) -> (Matrix (Complex Double), Vector Double, Matrix (Complex Double))

thinSVD' :: Matrix (Complex Double) -> (Matrix (Complex Double), Vector Double, Matrix (Complex Double))

sv' :: Matrix (Complex Double) -> Vector Double

luPacked' :: Matrix (Complex Double) -> (Matrix (Complex Double), [Int])

luSolve' :: (Matrix (Complex Double), [Int]) -> Matrix (Complex Double) -> Matrix (Complex Double)

mbLinearSolve' :: Matrix (Complex Double) -> Matrix (Complex Double) -> Maybe (Matrix (Complex Double))

linearSolve' :: Matrix (Complex Double) -> Matrix (Complex Double) -> Matrix (Complex Double)

cholSolve' :: Matrix (Complex Double) -> Matrix (Complex Double) -> Matrix (Complex Double)

triSolve' :: UpLo -> Matrix (Complex Double) -> Matrix (Complex Double) -> Matrix (Complex Double)

triDiagSolve' :: Vector (Complex Double) -> Vector (Complex Double) -> Vector (Complex Double) -> Matrix (Complex Double) -> Matrix (Complex Double)

ldlPacked' :: Matrix (Complex Double) -> (Matrix (Complex Double), [Int])

ldlSolve' :: (Matrix (Complex Double), [Int]) -> Matrix (Complex Double) -> Matrix (Complex Double)

linearSolveSVD' :: Matrix (Complex Double) -> Matrix (Complex Double) -> Matrix (Complex Double)

linearSolveLS' :: Matrix (Complex Double) -> Matrix (Complex Double) -> Matrix (Complex Double)

eig' :: Matrix (Complex Double) -> (Vector (Complex Double), Matrix (Complex Double))

geig' :: Matrix (Complex Double) -> Matrix (Complex Double) -> (Vector (Complex Double), Vector (Complex Double), Matrix (Complex Double))

eigSH'' :: Matrix (Complex Double) -> (Vector Double, Matrix (Complex Double))

eigOnly :: Matrix (Complex Double) -> Vector (Complex Double)

geigOnly :: Matrix (Complex Double) -> Matrix (Complex Double) -> (Vector (Complex Double), Vector (Complex Double))

eigOnlySH :: Matrix (Complex Double) -> Vector Double

cholSH' :: Matrix (Complex Double) -> Matrix (Complex Double)

mbCholSH' :: Matrix (Complex Double) -> Maybe (Matrix (Complex Double))

qr' :: Matrix (Complex Double) -> (Matrix (Complex Double), Vector (Complex Double))

qrgr' :: Int -> (Matrix (Complex Double), Vector (Complex Double)) -> Matrix (Complex Double)

hess' :: Matrix (Complex Double) -> (Matrix (Complex Double), Matrix (Complex Double))

schur' :: Matrix (Complex Double) -> (Matrix (Complex Double), Matrix (Complex Double))

Element (Complex Double) 
Instance details

Defined in Internal.Matrix

Methods

constantD :: Complex Double -> Int -> Vector (Complex Double)

extractR :: MatrixOrder -> Matrix (Complex Double) -> CInt -> Vector CInt -> CInt -> Vector CInt -> IO (Matrix (Complex Double))

setRect :: Int -> Int -> Matrix (Complex Double) -> Matrix (Complex Double) -> IO ()

sortI :: Vector (Complex Double) -> Vector CInt

sortV :: Vector (Complex Double) -> Vector (Complex Double)

compareV :: Vector (Complex Double) -> Vector (Complex Double) -> Vector CInt

selectV :: Vector CInt -> Vector (Complex Double) -> Vector (Complex Double) -> Vector (Complex Double) -> Vector (Complex Double)

remapM :: Matrix CInt -> Matrix CInt -> Matrix (Complex Double) -> Matrix (Complex Double)

rowOp :: Int -> Complex Double -> Int -> Int -> Int -> Int -> Matrix (Complex Double) -> IO ()

gemm :: Vector (Complex Double) -> Matrix (Complex Double) -> Matrix (Complex Double) -> Matrix (Complex Double) -> IO ()

reorderV :: Vector CInt -> Vector CInt -> Vector (Complex Double) -> Vector (Complex Double)

Element (Complex Float) 
Instance details

Defined in Internal.Matrix

Methods

constantD :: Complex Float -> Int -> Vector (Complex Float)

extractR :: MatrixOrder -> Matrix (Complex Float) -> CInt -> Vector CInt -> CInt -> Vector CInt -> IO (Matrix (Complex Float))

setRect :: Int -> Int -> Matrix (Complex Float) -> Matrix (Complex Float) -> IO ()

sortI :: Vector (Complex Float) -> Vector CInt

sortV :: Vector (Complex Float) -> Vector (Complex Float)

compareV :: Vector (Complex Float) -> Vector (Complex Float) -> Vector CInt

selectV :: Vector CInt -> Vector (Complex Float) -> Vector (Complex Float) -> Vector (Complex Float) -> Vector (Complex Float)

remapM :: Matrix CInt -> Matrix CInt -> Matrix (Complex Float) -> Matrix (Complex Float)

rowOp :: Int -> Complex Float -> Int -> Int -> Int -> Int -> Matrix (Complex Float) -> IO ()

gemm :: Vector (Complex Float) -> Matrix (Complex Float) -> Matrix (Complex Float) -> Matrix (Complex Float) -> IO ()

reorderV :: Vector CInt -> Vector CInt -> Vector (Complex Float) -> Vector (Complex Float)

CTrans (Complex Float) 
Instance details

Defined in Internal.Numeric

Methods

ctrans :: Matrix (Complex Float) -> Matrix (Complex Float)

Convert (Complex Double) 
Instance details

Defined in Internal.Numeric

Methods

real :: Complexable c => c (RealOf (Complex Double)) -> c (Complex Double) Source #

complex :: Complexable c => c (Complex Double) -> c (ComplexOf (Complex Double)) Source #

single :: Complexable c => c (Complex Double) -> c (SingleOf (Complex Double)) Source #

double :: Complexable c => c (Complex Double) -> c (DoubleOf (Complex Double)) Source #

toComplex :: (Complexable c, RealElement (Complex Double)) => (c (Complex Double), c (Complex Double)) -> c (Complex (Complex Double)) Source #

fromComplex :: (Complexable c, RealElement (Complex Double)) => c (Complex (Complex Double)) -> (c (Complex Double), c (Complex Double)) Source #

Convert (Complex Float) 
Instance details

Defined in Internal.Numeric

Methods

real :: Complexable c => c (RealOf (Complex Float)) -> c (Complex Float) Source #

complex :: Complexable c => c (Complex Float) -> c (ComplexOf (Complex Float)) Source #

single :: Complexable c => c (Complex Float) -> c (SingleOf (Complex Float)) Source #

double :: Complexable c => c (Complex Float) -> c (DoubleOf (Complex Float)) Source #

toComplex :: (Complexable c, RealElement (Complex Float)) => (c (Complex Float), c (Complex Float)) -> c (Complex (Complex Float)) Source #

fromComplex :: (Complexable c, RealElement (Complex Float)) => c (Complex (Complex Float)) -> (c (Complex Float), c (Complex Float)) Source #

Numeric (Complex Double) 
Instance details

Defined in Internal.Numeric

Numeric (Complex Float) 
Instance details

Defined in Internal.Numeric

Product (Complex Double) 
Instance details

Defined in Internal.Numeric

Methods

multiply :: Matrix (Complex Double) -> Matrix (Complex Double) -> Matrix (Complex Double)

absSum :: Vector (Complex Double) -> RealOf (Complex Double)

norm1 :: Vector (Complex Double) -> RealOf (Complex Double)

norm2 :: Vector (Complex Double) -> RealOf (Complex Double)

normInf :: Vector (Complex Double) -> RealOf (Complex Double)

Product (Complex Float) 
Instance details

Defined in Internal.Numeric

Methods

multiply :: Matrix (Complex Float) -> Matrix (Complex Float) -> Matrix (Complex Float)

absSum :: Vector (Complex Float) -> RealOf (Complex Float)

norm1 :: Vector (Complex Float) -> RealOf (Complex Float)

norm2 :: Vector (Complex Float) -> RealOf (Complex Float)

normInf :: Vector (Complex Float) -> RealOf (Complex Float)

Normed (Matrix C) 
Instance details

Defined in Internal.Util

Normed (Vector (Complex Float)) 
Instance details

Defined in Internal.Util

Methods

norm_0 :: Vector (Complex Float) -> R Source #

norm_1 :: Vector (Complex Float) -> R Source #

norm_2 :: Vector (Complex Float) -> R Source #

norm_Inf :: Vector (Complex Float) -> R Source #

Normed (Vector C) 
Instance details

Defined in Internal.Util

Unbox a => Unbox (Complex a) 
Instance details

Defined in Data.Vector.Unboxed.Base

Indexable (Vector (Complex Double)) (Complex Double) 
Instance details

Defined in Internal.Util

Methods

(!) :: Vector (Complex Double) -> Int -> Complex Double Source #

Indexable (Vector (Complex Float)) (Complex Float) 
Instance details

Defined in Internal.Util

Methods

(!) :: Vector (Complex Float) -> Int -> Complex Float Source #

type Rep1 Complex 
Instance details

Defined in Data.Complex

type Rep1 Complex = D1 ('MetaData "Complex" "Data.Complex" "base" 'False) (C1 ('MetaCons ":+" ('InfixI 'NotAssociative 6) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1))
newtype MVector s (Complex a) 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype MVector s (Complex a) = MV_Complex (MVector s (a, a))
type Rep (Complex a) 
Instance details

Defined in Data.Complex

type Rep (Complex a) = D1 ('MetaData "Complex" "Data.Complex" "base" 'False) (C1 ('MetaCons ":+" ('InfixI 'NotAssociative 6) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))
type DoubleOf (Complex a) 
Instance details

Defined in Internal.Numeric

type RealOf (Complex Double) 
Instance details

Defined in Internal.Numeric

type RealOf (Complex Double) = Double
type RealOf (Complex Float) 
Instance details

Defined in Internal.Numeric

type RealOf (Complex Float) = Float
type SingleOf (Complex a) 
Instance details

Defined in Internal.Numeric

newtype Vector (Complex a) 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype Vector (Complex a) = V_Complex (Vector (a, a))

setErrorHandlerOff :: IO () Source #

This action removes the GSL default error handler (which aborts the program), so that GSL errors can be handled by Haskell (using Control.Exception) and ghci doesn't abort.