Portability | DeriveDataTypeable, GeneralizedNewtypeDeriving, Rank2Types |
---|---|
Stability | unstable |
Maintainer | claudiusmaximus@goto10.org |
Safe Haskell | None |
- 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
.
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