Copyright | (c) The University of Glasgow 2001 |
---|---|
License | BSD-style (see the file libraries/base/LICENSE) |
Maintainer | libraries@haskell.org |
Stability | provisional |
Portability | portable |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
Complex numbers.
- data Complex a = !a :+ !a
- realPart :: Complex a -> a
- imagPart :: Complex a -> a
- mkPolar :: Floating a => a -> a -> Complex a
- cis :: Floating a => a -> Complex a
- polar :: RealFloat a => Complex a -> (a, a)
- magnitude :: RealFloat a => Complex a -> a
- phase :: RealFloat a => Complex a -> a
- conjugate :: Num a => Complex a -> Complex a
Rectangular form
Complex numbers are an algebraic type.
For a complex number z
,
is a number with the magnitude of abs
zz
,
but oriented in the positive real direction, whereas
has the phase of signum
zz
, but unit magnitude.
The Foldable
and Traversable
instances traverse the real part first.
!a :+ !a infix 6 | forms a complex number from its real and imaginary rectangular components. |
Monad Complex # | Since: 4.9.0.0 |
Functor Complex # | |
Applicative Complex # | Since: 4.9.0.0 |
Foldable Complex # | |
Traversable Complex # | |
Eq a => Eq (Complex a) # | |
RealFloat a => Floating (Complex a) # | Since: 2.1 |
RealFloat a => Fractional (Complex a) # | Since: 2.1 |
Data a => Data (Complex a) # | |
RealFloat a => Num (Complex a) # | Since: 2.1 |
Read a => Read (Complex a) # | |
Show a => Show (Complex a) # | |
Generic (Complex a) # | |
Storable a => Storable (Complex a) # | Since: 4.8.0.0 |
Generic1 * Complex # | |
type Rep (Complex a) # | |
type Rep1 * Complex # | |
Polar form
mkPolar :: Floating a => a -> a -> Complex a #
Form a complex number from polar components of magnitude and phase.