Portability | DeriveDataTypeable, GeneralizedNewtypeDeriving |
---|---|
Stability | provisional |
Maintainer | claudiusmaximus@goto10.org |
Safe Haskell | None |
- newtype VComplex p = C {}
- (.+) :: VFloat p -> VFloat p -> VComplex p
- fromComplex :: Complex (VFloat p) -> VComplex p
- withComplex :: (Complex (VFloat p) -> Complex (VFloat q)) -> VComplex p -> VComplex q
- realPart :: NaturalNumber p => VComplex p -> VFloat p
- imagPart :: NaturalNumber p => VComplex p -> VFloat p
- conjugate :: NaturalNumber p => VComplex p -> VComplex p
- magnitude :: NaturalNumber p => VComplex p -> VFloat p
- magnitude2 :: NaturalNumber p => VComplex p -> VFloat p
- phase :: NaturalNumber p => VComplex p -> VFloat p
- polar :: NaturalNumber p => VComplex p -> (VFloat p, VFloat p)
- cis :: NaturalNumber p => VFloat p -> VComplex p
- mkPolar :: NaturalNumber p => VFloat p -> VFloat p -> VComplex p
- module Numeric.VariablePrecision.Float
Documentation
Newtype wrapper around Complex
so that instances can be written
for HasPrecision
and VariablePrecision
.
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 pSource
Alike to :+
, constructs a complex number from a real part and
an imaginary part.
realPart :: NaturalNumber p => VComplex p -> VFloat pSource
Real part.
imagPart :: NaturalNumber p => VComplex p -> VFloat pSource
Imaginary part.
conjugate :: NaturalNumber p => VComplex p -> VComplex pSource
Conjugate.
magnitude :: NaturalNumber p => VComplex p -> VFloat pSource
Magnitude.
magnitude2 :: NaturalNumber p => VComplex p -> VFloat pSource
Magnitude squared.
phase :: NaturalNumber p => VComplex p -> VFloat pSource
Phase.
cis :: NaturalNumber p => VFloat p -> VComplex pSource
Unit at phase.