Numeric.VariablePrecision.Complex

Newtype wrapper around Complex. When both of Complex and this module need to be imported, use qualified imports.

Documentation

newtype VComplex p

Newtype wrapper around Complex so that instances can be written for HasPrecision and VariablePrecision.

Constructors

C

Fields

toComplex :: Complex (VFloat p)

Instances

Typeable1 VComplex

VariablePrecision VComplex

HasPrecision VComplex

Eq (VComplex p)

NaturalNumber p => Floating (VComplex p)

NaturalNumber p => Fractional (VComplex p)

Data p => Data (VComplex p)

NaturalNumber p => Num (VComplex p)

NaturalNumber p => Read (VComplex p)

NaturalNumber p => Show (VComplex p)

(.+) :: VFloat p -> VFloat p -> VComplex p

Alike to :+, constructs a complex number from a real part and an imaginary part.

fromComplex :: Complex (VFloat p) -> VComplex p

Convert Complex to VComplex.

withComplex :: (Complex (VFloat p) -> Complex (VFloat q)) -> VComplex p -> VComplex q

Lift an operation on Complex to one on VComplex.

realPart :: NaturalNumber p => VComplex p -> VFloat p

Real part.

imagPart :: NaturalNumber p => VComplex p -> VFloat p

Imaginary part.

conjugate :: NaturalNumber p => VComplex p -> VComplex p

Conjugate.

magnitude :: NaturalNumber p => VComplex p -> VFloat p

Magnitude.

magnitude2 :: NaturalNumber p => VComplex p -> VFloat p

Magnitude squared.

phase :: NaturalNumber p => VComplex p -> VFloat p

Phase.

polar :: NaturalNumber p => VComplex p -> (VFloat p, VFloat p)

Polar form.

cis :: NaturalNumber p => VFloat p -> VComplex p

Unit at phase.

mkPolar :: NaturalNumber p => VFloat p -> VFloat p -> VComplex p

From polar form.

module Numeric.VariablePrecision.Float