| Portability | DeriveDataTypeable, GeneralizedNewtypeDeriving, Rank2Types |
|---|---|
| Stability | unstable |
| Maintainer | claudiusmaximus@goto10.org |
| Safe Haskell | None |
Numeric.VariablePrecision.Complex
Description
- data VComplex p
- (.+) :: NaturalNumber p => VFloat p -> VFloat p -> VComplex p
- (.*) :: NaturalNumber p => VFloat p -> VComplex p -> VComplex p
- (*.) :: NaturalNumber p => VComplex p -> VFloat p -> VComplex p
- toComplex :: VComplex p -> Complex (VFloat p)
- fromComplex :: Complex (VFloat p) -> VComplex p
- withComplex :: (Complex (VFloat p) -> Complex (VFloat q)) -> VComplex p -> VComplex q
- mapComplex :: (RealFloat a, RealFloat b) => (a -> b) -> Complex a -> Complex b
- recodeComplex :: (RealFloat a, RealFloat b) => Complex a -> Complex b
- scaleComplex :: NaturalNumber p => Int -> VComplex p -> VComplex p
- 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
- sqr :: NaturalNumber p => VComplex p -> VComplex 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
- scaleComplex' :: RealFloat r => Int -> Complex r -> Complex r
- magnitude2' :: RealFloat r => Complex r -> r
- sqr' :: RealFloat r => Complex r -> Complex r
- data DComplex = DComplex {}
- toDComplex :: NaturalNumber p => VComplex p -> DComplex
- fromDComplex :: NaturalNumber p => DComplex -> Maybe (VComplex p)
- withDComplex :: DComplex -> (forall p. NaturalNumber p => Maybe (VComplex p) -> r) -> r
Documentation
Newtype wrapper around Complex so that instances can be written for HasPrecision and VariablePrecision.
Instances
| Typeable1 VComplex | |
| VariablePrecision VComplex | |
| HasPrecision VComplex | |
| Normed 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) |
(.+) :: NaturalNumber p => VFloat p -> VFloat p -> VComplex pSource
Alike to :+, constructs a complex number from a real part and an imaginary part.
mapComplex :: (RealFloat a, RealFloat b) => (a -> b) -> Complex a -> Complex bSource
Apply a function to both components of a complex number.
recodeComplex :: (RealFloat a, RealFloat b) => Complex a -> Complex bSource
Much like mapComplex recodeFloat.
scaleComplex :: NaturalNumber p => Int -> VComplex p -> VComplex pSource
Much like withComplex scaleComplex'.
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.
sqr :: NaturalNumber p => VComplex p -> VComplex pSource
Complex square.
phase :: NaturalNumber p => VComplex p -> VFloat pSource
Phase.
cis :: NaturalNumber p => VFloat p -> VComplex pSource
Unit at phase.
scaleComplex' :: RealFloat r => Int -> Complex r -> Complex rSource
Much like mapComplex scaleFloat.
magnitude2' :: RealFloat r => Complex r -> rSource
Magnitude squared.
A concrete format suitable for storage or wire transmission.
toDComplex :: NaturalNumber p => VComplex p -> DComplexSource
Freeze a VComplex.
fromDComplex :: NaturalNumber p => DComplex -> Maybe (VComplex p)Source
withDComplex :: DComplex -> (forall p. NaturalNumber p => Maybe (VComplex p) -> r) -> rSource