Numeric.BLAS.Scalar

Documentation

type family RealOf x

Instances

type RealOf Double

Defined in Numeric.BLAS.Scalar

type RealOf Double = Double

type RealOf Float

Defined in Numeric.BLAS.Scalar

type RealOf Float = Float

type RealOf (Complex a)

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 :: (Real a, RealOf a ~ a) => ComplexSingleton a

Complex :: Real a => ComplexSingleton (Complex a)

complexSingleton :: Floating a => ComplexSingleton a

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

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

data PrecisionSingleton a where

Constructors

Float :: PrecisionSingleton Float

Double :: 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