lapack-0.5.1: Numerical Linear Algebra using LAPACK

Safe HaskellSafe
LanguageHaskell98

Numeric.LAPACK.Scalar

Documentation

type family RealOf x :: Type #

Instances
type RealOf Double 
Instance details

Defined in Numeric.BLAS.Scalar

type RealOf Double = Double
type RealOf Float 
Instance details

Defined in Numeric.BLAS.Scalar

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

Defined in Numeric.BLAS.Scalar

type RealOf (Complex a) = a

type ComplexOf x = Complex (RealOf x) #

zero :: Floating a => a #

one :: Floating a => a #

minusOne :: Floating a => a #

isZero :: Floating a => a -> Bool #

selectReal :: Real a => Float -> Double -> a #

selectFloating :: Floating a => Float -> Double -> Complex Float -> Complex Double -> a #

data ComplexSingleton a where #

Constructors

Real :: forall a. (Real a, RealOf a ~ a) => ComplexSingleton a 
Complex :: forall a a1. Real a1 => ComplexSingleton (Complex a1) 

complexSingleton :: Floating a => ComplexSingleton a #

complexSingletonOf :: Floating a => a -> ComplexSingleton a #

complexSingletonOfFunctor :: Floating a => f a -> ComplexSingleton a #

data PrecisionSingleton a where #

Constructors

Float :: forall a. PrecisionSingleton Float 
Double :: forall a. PrecisionSingleton Double 

precisionSingleton :: Real a => PrecisionSingleton a #

precisionOf :: Real a => a -> PrecisionSingleton a #

precisionOfFunctor :: Real a => f a -> PrecisionSingleton a #

equal :: Floating a => a -> a -> Bool #

fromReal :: Floating a => RealOf a -> a #

toComplex :: Floating a => a -> ComplexOf a #

absolute :: Floating a => a -> RealOf a #

absoluteSquared :: Floating a => a -> RealOf a #

norm1 :: Floating a => a -> RealOf a #

realPart :: Floating a => a -> RealOf a #

conjugate :: Floating a => a -> a #